org.semanticweb.owlapi.model
Interface OWLDataFactory

All Superinterfaces:
SWRLDataFactory
All Known Implementing Classes:
OWLDataFactoryImpl

public interface OWLDataFactory
extends SWRLDataFactory

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

An interface for creating entities, class expressions and axioms.


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.
 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 curie, 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 curie, 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 dataRange, OWLFacet facet, OWLLiteral typedliteral)
           
 OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype dataRange, OWLFacetRestriction... facetRestrictions)
           
 OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype dataRange, java.util.Set<OWLFacetRestriction> facetRestrictions)
           
 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... dataProperties)
           
 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> objectProperties, 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 curie, 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 curie, 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... individual)
           
 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)
           
 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#>
 
Methods inherited from interface org.semanticweb.owlapi.model.SWRLDataFactory
getSWRLBuiltInAtom, getSWRLClassAtom, getSWRLDataPropertyAtom, getSWRLDataRangeAtom, getSWRLDifferentIndividualsAtom, getSWRLIndividualArgument, getSWRLLiteralArgument, getSWRLObjectPropertyAtom, getSWRLRule, getSWRLRule, getSWRLRule, getSWRLRule, getSWRLSameIndividualAtom, getSWRLVariable
 

Method Detail

getIRI

IRI getIRI(java.net.URI uri)
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

Parameters:
uri - The URI (may be null)
Returns:
An IRI representing the specified URI, or null if the specified URI was null

getOWLThing

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

Returns:
The OWL Class corresponding to owl:Thing

getOWLNothing

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

Returns:
The OWL Class corresponding to owl:Nothing

getOWLTopObjectProperty

OWLObjectProperty getOWLTopObjectProperty()

getOWLTopDataProperty

OWLDataProperty getOWLTopDataProperty()

getOWLBottomObjectProperty

OWLObjectProperty getOWLBottomObjectProperty()

getOWLBottomDataProperty

OWLDataProperty getOWLBottomDataProperty()

getTopDatatype

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#>

Returns:
The OWL Datatype corresponding to the top data type.

getOWLEntity

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

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

OWLClass getOWLClass(java.net.URI uri)
Gets an OWL class that has the specified URI

Parameters:
uri - The URI of the class
Returns:
The object representing the class that has the specified URI

getOWLClass

OWLClass getOWLClass(IRI iri)

getOWLClass

OWLClass getOWLClass(java.lang.String curie,
                     PrefixManager prefixManager)
Gets an OWL class that has a URI that is obtained by expanding a compact URI (CURIE) using a specified prefix mapping.

Parameters:
curie - 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.
Throws:
OWLRuntimeException - if the prefix name in the specified CURIE does not have a mapping to a prefix in the specified prefix manager.

getOWLObjectProperty

OWLObjectProperty getOWLObjectProperty(java.net.URI uri)
Gets an OWL object property that has the specified URI

Parameters:
uri - The URI of the object property to be obtained
Returns:
The object representing the object property that has the specified URI

getOWLObjectProperty

