uk.ac.manchester.cs.owl.owlapi
Class OWLDataFactoryImpl

java.lang.Object
  extended by uk.ac.manchester.cs.owl.owlapi.OWLDataFactoryImpl
All Implemented Interfaces:
OWLDataFactory, SWRLDataFactory

public class OWLDataFactoryImpl
extends java.lang.Object
implements OWLDataFactory

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006


Field Summary
protected  OWLDataFactoryInternals data
           
 
Constructor Summary
OWLDataFactoryImpl()
           
 
Method Summary
 OWLDatatype getBooleanOWLDatatype()
          A convenience method that obtains the datatype that represents the boolean datatype.
 OWLAnnotationAssertionAxiom getDeprecatedOWLAnnotationAssertionAxiom(IRI subject)
          Gets an annotation assertion that specifies that an IRI is deprecated.
 OWLDatatype getDoubleOWLDatatype()
          A convenience method that obtains the datatype that represents doubles.
 OWLDatatype getFloatOWLDatatype()
          A convenience method that obtains the datatype that represents floats.
static OWLDataFactory getInstance()
           
 OWLDatatype getIntegerOWLDatatype()
          A convenience method that obtains the datatype that represents integers.
 OWLAnnotation getOWLAnnotation(OWLAnnotationProperty property, OWLAnnotationValue value)
          Gets an annotation
 OWLAnnotation getOWLAnnotation(OWLAnnotationProperty property, OWLAnnotationValue value, java.util.Set<? extends OWLAnnotation> annotations)
          Gets an annotation
 OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationProperty property, OWLAnnotationSubject subject, OWLAnnotationValue value)
           
 OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationProperty property, OWLAnnotationSubject subject, OWLAnnotationValue value, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationSubject subject, OWLAnnotation annotation)
           
 OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationSubject subject, OWLAnnotation annotation, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLAnnotationProperty getOWLAnnotationProperty(IRI iri)
          Gets an OWLAnnotationProperty that has the specified IRI
 OWLAnnotationProperty getOWLAnnotationProperty(java.lang.String abbreviatedIRI, PrefixManager prefixManager)
          Gets an OWLAnnotationProperty that has an IRI that is obtained by expanding an abbreviated name using an appropriate prefix mapping.
 OWLAnnotationPropertyDomainAxiom getOWLAnnotationPropertyDomainAxiom(OWLAnnotationProperty prop, IRI domain)
           
 OWLAnnotationPropertyDomainAxiom getOWLAnnotationPropertyDomainAxiom(OWLAnnotationProperty prop, IRI domain, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLAnnotationPropertyRangeAxiom getOWLAnnotationPropertyRangeAxiom(OWLAnnotationProperty prop, IRI range)
           
 OWLAnnotationPropertyRangeAxiom getOWLAnnotationPropertyRangeAxiom(OWLAnnotationProperty prop, IRI range, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLAnonymousIndividual getOWLAnonymousIndividual()
          Gets an anonymous individual.
 OWLAnonymousIndividual getOWLAnonymousIndividual(java.lang.String id)
          Gets an anonymous individual that has a specific ID.
 OWLAsymmetricObjectPropertyAxiom getOWLAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression propertyExpression)
           
 OWLAsymmetricObjectPropertyAxiom getOWLAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression propertyExpression, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLAnnotationProperty getOWLBackwardCompatibleWith()
          Gets an annotation property that has an IRI corresponding to owl:backwardCompatibleWith.
 OWLDataProperty getOWLBottomDataProperty()
           
 OWLObjectProperty getOWLBottomObjectProperty()
           
 OWLClass getOWLClass(IRI iri)
          Gets an OWL class that has the specified IRI
 OWLClass getOWLClass(java.lang.String iri, PrefixManager prefixManager)
          Gets an OWLClass that has an IRI that is obtained by expanding an abbreviated name using an appropriate prefix mapping.
 OWLClassAssertionAxiom getOWLClassAssertionAxiom(OWLClassExpression classExpression, OWLIndividual individual)
           
 OWLClassAssertionAxiom getOWLClassAssertionAxiom(OWLClassExpression classExpression, OWLIndividual individual, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLDataAllValuesFrom getOWLDataAllValuesFrom(OWLDataPropertyExpression property, OWLDataRange dataRange)
           
 OWLDataComplementOf getOWLDataComplementOf(OWLDataRange dataRange)
          Gets an OWLDataComplementOf (see spec)
 OWLDataExactCardinality getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property)
           
 OWLDataExactCardinality getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange)
           
 OWLDataHasValue getOWLDataHasValue(OWLDataPropertyExpression property, OWLLiteral value)
           
 OWLDataIntersectionOf getOWLDataIntersectionOf(OWLDataRange... dataRanges)
           
 OWLDataIntersectionOf getOWLDataIntersectionOf(java.util.Set<? extends OWLDataRange> dataRanges)
           
 OWLDataMaxCardinality getOWLDataMaxCardinality(int cardinality, OWLDataPropertyExpression property)
           
 OWLDataMaxCardinality getOWLDataMaxCardinality(int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange)
           
 OWLDataMinCardinality getOWLDataMinCardinality(int cardinality, OWLDataPropertyExpression property)
           
 OWLDataMinCardinality getOWLDataMinCardinality(int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange)
           
 OWLDataOneOf getOWLDataOneOf(OWLLiteral... values)
          Gets an OWLDataOneOf (see spec)
 OWLDataOneOf getOWLDataOneOf(java.util.Set<? extends OWLLiteral> values)
          Gets an OWLDataOneOf (see spec)
 OWLDataProperty getOWLDataProperty(IRI iri)
          Gets an OWL data property that has the specified IRI
 OWLDataProperty getOWLDataProperty(java.lang.String curi, PrefixManager prefixManager)
          Gets an OWLDataProperty that has an IRI that is obtained by expanding an abbreviated name using an appropriate prefix mapping.
 OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property, OWLIndividual subject, boolean value)
           
 OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property, OWLIndividual subject, double value)
           
 OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property, OWLIndividual subject, float value)
           
 OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property, OWLIndividual subject, int value)
           
 OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property, OWLIndividual subject, OWLLiteral object)
           
 OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property, OWLIndividual subject, OWLLiteral object, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property, OWLIndividual subject, java.lang.String value)
           
 OWLDataPropertyDomainAxiom getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property, OWLClassExpression domain)
           
 OWLDataPropertyDomainAxiom getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property, OWLClassExpression domain, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLDataPropertyRangeAxiom getOWLDataPropertyRangeAxiom(OWLDataPropertyExpression propery, OWLDataRange owlDataRange)
           
 OWLDataPropertyRangeAxiom getOWLDataPropertyRangeAxiom(OWLDataPropertyExpression propery, OWLDataRange owlDataRange, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLDataSomeValuesFrom getOWLDataSomeValuesFrom(OWLDataPropertyExpression property, OWLDataRange dataRange)
          Gets an OWLDataSomeValuesFrom restriction
 OWLDatatype getOWLDatatype(IRI iri)
          Gets an OWLDatatype that has the specified IRI
 OWLDatatype getOWLDatatype(java.lang.String abbreviatedIRI, PrefixManager prefixManager)
          Gets an OWLDatatype that has an IRI that is obtained by expanding an abbreviated name using an appropriate prefix mapping.
 OWLDatatypeDefinitionAxiom getOWLDatatypeDefinitionAxiom(OWLDatatype datatype, OWLDataRange dataRange)
           
 OWLDatatypeDefinitionAxiom getOWLDatatypeDefinitionAxiom(OWLDatatype datatype, OWLDataRange dataRange, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLDatatypeRestriction getOWLDatatypeMaxExclusiveRestriction(double maxExclusive)
          Creates a datatype restriction on xsd:double with a maxExclusive facet restriction
 OWLDatatypeRestriction getOWLDatatypeMaxExclusiveRestriction(int maxExclusive)
          Creates a datatype restriction on xsd:integer with a maxExclusive facet restriction
 OWLDatatypeRestriction getOWLDatatypeMaxInclusiveRestriction(double maxInclusive)
          Creates a datatype restriction on xsd:double with a maxInclusive facet restriction
 OWLDatatypeRestriction getOWLDatatypeMaxInclusiveRestriction(int maxInclusive)
          Creates a datatype restriction on xsd:integer with a maxInclusive facet restriction
 OWLDatatypeRestriction getOWLDatatypeMinExclusiveRestriction(double minExclusive)
          Creates a datatype restriction on xsd:double with a minExclusive facet restriction
 OWLDatatypeRestriction getOWLDatatypeMinExclusiveRestriction(int minExclusive)
          Creates a datatype restriction on xsd:integer with a minExclusive facet restriction
 OWLDatatypeRestriction getOWLDatatypeMinInclusiveRestriction(double minInclusive)
          Creates a datatype restriction on xsd:double with a minInclusive facet restriction
 OWLDatatypeRestriction getOWLDatatypeMinInclusiveRestriction(int minInclusive)
          Creates a datatype restriction on xsd:integer with a minInclusive facet restriction
 OWLDatatypeRestriction getOWLDatatypeMinMaxExclusiveRestriction(double minExclusive, double maxExclusive)
          Creates a datatype restriction on xsd:double with min and max exclusive facet restrictions
 OWLDatatypeRestriction getOWLDatatypeMinMaxExclusiveRestriction(int minExclusive, int maxExclusive)
          Creates a datatype restriction on xsd:integer with min and max exclusive facet restrictions
 OWLDatatypeRestriction getOWLDatatypeMinMaxInclusiveRestriction(double minInclusive, double maxInclusive)
          Creates a datatype restriction on xsd:double with min and max inclusive facet restrictions
 OWLDatatypeRestriction getOWLDatatypeMinMaxInclusiveRestriction(int minInclusive, int maxInclusive)
          Creates a datatype restriction on xsd:integer with min and max inclusive facet restrictions
 OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype datatype, OWLFacet facet, OWLLiteral typedConstant)
           
 OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype dataRange, OWLFacetRestriction... facetRestrictions)
           
 OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype datatype, java.util.Set<OWLFacetRestriction> facets)
           
 OWLDataUnionOf getOWLDataUnionOf(OWLDataRange... dataRanges)
           
 OWLDataUnionOf getOWLDataUnionOf(java.util.Set<? extends OWLDataRange> dataRanges)
           
 OWLDeclarationAxiom getOWLDeclarationAxiom(OWLEntity owlEntity)
          Gets a declaration for an entity
 OWLDeclarationAxiom getOWLDeclarationAxiom(OWLEntity owlEntity, java.util.Set<? extends OWLAnnotation> annotations)
          Gets a declaration with zero or more annotations for an entity
 OWLAnnotationProperty getOWLDeprecated()
          Gets an annotation property that has an IRI corresponding to owl:backwardCompatibleWith.
 OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(OWLIndividual... individuals)
           
 OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(java.util.Set<? extends OWLIndividual> individuals)
           
 OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(java.util.Set<? extends OWLIndividual> individuals, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(OWLClassExpression... classExpressions)
           
 OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions)
           
 OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLDisjointDataPropertiesAxiom getOWLDisjointDataPropertiesAxiom(OWLDataPropertyExpression... properties)
           
 OWLDisjointDataPropertiesAxiom getOWLDisjointDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties)
           
 OWLDisjointDataPropertiesAxiom getOWLDisjointDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLDisjointObjectPropertiesAxiom getOWLDisjointObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)
           
 OWLDisjointObjectPropertiesAxiom getOWLDisjointObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties)
           
 OWLDisjointObjectPropertiesAxiom getOWLDisjointObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLDisjointUnionAxiom getOWLDisjointUnionAxiom(OWLClass owlClass, java.util.Set<? extends OWLClassExpression> classExpressions)
           
 OWLDisjointUnionAxiom getOWLDisjointUnionAxiom(OWLClass owlClass, java.util.Set<? extends OWLClassExpression> classExpressions, java.util.Set<? extends OWLAnnotation> annotations)
           
