public final class OWLFunctionalSyntaxFactory extends Object
OWLDataFactory
for creating objects.Type | Property and Description |
---|---|
static OWLAnnotationProperty |
createAnnotation |
static OWLDataProperty |
createData |
static OWLObjectProperty |
createObject |
@Nonnull public static OWLObjectProperty createObjectProperty
@Nonnull public static OWLDataProperty createDataProperty
@Nonnull public static OWLAnnotationProperty createAnnotationProperty
@Nonnull public static OWLImportsDeclaration ImportsDeclaration(@Nonnull IRI i)
@Nonnull public static OWLObjectProperty createObjectProperty()
@Nonnull public static OWLDataProperty createDataProperty()
@Nonnull public static OWLNamedIndividual createIndividual()
@Nonnull public static OWLAnnotationProperty createAnnotationProperty()
public static OWLLiteral createOWLLiteral()
@Nonnull public static OWLClass Class(@Nonnull String abbreviatedIRI, @Nonnull PrefixManager pm)
@Nonnull public static OWLAnnotationProperty RDFSComment()
@Nonnull public static OWLAnnotationProperty RDFSLabel()
@Nonnull public static OWLDatatype TopDatatype()
@Nonnull public static OWLDatatype Integer()
@Nonnull public static OWLDatatype Double()
@Nonnull public static OWLDatatype Float()
@Nonnull public static OWLDatatype Boolean()
@Nonnull public static OWLObjectProperty ObjectProperty(@Nonnull IRI iri)
@Nonnull public static OWLObjectProperty ObjectProperty(@Nonnull String abbreviatedIRI, @Nonnull PrefixManager pm)
@Nonnull public static OWLObjectInverseOf ObjectInverseOf(@Nonnull OWLObjectPropertyExpression pe)
@Nonnull public static OWLDataProperty DataProperty(@Nonnull IRI iri)
@Nonnull public static OWLDataProperty DataProperty(@Nonnull String abbreviatedIRI, @Nonnull PrefixManager pm)
@Nonnull public static OWLAnnotationProperty AnnotationProperty(@Nonnull IRI iri)
@Nonnull public static OWLAnnotationProperty AnnotationProperty(@Nonnull String abbreviatedIRI, @Nonnull PrefixManager pm)
@Nonnull public static OWLNamedIndividual NamedIndividual(@Nonnull IRI iri)
@Nonnull public static OWLAnonymousIndividual AnonymousIndividual()
@Nonnull public static OWLAnonymousIndividual AnonymousIndividual(@Nonnull String id)
@Nonnull public static OWLNamedIndividual NamedIndividual(@Nonnull String abbreviatedIRI, @Nonnull PrefixManager pm)
@Nonnull public static OWLDatatype Datatype(@Nonnull IRI iri)
@Nonnull public static OWLDeclarationAxiom Declaration(@Nonnull OWLEntity entity)
@Nonnull public static OWLDeclarationAxiom Declaration(@Nonnull OWLEntity entity, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLObjectIntersectionOf ObjectIntersectionOf(@Nonnull OWLClassExpression... classExpressions)
@Nonnull public static OWLObjectUnionOf ObjectUnionOf(@Nonnull OWLClassExpression... classExpressions)
@Nonnull public static OWLObjectComplementOf ObjectComplementOf(@Nonnull OWLClassExpression classExpression)
@Nonnull public static OWLObjectSomeValuesFrom ObjectSomeValuesFrom(@Nonnull OWLObjectPropertyExpression pe, @Nonnull OWLClassExpression ce)
@Nonnull public static OWLObjectAllValuesFrom ObjectAllValuesFrom(@Nonnull OWLObjectPropertyExpression pe, @Nonnull OWLClassExpression ce)
@Nonnull public static OWLObjectHasValue ObjectHasValue(@Nonnull OWLObjectPropertyExpression pe, @Nonnull OWLIndividual individual)
@Nonnull public static OWLObjectMinCardinality ObjectMinCardinality(int cardinality, @Nonnull OWLObjectPropertyExpression pe, @Nonnull OWLClassExpression ce)
@Nonnull public static OWLObjectMaxCardinality ObjectMaxCardinality(int cardinality, @Nonnull OWLObjectPropertyExpression pe, @Nonnull OWLClassExpression ce)
@Nonnull public static OWLObjectExactCardinality ObjectExactCardinality(int cardinality, @Nonnull OWLObjectPropertyExpression pe, @Nonnull OWLClassExpression ce)
@Nonnull public static OWLObjectHasSelf ObjectHasSelf(@Nonnull OWLObjectPropertyExpression pe)
@Nonnull public static OWLObjectOneOf ObjectOneOf(@Nonnull OWLIndividual... individuals)
@Nonnull public static OWLDataSomeValuesFrom DataSomeValuesFrom(@Nonnull OWLDataPropertyExpression pe, @Nonnull OWLDataRange dr)
@Nonnull public static OWLDataAllValuesFrom DataAllValuesFrom(@Nonnull OWLDataPropertyExpression pe, @Nonnull OWLDataRange dr)
@Nonnull public static OWLDataHasValue DataHasValue(@Nonnull OWLDataPropertyExpression pe, @Nonnull OWLLiteral literal)
@Nonnull public static OWLDataMinCardinality DataMinCardinality(int cardinality, @Nonnull OWLDataPropertyExpression pe, @Nonnull OWLDataRange dr)
@Nonnull public static OWLDataMaxCardinality DataMaxCardinality(int cardinality, @Nonnull OWLDataPropertyExpression pe, @Nonnull OWLDataRange dr)
@Nonnull public static OWLDataExactCardinality DataExactCardinality(int cardinality, @Nonnull OWLDataPropertyExpression pe, @Nonnull OWLDataRange dr)
@Nonnull public static OWLDataIntersectionOf DataIntersectionOf(@Nonnull OWLDataRange... dataRanges)
@Nonnull public static OWLDataUnionOf DataUnionOf(@Nonnull OWLDataRange... dataRanges)
@Nonnull public static OWLDataComplementOf DataComplementOf(@Nonnull OWLDataRange dataRange)
@Nonnull public static OWLDataOneOf DataOneOf(@Nonnull OWLLiteral... literals)
@Nonnull public static OWLDatatypeRestriction DatatypeRestriction(@Nonnull OWLDatatype datatype, @Nonnull OWLFacetRestriction... facetRestrictions)
@Nonnull public static OWLFacetRestriction FacetRestriction(@Nonnull OWLFacet facet, @Nonnull OWLLiteral facetValue)
@Nonnull public static OWLSubClassOfAxiom SubClassOf(@Nonnull OWLClassExpression subClass, @Nonnull OWLClassExpression superClass)
@Nonnull public static OWLSubClassOfAxiom SubClassOf(@Nonnull OWLClassExpression subClass, @Nonnull OWLClassExpression superClass, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLEquivalentClassesAxiom EquivalentClasses(@Nonnull OWLClassExpression... classExpressions)
@Nonnull public static OWLEquivalentClassesAxiom EquivalentClasses(@Nonnull Set<OWLAnnotation> a, OWLClassExpression... classExpressions)
@Nonnull public static OWLDisjointClassesAxiom DisjointClasses(@Nonnull OWLClassExpression... classExpressions)
@Nonnull public static OWLDisjointClassesAxiom DisjointClasses(@Nonnull Set<? extends OWLClassExpression> classExpressions)
@Nonnull public static OWLDisjointClassesAxiom DisjointClasses(@Nonnull Set<OWLClassExpression> classExpressions, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLDisjointUnionAxiom DisjointUnion(@Nonnull OWLClass cls, @Nonnull OWLClassExpression... classExpressions)
@Nonnull public static OWLDisjointClassesAxiom DisjointClasses(@Nonnull Set<OWLAnnotation> a, OWLClassExpression... classExpressions)
@Nonnull public static OWLSubObjectPropertyOfAxiom SubObjectPropertyOf(@Nonnull OWLObjectPropertyExpression subProperty, @Nonnull OWLObjectPropertyExpression superProperty)
@Nonnull public static OWLSubPropertyChainOfAxiom SubPropertyChainOf(@Nonnull List<? extends OWLObjectPropertyExpression> chain, @Nonnull OWLObjectPropertyExpression superProperty)
@Nonnull public static OWLSubPropertyChainOfAxiom SubPropertyChainOf(@Nonnull List<? extends OWLObjectPropertyExpression> chain, @Nonnull OWLObjectPropertyExpression superProperty, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLSubObjectPropertyOfAxiom SubObjectPropertyOf(@Nonnull OWLObjectPropertyExpression subProperty, @Nonnull OWLObjectPropertyExpression superProperty, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLEquivalentObjectPropertiesAxiom EquivalentObjectProperties(@Nonnull OWLObjectPropertyExpression... properties)
@Nonnull public static OWLEquivalentObjectPropertiesAxiom EquivalentObjectProperties(@Nonnull Set<OWLAnnotation> a, OWLObjectPropertyExpression... properties)
@Nonnull public static OWLDisjointObjectPropertiesAxiom DisjointObjectProperties(@Nonnull OWLObjectPropertyExpression... properties)
@Nonnull public static OWLDisjointObjectPropertiesAxiom DisjointObjectProperties(@Nonnull Set<OWLAnnotation> a, OWLObjectPropertyExpression... properties)
@Nonnull public static OWLInverseObjectPropertiesAxiom InverseObjectProperties(@Nonnull OWLObjectPropertyExpression peA, @Nonnull OWLObjectPropertyExpression peB)
@Nonnull public static OWLObjectPropertyDomainAxiom ObjectPropertyDomain(@Nonnull OWLObjectPropertyExpression property, @Nonnull OWLClassExpression domain)
@Nonnull public static OWLObjectPropertyDomainAxiom ObjectPropertyDomain(@Nonnull OWLObjectPropertyExpression property, @Nonnull OWLClassExpression domain, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLObjectPropertyRangeAxiom ObjectPropertyRange(@Nonnull OWLObjectPropertyExpression property, @Nonnull OWLClassExpression range)
@Nonnull public static OWLObjectPropertyRangeAxiom ObjectPropertyRange(@Nonnull OWLObjectPropertyExpression property, @Nonnull OWLClassExpression range, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLFunctionalObjectPropertyAxiom FunctionalObjectProperty(@Nonnull OWLObjectPropertyExpression property)
@Nonnull public static OWLFunctionalObjectPropertyAxiom FunctionalObjectProperty(@Nonnull OWLObjectPropertyExpression property, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLInverseFunctionalObjectPropertyAxiom InverseFunctionalObjectProperty(@Nonnull OWLObjectPropertyExpression property)
@Nonnull public static OWLInverseFunctionalObjectPropertyAxiom InverseFunctionalObjectProperty(@Nonnull OWLObjectPropertyExpression property, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLReflexiveObjectPropertyAxiom ReflexiveObjectProperty(@Nonnull OWLObjectPropertyExpression property)
@Nonnull public static OWLReflexiveObjectPropertyAxiom ReflexiveObjectProperty(@Nonnull OWLObjectPropertyExpression property, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLIrreflexiveObjectPropertyAxiom IrreflexiveObjectProperty(@Nonnull OWLObjectPropertyExpression property)
@Nonnull public static OWLIrreflexiveObjectPropertyAxiom IrreflexiveObjectProperty(@Nonnull OWLObjectPropertyExpression property, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLSymmetricObjectPropertyAxiom SymmetricObjectProperty(@Nonnull OWLObjectPropertyExpression property)
@Nonnull public static OWLSymmetricObjectPropertyAxiom SymmetricObjectProperty(@Nonnull OWLObjectPropertyExpression property, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLAsymmetricObjectPropertyAxiom AsymmetricObjectProperty(@Nonnull OWLObjectPropertyExpression property)
@Nonnull public static OWLAsymmetricObjectPropertyAxiom AsymmetricObjectProperty(@Nonnull OWLObjectPropertyExpression property, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLTransitiveObjectPropertyAxiom TransitiveObjectProperty(@Nonnull OWLObjectPropertyExpression property)
@Nonnull public static OWLTransitiveObjectPropertyAxiom TransitiveObjectProperty(@Nonnull OWLObjectPropertyExpression property, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLSubDataPropertyOfAxiom SubDataPropertyOf(@Nonnull OWLDataPropertyExpression subProperty, @Nonnull OWLDataPropertyExpression superProperty)
@Nonnull public static OWLSubDataPropertyOfAxiom SubDataPropertyOf(@Nonnull OWLDataPropertyExpression subProperty, @Nonnull OWLDataPropertyExpression superProperty, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLEquivalentDataPropertiesAxiom EquivalentDataProperties(@Nonnull OWLDataPropertyExpression... properties)
@Nonnull public static OWLEquivalentDataPropertiesAxiom EquivalentDataProperties(@Nonnull Set<OWLAnnotation> a, OWLDataPropertyExpression... properties)
@Nonnull public static OWLDisjointDataPropertiesAxiom DisjointDataProperties(@Nonnull OWLDataPropertyExpression... properties)
@Nonnull public static OWLDisjointDataPropertiesAxiom DisjointDataProperties(@Nonnull Set<OWLAnnotation> a, OWLDataPropertyExpression... properties)
@Nonnull public static OWLDataPropertyDomainAxiom DataPropertyDomain(@Nonnull OWLDataPropertyExpression property, @Nonnull OWLClassExpression domain)
@Nonnull public static OWLDataPropertyDomainAxiom DataPropertyDomain(@Nonnull OWLDataPropertyExpression property, @Nonnull OWLClassExpression domain, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLDataPropertyRangeAxiom DataPropertyRange(@Nonnull OWLDataPropertyExpression property, @Nonnull OWLDataRange range)
@Nonnull public static OWLDataPropertyRangeAxiom DataPropertyRange(@Nonnull OWLDataPropertyExpression property, @Nonnull OWLDataRange range, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLFunctionalDataPropertyAxiom FunctionalDataProperty(@Nonnull OWLDataPropertyExpression property)
@Nonnull public static OWLFunctionalDataPropertyAxiom FunctionalDataProperty(@Nonnull OWLDataPropertyExpression property, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLDatatypeDefinitionAxiom DatatypeDefinition(@Nonnull OWLDatatype datatype, @Nonnull OWLDataRange dataRange)
@Nonnull public static OWLHasKeyAxiom HasKey(@Nonnull OWLClassExpression classExpression, @Nonnull OWLPropertyExpression... propertyExpressions)
@Nonnull public static OWLHasKeyAxiom HasKey(@Nonnull Set<OWLAnnotation> a, @Nonnull OWLClassExpression classExpression, OWLPropertyExpression... propertyExpressions)
@Nonnull public static OWLSameIndividualAxiom SameIndividual(@Nonnull OWLIndividual... individuals)
@Nonnull public static OWLDifferentIndividualsAxiom DifferentIndividuals(@Nonnull OWLIndividual... individuals)
@Nonnull public static OWLClassAssertionAxiom ClassAssertion(@Nonnull OWLClassExpression ce, @Nonnull OWLIndividual ind, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLClassAssertionAxiom ClassAssertion(@Nonnull OWLClassExpression ce, @Nonnull OWLIndividual ind)
@Nonnull public static OWLObjectPropertyAssertionAxiom ObjectPropertyAssertion(@Nonnull OWLObjectPropertyExpression property, @Nonnull OWLIndividual source, @Nonnull OWLIndividual target)
@Nonnull public static OWLObjectPropertyAssertionAxiom ObjectPropertyAssertion(@Nonnull OWLObjectPropertyExpression property, @Nonnull OWLIndividual source, @Nonnull OWLIndividual target, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLNegativeObjectPropertyAssertionAxiom NegativeObjectPropertyAssertion(@Nonnull OWLObjectPropertyExpression property, @Nonnull OWLIndividual source, @Nonnull OWLIndividual target)
@Nonnull public static OWLNegativeObjectPropertyAssertionAxiom NegativeObjectPropertyAssertion(@Nonnull OWLObjectPropertyExpression property, @Nonnull OWLIndividual source, @Nonnull OWLIndividual target, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLDataPropertyAssertionAxiom DataPropertyAssertion(@Nonnull OWLDataPropertyExpression property, @Nonnull OWLIndividual source, @Nonnull OWLLiteral target)
@Nonnull public static OWLDataPropertyAssertionAxiom DataPropertyAssertion(@Nonnull OWLDataPropertyExpression property, @Nonnull OWLIndividual source, @Nonnull OWLLiteral target, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLNegativeDataPropertyAssertionAxiom NegativeDataPropertyAssertion(@Nonnull OWLDataPropertyExpression property, @Nonnull OWLIndividual source, @Nonnull OWLLiteral target)
@Nonnull public static OWLNegativeDataPropertyAssertionAxiom NegativeDataPropertyAssertion(@Nonnull OWLDataPropertyExpression property, @Nonnull OWLIndividual source, @Nonnull OWLLiteral target, @Nonnull Set<OWLAnnotation> a)
@Nonnull public static OWLAnnotationAssertionAxiom AnnotationAssertion(@Nonnull OWLAnnotationProperty property, @Nonnull OWLAnnotationSubject subject, @Nonnull OWLAnnotationValue value)
@Nonnull public static OWLAnnotation Annotation(@Nonnull OWLAnnotationProperty property, @Nonnull OWLAnnotationValue value)
@Nonnull public static OWLSubAnnotationPropertyOfAxiom SubAnnotationPropertyOf(@Nonnull OWLAnnotationProperty subProperty, @Nonnull OWLAnnotationProperty superProperty)
@Nonnull public static OWLAnnotationPropertyDomainAxiom AnnotationPropertyDomain(@Nonnull OWLAnnotationProperty property, @Nonnull IRI iri)
@Nonnull public static OWLAnnotationPropertyRangeAxiom AnnotationPropertyRange(@Nonnull OWLAnnotationProperty property, @Nonnull IRI iri)
@Nonnull public static OWLAnnotationPropertyDomainAxiom AnnotationPropertyDomain(@Nonnull OWLAnnotationProperty property, @Nonnull String iri)
@Nonnull public static OWLAnnotationPropertyRangeAxiom AnnotationPropertyRange(@Nonnull OWLAnnotationProperty property, @Nonnull String iri)
@Nonnull public static OWLLiteral PlainLiteral(@Nonnull String literal)
@Nonnull public static OWLDatatype PlainLiteral()
@Nonnull public static OWLLiteral Literal(@Nonnull String literal, String lang)
@Nonnull public static OWLLiteral Literal(@Nonnull String literal, @Nonnull OWLDatatype type)
@Nonnull public static OWLLiteral Literal(@Nonnull String literal, @Nonnull OWL2Datatype type)
@Nonnull public static OWLLiteral Literal(@Nonnull String literal)
@Nonnull public static OWLLiteral Literal(boolean literal)
@Nonnull public static OWLLiteral Literal(int literal)
@Nonnull public static OWLLiteral Literal(double literal)
@Nonnull public static OWLLiteral Literal(float literal)
@Nonnull public static OWLOntology Ontology(@Nonnull OWLOntologyManager man, @Nonnull OWLAxiom... axioms)
Copyright © 2020 The University of Manchester. All rights reserved.