OWLObjectProperty getOWLObjectProperty(java.lang.String curie,
                                       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.

Parameters:
curie - 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.
Throws:
OWLRuntimeException - if the prefix name in the specified CURIE does not have a mapping to a prefix in the specified prefix manager.

getOWLObjectProperty

OWLObjectProperty getOWLObjectProperty(IRI iri)

getOWLObjectInverseOf

OWLObjectInverseOf getOWLObjectInverseOf(OWLObjectPropertyExpression property)
Gets the inverse of an object property.

Parameters:
property - The property of which the inverse will be returned
Returns:
The inverse of the specified object property

getOWLDataProperty

OWLDataProperty getOWLDataProperty(java.net.URI uri)
Gets an OWL data property that has the specified URI

Parameters:
uri - The URI of the data property to be obtained
Returns:
The object representing the data property that has the specified URI

getOWLDataProperty

OWLDataProperty getOWLDataProperty(IRI iri)

getOWLDataProperty

OWLDataProperty getOWLDataProperty(java.lang.String curie,
                                   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.

Parameters:
curie - 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.
Throws:
OWLRuntimeException - if the prefix name in the specified CURIE does not have a mapping to a prefix in the specified prefix manager.

getOWLNamedIndividual

OWLNamedIndividual getOWLNamedIndividual(java.net.URI uri)
Gets an OWL individual that has the specified URI

Parameters:
uri - The URI of the individual to be obtained
Returns:
The object representing the individual that has the specified URI

getOWLNamedIndividual

OWLNamedIndividual getOWLNamedIndividual(IRI iri)

getOWLNamedIndividual

OWLNamedIndividual getOWLNamedIndividual(java.lang.String curie,
                                         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.

Parameters:
curie - 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.
Throws:
OWLRuntimeException - if the prefix name in the specified CURIE does not have a mapping to a prefix in the specified prefix manager.

getOWLAnonymousIndividual

OWLAnonymousIndividual getOWLAnonymousIndividual(java.lang.String id)
Gets an anonymous individual that has a specific ID.

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

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

Returns:
The anonymous individual

getOWLAnnotationProperty

OWLAnnotationProperty getOWLAnnotationProperty(java.net.URI uri)

getOWLAnnotationProperty

OWLAnnotationProperty getOWLAnnotationProperty(IRI iri)

getOWLTypedLiteral

OWLTypedLiteral getOWLTypedLiteral(java.lang.String literal,
                                   OWLDatatype datatype)

getOWLTypedLiteral

OWLTypedLiteral getOWLTypedLiteral(int value)
Convenience method that obtains a literal typed as an integer.

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

OWLTypedLiteral getOWLTypedLiteral(double value)
Convenience method that obtains a literal typed as a double.

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

OWLTypedLiteral getOWLTypedLiteral(boolean value)
Convenience method that obtains a literal typed as a boolean.

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

OWLTypedLiteral getOWLTypedLiteral(float value)
Convenience method that obtains a literal typed as a float.

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

OWLTypedLiteral getOWLTypedLiteral(java.lang.String value)
Convenience method that obtains a literal typed as a string.

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

OWLStringLiteral getOWLStringLiteral(java.lang.String literal,
                                     java.lang.String lang)
Gets an OWLStringLiteral with a language tag.

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

OWLStringLiteral getOWLStringLiteral(java.lang.String literal)
Gets a string literal without a language tag.

Parameters:
literal - The string literal
Returns:
The string literal for the specfied string

getOWLDatatype

OWLDatatype getOWLDatatype(java.net.URI uri)
Gets an OWL datatype that has the specified URI

Parameters:
uri - The URI of the datatype to be obtained
Returns:
The object representing the datatype that has the specified URI

getOWLDatatype

OWLDatatype getOWLDatatype(IRI iri)

getIntegerOWLDatatype

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

Returns:
An object representing an integer datatype.

getFloatOWLDatatype

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

Returns:
An object representing the float datatype.

getDoubleOWLDatatype

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

Returns:
An object representing a double datatype.

getBooleanOWLDatatype

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

Returns:
An object representing the boolean datatype.

getOWLDataOneOf

OWLDataOneOf getOWLDataOneOf(java.util.Set<? extends OWLLiteral> values)
Gets an OWLDataOneOf (see spec)

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

OWLDataOneOf getOWLDataOneOf(OWLLiteral... values)
Gets an OWLDataOneOf (see spec)

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

OWLDataComplementOf getOWLDataComplementOf(OWLDataRange dataRange)
Gets an OWLDataComplementOf (see spec)

Parameters:
dataRange - The datarange to be complemented
Returns:
An OWLDataComplementOf of the specified data range

getOWLDatatypeRestriction

OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype dataRange,
                                                 java.util.Set<OWLFacetRestriction> facetRestrictions)

getOWLDatatypeRestriction

OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype dataRange,
                                                 OWLFacet facet,
                                                 OWLLiteral typedliteral)

getOWLDatatypeRestriction

OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype dataRange,
                                                 OWLFacetRestriction... facetRestrictions)