<E extends OWLEntity>
E
getOWLEntity(EntityType<E> entityType, IRI iri)
          Gets an entity that has the specified IRI and is of the specified type.
 OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(OWLClassExpression... classExpressions)
           
 OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(OWLClassExpression clsA, OWLClassExpression clsB)
           
 OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(OWLClassExpression clsA, OWLClassExpression clsB, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions)
           
 OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression... properties)
           
 OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression propertyA, OWLDataPropertyExpression propertyB)
           
 OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression propertyA, OWLDataPropertyExpression propertyB, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties)
           
 OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)
           
 OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression propertyA, OWLObjectPropertyExpression propertyB)
           
 OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression propertyA, OWLObjectPropertyExpression propertyB, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties)
           
 OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLFacetRestriction getOWLFacetRestriction(OWLFacet facet, double facetValue)
           
 OWLFacetRestriction getOWLFacetRestriction(OWLFacet facet, float facetValue)
           
 OWLFacetRestriction getOWLFacetRestriction(OWLFacet facet, int facetValue)
           
 OWLFacetRestriction getOWLFacetRestriction(OWLFacet facet, OWLLiteral facetValue)
           
 OWLFunctionalDataPropertyAxiom getOWLFunctionalDataPropertyAxiom(OWLDataPropertyExpression property)
           
 OWLFunctionalDataPropertyAxiom getOWLFunctionalDataPropertyAxiom(OWLDataPropertyExpression property, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLFunctionalObjectPropertyAxiom getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLFunctionalObjectPropertyAxiom getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLHasKeyAxiom getOWLHasKeyAxiom(OWLClassExpression ce, OWLPropertyExpression... properties)
           
 OWLHasKeyAxiom getOWLHasKeyAxiom(OWLClassExpression ce, java.util.Set<? extends OWLPropertyExpression> properties)
           
 OWLHasKeyAxiom getOWLHasKeyAxiom(OWLClassExpression ce, java.util.Set<? extends OWLPropertyExpression> properties, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLImportsDeclaration getOWLImportsDeclaration(IRI importedOntologyIRI)
           
 OWLAnnotationProperty getOWLIncompatibleWith()
          Gets an annotation property that has an IRI corresponding to owl:incompatibleWith.
 OWLInverseFunctionalObjectPropertyAxiom getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLInverseFunctionalObjectPropertyAxiom getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLInverseObjectPropertiesAxiom getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty, OWLObjectPropertyExpression inverseProperty)
           
 OWLInverseObjectPropertiesAxiom getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty, OWLObjectPropertyExpression inverseProperty, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLIrreflexiveObjectPropertyAxiom getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLIrreflexiveObjectPropertyAxiom getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLLiteral getOWLLiteral(boolean value)
          Convenience method that obtains a literal typed as a boolean.
 OWLLiteral getOWLLiteral(double value)
          Convenience method that obtains a literal typed as a double.
 OWLLiteral getOWLLiteral(float value)
          Convenience method that obtains a literal typed as a float.
 OWLLiteral getOWLLiteral(int value)
          Convenience method that obtains a literal typed as an integer.
 OWLLiteral getOWLLiteral(java.lang.String value)
          Gets a literal that has the specified lexical value, and has the datatype xsd:string.
 OWLLiteral getOWLLiteral(java.lang.String lexicalValue, OWL2Datatype datatype)
          Gets an OWLLiteral, which has the specified lexical value, and is typed with the specified datatype.
 OWLLiteral getOWLLiteral(java.lang.String lexicalValue, OWLDatatype datatype)
          Gets an OWLLiteral, which has the specified lexical value, and is typed with the specified datatype.
 OWLLiteral getOWLLiteral(java.lang.String literal, java.lang.String lang)
          Gets an OWLLiteral with a language tag.
 OWLNamedIndividual getOWLNamedIndividual(IRI iri)
          Gets an OWL individual that has the specified IRI
 OWLNamedIndividual getOWLNamedIndividual(java.lang.String curi, PrefixManager prefixManager)
          Gets an OWLNamedIndividual that has an IRI that is obtained by expanding an abbreviated name using an appropriate prefix mapping.
 OWLNegativeDataPropertyAssertionAxiom getOWLNegativeDataPropertyAssertionAxiom(OWLDataPropertyExpression property, OWLIndividual subject, OWLLiteral object)
           
 OWLNegativeDataPropertyAssertionAxiom getOWLNegativeDataPropertyAssertionAxiom(OWLDataPropertyExpression property, OWLIndividual subject, OWLLiteral object, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLNegativeObjectPropertyAssertionAxiom getOWLNegativeObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property, OWLIndividual subject, OWLIndividual object)
           
 OWLNegativeObjectPropertyAssertionAxiom getOWLNegativeObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property, OWLIndividual subject, OWLIndividual object, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLClass getOWLNothing()
          Gets the built in owl:Nothing class, which has a URI of <http://www.w3.org/2002/07/owl#Nothing>
 OWLObjectAllValuesFrom getOWLObjectAllValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
           
 OWLObjectComplementOf getOWLObjectComplementOf(OWLClassExpression operand)
           
 OWLObjectExactCardinality getOWLObjectExactCardinality(int cardinality, OWLObjectPropertyExpression property)
           
 OWLObjectExactCardinality getOWLObjectExactCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
           
 OWLObjectHasSelf getOWLObjectHasSelf(OWLObjectPropertyExpression property)
           
 OWLObjectHasValue getOWLObjectHasValue(OWLObjectPropertyExpression property, OWLIndividual individual)
           
 OWLObjectIntersectionOf getOWLObjectIntersectionOf(OWLClassExpression... operands)
           
 OWLObjectIntersectionOf getOWLObjectIntersectionOf(java.util.Set<? extends OWLClassExpression> operands)
           
 OWLObjectInverseOf getOWLObjectInverseOf(OWLObjectPropertyExpression property)
          Gets the inverse of an object property.
 OWLObjectMaxCardinality getOWLObjectMaxCardinality(int cardinality, OWLObjectPropertyExpression property)
           
 OWLObjectMaxCardinality getOWLObjectMaxCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
           
 OWLObjectMinCardinality getOWLObjectMinCardinality(int cardinality, OWLObjectPropertyExpression property)
           
 OWLObjectMinCardinality getOWLObjectMinCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
           
 OWLObjectOneOf getOWLObjectOneOf(OWLIndividual... individuals)
           
 OWLObjectOneOf getOWLObjectOneOf(java.util.Set<? extends OWLIndividual> values)
           
 OWLObjectProperty getOWLObjectProperty(IRI iri)
          Gets an OWL object property that has the specified IRI
 OWLObjectProperty getOWLObjectProperty(java.lang.String curi, PrefixManager prefixManager)
          Gets an OWLObjectProperty that has an IRI that is obtained by expanding an abbreviated name using an appropriate prefix mapping.
 OWLObjectPropertyAssertionAxiom getOWLObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property, OWLIndividual individual, OWLIndividual object)
           
 OWLObjectPropertyAssertionAxiom getOWLObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property, OWLIndividual individual, OWLIndividual object, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLObjectPropertyDomainAxiom getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
           
 OWLObjectPropertyDomainAxiom getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property, OWLClassExpression classExpression, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLObjectPropertyRangeAxiom getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property, OWLClassExpression range)
           
 OWLObjectPropertyRangeAxiom getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property, OWLClassExpression range, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLObjectSomeValuesFrom getOWLObjectSomeValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
          Gets an OWLObjectSomeValuesFrom restriction
 OWLObjectUnionOf getOWLObjectUnionOf(OWLClassExpression... operands)
           
 OWLObjectUnionOf getOWLObjectUnionOf(java.util.Set<? extends OWLClassExpression> operands)
           
 OWLReflexiveObjectPropertyAxiom getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLReflexiveObjectPropertyAxiom getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLSameIndividualAxiom getOWLSameIndividualAxiom(OWLIndividual... individuals)
           
 OWLSameIndividualAxiom getOWLSameIndividualAxiom(java.util.Set<? extends OWLIndividual> individuals)
           
 OWLSameIndividualAxiom getOWLSameIndividualAxiom(java.util.Set<? extends OWLIndividual> individuals, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLLiteral getOWLStringLiteral(java.lang.String literal)
          Deprecated. Use getOWLLiteral(String, String) with the second parameter as the empty string (""). Gets a string literal without a language tag.
 OWLLiteral getOWLStringLiteral(java.lang.String literal, java.lang.String lang)
          Deprecated. Use getOWLLiteral(String, String) Gets an OWLStringLiteral with a language tag.
 OWLSubAnnotationPropertyOfAxiom getOWLSubAnnotationPropertyOfAxiom(OWLAnnotationProperty sub, OWLAnnotationProperty sup)
           
 OWLSubAnnotationPropertyOfAxiom getOWLSubAnnotationPropertyOfAxiom(OWLAnnotationProperty sub, OWLAnnotationProperty sup, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLSubClassOfAxiom getOWLSubClassOfAxiom(OWLClassExpression subClass, OWLClassExpression superClass)
           
 OWLSubClassOfAxiom getOWLSubClassOfAxiom(OWLClassExpression subClass, OWLClassExpression superClass, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLSubDataPropertyOfAxiom getOWLSubDataPropertyOfAxiom(OWLDataPropertyExpression subProperty, OWLDataPropertyExpression superProperty)
           
 OWLSubDataPropertyOfAxiom getOWLSubDataPropertyOfAxiom(OWLDataPropertyExpression subProperty, OWLDataPropertyExpression superProperty, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLSubObjectPropertyOfAxiom getOWLSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty)
           
 OWLSubObjectPropertyOfAxiom getOWLSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLSubPropertyChainOfAxiom getOWLSubPropertyChainOfAxiom(java.util.List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty)
           
 OWLSubPropertyChainOfAxiom getOWLSubPropertyChainOfAxiom(java.util.List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLSymmetricObjectPropertyAxiom getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLSymmetricObjectPropertyAxiom getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLClass getOWLThing()
          Gets the built in owl:Thing class, which has a URI of <http://www.w3.org/2002/07/owl#Thing>
 OWLDataProperty getOWLTopDataProperty()
           
 OWLObjectProperty getOWLTopObjectProperty()
           
 OWLTransitiveObjectPropertyAxiom getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLTransitiveObjectPropertyAxiom getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property, java.util.Set<? extends OWLAnnotation> annotations)
           
 OWLLiteral getOWLTypedLiteral(boolean value)
          Deprecated. Use getOWLLiteral(boolean) Convenience method that obtains a literal typed as a boolean.
 OWLLiteral getOWLTypedLiteral(double value)
          Deprecated. Use getOWLLiteral(double) Convenience method that obtains a literal typed as a double.
 OWLLiteral getOWLTypedLiteral(float value)
          Deprecated. Use getOWLLiteral(float) Convenience method that obtains a literal typed as a float.
 OWLLiteral getOWLTypedLiteral(int value)
          Deprecated. Use getOWLLiteral(int) Convenience method that obtains a literal typed as an integer.
 OWLLiteral getOWLTypedLiteral(java.lang.String value)
          Deprecated. Use getOWLLiteral(String) Convenience method that obtains a literal typed as a string.
 OWLLiteral getOWLTypedLiteral(java.lang.String literal, OWL2Datatype datatype)
          Deprecated. Use getOWLLiteral(String, org.semanticweb.owlapi.vocab.OWL2Datatype) Creates a typed literal that has the specified OWL 2 Datatype as its datatype
 OWLLiteral getOWLTypedLiteral(java.lang.String literal, OWLDatatype datatype)
          Deprecated. Use getOWLLiteral(String, org.semanticweb.owlapi.model.OWLDatatype)
 OWLAnnotationProperty getOWLVersionInfo()
          Gets an annotation property that has an IRI corresponding to owl:versionInfo.
 OWLDatatype getRDFPlainLiteral()
          Gets the rdf:PlainLiteral datatype.
 OWLAnnotationProperty getRDFSComment()
          Gets an annotation property that has an IRI corresponding to rdfs:comment.
 OWLAnnotationProperty getRDFSIsDefinedBy()
          Gets an annotation property that has an IRI corresponding to rdfs:isDefinedBy.
 OWLAnnotationProperty getRDFSLabel()
          Gets an annotation property that has an IRI corresponding to rdfs:label.
 OWLAnnotationProperty getRDFSSeeAlso()
          Gets an annotation property that has an IRI corresponding to rdfs:seeAlso.
 SWRLBuiltInAtom getSWRLBuiltInAtom(IRI builtInIRI, java.util.List<SWRLDArgument> args)
          Creates a SWRL Built-In atom.
 SWRLClassAtom getSWRLClassAtom(OWLClassExpression predicate, SWRLIArgument arg)
          Gets a SWRL class atom, i.e.
 SWRLDataPropertyAtom getSWRLDataPropertyAtom(OWLDataPropertyExpression property, SWRLIArgument arg0, SWRLDArgument arg1)
          Gets a SWRL data property atom, i.e.
 SWRLDataRangeAtom getSWRLDataRangeAtom(OWLDataRange predicate, SWRLDArgument arg)
          Gets a SWRL data range atom, i.e.
 SWRLDifferentIndividualsAtom getSWRLDifferentIndividualsAtom(SWRLIArgument arg0, SWRLIArgument arg1)
           
 SWRLIndividualArgument getSWRLIndividualArgument(OWLIndividual individual)
          Gets a SWRL individual object.
 SWRLLiteralArgument getSWRLLiteralArgument(OWLLiteral literal)
          Gets a SWRL constant object.
 SWRLObjectPropertyAtom getSWRLObjectPropertyAtom(OWLObjectPropertyExpression property, SWRLIArgument arg0, SWRLIArgument arg1)
          Gets a SWRL object property atom, i.e.
 SWRLRule getSWRLRule(IRI iri, java.util.Set<? extends SWRLAtom> body, java.util.Set<? extends SWRLAtom> head)
          Deprecated. Use either getSWRLRule(java.util.Set, java.util.Set, java.util.Set) or getSWRLRule(java.util.Set, java.util.Set) instead. Gets a SWRL rule which is named with a URI
 SWRLRule getSWRLRule(NodeID nodeID, java.util.Set<? extends SWRLAtom> body, java.util.Set<? extends SWRLAtom> head)
          Deprecated. Use either getSWRLRule(java.util.Set, java.util.Set, java.util.Set) or getSWRLRule(java.util.Set, java.util.Set) instead.
 SWRLRule getSWRLRule(java.util.Set<? extends SWRLAtom> antecedent, java.util.Set<? extends SWRLAtom> consequent)
          Gets a SWRL rule which is anonymous - i.e.
 SWRLRule getSWRLRule(java.util.Set<? extends SWRLAtom> body, java.util.Set<? extends SWRLAtom> head, java.util.Set<OWLAnnotation> annotations)
          Gets an anonymous SWRL Rule
 SWRLSameIndividualAtom getSWRLSameIndividualAtom(SWRLIArgument arg0, SWRLIArgument arg1)
           
 SWRLVariable getSWRLVariable(IRI var)
          Gets a SWRLVariable.
 OWLDatatype getTopDatatype()
          Gets the built in data range corresponding to the top data type (like owl:Thing but for data ranges), this datatype is rdfs:Literal, and has a URI of $lt;http://www.w3.org/2000/01/rdf-schema#>
 void purge()
          Empty all caches
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

data

protected OWLDataFactoryInternals data
Constructor Detail

OWLDataFactoryImpl

public OWLDataFactoryImpl()
Method Detail

getInstance

public static OWLDataFactory getInstance()

purge

public void purge()
Description copied from interface: OWLDataFactory
Empty all caches

Specified by:
purge in interface OWLDataFactory

getOWLEntity

public <E extends OWLEntity> E getOWLEntity(EntityType<E> entityType,
                                            IRI iri)
Gets an entity that has the specified IRI and is of the specified type.

Specified by:
getOWLEntity in interface OWLDataFactory
Parameters:
entityType - The type of the entity that will be returned
iri - The IRI of the entity that will be returned
Returns:
An entity that has the same IRI as this entity and is of the specified type

getOWLClass

public OWLClass getOWLClass(IRI iri)
Description copied from interface: OWLDataFactory
Gets an OWL class that has the specified IRI

Specified by:
getOWLClass in interface OWLDataFactory
Parameters:
iri - The IRI of the class
Returns:
The object representing the class that has the specified IRI

getOWLClass

public OWLClass getOWLClass(java.lang.String iri,
                            PrefixManager prefixManager)
Description copied from interface: OWLDataFactory
Gets an OWLClass that has an IRI that is obtained by expanding an abbreviated name using an appropriate prefix mapping. See The OWL 2 Structural Specification for more details.

Specified by:
getOWLClass in interface OWLDataFactory
Parameters:
iri - The abbreviated IRI, which is of the form PREFIX_NAME:RC, where PREFIX_NAME may be the empty string (the default prefix). Note that abbreviated IRIs always contain a colon as a delimiter, even if the prefix name is the empty string.
prefixManager - The prefix manager that is responsible for mapping prefix names to prefix IRIs.
Returns:
An OWLClass that has the IRI obtained by expanding the specified abbreviated IRI using the specified prefix manager.

For example, suppose "m:Cat" was specified as the abbreviated IRI, the prefix manager would be used to obtain the IRI prefix for the "m:" prefix name, this prefix would then be concatenated with "Cat" to obtain the full IRI which would be the IRI of the OWLClass obtained by this method.

getOWLAnnotationProperty

public OWLAnnotationProperty getOWLAnnotationProperty(java.lang.String abbreviatedIRI,
                                                      PrefixManager prefixManager)
Description copied from interface: OWLDataFactory
Gets an OWLAnnotationProperty that has an IRI that is obtained by expanding an abbreviated name using an appropriate prefix mapping. See The OWL 2 Structural Specification for more details.

Specified by:
getOWLAnnotationProperty in interface OWLDataFactory
Parameters:
abbreviatedIRI - The abbreviated IRI, which is of the form PREFIX_NAME:RC, where PREFIX_NAME may be the empty string (the default prefix). Note that abbreviated IRIs always contain a colon as a delimiter, even if the prefix name is the empty string.
prefixManager - The prefix manager that is responsible for mapping prefix names to prefix IRIs.
Returns:
An OWLAnnotationProperty that has the IRI obtained by expanding the specified abbreviated IRI using the specified prefix manager.

For example, suppose "m:Cat" was specified as the abbreviated IRI, the prefix manager would be used to obtain the IRI prefix for the "m:" prefix name, this prefix would then be concatenated with "Cat" to obtain the full IRI which would be the IRI of the OWLAnnotationProperty obtained by this method.

getRDFSLabel

public OWLAnnotationProperty getRDFSLabel()
Description copied from interface: OWLDataFactory
Gets an annotation property that has an IRI corresponding to rdfs:label.

Specified by:
getRDFSLabel in interface OWLDataFactory
Returns:
An annotation property with an IRI of rdfs:label.

getRDFSComment

public OWLAnnotationProperty getRDFSComment()
Description copied from interface: OWLDataFactory
Gets an annotation property that has an IRI corresponding to rdfs:comment.

Specified by:
getRDFSComment in interface OWLDataFactory
Returns:
An annotation property with an IRI of rdfs:comment.

getRDFSSeeAlso

public OWLAnnotationProperty getRDFSSeeAlso()
Description copied from interface: OWLDataFactory
Gets an annotation property that has an IRI corresponding to rdfs:seeAlso.

Specified by:
getRDFSSeeAlso in interface OWLDataFactory
Returns:
An annotation property with an IRI of rdfs:seeAlso.

getRDFSIsDefinedBy

public OWLAnnotationProperty getRDFSIsDefinedBy()
Description copied from interface: OWLDataFactory
Gets an annotation property that has an IRI corresponding to rdfs:isDefinedBy.

Specified by:
getRDFSIsDefinedBy in interface OWLDataFactory
Returns:
An annotation property with an IRI of rdfs:isDefinedBy.

getOWLVersionInfo

public OWLAnnotationProperty getOWLVersionInfo()
Description copied from interface: OWLDataFactory
Gets an annotation property that has an IRI corresponding to owl:versionInfo.

Specified by:
getOWLVersionInfo in interface OWLDataFactory
Returns:
An annotation property with an IRI of owl:versionInfo.

getOWLBackwardCompatibleWith

public OWLAnnotationProperty getOWLBackwardCompatibleWith()
Description copied from interface: OWLDataFactory
Gets an annotation property that has an IRI corresponding to owl:backwardCompatibleWith.

Specified by:
getOWLBackwardCompatibleWith in interface OWLDataFactory
Returns:
An annotation property with an IRI of owl:backwardCompatibleWith.

getOWLIncompatibleWith

public OWLAnnotationProperty getOWLIncompatibleWith()
Description copied from interface: OWLDataFactory
Gets an annotation property that has an IRI corresponding to owl:incompatibleWith.

Specified by:
getOWLIncompatibleWith in interface OWLDataFactory
Returns:
An annotation property with an IRI of owl:incompatibleWith.

getOWLDeprecated

public OWLAnnotationProperty getOWLDeprecated()
Description copied from interface: OWLDataFactory
Gets an annotation property that has an IRI corresponding to owl:backwardCompatibleWith.

Specified by:
getOWLDeprecated in interface OWLDataFactory
Returns:
An annotation property with an IRI of owl:backwardCompatibleWith.

getOWLDatatype

public OWLDatatype getOWLDatatype(java.lang.String abbreviatedIRI,
                                  PrefixManager prefixManager)
Description copied from interface: OWLDataFactory
Gets an OWLDatatype that has an IRI that is obtained by expanding an abbreviated name using an appropriate prefix mapping. See The OWL 2 Structural Specification for more details.

Specified by:
getOWLDatatype in interface OWLDataFactory
Parameters:
abbreviatedIRI - The abbreviated IRI, which is of the form PREFIX_NAME:RC, where PREFIX_NAME may be the empty string (the default prefix). Note that abbreviated IRIs always contain a colon as a delimiter, even if the prefix name is the empty string.
prefixManager - The prefix manager that is responsible for mapping prefix names to prefix IRIs.
Returns:
An OWLDatatype that has the IRI obtained by expanding the specified abbreviated IRI using the specified prefix manager.

For example, suppose "m:Cat" was specified as the abbreviated IRI, the prefix manager would be used to obtain the IRI prefix for the "m:" prefix name, this prefix would then be concatenated with "Cat" to obtain the full IRI which would be the IRI of the OWLDatatype obtained by this method.

getOWLThing

public OWLClass getOWLThing()
Description copied from interface: OWLDataFactory
Gets the built in owl:Thing class, which has a URI of <http://www.w3.org/2002/07/owl#Thing>

Specified by:
getOWLThing in interface OWLDataFactory
Returns:
The OWL Class corresponding to owl:Thing

getOWLNothing

public OWLClass getOWLNothing()
Description copied from interface: OWLDataFactory
Gets the built in owl:Nothing class, which has a URI of <http://www.w3.org/2002/07/owl#Nothing>

Specified by:
getOWLNothing in interface OWLDataFactory
Returns:
The OWL Class corresponding to owl:Nothing

getOWLBottomDataProperty

public OWLDataProperty getOWLBottomDataProperty()
Specified by:
getOWLBottomDataProperty in interface OWLDataFactory

getOWLBottomObjectProperty

public OWLObjectProperty getOWLBottomObjectProperty()
Specified by:
getOWLBottomObjectProperty in interface OWLDataFactory

getOWLTopDataProperty

public OWLDataProperty getOWLTopDataProperty()
Specified by:
getOWLTopDataProperty in interface OWLDataFactory

getOWLTopObjectProperty

public OWLObjectProperty getOWLTopObjectProperty()
Specified by:
getOWLTopObjectProperty in interface OWLDataFactory

getTopDatatype

public OWLDatatype getTopDatatype()
Description copied from interface: OWLDataFactory
Gets the built in data range corresponding to the top data type (like owl:Thing but for data ranges), this datatype is rdfs:Literal, and has a URI of $lt;http://www.w3.org/2000/01/rdf-schema#>

Specified by:
getTopDatatype in interface OWLDataFactory
Returns:
The OWL Datatype corresponding to the top data type.

getIntegerOWLDatatype

public OWLDatatype getIntegerOWLDatatype()
Description copied from interface: OWLDataFactory
A convenience method that obtains the datatype that represents integers. This datatype will have the URI of <http://www.w3.org/2001/XMLSchema#integer>

Specified by:
getIntegerOWLDatatype in interface OWLDataFactory
Returns:
An object representing an integer datatype.

getFloatOWLDatatype

public OWLDatatype getFloatOWLDatatype()
Description copied from interface: OWLDataFactory
A convenience method that obtains the datatype that represents floats. This datatype will have the URI of <http://www.w3.org/2001/XMLSchema#float>

Specified by:
getFloatOWLDatatype in interface OWLDataFactory
Returns:
An object representing the float datatype.

getDoubleOWLDatatype

public OWLDatatype getDoubleOWLDatatype()
Description copied from interface: OWLDataFactory
A convenience method that obtains the datatype that represents doubles. This datatype will have the URI of <http://www.w3.org/2001/XMLSchema#double>

Specified by:
getDoubleOWLDatatype in interface OWLDataFactory
Returns:
An object representing a double datatype.

getBooleanOWLDatatype

public OWLDatatype getBooleanOWLDatatype()
Description copied from interface: OWLDataFactory
A convenience method that obtains the datatype that represents the boolean datatype. This datatype will have the URI of <http://www.w3.org/2001/XMLSchema#boolean>

Specified by:
getBooleanOWLDatatype in interface OWLDataFactory
Returns:
An object representing the boolean datatype.

getRDFPlainLiteral

public OWLDatatype getRDFPlainLiteral()
Description copied from interface: OWLDataFactory
Gets the rdf:PlainLiteral datatype.

Specified by:
getRDFPlainLiteral in interface OWLDataFactory
Returns:
The datatype with an IRI of rdf:PlainLiteral

getOWLObjectProperty

public OWLObjectProperty getOWLObjectProperty(IRI iri)
Description copied from interface: OWLDataFactory
Gets an OWL object property that has the specified IRI

Specified by:
getOWLObjectProperty in interface OWLDataFactory
Parameters:
iri - The IRI of the object property to be obtained
Returns:
The object representing the object property that has the specified IRI

getOWLDataProperty

public OWLDataProperty getOWLDataProperty(IRI iri)
Description copied from interface: OWLDataFactory
Gets an OWL data property that has the specified IRI

Specified by:
getOWLDataProperty in interface OWLDataFactory
Parameters:
iri - The IRI of the data property to be obtained
Returns:
The object representing the data property that has the specified IRI

getOWLNamedIndividual

public OWLNamedIndividual getOWLNamedIndividual(IRI iri)
Description copied from interface: OWLDataFactory
Gets an OWL individual that has the specified IRI

Specified by:
getOWLNamedIndividual in interface OWLDataFactory
Parameters:
iri - The IRI of the individual to be obtained
Returns:
The object representing the individual that has the specified IRI

getOWLDataProperty

public OWLDataProperty getOWLDataProperty(java.lang.String curi,
                                          PrefixManager prefixManager)
Description copied from interface: OWLDataFactory
Gets an OWLDataProperty that has an IRI that is obtained by expanding an abbreviated name using an appropriate prefix mapping. See The OWL 2 Structural Specification for more details.

Specified by:
getOWLDataProperty in interface OWLDataFactory
Parameters:
curi - The abbreviated IRI, which is of the form PREFIX_NAME:RC, where PREFIX_NAME may be the empty string (the default prefix). Note that abbreviated IRIs always contain a colon as a delimiter, even if the prefix name is the empty string.
prefixManager - The prefix manager that is responsible for mapping prefix names to prefix IRIs.
Returns:
An OWLDataProperty that has the IRI obtained by expanding the specified abbreviated IRI using the specified prefix manager.

For example, suppose "m:Cat" was specified as the abbreviated IRI, the prefix manager would be used to obtain the IRI prefix for the "m:" prefix name, this prefix would then be concatenated with "Cat" to obtain the full IRI which would be the IRI of the OWLDataProperty obtained by this method.

getOWLNamedIndividual

public OWLNamedIndividual getOWLNamedIndividual(java.lang.String curi,
                                                PrefixManager prefixManager)
Description copied from interface: OWLDataFactory
Gets an OWLNamedIndividual that has an IRI that is obtained by expanding an abbreviated name using an appropriate prefix mapping. See The OWL 2 Structural Specification for more details.

Specified by:
getOWLNamedIndividual in interface OWLDataFactory
Parameters:
curi - The abbreviated IRI, which is of the form PREFIX_NAME:RC, where PREFIX_NAME may be the empty string (the default prefix). Note that abbreviated IRIs always contain a colon as a delimiter, even if the prefix name is the empty string.
prefixManager - The prefix manager that is responsible for mapping prefix names to prefix IRIs.
Returns:
An OWLNamedIndividual that has the IRI obtained by expanding the specified abbreviated IRI using the specified prefix manager.

For example, suppose "m:Cat" was specified as the abbreviated IRI, the prefix manager would be used to obtain the IRI prefix for the "m:" prefix name, this prefix would then be concatenated with "Cat" to obtain the full IRI which would be the IRI of the OWLNamedIndividual obtained by this method.

getOWLObjectProperty

public OWLObjectProperty getOWLObjectProperty(java.lang.String curi,
                                              PrefixManager prefixManager)
Description copied from interface: OWLDataFactory
Gets an OWLObjectProperty that has an IRI that is obtained by expanding an abbreviated name using an appropriate prefix mapping. See The OWL 2 Structural Specification for more details.

Specified by:
getOWLObjectProperty in interface OWLDataFactory
Parameters:
curi - The abbreviated IRI, which is of the form PREFIX_NAME:RC, where PREFIX_NAME may be the empty string (the default prefix). Note that abbreviated IRIs always contain a colon as a delimiter, even if the prefix name is the empty string.
prefixManager - The prefix manager that is responsible for mapping prefix names to prefix IRIs.
Returns:
An OWLObjectProperty that has the IRI obtained by expanding the specified abbreviated IRI using the specified prefix manager.

For example, suppose "m:Cat" was specified as the abbreviated IRI, the prefix manager would be used to obtain the IRI prefix for the "m:" prefix name, this prefix would then be concatenated with "Cat" to obtain the full IRI which would be the IRI of the OWLObjectProperty obtained by this method.

getOWLAnonymousIndividual

public OWLAnonymousIndividual getOWLAnonymousIndividual(java.lang.String id)
Description copied from interface: OWLDataFactory
Gets an anonymous individual that has a specific ID.

Specified by:
getOWLAnonymousIndividual in interface OWLDataFactory
Parameters:
id - The node ID. Note that the ID will be prefixed with _: if it is not specified with _: as a prefix
Returns:
An anonymous individual.

getOWLAnonymousIndividual

public OWLAnonymousIndividual getOWLAnonymousIndividual()
Gets an anonymous individual. The node ID for the individual will be generated automatically

Specified by:
getOWLAnonymousIndividual in interface OWLDataFactory
Returns:
The anonymous individual

getOWLDatatype

public OWLDatatype getOWLDatatype(IRI iri)
Description copied from interface: OWLDataFactory
Gets an OWLDatatype that has the specified IRI

Specified by:
getOWLDatatype in interface OWLDataFactory
Parameters:
iri - The IRI of the datatype to be obtained
Returns:
The object representing the datatype that has the specified IRI

getOWLLiteral

public OWLLiteral getOWLLiteral(java.lang.String lexicalValue,
                                OWLDatatype datatype)
Description copied from interface: OWLDataFactory
Gets an OWLLiteral, which has the specified lexical value, and is typed with the specified datatype.

Specified by:
getOWLLiteral in interface OWLDataFactory
Parameters:
lexicalValue - The lexical value
datatype - The datatype.
Returns:
An OWLLiteral with the specified lexical value and specified datatype. If the datatype is rdf:PlainLiteral, and the lexical value contains a language tag then the language tag will be parsed out of the lexical value. For example, "abc@en"^^rdf:PlainLiteral would be parsed into a lexical value of "abc" and a language tag of "en".

getOWLLiteral

public OWLLiteral getOWLLiteral(java.lang.String lexicalValue,
                                OWL2Datatype datatype)
Description copied from interface: OWLDataFactory
Gets an OWLLiteral, which has the specified lexical value, and is typed with the specified datatype.

Specified by:
getOWLLiteral in interface OWLDataFactory
Parameters:
lexicalValue - The lexical value
datatype - The datatype.
Returns:
An OWLLiteral with the specified lexical value and specified datatype. If the datatype is rdf:PlainLiteral, and the lexical value contains a language tag then the language tag will be parsed out of the lexical value. For example, "abc@en"^^rdf:PlainLiteral would be parsed into a lexical value of "abc" and a language tag of "en".

getOWLLiteral

public OWLLiteral getOWLLiteral(int value)
Description copied from interface: OWLDataFactory
Convenience method that obtains a literal typed as an integer.

Specified by:
getOWLLiteral in interface OWLDataFactory
Parameters:
value - The value of the literal
Returns:
An OWLTypedConstant whose literal is the lexical value of the integer, and whose data type is xsd:integer.

getOWLLiteral

public OWLLiteral getOWLLiteral(double value)
Description copied from interface: OWLDataFactory
Convenience method that obtains a literal typed as a double.

Specified by:
getOWLLiteral in interface OWLDataFactory
Parameters:
value - The value of the literal
Returns:
An OWLTypedConstant whose literal is the lexical value of the double, and whose data type is xsd:double.

getOWLLiteral

public OWLLiteral getOWLLiteral(boolean value)
Description copied from interface: OWLDataFactory
Convenience method that obtains a literal typed as a boolean.

Specified by:
getOWLLiteral in interface OWLDataFactory
Parameters:
value - The value of the literal
Returns:
An OWLTypedConstant whose literal is the lexical value of the boolean, and whose data type is xsd:boolean.

getOWLLiteral

public OWLLiteral getOWLLiteral(float value)
Description copied from interface: OWLDataFactory
Convenience method that obtains a literal typed as a float.

Specified by:
getOWLLiteral in interface OWLDataFactory
Parameters:
value - The value of the literal
Returns:
An OWLTypedConstant whose literal is the lexical value of the float, and whose data type is xsd:float.

getOWLLiteral

public OWLLiteral getOWLLiteral(java.lang.String value)
Description copied from interface: OWLDataFactory
Gets a literal that has the specified lexical value, and has the datatype xsd:string. The literal will not have a language tag.

Specified by:
getOWLLiteral in interface OWLDataFactory
Parameters:
value - The lexical value of the literal
Returns:
A literal (without a language tag) that has a datatype of xsd:string.

getOWLLiteral

public OWLLiteral getOWLLiteral(java.lang.String literal,
                                java.lang.String lang)
Description copied from interface: OWLDataFactory
Gets an OWLLiteral with a language tag. The datatype of this literal will have an IRI of rdf:PlainLiteral (OWLRDFVocabulary.RDF_PLAIN_LITERAL).

Specified by:
getOWLLiteral in interface OWLDataFactory
Parameters:
literal - The string literal
lang - The language tag. The empty string may be specified to indicate an empty language tag. Leading and trailing white space will be removed from the tag and the tag will be normalised to LOWER CASE. If lang is null then lang will be converted to the empty string (for backwards compatibility). If not empty, the tag is formed according to BCP47 but the OWL API will not check that the tag conforms to this specification - it is up to the caller to ensure this.
Returns:
The OWLLiteral that represents the string literal with a (possibly empty) language tag.

getOWLTypedLiteral

public OWLLiteral getOWLTypedLiteral(java.lang.String literal,
                                     OWLDatatype datatype)
Deprecated. Use getOWLLiteral(String, org.semanticweb.owlapi.model.OWLDatatype)

Specified by:
getOWLTypedLiteral in interface OWLDataFactory
Parameters:
literal - The literal
datatype - The datatype
Returns:
The typed literal

getOWLTypedLiteral

public OWLLiteral getOWLTypedLiteral(java.lang.String literal,
                                     OWL2Datatype datatype)
Deprecated. Use getOWLLiteral(String, org.semanticweb.owlapi.vocab.OWL2Datatype) Creates a typed literal that has the specified OWL 2 Datatype as its datatype

Specified by:
getOWLTypedLiteral in interface OWLDataFactory
Parameters:
literal - The literal
datatype - The OWL 2 Datatype that will type the literal
Returns:
The typed literal

getOWLTypedLiteral

public OWLLiteral getOWLTypedLiteral(int value)
Deprecated. Use getOWLLiteral(int) Convenience method that obtains a literal typed as an integer.

Specified by:
getOWLTypedLiteral in interface OWLDataFactory
Parameters:
value - The value of the literal
Returns:
An OWLTypedConstant whose literal is the lexical value of the integer, and whose data type is xsd:integer.

getOWLTypedLiteral

public OWLLiteral getOWLTypedLiteral(double value)
Deprecated. Use getOWLLiteral(double) Convenience method that obtains a literal typed as a double.

Specified by:
getOWLTypedLiteral in interface OWLDataFactory
Parameters:
value - The value of the literal
Returns:
An OWLTypedConstant whose literal is the lexical value of the double, and whose data type is xsd:double.

getOWLTypedLiteral

public OWLLiteral getOWLTypedLiteral(boolean value)
Deprecated. Use getOWLLiteral(boolean) Convenience method that obtains a literal typed as a boolean.

Specified by:
getOWLTypedLiteral in interface OWLDataFactory
Parameters:
value - The value of the literal
Returns:
An OWLTypedConstant whose literal is the lexical value of the boolean, and whose data type is xsd:boolean.

getOWLTypedLiteral

public OWLLiteral getOWLTypedLiteral(float value)
Deprecated. Use getOWLLiteral(float) Convenience method that obtains a literal typed as a float.

Specified by:
getOWLTypedLiteral in interface OWLDataFactory
Parameters:
value - The value of the literal
Returns:
An OWLTypedConstant whose literal is the lexical value of the float, and whose data type is xsd:float.

getOWLTypedLiteral

public OWLLiteral getOWLTypedLiteral(java.lang.String value)
Deprecated. Use getOWLLiteral(String) Convenience method that obtains a literal typed as a string.

Specified by:
getOWLTypedLiteral in interface OWLDataFactory
Parameters:
value - The value of the literal
Returns:
An OWLTypedConstant whose literal is the lexical value of the string, and whose data type is xsd:string.

getOWLStringLiteral

public OWLLiteral getOWLStringLiteral(java.lang.String literal,
                                      java.lang.String lang)
Deprecated. Use getOWLLiteral(String, String) Gets an OWLStringLiteral with a language tag.

Specified by:
getOWLStringLiteral in interface OWLDataFactory
Parameters:
literal - The string literal
lang - The language tag. The tag is formed according to BCP47 but the OWL API will not check that the tag conforms to this specification - it is up to the caller to ensure this. For backwards compatibility, if the value of lang is null then this is equivalent to calling the getOWLStringLiteral(String literal) method.
Returns:
The OWLStringLiteral that represents the string literal with a language tag.

getOWLStringLiteral

public OWLLiteral getOWLStringLiteral(java.lang.String literal)
Deprecated. Use getOWLLiteral(String, String) with the second parameter as the empty string (""). Gets a string literal without a language tag.

Specified by:
getOWLStringLiteral in interface OWLDataFactory
Parameters:
literal - The string literal
Returns:
The string literal for the specfied string

getOWLDataOneOf

public OWLDataOneOf getOWLDataOneOf(java.util.Set<? extends OWLLiteral> values)
Description copied from interface: OWLDataFactory
Gets an OWLDataOneOf (see spec)

Specified by:
getOWLDataOneOf in interface OWLDataFactory
Parameters:
values - The set of values that the data one of should contain
Returns:
A data one of that enumerates the specified set of values

getOWLDataOneOf

public OWLDataOneOf getOWLDataOneOf(OWLLiteral... values)
Description copied from interface: OWLDataFactory
Gets an OWLDataOneOf (see spec)

Specified by:
getOWLDataOneOf in interface OWLDataFactory
Parameters:
values - The set of values that the data one of should contain
Returns:
A data one of that enumerates the specified set of values

getOWLDataComplementOf

public OWLDataComplementOf getOWLDataComplementOf(OWLDataRange dataRange)
Description copied from interface: OWLDataFactory
Gets an OWLDataComplementOf (see spec)

Specified by:
getOWLDataComplementOf in interface OWLDataFactory
Parameters:
dataRange - The datarange to be complemented
Returns:
An OWLDataComplementOf of the specified data range

getOWLDataIntersectionOf

public OWLDataIntersectionOf getOWLDataIntersectionOf(OWLDataRange... dataRanges)
Specified by:
getOWLDataIntersectionOf in interface OWLDataFactory

getOWLDataIntersectionOf

public OWLDataIntersectionOf getOWLDataIntersectionOf(java.util.Set<? extends OWLDataRange> dataRanges)
Specified by:
getOWLDataIntersectionOf in interface OWLDataFactory

getOWLDataUnionOf

public OWLDataUnionOf getOWLDataUnionOf(OWLDataRange... dataRanges)
Specified by:
getOWLDataUnionOf in interface OWLDataFactory

getOWLDataUnionOf

public OWLDataUnionOf getOWLDataUnionOf(java.util.Set<? extends OWLDataRange> dataRanges)
Specified by:
getOWLDataUnionOf in interface OWLDataFactory

getOWLDatatypeRestriction

public OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype datatype,
                                                        java.util.Set<OWLFacetRestriction> facets)
Specified by:
getOWLDatatypeRestriction in interface OWLDataFactory

getOWLDatatypeRestriction

public OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype datatype,
                                                        OWLFacet facet,
                                                        OWLLiteral typedConstant)
Specified by:
getOWLDatatypeRestriction in interface OWLDataFactory

getOWLDatatypeRestriction

public OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype dataRange,
                                                        OWLFacetRestriction... facetRestrictions)
