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