getOWLFacetRestriction

OWLFacetRestriction getOWLFacetRestriction(OWLFacet facet,
                                           OWLLiteral facetValue)

getOWLFacetRestriction

OWLFacetRestriction getOWLFacetRestriction(OWLFacet facet,
                                           int facetValue)

getOWLFacetRestriction

OWLFacetRestriction getOWLFacetRestriction(OWLFacet facet,
                                           double facetValue)

getOWLFacetRestriction

OWLFacetRestriction getOWLFacetRestriction(OWLFacet facet,
                                           float facetValue)

getOWLDataUnionOf

OWLDataUnionOf getOWLDataUnionOf(java.util.Set<? extends OWLDataRange> dataRanges)

getOWLDataUnionOf

OWLDataUnionOf getOWLDataUnionOf(OWLDataRange... dataRanges)

getOWLDataIntersectionOf

OWLDataIntersectionOf getOWLDataIntersectionOf(java.util.Set<? extends OWLDataRange> dataRanges)

getOWLDataIntersectionOf

OWLDataIntersectionOf getOWLDataIntersectionOf(OWLDataRange... dataRanges)

getOWLObjectIntersectionOf

OWLObjectIntersectionOf getOWLObjectIntersectionOf(java.util.Set<? extends OWLClassExpression> operands)

getOWLObjectIntersectionOf

OWLObjectIntersectionOf getOWLObjectIntersectionOf(OWLClassExpression... operands)

getOWLDataSomeValuesFrom

OWLDataSomeValuesFrom getOWLDataSomeValuesFrom(OWLDataPropertyExpression property,
                                               OWLDataRange dataRange)
Gets an OWLDataSomeValuesFrom restriction

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

getOWLDataAllValuesFrom

OWLDataAllValuesFrom getOWLDataAllValuesFrom(OWLDataPropertyExpression property,
                                             OWLDataRange dataRange)

getOWLDataExactCardinality

OWLDataExactCardinality getOWLDataExactCardinality(int cardinality,
                                                   OWLDataPropertyExpression property)

getOWLDataExactCardinality

OWLDataExactCardinality getOWLDataExactCardinality(int cardinality,
                                                   OWLDataPropertyExpression property,
                                                   OWLDataRange dataRange)

getOWLDataMaxCardinality

OWLDataMaxCardinality getOWLDataMaxCardinality(int cardinality,
                                               OWLDataPropertyExpression property)

getOWLDataMaxCardinality

OWLDataMaxCardinality getOWLDataMaxCardinality(int cardinality,
                                               OWLDataPropertyExpression property,
                                               OWLDataRange dataRange)

getOWLDataMinCardinality

OWLDataMinCardinality getOWLDataMinCardinality(int cardinality,
                                               OWLDataPropertyExpression property)

getOWLDataMinCardinality

OWLDataMinCardinality getOWLDataMinCardinality(int cardinality,
                                               OWLDataPropertyExpression property,
                                               OWLDataRange dataRange)

getOWLDataHasValue

OWLDataHasValue getOWLDataHasValue(OWLDataPropertyExpression property,
                                   OWLLiteral value)

getOWLObjectComplementOf

OWLObjectComplementOf getOWLObjectComplementOf(OWLClassExpression operand)

getOWLObjectOneOf

OWLObjectOneOf getOWLObjectOneOf(java.util.Set<? extends OWLIndividual> values)

getOWLObjectOneOf

OWLObjectOneOf getOWLObjectOneOf(OWLIndividual... individuals)

getOWLObjectAllValuesFrom

OWLObjectAllValuesFrom getOWLObjectAllValuesFrom(OWLObjectPropertyExpression property,
                                                 OWLClassExpression classExpression)

getOWLObjectSomeValuesFrom

OWLObjectSomeValuesFrom getOWLObjectSomeValuesFrom(OWLObjectPropertyExpression property,
                                                   OWLClassExpression classExpression)
Gets an OWLObjectSomeValuesFrom restriction

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