Specified by:
getOWLDatatypeRestriction in interface OWLDataFactory

getOWLDatatypeMinInclusiveRestriction

public OWLDatatypeRestriction getOWLDatatypeMinInclusiveRestriction(int minInclusive)
Description copied from interface: OWLDataFactory
Creates a datatype restriction on xsd:integer with a minInclusive facet restriction

Specified by:
getOWLDatatypeMinInclusiveRestriction in interface OWLDataFactory
Parameters:
minInclusive - The value of the min inclusive facet restriction that will be applied to the xsd:integer datatype
Returns:
An OWLDatatypeRestriction that restricts the xsd:integer OWLDatatype with a OWLFacet.MIN_INCLUSIVE facet value specified by the minInclusive parameter.

getOWLDatatypeMaxInclusiveRestriction

public OWLDatatypeRestriction getOWLDatatypeMaxInclusiveRestriction(int maxInclusive)
Description copied from interface: OWLDataFactory
Creates a datatype restriction on xsd:integer with a maxInclusive facet restriction

Specified by:
getOWLDatatypeMaxInclusiveRestriction in interface OWLDataFactory
Parameters:
maxInclusive - The value of the max inclusive facet restriction that will be applied to the xsd:integer datatype
Returns:
An OWLDatatypeRestriction that restricts the xsd:integer OWLDatatype with a OWLFacet.MAX_INCLUSIVE facet value specified by the maxInclusive parameter.

