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


Constructor Summary
OWLDataFactoryImpl()
           
 
Method Summary
 OWLDatatype getBooleanOWLDatatype()
          A convenience method that obtains the datatype that represents booleans.
 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.
 IRI getIRI(java.net.URI uri)
          Gets an IRI for a given URI.
 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)
           
 OWLAnnotationProperty getOWLAnnotationProperty(java.net.URI uri)
           
 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)
           
 OWLDataProperty getOWLBottomDataProperty()
           
 OWLObjectProperty getOWLBottomObjectProperty()
           
 OWLClass getOWLClass(IRI iri)
           
 OWLClass getOWLClass(java.lang.String curi, PrefixManager prefixManager)
          Gets an OWL class that has a URI that is obtained by expanding a compact URI (CURIE) using a specified prefix mapping.
 OWLClass getOWLClass(java.net.URI uri)
          Gets an OWL class that has the specified URI
 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)
           
 OWLDataProperty getOWLDataProperty(java.lang.String curi, PrefixManager prefixManager)
          Gets an OWL data property that has a URI that is obtained by expanding a compact URI (CURIE) using a specified prefix mapping.
 OWLDataProperty getOWLDataProperty(java.net.URI uri)
          Gets an OWL data property that has the specified URI
 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)
           
 OWLDatatype getOWLDatatype(java.net.URI uri)
          Gets an OWL datatype that has the specified URI
 OWLDatatypeDefinitionAxiom getOWLDatatypeDefinitionAxiom(OWLDatatype datatype, OWLDataRange dataRange)
           
 OWLDatatypeDefinitionAxiom getOWLDatatypeDefinitionAxiom(OWLDatatype datatype, OWLDataRange dataRange, java.util.Set<? extends OWLAnnotation> annotations)
           
 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
 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)
           
 OWLImportsDeclaration getOWLImportsDeclaration(java.net.URI importedOntologyURI)
           
 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)
           
 OWLNamedIndividual getOWLNamedIndividual(IRI iri)
           
 OWLNamedIndividual getOWLNamedIndividual(java.lang.String curi, PrefixManager prefixManager)
          Gets an OWL named individual that has a URI that is obtained by expanding a compact URI (CURIE) using a specified prefix mapping.
 OWLNamedIndividual getOWLNamedIndividual(java.net.URI uri)
          Gets an OWL individual that has the specified URI
 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)
           
 OWLObjectProperty getOWLObjectProperty(java.lang.String curi, PrefixManager prefixManager)
          Gets an OWL object property that has a URI that is obtained by expanding a compact URI (CURIE) using a specified prefix mapping.
 OWLObjectProperty getOWLObjectProperty(java.net.URI uri)
          Gets an OWL object property that has the specified URI
 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)
           
 OWLStringLiteral getOWLStringLiteral(java.lang.String literal)
          Gets a string literal without a language tag.
 OWLStringLiteral getOWLStringLiteral(java.lang.String literal, java.lang.String lang)
          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)
           
 OWLTypedLiteral getOWLTypedLiteral(boolean value)
          Convenience method that obtains a literal typed as a boolean.
 OWLTypedLiteral getOWLTypedLiteral(double value)
          Convenience method that obtains a literal typed as a double.
 OWLTypedLiteral getOWLTypedLiteral(float value)
          Convenience method that obtains a literal typed as a float.
 OWLTypedLiteral getOWLTypedLiteral(int value)
          Convenience method that obtains a literal typed as an integer.
 OWLTypedLiteral getOWLTypedLiteral(java.lang.String value)
          Convenience method that obtains a literal typed as a string.
 OWLTypedLiteral getOWLTypedLiteral(java.lang.String literal, OWLDatatype datatype)
           
 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)
          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)
          Gets a SWRL rule which is not named with a URI - i.e.
 SWRLRule getSWRLRule(java.util.Set<? extends SWRLAtom> antecendent, 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()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

OWLDataFactoryImpl

public OWLDataFactoryImpl()
Method Detail

getInstance

public static OWLDataFactory getInstance()

purge

public void purge()

getIRI

public IRI getIRI(java.net.URI uri)
Description copied from interface: OWLDataFactory
Gets an IRI for a given URI. Note that this method is pass through - if the specified URI is null then the value returned will be null

Specified by:
getIRI in interface OWLDataFactory
Parameters:
uri - The URI (may be null)
Returns:
An IRI representing the specified URI, or null if the specified URI was null

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(java.net.URI uri)
Description copied from interface: OWLDataFactory
Gets an OWL class that has the specified URI

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

getOWLClass

public OWLClass getOWLClass(IRI iri)
Specified by:
getOWLClass in interface OWLDataFactory

getOWLClass

public OWLClass getOWLClass(java.lang.String curi,
                            PrefixManager prefixManager)
Description copied from interface: OWLDataFactory
Gets an OWL class that has a URI that is obtained by expanding a compact URI (CURIE) using a specified prefix mapping.

Specified by:
getOWLClass in interface OWLDataFactory
Parameters:
curi - The compact URI.
prefixManager - The prefix manager that is responsible for mapping prefix names to prefixes, and is used to expand the specified compact URI (CURIE).
Returns:
An OWL class that has the URI obtained by expanding the specified CURIE using the specified prefix manager. For example, suppose "m:Cat" was specified the CURIE, the prefix manager would be used to obtain the prefix for the "m:" prefix name, this prefix would then be concatenated with "Cat" to obtain the full URI which would be the URI of the OWL class 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 booleans. 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.

getOWLObjectProperty

public OWLObjectProperty getOWLObjectProperty(java.net.URI uri)
Description copied from interface: OWLDataFactory
Gets an OWL object property that has the specified URI

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

getOWLObjectProperty

public OWLObjectProperty getOWLObjectProperty(IRI iri)
Specified by:
getOWLObjectProperty in interface OWLDataFactory

getOWLDataProperty

public OWLDataProperty getOWLDataProperty(java.net.URI uri)
Description copied from interface: OWLDataFactory
Gets an OWL data property that has the specified URI

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

getOWLDataProperty

public OWLDataProperty getOWLDataProperty(IRI iri)
Specified by:
getOWLDataProperty in interface OWLDataFactory

getOWLNamedIndividual

public OWLNamedIndividual getOWLNamedIndividual(java.net.URI uri)
Description copied from interface: OWLDataFactory
Gets an OWL individual that has the specified URI

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

getOWLNamedIndividual

public OWLNamedIndividual getOWLNamedIndividual(IRI iri)
Specified by:
getOWLNamedIndividual in interface OWLDataFactory

getOWLDataProperty

public OWLDataProperty getOWLDataProperty(java.lang.String curi,
                                          PrefixManager prefixManager)
Description copied from interface: OWLDataFactory
Gets an OWL data property that has a URI that is obtained by expanding a compact URI (CURIE) using a specified prefix mapping.

Specified by:
getOWLDataProperty in interface OWLDataFactory
Parameters:
curi - The compact URI.
prefixManager - The prefix manager that is responsible for mapping prefix names to prefixes, and is used to expand the specified compact URI (CURIE).
Returns:
An OWL data property that has the URI obtained by expanding the specified CURIE using the specified prefix manager. For example, suppose "m:Cat" was specified the CURIE, the prefix manager would be used to obtain the prefix for the "m:" prefix name, this prefix would then be concatenated with "Cat" to obtain the full URI which would be the URI of the OWL data property obtained by this method.

getOWLNamedIndividual

public OWLNamedIndividual getOWLNamedIndividual(java.lang.String curi,
                                                PrefixManager prefixManager)
Description copied from interface: OWLDataFactory
Gets an OWL named individual that has a URI that is obtained by expanding a compact URI (CURIE) using a specified prefix mapping.

Specified by:
getOWLNamedIndividual in interface OWLDataFactory
Parameters:
curi - The compact URI.
prefixManager - The prefix manager that is responsible for mapping prefix names to prefixes, and is used to expand the specified compact URI (CURIE).
Returns:
An OWL named individual that has the URI obtained by expanding the specified CURIE using the specified prefix manager. For example, suppose "m:Cat" was specified the CURIE, the prefix manager would be used to obtain the prefix for the "m:" prefix name, this prefix would then be concatenated with "Cat" to obtain the full URI which would be the URI of the OWL named individual obtained by this method.

getOWLObjectProperty

public OWLObjectProperty getOWLObjectProperty(java.lang.String curi,
                                              PrefixManager prefixManager)
Description copied from interface: OWLDataFactory
Gets an OWL object property that has a URI that is obtained by expanding a compact URI (CURIE) using a specified prefix mapping.

Specified by:
getOWLObjectProperty in interface OWLDataFactory
Parameters:
curi - The compact URI.
prefixManager - The prefix manager that is responsible for mapping prefix names to prefixes, and is used to expand the specified compact URI (CURIE).
Returns:
An OWL object property that has the URI obtained by expanding the specified CURIE using the specified prefix manager. For example, suppose "m:Cat" was specified the CURIE, the prefix manager would be used to obtain the prefix for the "m:" prefix name, this prefix would then be concatenated with "Cat" to obtain the full URI which would be the URI of the OWL object property 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 preixed with _: if it is not specifed 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(java.net.URI uri)
Description copied from interface: OWLDataFactory
Gets an OWL datatype that has the specified URI

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

getOWLDatatype

public OWLDatatype getOWLDatatype(IRI iri)
Specified by:
getOWLDatatype in interface OWLDataFactory

getOWLTypedLiteral

public OWLTypedLiteral getOWLTypedLiteral(java.lang.String literal,
                                          OWLDatatype datatype)
Specified by:
getOWLTypedLiteral in interface OWLDataFactory

getOWLTypedLiteral

public OWLTypedLiteral getOWLTypedLiteral(int value)
Description copied from interface: OWLDataFactory
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 OWLTypedLiteral getOWLTypedLiteral(double value)
Description copied from interface: OWLDataFactory
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 OWLTypedLiteral getOWLTypedLiteral(boolean value)
Description copied from interface: OWLDataFactory
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 OWLTypedLiteral getOWLTypedLiteral(float value)
Description copied from interface: OWLDataFactory
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 OWLTypedLiteral getOWLTypedLiteral(java.lang.String value)
Description copied from interface: OWLDataFactory
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 OWLStringLiteral getOWLStringLiteral(java.lang.String literal,
                                            java.lang.String lang)
Description copied from interface: OWLDataFactory
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 OWLStringLiteral getOWLStringLiteral(java.lang.String literal)
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

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(java.net.URI importedOntologyURI)
Specified by:
getOWLImportsDeclaration 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(java.net.URI uri)
Specified by:
getOWLAnnotationProperty in interface OWLDataFactory

getOWLAnnotationProperty

public OWLAnnotationProperty getOWLAnnotationProperty(IRI iri)
Specified by:
getOWLAnnotationProperty in interface OWLDataFactory

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

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

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

Specified by:
getSWRLRule in interface SWRLDataFactory
Parameters:
iri -
body -
head -
Returns:
The rule with the specified IRI, body and head

getSWRLRule

public SWRLRule getSWRLRule(NodeID nodeID,
                            java.util.Set<? extends SWRLAtom> body,
                            java.util.Set<? extends SWRLAtom> head)
Gets a SWRL rule which is not named with a URI - i.e. that is anonymous.

Specified by:
getSWRLRule in interface SWRLDataFactory
Parameters:
nodeID -
body -
head -
Returns:
The rule with the specified node ID, body and head

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> antecendent,
                            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:
antecendent - 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 -
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 -
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