getOWLObjectExactCardinality

OWLObjectExactCardinality getOWLObjectExactCardinality(int cardinality,
                                                       OWLObjectPropertyExpression property)

getOWLObjectExactCardinality

OWLObjectExactCardinality getOWLObjectExactCardinality(int cardinality,
                                                       OWLObjectPropertyExpression property,
                                                       OWLClassExpression classExpression)

getOWLObjectMinCardinality

OWLObjectMinCardinality getOWLObjectMinCardinality(int cardinality,
                                                   OWLObjectPropertyExpression property)

getOWLObjectMinCardinality

OWLObjectMinCardinality getOWLObjectMinCardinality(int cardinality,
                                                   OWLObjectPropertyExpression property,
                                                   OWLClassExpression classExpression)

getOWLObjectMaxCardinality

OWLObjectMaxCardinality getOWLObjectMaxCardinality(int cardinality,
                                                   OWLObjectPropertyExpression property)

getOWLObjectMaxCardinality

OWLObjectMaxCardinality getOWLObjectMaxCardinality(int cardinality,
                                                   OWLObjectPropertyExpression property,
                                                   OWLClassExpression classExpression)

getOWLObjectHasSelf

OWLObjectHasSelf getOWLObjectHasSelf(OWLObjectPropertyExpression property)

getOWLObjectHasValue

OWLObjectHasValue getOWLObjectHasValue(OWLObjectPropertyExpression property,
                                       OWLIndividual individual)

getOWLObjectUnionOf

OWLObjectUnionOf getOWLObjectUnionOf(java.util.Set<? extends OWLClassExpression> operands)

getOWLObjectUnionOf

OWLObjectUnionOf getOWLObjectUnionOf(OWLClassExpression... operands)

getOWLDeclarationAxiom

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

Parameters:
owlEntity - The declared entity.
Returns:
The declaration axiom for the specified entity.
Throws:
java.lang.NullPointerException - if owlEntity is null

getOWLDeclarationAxiom

OWLDeclarationAxiom getOWLDeclarationAxiom(OWLEntity owlEntity,
                                           java.util.Set<? extends OWLAnnotation> annotations)
Gets a declaration with zero or more annotations for an entity

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
Throws:
java.lang.NullPointerException - if owlEntity or annotations is null

getOWLSubClassOfAxiom

OWLSubClassOfAxiom getOWLSubClassOfAxiom(OWLClassExpression subClass,
                                         OWLClassExpression superClass)

getOWLSubClassOfAxiom

OWLSubClassOfAxiom getOWLSubClassOfAxiom(OWLClassExpression subClass,
                                         OWLClassExpression superClass,
                                         java.util.Set<? extends OWLAnnotation> annotations)

getOWLEquivalentClassesAxiom

OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions)

getOWLEquivalentClassesAxiom

OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions,
                                                       java.util.Set<? extends OWLAnnotation> annotations)

getOWLEquivalentClassesAxiom

OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(OWLClassExpression... classExpressions)

getOWLEquivalentClassesAxiom

OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(OWLClassExpression clsA,
                                                       OWLClassExpression clsB)

getOWLEquivalentClassesAxiom

OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(OWLClassExpression clsA,
                                                       OWLClassExpression clsB,
                                                       java.util.Set<? extends OWLAnnotation> annotations)

getOWLDisjointClassesAxiom

OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions)

getOWLDisjointClassesAxiom

OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(OWLClassExpression... classExpressions)

getOWLDisjointClassesAxiom

OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions,
                                                   java.util.Set<? extends OWLAnnotation> annotations)

getOWLDisjointUnionAxiom

OWLDisjointUnionAxiom getOWLDisjointUnionAxiom(OWLClass owlClass,
                                               java.util.Set<? extends OWLClassExpression> classExpressions)

getOWLDisjointUnionAxiom

OWLDisjointUnionAxiom getOWLDisjointUnionAxiom(OWLClass owlClass,
                                               java.util.Set<? extends OWLClassExpression> classExpressions,
                                               java.util.Set<? extends OWLAnnotation> annotations)