getOWLDatatypeMinMaxInclusiveRestriction

public OWLDatatypeRestriction getOWLDatatypeMinMaxInclusiveRestriction(int minInclusive,
                                                                       int maxInclusive)
Description copied from interface: OWLDataFactory
Creates a datatype restriction on xsd:integer with min and max inclusive facet restrictions

Specified by:
getOWLDatatypeMinMaxInclusiveRestriction in interface OWLDataFactory
Parameters:
minInclusive - The value of the max inclusive facet restriction that will be applied to the xsd:integer datatype.
maxInclusive - The value of the max inclusive facet restriction that will be applied to the xsd:integer datatype
Returns:
An OWLDatatypeRestriction that restricts the xsd:integer OWLDatatype with a OWLFacet.MIN_INCLUSIVE facet value specified by the minInclusive parameter and a OWLFacet.MAX_INCLUSIVE facet value specified by the maxInclusive parameter.

getOWLDatatypeMinExclusiveRestriction

public OWLDatatypeRestriction getOWLDatatypeMinExclusiveRestriction(int minExclusive)
Description copied from interface: OWLDataFactory
Creates a datatype restriction on xsd:integer with a minExclusive facet restriction

Specified by:
getOWLDatatypeMinExclusiveRestriction in interface OWLDataFactory
Parameters:
minExclusive - The value of the min exclusive facet restriction that will be applied to the xsd:integer datatype
Returns:
An OWLDatatypeRestriction that restricts the xsd:integer OWLDatatype with a OWLFacet.MIN_EXCLUSIVE facet value specified by the minExclusive parameter.

