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)
|
|
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 |
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 returnediri
- 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 literallang
- 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 alongdataRange
- 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 alongclassExpression
- 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 entityannotations
- 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 propertyvalue
- 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 propertyvalue
- The annotation valueannotations
- 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)