getOWLSubObjectPropertyOfAxiom

OWLSubObjectPropertyOfAxiom getOWLSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty,
                                                           OWLObjectPropertyExpression superProperty)

getOWLSubObjectPropertyOfAxiom

OWLSubObjectPropertyOfAxiom getOWLSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty,
                                                           OWLObjectPropertyExpression superProperty,
                                                           java.util.Set<? extends OWLAnnotation> annotations)

getOWLSubPropertyChainOfAxiom

OWLSubPropertyChainOfAxiom getOWLSubPropertyChainOfAxiom(java.util.List<? extends OWLObjectPropertyExpression> chain,
                                                         OWLObjectPropertyExpression superProperty)

getOWLSubPropertyChainOfAxiom

OWLSubPropertyChainOfAxiom getOWLSubPropertyChainOfAxiom(java.util.List<? extends OWLObjectPropertyExpression> chain,
                                                         OWLObjectPropertyExpression superProperty,
                                                         java.util.Set<? extends OWLAnnotation> annotations)

getOWLEquivalentObjectPropertiesAxiom

OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties)

getOWLEquivalentObjectPropertiesAxiom

OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties,
                                                                         java.util.Set<? extends OWLAnnotation> annotations)

getOWLEquivalentObjectPropertiesAxiom

OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)

getOWLEquivalentObjectPropertiesAxiom

OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression propertyA,
                                                                         OWLObjectPropertyExpression propertyB)

getOWLEquivalentObjectPropertiesAxiom

OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression propertyA,
                                                                         OWLObjectPropertyExpression propertyB,
                                                                         java.util.Set<? extends OWLAnnotation> annotations)

getOWLDisjointObjectPropertiesAxiom

OWLDisjointObjectPropertiesAxiom getOWLDisjointObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties)

getOWLDisjointObjectPropertiesAxiom

OWLDisjointObjectPropertiesAxiom getOWLDisjointObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)

getOWLDisjointObjectPropertiesAxiom

OWLDisjointObjectPropertiesAxiom getOWLDisjointObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties,
                                                                     java.util.Set<? extends OWLAnnotation> annotations)

getOWLInverseObjectPropertiesAxiom

OWLInverseObjectPropertiesAxiom getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty,
                                                                   OWLObjectPropertyExpression inverseProperty)

getOWLInverseObjectPropertiesAxiom

OWLInverseObjectPropertiesAxiom getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty,
                                                                   OWLObjectPropertyExpression inverseProperty,
                                                                   java.util.Set<? extends OWLAnnotation> annotations)

getOWLObjectPropertyDomainAxiom

OWLObjectPropertyDomainAxiom getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property,
                                                             OWLClassExpression classExpression)

getOWLObjectPropertyDomainAxiom

OWLObjectPropertyDomainAxiom getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property,
                                                             OWLClassExpression classExpression,
                                                             java.util.Set<? extends OWLAnnotation> annotations)

getOWLObjectPropertyRangeAxiom

OWLObjectPropertyRangeAxiom getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property,
                                                           OWLClassExpression range)

getOWLObjectPropertyRangeAxiom

OWLObjectPropertyRangeAxiom getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property,
                                                           OWLClassExpression range,
                                                           java.util.Set<? extends OWLAnnotation> annotations)

getOWLFunctionalObjectPropertyAxiom

OWLFunctionalObjectPropertyAxiom getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)

getOWLFunctionalObjectPropertyAxiom

OWLFunctionalObjectPropertyAxiom getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                     java.util.Set<? extends OWLAnnotation> annotations)

getOWLInverseFunctionalObjectPropertyAxiom

OWLInverseFunctionalObjectPropertyAxiom getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)

getOWLInverseFunctionalObjectPropertyAxiom

OWLInverseFunctionalObjectPropertyAxiom getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                                   java.util.Set<? extends OWLAnnotation> annotations)

getOWLReflexiveObjectPropertyAxiom