getOWLDatatypeMaxExclusiveRestriction

public OWLDatatypeRestriction getOWLDatatypeMaxExclusiveRestriction(int maxExclusive)
Description copied from interface: OWLDataFactory
Creates a datatype restriction on xsd:integer with a maxExclusive facet restriction

Specified by:
getOWLDatatypeMaxExclusiveRestriction in interface OWLDataFactory
Parameters:
maxExclusive - The value of the max exclusive facet restriction that will be applied to the xsd:integer datatype
Returns:
An OWLDatatypeRestriction that restricts the xsd:integer OWLDatatype with a OWLFacet.MAX_EXCLUSIVE facet value specified by the maxExclusive parameter.

getOWLDatatypeMinMaxExclusiveRestriction

public OWLDatatypeRestriction getOWLDatatypeMinMaxExclusiveRestriction(int minExclusive,
                                                                       int maxExclusive)
Description copied from interface: OWLDataFactory
Creates a datatype restriction on xsd:integer with min and max exclusive facet restrictions

Specified by:
getOWLDatatypeMinMaxExclusiveRestriction in interface OWLDataFactory
Parameters:
minExclusive - The value of the max exclusive facet restriction that will be applied to the xsd:integer datatype.
maxExclusive - The value of the max exclusive facet restriction that will be applied to the xsd:integer datatype
Returns:
An OWLDatatypeRestriction that restricts the xsd:integer OWLDatatype with a OWLFacet.MIN_EXCLUSIVE facet value specified by the minExclusive parameter and a OWLFacet.MAX_EXCLUSIVE facet value specified by the maxExclusive parameter.

getOWLDatatypeMinInclusiveRestriction

public OWLDatatypeRestriction getOWLDatatypeMinInclusiveRestriction(double minInclusive)
Description copied from interface: OWLDataFactory
Creates a datatype restriction on xsd:double with a minInclusive facet restriction

Specified by:
getOWLDatatypeMinInclusiveRestriction in interface OWLDataFactory
Parameters:
minInclusive - The value of the min inclusive facet restriction that will be applied to the xsd:double datatype
Returns:
An OWLDatatypeRestriction that restricts the xsd:double OWLDatatype with a OWLFacet.MIN_INCLUSIVE facet value specified by the minInclusive parameter.

getOWLDatatypeMaxInclusiveRestriction

public OWLDatatypeRestriction getOWLDatatypeMaxInclusiveRestriction(double maxInclusive)
Description copied from interface: OWLDataFactory
Creates a datatype restriction on xsd:double with a maxInclusive facet restriction

Specified by:
getOWLDatatypeMaxInclusiveRestriction in interface OWLDataFactory
Parameters:
maxInclusive - The value of the max inclusive facet restriction that will be applied to the xsd:double datatype
Returns:
An OWLDatatypeRestriction that restricts the xsd:double OWLDatatype with a OWLFacet.MAX_INCLUSIVE facet value specified by the maxInclusive parameter.

getOWLDatatypeMinMaxInclusiveRestriction

public OWLDatatypeRestriction getOWLDatatypeMinMaxInclusiveRestriction(double minInclusive,
                                                                       double maxInclusive)
Description copied from interface: OWLDataFactory
Creates a datatype restriction on xsd:double with min and max inclusive facet restrictions

Specified by:
getOWLDatatypeMinMaxInclusiveRestriction in interface OWLDataFactory
Parameters:
minInclusive - The value of the max inclusive facet restriction that will be applied to the xsd:double datatype.
maxInclusive - The value of the max inclusive facet restriction that will be applied to the xsd:double datatype
Returns:
An OWLDatatypeRestriction that restricts the xsd:double OWLDatatype with a OWLFacet.MIN_INCLUSIVE facet value specified by the minInclusive parameter and a OWLFacet.MAX_INCLUSIVE facet value specified by the maxInclusive parameter.

getOWLDatatypeMinExclusiveRestriction

public OWLDatatypeRestriction getOWLDatatypeMinExclusiveRestriction(double minExclusive)
Description copied from interface: OWLDataFactory
Creates a datatype restriction on xsd:double with a minExclusive facet restriction

Specified by:
getOWLDatatypeMinExclusiveRestriction in interface OWLDataFactory
Parameters:
minExclusive - The value of the min exclusive facet restriction that will be applied to the xsd:double datatype
Returns:
An OWLDatatypeRestriction that restricts the xsd:double OWLDatatype with a OWLFacet.MIN_EXCLUSIVE facet value specified by the minExclusive parameter.

getOWLDatatypeMaxExclusiveRestriction

public OWLDatatypeRestriction getOWLDatatypeMaxExclusiveRestriction(double maxExclusive)
Description copied from interface: OWLDataFactory
Creates a datatype restriction on xsd:double with a maxExclusive facet restriction

Specified by:
getOWLDatatypeMaxExclusiveRestriction in interface OWLDataFactory
Parameters:
maxExclusive - The value of the max exclusive facet restriction that will be applied to the xsd:double datatype
Returns:
An OWLDatatypeRestriction that restricts the xsd:double OWLDatatype with a OWLFacet.MAX_EXCLUSIVE facet value specified by the maxExclusive parameter.

getOWLDatatypeMinMaxExclusiveRestriction

public OWLDatatypeRestriction getOWLDatatypeMinMaxExclusiveRestriction(double minExclusive,
                                                                       double maxExclusive)
Description copied from interface: OWLDataFactory
Creates a datatype restriction on xsd:double with min and max exclusive facet restrictions

Specified by:
getOWLDatatypeMinMaxExclusiveRestriction in interface OWLDataFactory
Parameters:
minExclusive - The value of the max exclusive facet restriction that will be applied to the xsd:double datatype.
maxExclusive - The value of the max exclusive facet restriction that will be applied to the xsd:double datatype
Returns:
An OWLDatatypeRestriction that restricts the xsd:double OWLDatatype with a OWLFacet.MIN_EXCLUSIVE facet value specified by the minExclusive parameter and a OWLFacet.MAX_EXCLUSIVE facet value specified by the maxExclusive parameter.

getOWLFacetRestriction

public OWLFacetRestriction getOWLFacetRestriction(OWLFacet facet,
                                                  int facetValue)
Specified by:
getOWLFacetRestriction in interface OWLDataFactory

getOWLFacetRestriction

public OWLFacetRestriction getOWLFacetRestriction(OWLFacet facet,
                                                  double facetValue)
Specified by:
getOWLFacetRestriction in interface OWLDataFactory

getOWLFacetRestriction

public OWLFacetRestriction getOWLFacetRestriction(OWLFacet facet,
                                                  float facetValue)
Specified by:
getOWLFacetRestriction in interface OWLDataFactory

getOWLFacetRestriction

public OWLFacetRestriction getOWLFacetRestriction(OWLFacet facet,
                                                  OWLLiteral facetValue)
Specified by:
getOWLFacetRestriction in interface OWLDataFactory

getOWLObjectIntersectionOf

public OWLObjectIntersectionOf getOWLObjectIntersectionOf(java.util.Set<? extends OWLClassExpression> operands)
Specified by:
getOWLObjectIntersectionOf in interface OWLDataFactory

getOWLObjectIntersectionOf

public OWLObjectIntersectionOf getOWLObjectIntersectionOf(OWLClassExpression... operands)
Specified by:
getOWLObjectIntersectionOf in interface OWLDataFactory

getOWLDataAllValuesFrom

public OWLDataAllValuesFrom getOWLDataAllValuesFrom(OWLDataPropertyExpression property,
                                                    OWLDataRange dataRange)