OWLReflexiveObjectPropertyAxiom getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)

getOWLReflexiveObjectPropertyAxiom

OWLReflexiveObjectPropertyAxiom getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                   java.util.Set<? extends OWLAnnotation> annotations)

getOWLIrreflexiveObjectPropertyAxiom

OWLIrreflexiveObjectPropertyAxiom getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)

getOWLIrreflexiveObjectPropertyAxiom

OWLIrreflexiveObjectPropertyAxiom getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                       java.util.Set<? extends OWLAnnotation> annotations)

getOWLSymmetricObjectPropertyAxiom

OWLSymmetricObjectPropertyAxiom getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)

getOWLSymmetricObjectPropertyAxiom

OWLSymmetricObjectPropertyAxiom getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                   java.util.Set<? extends OWLAnnotation> annotations)

getOWLAsymmetricObjectPropertyAxiom

OWLAsymmetricObjectPropertyAxiom getOWLAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression propertyExpression)

getOWLAsymmetricObjectPropertyAxiom

OWLAsymmetricObjectPropertyAxiom getOWLAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression propertyExpression,
                                                                     java.util.Set<? extends OWLAnnotation> annotations)

getOWLTransitiveObjectPropertyAxiom

OWLTransitiveObjectPropertyAxiom getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property)

getOWLTransitiveObjectPropertyAxiom

OWLTransitiveObjectPropertyAxiom getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                     java.util.Set<? extends OWLAnnotation> annotations)

getOWLSubDataPropertyOfAxiom

OWLSubDataPropertyOfAxiom getOWLSubDataPropertyOfAxiom(OWLDataPropertyExpression subProperty,
                                                       OWLDataPropertyExpression superProperty)

getOWLSubDataPropertyOfAxiom

OWLSubDataPropertyOfAxiom getOWLSubDataPropertyOfAxiom(OWLDataPropertyExpression subProperty,
                                                       OWLDataPropertyExpression superProperty,
                                                       java.util.Set<? extends OWLAnnotation> annotations)

getOWLEquivalentDataPropertiesAxiom

OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties)

getOWLEquivalentDataPropertiesAxiom

OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties,
                                                                     java.util.Set<? extends OWLAnnotation> annotations)

getOWLEquivalentDataPropertiesAxiom

OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression... properties)

getOWLEquivalentDataPropertiesAxiom

OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression propertyA,
                                                                     OWLDataPropertyExpression propertyB)

getOWLEquivalentDataPropertiesAxiom

OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression propertyA,
                                                                     OWLDataPropertyExpression propertyB,
                                                                     java.util.Set<? extends OWLAnnotation> annotations)

getOWLDisjointDataPropertiesAxiom

OWLDisjointDataPropertiesAxiom getOWLDisjointDataPropertiesAxiom(OWLDataPropertyExpression... dataProperties)

getOWLDisjointDataPropertiesAxiom

OWLDisjointDataPropertiesAxiom getOWLDisjointDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties)

getOWLDisjointDataPropertiesAxiom

OWLDisjointDataPropertiesAxiom getOWLDisjointDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties,
                                                                 java.util.Set<? extends OWLAnnotation> annotations)

getOWLDataPropertyDomainAxiom

OWLDataPropertyDomainAxiom getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property,
                                                         OWLClassExpression domain)

getOWLDataPropertyDomainAxiom

OWLDataPropertyDomainAxiom getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property,
                                                         OWLClassExpression domain,
                                                         java.util.Set<? extends OWLAnnotation> annotations)

getOWLDataPropertyRangeAxiom

OWLDataPropertyRangeAxiom getOWLDataPropertyRangeAxiom(OWLDataPropertyExpression propery,
                                                       OWLDataRange owlDataRange)

getOWLDataPropertyRangeAxiom

OWLDataPropertyRangeAxiom getOWLDataPropertyRangeAxiom(OWLDataPropertyExpression propery,
                                                       OWLDataRange owlDataRange,
                                                       java.util.Set<? extends OWLAnnotation> annotations)

getOWLFunctionalDataPropertyAxiom

OWLFunctionalDataPropertyAxiom getOWLFunctionalDataPropertyAxiom(OWLDataPropertyExpression property)

getOWLFunctionalDataPropertyAxiom

OWLFunctionalDataPropertyAxiom getOWLFunctionalDataPropertyAxiom(OWLDataPropertyExpression property,
                                                                 java.util.Set<? extends OWLAnnotation> annotations)

getOWLHasKeyAxiom

OWLHasKeyAxiom getOWLHasKeyAxiom(OWLClassExpression ce,
                                 java.util.Set<? extends OWLPropertyExpression> properties)

getOWLHasKeyAxiom

OWLHasKeyAxiom getOWLHasKeyAxiom(OWLClassExpression ce,
                                 OWLPropertyExpression... properties)

getOWLHasKeyAxiom

OWLHasKeyAxiom getOWLHasKeyAxiom(OWLClassExpression ce,
                                 java.util.Set<? extends OWLPropertyExpression> objectProperties,
                                 java.util.Set<? extends OWLAnnotation> annotations)

getOWLDatatypeDefinitionAxiom

OWLDatatypeDefinitionAxiom getOWLDatatypeDefinitionAxiom(OWLDatatype datatype,
                                                         OWLDataRange dataRange)

getOWLDatatypeDefinitionAxiom

OWLDatatypeDefinitionAxiom getOWLDatatypeDefinitionAxiom(OWLDatatype datatype,
                                                         OWLDataRange dataRange,
                                                         java.util.Set<? extends OWLAnnotation> annotations)

getOWLSameIndividualAxiom

OWLSameIndividualAxiom getOWLSameIndividualAxiom(java.util.Set<? extends OWLIndividual> individuals)

getOWLSameIndividualAxiom

OWLSameIndividualAxiom getOWLSameIndividualAxiom(OWLIndividual... individual)

getOWLSameIndividualAxiom

OWLSameIndividualAxiom getOWLSameIndividualAxiom(java.util.Set<? extends OWLIndividual> individuals,
                                                 java.util.Set<? extends OWLAnnotation> annotations)

getOWLDifferentIndividualsAxiom

OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(java.util.Set<? extends OWLIndividual> individuals)

getOWLDifferentIndividualsAxiom

OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(OWLIndividual... individuals)

getOWLDifferentIndividualsAxiom

OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(java.util.Set<? extends OWLIndividual> individuals,
                                                             java.util.Set<? extends OWLAnnotation> annotations)

getOWLClassAssertionAxiom

OWLClassAssertionAxiom getOWLClassAssertionAxiom(OWLClassExpression classExpression,
                                                 OWLIndividual individual)

getOWLClassAssertionAxiom

OWLClassAssertionAxiom getOWLClassAssertionAxiom(OWLClassExpression classExpression,
                                                 OWLIndividual individual,
                                                 java.util.Set<? extends OWLAnnotation> annotations)

getOWLObjectPropertyAssertionAxiom

OWLObjectPropertyAssertionAxiom getOWLObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
                                                                   OWLIndividual individual,
                                                                   OWLIndividual object)

getOWLObjectPropertyAssertionAxiom

OWLObjectPropertyAssertionAxiom getOWLObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
                                                                   OWLIndividual individual,
                                                                   OWLIndividual object,
                                                                   java.util.Set<? extends OWLAnnotation> annotations)

getOWLNegativeObjectPropertyAssertionAxiom

OWLNegativeObjectPropertyAssertionAxiom getOWLNegativeObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
                                                                                   OWLIndividual subject,
                                                                                   OWLIndividual object)

getOWLNegativeObjectPropertyAssertionAxiom

OWLNegativeObjectPropertyAssertionAxiom getOWLNegativeObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
                                                                                   OWLIndividual subject,
                                                                                   OWLIndividual object,
                                                                                   java.util.Set<? extends OWLAnnotation> annotations)