Specified by:
getOWLDataAllValuesFrom in interface OWLDataFactory

getOWLDataExactCardinality

public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality,
                                                          OWLDataPropertyExpression property)
Specified by:
getOWLDataExactCardinality in interface OWLDataFactory

getOWLDataExactCardinality

public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality,
                                                          OWLDataPropertyExpression property,
                                                          OWLDataRange dataRange)
Specified by:
getOWLDataExactCardinality in interface OWLDataFactory

getOWLDataMaxCardinality

public OWLDataMaxCardinality getOWLDataMaxCardinality(int cardinality,
                                                      OWLDataPropertyExpression property)
Specified by:
getOWLDataMaxCardinality in interface OWLDataFactory

getOWLDataMaxCardinality

public OWLDataMaxCardinality getOWLDataMaxCardinality(int cardinality,
                                                      OWLDataPropertyExpression property,
                                                      OWLDataRange dataRange)
Specified by:
getOWLDataMaxCardinality in interface OWLDataFactory

getOWLDataMinCardinality

public OWLDataMinCardinality getOWLDataMinCardinality(int cardinality,
                                                      OWLDataPropertyExpression property)
Specified by:
getOWLDataMinCardinality in interface OWLDataFactory

getOWLDataMinCardinality

public OWLDataMinCardinality getOWLDataMinCardinality(int cardinality,
                                                      OWLDataPropertyExpression property,
                                                      OWLDataRange dataRange)
Specified by:
getOWLDataMinCardinality in interface OWLDataFactory

getOWLDataSomeValuesFrom

public OWLDataSomeValuesFrom getOWLDataSomeValuesFrom(OWLDataPropertyExpression property,
                                                      OWLDataRange dataRange)
Description copied from interface: OWLDataFactory
Gets an OWLDataSomeValuesFrom restriction

Specified by:
getOWLDataSomeValuesFrom in interface OWLDataFactory
Parameters:
property - The property that the restriction acts along
dataRange - The data range that is the filler
Returns:
An OWLDataSomeValuesFrom restriction that acts along the specified property and has the specified filler

getOWLDataHasValue

public OWLDataHasValue getOWLDataHasValue(OWLDataPropertyExpression property,
                                          OWLLiteral value)
Specified by:
getOWLDataHasValue in interface OWLDataFactory

getOWLObjectComplementOf

public OWLObjectComplementOf getOWLObjectComplementOf(OWLClassExpression operand)
Specified by:
getOWLObjectComplementOf in interface OWLDataFactory

getOWLObjectAllValuesFrom

public OWLObjectAllValuesFrom getOWLObjectAllValuesFrom(OWLObjectPropertyExpression property,
                                                        OWLClassExpression classExpression)
Specified by:
getOWLObjectAllValuesFrom in interface OWLDataFactory

getOWLObjectOneOf

public OWLObjectOneOf getOWLObjectOneOf(java.util.Set<? extends OWLIndividual> values)
Specified by:
getOWLObjectOneOf in interface OWLDataFactory

getOWLObjectOneOf

public OWLObjectOneOf getOWLObjectOneOf(OWLIndividual... individuals)
Specified by:
getOWLObjectOneOf in interface OWLDataFactory

getOWLObjectExactCardinality

public OWLObjectExactCardinality getOWLObjectExactCardinality(int cardinality,
                                                              OWLObjectPropertyExpression property)
Specified by:
getOWLObjectExactCardinality in interface OWLDataFactory

getOWLObjectExactCardinality

public OWLObjectExactCardinality getOWLObjectExactCardinality(int cardinality,
                                                              OWLObjectPropertyExpression property,
                                                              OWLClassExpression classExpression)
Specified by:
getOWLObjectExactCardinality in interface OWLDataFactory

getOWLObjectMinCardinality

public OWLObjectMinCardinality getOWLObjectMinCardinality(int cardinality,
                                                          OWLObjectPropertyExpression property)
Specified by:
getOWLObjectMinCardinality in interface OWLDataFactory

getOWLObjectMinCardinality

public OWLObjectMinCardinality getOWLObjectMinCardinality(int cardinality,
                                                          OWLObjectPropertyExpression property,
                                                          OWLClassExpression classExpression)
Specified by:
getOWLObjectMinCardinality in interface OWLDataFactory

getOWLObjectMaxCardinality

public OWLObjectMaxCardinality getOWLObjectMaxCardinality(int cardinality,
                                                          OWLObjectPropertyExpression property)
Specified by:
getOWLObjectMaxCardinality in interface OWLDataFactory

getOWLObjectMaxCardinality

public OWLObjectMaxCardinality getOWLObjectMaxCardinality(int cardinality,
                                                          OWLObjectPropertyExpression property,
                                                          OWLClassExpression classExpression)
Specified by:
getOWLObjectMaxCardinality in interface OWLDataFactory

getOWLObjectHasSelf

public OWLObjectHasSelf getOWLObjectHasSelf(OWLObjectPropertyExpression property)
Specified by:
getOWLObjectHasSelf in interface OWLDataFactory

getOWLObjectSomeValuesFrom

public OWLObjectSomeValuesFrom getOWLObjectSomeValuesFrom(OWLObjectPropertyExpression property,
                                                          OWLClassExpression classExpression)
Description copied from interface: OWLDataFactory
Gets an OWLObjectSomeValuesFrom restriction

Specified by:
getOWLObjectSomeValuesFrom in interface OWLDataFactory
Parameters:
property - The object property that the restriction acts along
classExpression - The class expression that is the filler
Returns:
An OWLObjectSomeValuesFrom restriction along the specified property with the specified filler

getOWLObjectHasValue

public OWLObjectHasValue getOWLObjectHasValue(OWLObjectPropertyExpression property,
                                              OWLIndividual individual)
Specified by:
getOWLObjectHasValue in interface OWLDataFactory

getOWLObjectUnionOf

public OWLObjectUnionOf getOWLObjectUnionOf(java.util.Set<? extends OWLClassExpression> operands)
Specified by:
getOWLObjectUnionOf in interface OWLDataFactory

getOWLObjectUnionOf

public OWLObjectUnionOf getOWLObjectUnionOf(OWLClassExpression... operands)
Specified by:
getOWLObjectUnionOf in interface OWLDataFactory

getOWLAsymmetricObjectPropertyAxiom

public OWLAsymmetricObjectPropertyAxiom getOWLAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression propertyExpression,
                                                                            java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLAsymmetricObjectPropertyAxiom in interface OWLDataFactory

getOWLAsymmetricObjectPropertyAxiom

public OWLAsymmetricObjectPropertyAxiom getOWLAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression propertyExpression)
Specified by:
getOWLAsymmetricObjectPropertyAxiom in interface OWLDataFactory

getOWLDataPropertyDomainAxiom

public OWLDataPropertyDomainAxiom getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property,
                                                                OWLClassExpression domain,
                                                                java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLDataPropertyDomainAxiom in interface OWLDataFactory

getOWLDataPropertyDomainAxiom

public OWLDataPropertyDomainAxiom getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property,
                                                                OWLClassExpression domain)
Specified by:
getOWLDataPropertyDomainAxiom in interface OWLDataFactory

getOWLDataPropertyRangeAxiom

public OWLDataPropertyRangeAxiom getOWLDataPropertyRangeAxiom(OWLDataPropertyExpression propery,
                                                              OWLDataRange owlDataRange,
                                                              java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLDataPropertyRangeAxiom in interface OWLDataFactory

getOWLDataPropertyRangeAxiom

public OWLDataPropertyRangeAxiom getOWLDataPropertyRangeAxiom(OWLDataPropertyExpression propery,
                                                              OWLDataRange owlDataRange)
Specified by:
getOWLDataPropertyRangeAxiom in interface OWLDataFactory

getOWLSubDataPropertyOfAxiom

public OWLSubDataPropertyOfAxiom getOWLSubDataPropertyOfAxiom(OWLDataPropertyExpression subProperty,
                                                              OWLDataPropertyExpression superProperty,
                                                              java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLSubDataPropertyOfAxiom in interface OWLDataFactory

getOWLSubDataPropertyOfAxiom

public OWLSubDataPropertyOfAxiom getOWLSubDataPropertyOfAxiom(OWLDataPropertyExpression subProperty,
                                                              OWLDataPropertyExpression superProperty)
Specified by:
getOWLSubDataPropertyOfAxiom in interface OWLDataFactory

getOWLDeclarationAxiom

public OWLDeclarationAxiom getOWLDeclarationAxiom(OWLEntity owlEntity)
Gets a declaration for an entity

Specified by:
getOWLDeclarationAxiom in interface OWLDataFactory
Parameters:
owlEntity - The declared entity.
Returns:
The declaration axiom for the specified entity.
Throws:
java.lang.NullPointerException - if owlEntity is null

getOWLDeclarationAxiom

public OWLDeclarationAxiom getOWLDeclarationAxiom(OWLEntity owlEntity,
                                                  java.util.Set<? extends OWLAnnotation> annotations)
Description copied from interface: OWLDataFactory
Gets a declaration with zero or more annotations for an entity

Specified by:
getOWLDeclarationAxiom in interface OWLDataFactory
Parameters:
owlEntity - The declared entity
annotations - A possibly empty set of annotations
Returns:
The declaration axiom for the specified entity which is annotated with the specified annotations

getOWLDifferentIndividualsAxiom

public OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(java.util.Set<? extends OWLIndividual> individuals,
                                                                    java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLDifferentIndividualsAxiom in interface OWLDataFactory

getOWLDifferentIndividualsAxiom

public OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(OWLIndividual... individuals)
Specified by:
getOWLDifferentIndividualsAxiom in interface OWLDataFactory

getOWLDifferentIndividualsAxiom

public OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(java.util.Set<? extends OWLIndividual> individuals)
Specified by:
getOWLDifferentIndividualsAxiom in interface OWLDataFactory

getOWLDisjointClassesAxiom

public OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions,
                                                          java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLDisjointClassesAxiom in interface OWLDataFactory

getOWLDisjointClassesAxiom

public OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions)
Specified by:
getOWLDisjointClassesAxiom in interface OWLDataFactory

getOWLDisjointClassesAxiom

public OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(OWLClassExpression... classExpressions)
Specified by:
getOWLDisjointClassesAxiom in interface OWLDataFactory

getOWLDisjointDataPropertiesAxiom

public OWLDisjointDataPropertiesAxiom getOWLDisjointDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties,
                                                                        java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLDisjointDataPropertiesAxiom in interface OWLDataFactory

getOWLDisjointDataPropertiesAxiom

public OWLDisjointDataPropertiesAxiom getOWLDisjointDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties)
Specified by:
getOWLDisjointDataPropertiesAxiom in interface OWLDataFactory

getOWLDisjointDataPropertiesAxiom

public OWLDisjointDataPropertiesAxiom getOWLDisjointDataPropertiesAxiom(OWLDataPropertyExpression... properties)
Specified by:
getOWLDisjointDataPropertiesAxiom in interface OWLDataFactory

getOWLDisjointObjectPropertiesAxiom

public OWLDisjointObjectPropertiesAxiom getOWLDisjointObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)
Specified by:
getOWLDisjointObjectPropertiesAxiom in interface OWLDataFactory

getOWLDisjointObjectPropertiesAxiom

public OWLDisjointObjectPropertiesAxiom getOWLDisjointObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties)
Specified by:
getOWLDisjointObjectPropertiesAxiom in interface OWLDataFactory

getOWLDisjointObjectPropertiesAxiom

public OWLDisjointObjectPropertiesAxiom getOWLDisjointObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties,
                                                                            java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLDisjointObjectPropertiesAxiom in interface OWLDataFactory

getOWLEquivalentClassesAxiom

public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions,
                                                              java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLEquivalentClassesAxiom in interface OWLDataFactory

getOWLEquivalentClassesAxiom

public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(OWLClassExpression clsA,
                                                              OWLClassExpression clsB)
Specified by:
getOWLEquivalentClassesAxiom in interface OWLDataFactory

getOWLEquivalentClassesAxiom

public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(OWLClassExpression clsA,
                                                              OWLClassExpression clsB,
                                                              java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLEquivalentClassesAxiom in interface OWLDataFactory

getOWLEquivalentClassesAxiom

public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(OWLClassExpression... classExpressions)
Specified by:
getOWLEquivalentClassesAxiom in interface OWLDataFactory

getOWLEquivalentClassesAxiom

public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions)
Specified by:
getOWLEquivalentClassesAxiom in interface OWLDataFactory

getOWLEquivalentDataPropertiesAxiom

public OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties,
                                                                            java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLEquivalentDataPropertiesAxiom in interface OWLDataFactory

getOWLEquivalentDataPropertiesAxiom

public OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties)
Specified by:
getOWLEquivalentDataPropertiesAxiom in interface OWLDataFactory

getOWLEquivalentDataPropertiesAxiom

public OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression propertyA,
                                                                            OWLDataPropertyExpression propertyB)
Specified by:
getOWLEquivalentDataPropertiesAxiom in interface OWLDataFactory

getOWLEquivalentDataPropertiesAxiom

public OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression propertyA,
                                                                            OWLDataPropertyExpression propertyB,
                                                                            java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLEquivalentDataPropertiesAxiom in interface OWLDataFactory

getOWLEquivalentDataPropertiesAxiom

public OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression... properties)
Specified by:
getOWLEquivalentDataPropertiesAxiom in interface OWLDataFactory

getOWLEquivalentObjectPropertiesAxiom

public OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)
Specified by:
getOWLEquivalentObjectPropertiesAxiom in interface OWLDataFactory

getOWLEquivalentObjectPropertiesAxiom

public OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties)
Specified by:
getOWLEquivalentObjectPropertiesAxiom in interface OWLDataFactory

getOWLEquivalentObjectPropertiesAxiom

public OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression propertyA,
                                                                                OWLObjectPropertyExpression propertyB)
Specified by:
getOWLEquivalentObjectPropertiesAxiom in interface OWLDataFactory

getOWLEquivalentObjectPropertiesAxiom

public OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression propertyA,
                                                                                OWLObjectPropertyExpression propertyB,
                                                                                java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLEquivalentObjectPropertiesAxiom in interface OWLDataFactory

getOWLFunctionalDataPropertyAxiom

public OWLFunctionalDataPropertyAxiom getOWLFunctionalDataPropertyAxiom(OWLDataPropertyExpression property,
                                                                        java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLFunctionalDataPropertyAxiom in interface OWLDataFactory

getOWLFunctionalDataPropertyAxiom

public OWLFunctionalDataPropertyAxiom getOWLFunctionalDataPropertyAxiom(OWLDataPropertyExpression property)
Specified by:
getOWLFunctionalDataPropertyAxiom in interface OWLDataFactory

getOWLFunctionalObjectPropertyAxiom

public OWLFunctionalObjectPropertyAxiom getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                            java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLFunctionalObjectPropertyAxiom in interface OWLDataFactory

getOWLFunctionalObjectPropertyAxiom

public OWLFunctionalObjectPropertyAxiom getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
Specified by:
getOWLFunctionalObjectPropertyAxiom in interface OWLDataFactory

getOWLImportsDeclaration

public OWLImportsDeclaration getOWLImportsDeclaration(IRI importedOntologyIRI)
Specified by:
getOWLImportsDeclaration in interface OWLDataFactory

getOWLDataPropertyAssertionAxiom

public OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                                      OWLIndividual subject,
                                                                      OWLLiteral object,
                                                                      java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLDataPropertyAssertionAxiom in interface OWLDataFactory

getOWLDataPropertyAssertionAxiom

public OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                                      OWLIndividual subject,
                                                                      OWLLiteral object)
Specified by:
getOWLDataPropertyAssertionAxiom in interface OWLDataFactory

getOWLDataPropertyAssertionAxiom

public OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                                      OWLIndividual subject,
                                                                      int value)
Specified by:
getOWLDataPropertyAssertionAxiom in interface OWLDataFactory

getOWLDataPropertyAssertionAxiom

public OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                                      OWLIndividual subject,
                                                                      double value)
Specified by:
getOWLDataPropertyAssertionAxiom in interface OWLDataFactory

getOWLDataPropertyAssertionAxiom

public OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                                      OWLIndividual subject,
                                                                      float value)
Specified by:
getOWLDataPropertyAssertionAxiom in interface OWLDataFactory

getOWLDataPropertyAssertionAxiom

public OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                                      OWLIndividual subject,
                                                                      boolean value)
Specified by:
getOWLDataPropertyAssertionAxiom in interface OWLDataFactory

getOWLDataPropertyAssertionAxiom

public OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                                      OWLIndividual subject,
                                                                      java.lang.String value)
Specified by:
getOWLDataPropertyAssertionAxiom in interface OWLDataFactory

getOWLNegativeDataPropertyAssertionAxiom

public OWLNegativeDataPropertyAssertionAxiom getOWLNegativeDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                                                      OWLIndividual subject,
                                                                                      OWLLiteral object)
Specified by:
getOWLNegativeDataPropertyAssertionAxiom in interface OWLDataFactory

getOWLNegativeDataPropertyAssertionAxiom

public OWLNegativeDataPropertyAssertionAxiom getOWLNegativeDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                                                      OWLIndividual subject,
                                                                                      OWLLiteral object,
                                                                                      java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLNegativeDataPropertyAssertionAxiom in interface OWLDataFactory

getOWLNegativeObjectPropertyAssertionAxiom

public OWLNegativeObjectPropertyAssertionAxiom getOWLNegativeObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
                                                                                          OWLIndividual subject,
                                                                                          OWLIndividual object)
Specified by:
getOWLNegativeObjectPropertyAssertionAxiom in interface OWLDataFactory

getOWLNegativeObjectPropertyAssertionAxiom

public OWLNegativeObjectPropertyAssertionAxiom getOWLNegativeObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
                                                                                          OWLIndividual subject,
                                                                                          OWLIndividual object,
                                                                                          java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLNegativeObjectPropertyAssertionAxiom in interface OWLDataFactory

getOWLObjectPropertyAssertionAxiom

public OWLObjectPropertyAssertionAxiom getOWLObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
                                                                          OWLIndividual individual,
                                                                          OWLIndividual object)
Specified by:
getOWLObjectPropertyAssertionAxiom in interface OWLDataFactory

getOWLClassAssertionAxiom

public OWLClassAssertionAxiom getOWLClassAssertionAxiom(OWLClassExpression classExpression,
                                                        OWLIndividual individual)
Specified by:
getOWLClassAssertionAxiom in interface OWLDataFactory

getOWLClassAssertionAxiom

public OWLClassAssertionAxiom getOWLClassAssertionAxiom(OWLClassExpression classExpression,
                                                        OWLIndividual individual,
                                                        java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLClassAssertionAxiom in interface OWLDataFactory

getOWLInverseFunctionalObjectPropertyAxiom

public OWLInverseFunctionalObjectPropertyAxiom getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
Specified by:
getOWLInverseFunctionalObjectPropertyAxiom in interface OWLDataFactory

getOWLInverseFunctionalObjectPropertyAxiom

public OWLInverseFunctionalObjectPropertyAxiom getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                                          java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLInverseFunctionalObjectPropertyAxiom in interface OWLDataFactory

getOWLIrreflexiveObjectPropertyAxiom

public OWLIrreflexiveObjectPropertyAxiom getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                              java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLIrreflexiveObjectPropertyAxiom in interface OWLDataFactory

getOWLReflexiveObjectPropertyAxiom

public OWLReflexiveObjectPropertyAxiom getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
Specified by:
getOWLReflexiveObjectPropertyAxiom in interface OWLDataFactory

getOWLIrreflexiveObjectPropertyAxiom

public OWLIrreflexiveObjectPropertyAxiom getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
Specified by:
getOWLIrreflexiveObjectPropertyAxiom in interface OWLDataFactory

getOWLObjectPropertyDomainAxiom

public OWLObjectPropertyDomainAxiom getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property,
                                                                    OWLClassExpression classExpression,
                                                                    java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLObjectPropertyDomainAxiom in interface OWLDataFactory

getOWLObjectPropertyDomainAxiom

public OWLObjectPropertyDomainAxiom getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property,
                                                                    OWLClassExpression classExpression)
Specified by:
getOWLObjectPropertyDomainAxiom in interface OWLDataFactory

getOWLObjectPropertyRangeAxiom

public OWLObjectPropertyRangeAxiom getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property,
                                                                  OWLClassExpression range,
                                                                  java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLObjectPropertyRangeAxiom in interface OWLDataFactory

getOWLObjectPropertyRangeAxiom

public OWLObjectPropertyRangeAxiom getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property,
                                                                  OWLClassExpression range)
Specified by:
getOWLObjectPropertyRangeAxiom in interface OWLDataFactory

getOWLSubObjectPropertyOfAxiom

public OWLSubObjectPropertyOfAxiom getOWLSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty,
                                                                  OWLObjectPropertyExpression superProperty,
                                                                  java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLSubObjectPropertyOfAxiom in interface OWLDataFactory

getOWLSubObjectPropertyOfAxiom

public OWLSubObjectPropertyOfAxiom getOWLSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty,
                                                                  OWLObjectPropertyExpression superProperty)
Specified by:
getOWLSubObjectPropertyOfAxiom in interface OWLDataFactory

getOWLReflexiveObjectPropertyAxiom

public OWLReflexiveObjectPropertyAxiom getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                          java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLReflexiveObjectPropertyAxiom in interface OWLDataFactory

getOWLSameIndividualAxiom

public OWLSameIndividualAxiom getOWLSameIndividualAxiom(java.util.Set<? extends OWLIndividual> individuals,
                                                        java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLSameIndividualAxiom in interface OWLDataFactory

getOWLSameIndividualAxiom

public OWLSameIndividualAxiom getOWLSameIndividualAxiom(OWLIndividual... individuals)
Specified by:
getOWLSameIndividualAxiom in interface OWLDataFactory

getOWLSameIndividualAxiom

public OWLSameIndividualAxiom getOWLSameIndividualAxiom(java.util.Set<? extends OWLIndividual> individuals)
Specified by:
getOWLSameIndividualAxiom in interface OWLDataFactory

getOWLSubClassOfAxiom

public OWLSubClassOfAxiom getOWLSubClassOfAxiom(OWLClassExpression subClass,
                                                OWLClassExpression superClass,
                                                java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLSubClassOfAxiom in interface OWLDataFactory

getOWLSubClassOfAxiom

public OWLSubClassOfAxiom getOWLSubClassOfAxiom(OWLClassExpression subClass,
                                                OWLClassExpression superClass)
Specified by:
getOWLSubClassOfAxiom in interface OWLDataFactory

getOWLSymmetricObjectPropertyAxiom

public OWLSymmetricObjectPropertyAxiom getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                          java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLSymmetricObjectPropertyAxiom in interface OWLDataFactory

getOWLSymmetricObjectPropertyAxiom

public OWLSymmetricObjectPropertyAxiom getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)
Specified by:
getOWLSymmetricObjectPropertyAxiom in interface OWLDataFactory

getOWLTransitiveObjectPropertyAxiom

public OWLTransitiveObjectPropertyAxiom getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                            java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLTransitiveObjectPropertyAxiom in interface OWLDataFactory

getOWLTransitiveObjectPropertyAxiom

public OWLTransitiveObjectPropertyAxiom getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
Specified by:
getOWLTransitiveObjectPropertyAxiom in interface OWLDataFactory

getOWLObjectInverseOf

public OWLObjectInverseOf getOWLObjectInverseOf(OWLObjectPropertyExpression property)
Description copied from interface: OWLDataFactory
Gets the inverse of an object property.

Specified by:
getOWLObjectInverseOf in interface OWLDataFactory
Parameters:
property - The property of which the inverse will be returned
Returns:
The inverse of the specified object property

getOWLInverseObjectPropertiesAxiom

public OWLInverseObjectPropertiesAxiom getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty,
                                                                          OWLObjectPropertyExpression inverseProperty,
                                                                          java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLInverseObjectPropertiesAxiom in interface OWLDataFactory

getOWLInverseObjectPropertiesAxiom

public OWLInverseObjectPropertiesAxiom getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty,
                                                                          OWLObjectPropertyExpression inverseProperty)
Specified by:
getOWLInverseObjectPropertiesAxiom in interface OWLDataFactory

getOWLSubPropertyChainOfAxiom