getOWLDataPropertyAssertionAxiom

OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                               OWLIndividual subject,
                                                               OWLLiteral object)

getOWLDataPropertyAssertionAxiom

OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                               OWLIndividual subject,
                                                               OWLLiteral object,
                                                               java.util.Set<? extends OWLAnnotation> annotations)

getOWLDataPropertyAssertionAxiom

OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                               OWLIndividual subject,
                                                               int value)

getOWLDataPropertyAssertionAxiom

OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                               OWLIndividual subject,
                                                               double value)

getOWLDataPropertyAssertionAxiom

OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                               OWLIndividual subject,
                                                               float value)

getOWLDataPropertyAssertionAxiom

OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                               OWLIndividual subject,
                                                               boolean value)

getOWLDataPropertyAssertionAxiom

OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                               OWLIndividual subject,
                                                               java.lang.String value)

getOWLNegativeDataPropertyAssertionAxiom

OWLNegativeDataPropertyAssertionAxiom getOWLNegativeDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                                               OWLIndividual subject,
                                                                               OWLLiteral object)

getOWLNegativeDataPropertyAssertionAxiom

OWLNegativeDataPropertyAssertionAxiom getOWLNegativeDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                                               OWLIndividual subject,
                                                                               OWLLiteral object,
                                                                               java.util.Set<? extends OWLAnnotation> annotations)

getOWLAnnotation

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

Parameters:
property - the annotation property
value - The annotation value
Returns:
The annotation on the specified property with the specified value

getOWLAnnotation

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

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

OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationProperty property,
                                                           OWLAnnotationSubject subject,
                                                           OWLAnnotationValue value)

getOWLAnnotationAssertionAxiom

OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationSubject subject,
                                                           OWLAnnotation annotation)

getOWLAnnotationAssertionAxiom

OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationProperty property,
                                                           OWLAnnotationSubject subject,
                                                           OWLAnnotationValue value,
                                                           java.util.Set<? extends OWLAnnotation> annotations)

getOWLAnnotationAssertionAxiom

OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationSubject subject,
                                                           OWLAnnotation annotation,
                                                           java.util.Set<? extends OWLAnnotation> annotations)

getOWLImportsDeclaration

OWLImportsDeclaration getOWLImportsDeclaration(java.net.URI importedOntologyURI)

getOWLImportsDeclaration

OWLImportsDeclaration getOWLImportsDeclaration(IRI importedOntologyIRI)

getOWLAnnotationPropertyDomainAxiom

OWLAnnotationPropertyDomainAxiom getOWLAnnotationPropertyDomainAxiom(OWLAnnotationProperty prop,
                                                                     IRI domain)

getOWLAnnotationPropertyDomainAxiom

OWLAnnotationPropertyDomainAxiom getOWLAnnotationPropertyDomainAxiom(OWLAnnotationProperty prop,
                                                                     IRI domain,
                                                                     java.util.Set<? extends OWLAnnotation> annotations)

getOWLAnnotationPropertyRangeAxiom

OWLAnnotationPropertyRangeAxiom getOWLAnnotationPropertyRangeAxiom(OWLAnnotationProperty prop,
                                                                   IRI range)

getOWLAnnotationPropertyRangeAxiom

OWLAnnotationPropertyRangeAxiom getOWLAnnotationPropertyRangeAxiom(OWLAnnotationProperty prop,
                                                                   IRI range,
                                                                   java.util.Set<? extends OWLAnnotation> annotations)

getOWLSubAnnotationPropertyOfAxiom

OWLSubAnnotationPropertyOfAxiom getOWLSubAnnotationPropertyOfAxiom(OWLAnnotationProperty sub,
                                                                   OWLAnnotationProperty sup)

getOWLSubAnnotationPropertyOfAxiom

OWLSubAnnotationPropertyOfAxiom getOWLSubAnnotationPropertyOfAxiom(OWLAnnotationProperty sub,
                                                                   OWLAnnotationProperty sup,
                                                                   java.util.Set<? extends OWLAnnotation> annotations)