public OWLSubPropertyChainOfAxiom getOWLSubPropertyChainOfAxiom(java.util.List<? extends OWLObjectPropertyExpression> chain,
                                                                OWLObjectPropertyExpression superProperty,
                                                                java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLSubPropertyChainOfAxiom in interface OWLDataFactory

getOWLSubPropertyChainOfAxiom

public OWLSubPropertyChainOfAxiom getOWLSubPropertyChainOfAxiom(java.util.List<? extends OWLObjectPropertyExpression> chain,
                                                                OWLObjectPropertyExpression superProperty)
Specified by:
getOWLSubPropertyChainOfAxiom in interface OWLDataFactory

getOWLHasKeyAxiom

public OWLHasKeyAxiom getOWLHasKeyAxiom(OWLClassExpression ce,
                                        java.util.Set<? extends OWLPropertyExpression> properties,
                                        java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLHasKeyAxiom in interface OWLDataFactory

getOWLHasKeyAxiom

public OWLHasKeyAxiom getOWLHasKeyAxiom(OWLClassExpression ce,
                                        java.util.Set<? extends OWLPropertyExpression> properties)
Specified by:
getOWLHasKeyAxiom in interface OWLDataFactory

getOWLHasKeyAxiom

public OWLHasKeyAxiom getOWLHasKeyAxiom(OWLClassExpression ce,
                                        OWLPropertyExpression... properties)
Specified by:
getOWLHasKeyAxiom in interface OWLDataFactory

getOWLDisjointUnionAxiom

public OWLDisjointUnionAxiom getOWLDisjointUnionAxiom(OWLClass owlClass,
                                                      java.util.Set<? extends OWLClassExpression> classExpressions,
                                                      java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLDisjointUnionAxiom in interface OWLDataFactory

getOWLDisjointUnionAxiom

public OWLDisjointUnionAxiom getOWLDisjointUnionAxiom(OWLClass owlClass,
                                                      java.util.Set<? extends OWLClassExpression> classExpressions)
Specified by:
getOWLDisjointUnionAxiom in interface OWLDataFactory

getOWLEquivalentObjectPropertiesAxiom

public OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties,
                                                                                java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLEquivalentObjectPropertiesAxiom in interface OWLDataFactory

getOWLObjectPropertyAssertionAxiom

public OWLObjectPropertyAssertionAxiom getOWLObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
                                                                          OWLIndividual individual,
                                                                          OWLIndividual object,
                                                                          java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLObjectPropertyAssertionAxiom in interface OWLDataFactory

getOWLSubAnnotationPropertyOfAxiom

public OWLSubAnnotationPropertyOfAxiom getOWLSubAnnotationPropertyOfAxiom(OWLAnnotationProperty sub,
                                                                          OWLAnnotationProperty sup)
Specified by:
getOWLSubAnnotationPropertyOfAxiom in interface OWLDataFactory

getOWLSubAnnotationPropertyOfAxiom

public OWLSubAnnotationPropertyOfAxiom getOWLSubAnnotationPropertyOfAxiom(OWLAnnotationProperty sub,
                                                                          OWLAnnotationProperty sup,
                                                                          java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLSubAnnotationPropertyOfAxiom in interface OWLDataFactory

getOWLAnnotationProperty

public OWLAnnotationProperty getOWLAnnotationProperty(IRI iri)
Description copied from interface: OWLDataFactory
Gets an OWLAnnotationProperty that has the specified IRI

Specified by:
getOWLAnnotationProperty in interface OWLDataFactory
Parameters:
iri - The IRI of the annotation property to be obtained
Returns:
An OWLAnnotationProperty with the specified IRI

getOWLAnnotation

public OWLAnnotation getOWLAnnotation(OWLAnnotationProperty property,
                                      OWLAnnotationValue value)
Gets an annotation

Specified by:
getOWLAnnotation in interface OWLDataFactory
Parameters:
property - the annotation property
value - The annotation value
Returns:
The annotation on the specified property with the specified value

getOWLAnnotation

public OWLAnnotation getOWLAnnotation(OWLAnnotationProperty property,
                                      OWLAnnotationValue value,
                                      java.util.Set<? extends OWLAnnotation> annotations)
Gets an annotation

Specified by:
getOWLAnnotation in interface OWLDataFactory
Parameters:
property - the annotation property
value - The annotation value
annotations - Annotations on the annotation
Returns:
The annotation on the specified property with the specified value

getOWLAnnotationAssertionAxiom

public OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationSubject subject,
                                                                  OWLAnnotation annotation)
Specified by:
getOWLAnnotationAssertionAxiom in interface OWLDataFactory

getOWLAnnotationAssertionAxiom

public OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationSubject subject,
                                                                  OWLAnnotation annotation,
                                                                  java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLAnnotationAssertionAxiom in interface OWLDataFactory

getOWLAnnotationAssertionAxiom

public OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationProperty property,
                                                                  OWLAnnotationSubject subject,
                                                                  OWLAnnotationValue value)
Specified by:
getOWLAnnotationAssertionAxiom in interface OWLDataFactory

getOWLAnnotationAssertionAxiom

public OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationProperty property,
                                                                  OWLAnnotationSubject subject,
                                                                  OWLAnnotationValue value,
                                                                  java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLAnnotationAssertionAxiom in interface OWLDataFactory

getDeprecatedOWLAnnotationAssertionAxiom

public OWLAnnotationAssertionAxiom getDeprecatedOWLAnnotationAssertionAxiom(IRI subject)
Gets an annotation assertion that specifies that an IRI is deprecated. The annotation property is owl:deprecated and the value of the annotation is "true"^^xsd:boolean. (See Annotation Properties in the OWL 2 Specification

Specified by:
getDeprecatedOWLAnnotationAssertionAxiom in interface OWLDataFactory
Parameters:
subject - The IRI to be deprecated.
Returns:
The annotation assertion that deprecates the specified IRI.

getOWLAnnotationPropertyDomainAxiom

public OWLAnnotationPropertyDomainAxiom getOWLAnnotationPropertyDomainAxiom(OWLAnnotationProperty prop,
                                                                            IRI domain,
                                                                            java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLAnnotationPropertyDomainAxiom in interface OWLDataFactory

getOWLAnnotationPropertyDomainAxiom

public OWLAnnotationPropertyDomainAxiom getOWLAnnotationPropertyDomainAxiom(OWLAnnotationProperty prop,
                                                                            IRI domain)
Specified by:
getOWLAnnotationPropertyDomainAxiom in interface OWLDataFactory

getOWLAnnotationPropertyRangeAxiom

public OWLAnnotationPropertyRangeAxiom getOWLAnnotationPropertyRangeAxiom(OWLAnnotationProperty prop,
                                                                          IRI range,
                                                                          java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLAnnotationPropertyRangeAxiom in interface OWLDataFactory

getOWLAnnotationPropertyRangeAxiom

public OWLAnnotationPropertyRangeAxiom getOWLAnnotationPropertyRangeAxiom(OWLAnnotationProperty prop,
                                                                          IRI range)
Specified by:
getOWLAnnotationPropertyRangeAxiom in interface OWLDataFactory

getSWRLRule

@Deprecated
public SWRLRule getSWRLRule(IRI iri,
                                       java.util.Set<? extends SWRLAtom> body,
                                       java.util.Set<? extends SWRLAtom> head)
Deprecated. Use either getSWRLRule(java.util.Set, java.util.Set, java.util.Set) or getSWRLRule(java.util.Set, java.util.Set) instead. Gets a SWRL rule which is named with a URI

Specified by:
getSWRLRule in interface SWRLDataFactory
Parameters:
iri - The rule IRI - this parameter is IGNORED since OWL axioms do not have IRIs, and is here for backwards compatability.
body - The atoms that make up the body of the rule
head - The atoms that make up the head of the rule
Returns:
A rule with the specified body and head

getSWRLRule

@Deprecated
public SWRLRule getSWRLRule(NodeID nodeID,
                                       java.util.Set<? extends SWRLAtom> body,
                                       java.util.Set<? extends SWRLAtom> head)
Deprecated. Use either getSWRLRule(java.util.Set, java.util.Set, java.util.Set) or getSWRLRule(java.util.Set, java.util.Set) instead.

Specified by:
getSWRLRule in interface SWRLDataFactory
Parameters:
nodeID - The node ID
body - The atoms that make up the body of the rule
head - The atoms that make up the head of the rule
Returns:
A rule with the specified body and heat

getSWRLRule

public SWRLRule getSWRLRule(java.util.Set<? extends SWRLAtom> body,
                            java.util.Set<? extends SWRLAtom> head,
                            java.util.Set<OWLAnnotation> annotations)
Gets an anonymous SWRL Rule

Specified by:
getSWRLRule in interface SWRLDataFactory
Parameters:
body - The atoms that make up the body
head - The atoms that make up the head
annotations - The annotations for the rule (may be an empty set)
Returns:
An anonymous rule with the specified body and head

getSWRLRule

public SWRLRule getSWRLRule(java.util.Set<? extends SWRLAtom> antecedent,
                            java.util.Set<? extends SWRLAtom> consequent)
Gets a SWRL rule which is anonymous - i.e. isn't named with a URI

Specified by:
getSWRLRule in interface SWRLDataFactory
Parameters:
antecedent - The atoms that make up the antecedent
consequent - The atoms that make up the consequent
Returns:
An anonymous rule with the specified body and head

getSWRLClassAtom

public SWRLClassAtom getSWRLClassAtom(OWLClassExpression predicate,
                                      SWRLIArgument arg)
Gets a SWRL class atom, i.e. C(x) where C is a class expression and x is either an individual id or an i-variable

Specified by:
getSWRLClassAtom in interface SWRLDataFactory
Parameters:
predicate - The class expression that corresponds to the predicate
arg - The argument (x)
Returns:
The class atom with the specified class expression predicate and the specified argument.

getSWRLDataRangeAtom

public SWRLDataRangeAtom getSWRLDataRangeAtom(OWLDataRange predicate,
                                              SWRLDArgument arg)
Gets a SWRL data range atom, i.e. D(x) where D is an OWL data range and x is either a constant or a d-variable

Specified by:
getSWRLDataRangeAtom in interface SWRLDataFactory
Parameters:
predicate - The data range that corresponds to the predicate
arg - The argument (x)
Returns:
An atom with the specified data range predicate and the specified argument

getSWRLObjectPropertyAtom

public SWRLObjectPropertyAtom getSWRLObjectPropertyAtom(OWLObjectPropertyExpression property,
                                                        SWRLIArgument arg0,
                                                        SWRLIArgument arg1)
Gets a SWRL object property atom, i.e. P(x, y) where P is an OWL object property (expression) and x and y are are either an individual id or an i-variable.

Specified by:
getSWRLObjectPropertyAtom in interface SWRLDataFactory
Parameters:
property - The property (P)
arg0 - The first argument (x)
arg1 - The second argument (y)
Returns:
A SWRLObjectPropertyAtom that has the specified predicate and the specified arguments

getSWRLDataPropertyAtom

public SWRLDataPropertyAtom getSWRLDataPropertyAtom(OWLDataPropertyExpression property,
                                                    SWRLIArgument arg0,
                                                    SWRLDArgument arg1)
Gets a SWRL data property atom, i.e. R(x, y) where R is an OWL data property (expression) and x and y are are either a constant or a d-variable.

Specified by:
getSWRLDataPropertyAtom in interface SWRLDataFactory
Parameters:
property - The property (P)
arg0 - The first argument (x)
arg1 - The second argument (y)
Returns:
A SWRLDataPropertyAtom that has the specified predicate and the specified arguments

getSWRLBuiltInAtom

public SWRLBuiltInAtom getSWRLBuiltInAtom(IRI builtInIRI,
                                          java.util.List<SWRLDArgument> args)
Creates a SWRL Built-In atom.

Specified by:
getSWRLBuiltInAtom in interface SWRLDataFactory
Parameters:
builtInIRI - The SWRL builtIn (see SWRL W3 member submission)
args - A non-empty set of SWRL D-Objects
Returns:
A SWRLBuiltInAtom whose predicate is identified by the specified builtInIRI and that has the specified arguments

getSWRLVariable

public SWRLVariable getSWRLVariable(IRI var)
Gets a SWRLVariable.

Specified by:
getSWRLVariable in interface SWRLDataFactory
Parameters:
var - The id (IRI) of the variable
Returns:
A SWRLVariable that has the name specified by the IRI

getSWRLIndividualArgument

public SWRLIndividualArgument getSWRLIndividualArgument(OWLIndividual individual)
Gets a SWRL individual object.

Specified by:
getSWRLIndividualArgument in interface SWRLDataFactory
Parameters:
individual - The individual that is the object argument
Returns:
A SWRLIndividualArgument that wraps the specified individual

getSWRLLiteralArgument

public SWRLLiteralArgument getSWRLLiteralArgument(OWLLiteral literal)
Gets a SWRL constant object.

Specified by:
getSWRLLiteralArgument in interface SWRLDataFactory
Parameters:
literal - The constant that is the object argument
Returns:
A SWRLLiteralArgument that wraps the specified literal

getSWRLDifferentIndividualsAtom

public SWRLDifferentIndividualsAtom getSWRLDifferentIndividualsAtom(SWRLIArgument arg0,
                                                                    SWRLIArgument arg1)
Specified by:
getSWRLDifferentIndividualsAtom in interface SWRLDataFactory

getSWRLSameIndividualAtom

public SWRLSameIndividualAtom getSWRLSameIndividualAtom(SWRLIArgument arg0,
                                                        SWRLIArgument arg1)
Specified by:
getSWRLSameIndividualAtom in interface SWRLDataFactory

getOWLDatatypeDefinitionAxiom

public OWLDatatypeDefinitionAxiom getOWLDatatypeDefinitionAxiom(OWLDatatype datatype,
                                                                OWLDataRange dataRange)
Specified by:
getOWLDatatypeDefinitionAxiom in interface OWLDataFactory

getOWLDatatypeDefinitionAxiom

public OWLDatatypeDefinitionAxiom getOWLDatatypeDefinitionAxiom(OWLDatatype datatype,
                                                                OWLDataRange dataRange,
                                                                java.util.Set<? extends OWLAnnotation> annotations)
Specified by:
getOWLDatatypeDefinitionAxiom in interface OWLDataFactory