uk.ac.manchester.cs.owl.owlapi
Class OWLDataFactoryImpl
java.lang.Object
uk.ac.manchester.cs.owl.owlapi.OWLDataFactoryImpl
- All Implemented Interfaces:
- OWLDataFactory, SWRLDataFactory
public class OWLDataFactoryImpl
- extends java.lang.Object
- implements OWLDataFactory
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
Method Summary |
OWLDatatype |
getBooleanOWLDatatype()
A convenience method that obtains the datatype that represents booleans. |
OWLDatatype |
getDoubleOWLDatatype()
A convenience method that obtains the datatype that represents doubles. |
OWLDatatype |
getFloatOWLDatatype()
A convenience method that obtains the datatype that represents floats. |
static OWLDataFactory |
getInstance()
|
OWLDatatype |
getIntegerOWLDatatype()
A convenience method that obtains the datatype that represents integers. |
IRI |
getIRI(java.net.URI uri)
Gets an IRI for a given URI. |
OWLAnnotation |
getOWLAnnotation(OWLAnnotationProperty property,
OWLAnnotationValue value)
Gets an annotation |
OWLAnnotation |
getOWLAnnotation(OWLAnnotationProperty property,
OWLAnnotationValue value,
java.util.Set<? extends OWLAnnotation> annotations)
Gets an annotation |
OWLAnnotationAssertionAxiom |
getOWLAnnotationAssertionAxiom(OWLAnnotationProperty property,
OWLAnnotationSubject subject,
OWLAnnotationValue value)
|
OWLAnnotationAssertionAxiom |
getOWLAnnotationAssertionAxiom(OWLAnnotationProperty property,
OWLAnnotationSubject subject,
OWLAnnotationValue value,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLAnnotationAssertionAxiom |
getOWLAnnotationAssertionAxiom(OWLAnnotationSubject subject,
OWLAnnotation annotation)
|
OWLAnnotationAssertionAxiom |
getOWLAnnotationAssertionAxiom(OWLAnnotationSubject subject,
OWLAnnotation annotation,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLAnnotationProperty |
getOWLAnnotationProperty(IRI iri)
|
OWLAnnotationProperty |
getOWLAnnotationProperty(java.net.URI uri)
|
OWLAnnotationPropertyDomainAxiom |
getOWLAnnotationPropertyDomainAxiom(OWLAnnotationProperty prop,
IRI domain)
|
OWLAnnotationPropertyDomainAxiom |
getOWLAnnotationPropertyDomainAxiom(OWLAnnotationProperty prop,
IRI domain,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLAnnotationPropertyRangeAxiom |
getOWLAnnotationPropertyRangeAxiom(OWLAnnotationProperty prop,
IRI range)
|
OWLAnnotationPropertyRangeAxiom |
getOWLAnnotationPropertyRangeAxiom(OWLAnnotationProperty prop,
IRI range,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLAnonymousIndividual |
getOWLAnonymousIndividual()
Gets an anonymous individual. |
OWLAnonymousIndividual |
getOWLAnonymousIndividual(java.lang.String id)
Gets an anonymous individual that has a specific ID. |
OWLAsymmetricObjectPropertyAxiom |
getOWLAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression propertyExpression)
|
OWLAsymmetricObjectPropertyAxiom |
getOWLAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression propertyExpression,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLDataProperty |
getOWLBottomDataProperty()
|
OWLObjectProperty |
getOWLBottomObjectProperty()
|
OWLClass |
getOWLClass(IRI iri)
|
OWLClass |
getOWLClass(java.lang.String curi,
PrefixManager prefixManager)
Gets an OWL class that has a URI that is obtained by expanding a compact URI (CURIE) using a specified
prefix mapping. |
OWLClass |
getOWLClass(java.net.URI uri)
Gets an OWL class that has the specified URI |
OWLClassAssertionAxiom |
getOWLClassAssertionAxiom(OWLClassExpression classExpression,
OWLIndividual individual)
|
OWLClassAssertionAxiom |
getOWLClassAssertionAxiom(OWLClassExpression classExpression,
OWLIndividual individual,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLDataAllValuesFrom |
getOWLDataAllValuesFrom(OWLDataPropertyExpression property,
OWLDataRange dataRange)
|
OWLDataComplementOf |
getOWLDataComplementOf(OWLDataRange dataRange)
Gets an OWLDataComplementOf (see spec) |
OWLDataExactCardinality |
getOWLDataExactCardinality(int cardinality,
OWLDataPropertyExpression property)
|
OWLDataExactCardinality |
getOWLDataExactCardinality(int cardinality,
OWLDataPropertyExpression property,
OWLDataRange dataRange)
|
OWLDataHasValue |
getOWLDataHasValue(OWLDataPropertyExpression property,
OWLLiteral value)
|
OWLDataIntersectionOf |
getOWLDataIntersectionOf(OWLDataRange... dataRanges)
|
OWLDataIntersectionOf |
getOWLDataIntersectionOf(java.util.Set<? extends OWLDataRange> dataRanges)
|
OWLDataMaxCardinality |
getOWLDataMaxCardinality(int cardinality,
OWLDataPropertyExpression property)
|
OWLDataMaxCardinality |
getOWLDataMaxCardinality(int cardinality,
OWLDataPropertyExpression property,
OWLDataRange dataRange)
|
OWLDataMinCardinality |
getOWLDataMinCardinality(int cardinality,
OWLDataPropertyExpression property)
|
OWLDataMinCardinality |
getOWLDataMinCardinality(int cardinality,
OWLDataPropertyExpression property,
OWLDataRange dataRange)
|
OWLDataOneOf |
getOWLDataOneOf(OWLLiteral... values)
Gets an OWLDataOneOf (see spec) |
OWLDataOneOf |
getOWLDataOneOf(java.util.Set<? extends OWLLiteral> values)
Gets an OWLDataOneOf (see spec) |
OWLDataProperty |
getOWLDataProperty(IRI iri)
|
OWLDataProperty |
getOWLDataProperty(java.lang.String curi,
PrefixManager prefixManager)
Gets an OWL data property that has a URI that is obtained by expanding a compact URI (CURIE) using a specified
prefix mapping. |
OWLDataProperty |
getOWLDataProperty(java.net.URI uri)
Gets an OWL data property that has the specified URI |
OWLDataPropertyAssertionAxiom |
getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
OWLIndividual subject,
boolean value)
|
OWLDataPropertyAssertionAxiom |
getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
OWLIndividual subject,
double value)
|
OWLDataPropertyAssertionAxiom |
getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
OWLIndividual subject,
float value)
|
OWLDataPropertyAssertionAxiom |
getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
OWLIndividual subject,
int value)
|
OWLDataPropertyAssertionAxiom |
getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
OWLIndividual subject,
OWLLiteral object)
|
OWLDataPropertyAssertionAxiom |
getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
OWLIndividual subject,
OWLLiteral object,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLDataPropertyAssertionAxiom |
getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
OWLIndividual subject,
java.lang.String value)
|
OWLDataPropertyDomainAxiom |
getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property,
OWLClassExpression domain)
|
OWLDataPropertyDomainAxiom |
getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property,
OWLClassExpression domain,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLDataPropertyRangeAxiom |
getOWLDataPropertyRangeAxiom(OWLDataPropertyExpression propery,
OWLDataRange owlDataRange)
|
OWLDataPropertyRangeAxiom |
getOWLDataPropertyRangeAxiom(OWLDataPropertyExpression propery,
OWLDataRange owlDataRange,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLDataSomeValuesFrom |
getOWLDataSomeValuesFrom(OWLDataPropertyExpression property,
OWLDataRange dataRange)
Gets an OWLDataSomeValuesFrom restriction |
OWLDatatype |
getOWLDatatype(IRI iri)
|
OWLDatatype |
getOWLDatatype(java.net.URI uri)
Gets an OWL datatype that has the specified URI |
OWLDatatypeDefinitionAxiom |
getOWLDatatypeDefinitionAxiom(OWLDatatype datatype,
OWLDataRange dataRange)
|
OWLDatatypeDefinitionAxiom |
getOWLDatatypeDefinitionAxiom(OWLDatatype datatype,
OWLDataRange dataRange,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLDatatypeRestriction |
getOWLDatatypeRestriction(OWLDatatype datatype,
OWLFacet facet,
OWLLiteral typedConstant)
|
OWLDatatypeRestriction |
getOWLDatatypeRestriction(OWLDatatype dataRange,
OWLFacetRestriction... facetRestrictions)
|
OWLDatatypeRestriction |
getOWLDatatypeRestriction(OWLDatatype datatype,
java.util.Set<OWLFacetRestriction> facets)
|
OWLDataUnionOf |
getOWLDataUnionOf(OWLDataRange... dataRanges)
|
OWLDataUnionOf |
getOWLDataUnionOf(java.util.Set<? extends OWLDataRange> dataRanges)
|
OWLDeclarationAxiom |
getOWLDeclarationAxiom(OWLEntity owlEntity)
Gets a declaration for an entity |
OWLDeclarationAxiom |
getOWLDeclarationAxiom(OWLEntity owlEntity,
java.util.Set<? extends OWLAnnotation> annotations)
Gets a declaration with zero or more annotations for an entity |
OWLDifferentIndividualsAxiom |
getOWLDifferentIndividualsAxiom(OWLIndividual... individuals)
|
OWLDifferentIndividualsAxiom |
getOWLDifferentIndividualsAxiom(java.util.Set<? extends OWLIndividual> individuals)
|
OWLDifferentIndividualsAxiom |
getOWLDifferentIndividualsAxiom(java.util.Set<? extends OWLIndividual> individuals,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLDisjointClassesAxiom |
getOWLDisjointClassesAxiom(OWLClassExpression... classExpressions)
|
OWLDisjointClassesAxiom |
getOWLDisjointClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions)
|
OWLDisjointClassesAxiom |
getOWLDisjointClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLDisjointDataPropertiesAxiom |
getOWLDisjointDataPropertiesAxiom(OWLDataPropertyExpression... properties)
|
OWLDisjointDataPropertiesAxiom |
getOWLDisjointDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties)
|
OWLDisjointDataPropertiesAxiom |
getOWLDisjointDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLDisjointObjectPropertiesAxiom |
getOWLDisjointObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)
|
OWLDisjointObjectPropertiesAxiom |
getOWLDisjointObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties)
|
OWLDisjointObjectPropertiesAxiom |
getOWLDisjointObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLDisjointUnionAxiom |
getOWLDisjointUnionAxiom(OWLClass owlClass,
java.util.Set<? extends OWLClassExpression> classExpressions)
|
OWLDisjointUnionAxiom |
getOWLDisjointUnionAxiom(OWLClass owlClass,
java.util.Set<? extends OWLClassExpression> classExpressions,
java.util.Set<? extends OWLAnnotation> annotations)
|
|
getOWLEntity(EntityType<E> entityType,
IRI iri)
Gets an entity that has the specified IRI and is of the specified type. |
OWLEquivalentClassesAxiom |
getOWLEquivalentClassesAxiom(OWLClassExpression... classExpressions)
|
OWLEquivalentClassesAxiom |
getOWLEquivalentClassesAxiom(OWLClassExpression clsA,
OWLClassExpression clsB)
|
OWLEquivalentClassesAxiom |
getOWLEquivalentClassesAxiom(OWLClassExpression clsA,
OWLClassExpression clsB,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLEquivalentClassesAxiom |
getOWLEquivalentClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions)
|
OWLEquivalentClassesAxiom |
getOWLEquivalentClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLEquivalentDataPropertiesAxiom |
getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression... properties)
|
OWLEquivalentDataPropertiesAxiom |
getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression propertyA,
OWLDataPropertyExpression propertyB)
|
OWLEquivalentDataPropertiesAxiom |
getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression propertyA,
OWLDataPropertyExpression propertyB,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLEquivalentDataPropertiesAxiom |
getOWLEquivalentDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties)
|
OWLEquivalentDataPropertiesAxiom |
getOWLEquivalentDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLEquivalentObjectPropertiesAxiom |
getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)
|
OWLEquivalentObjectPropertiesAxiom |
getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression propertyA,
OWLObjectPropertyExpression propertyB)
|
OWLEquivalentObjectPropertiesAxiom |
getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression propertyA,
OWLObjectPropertyExpression propertyB,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLEquivalentObjectPropertiesAxiom |
getOWLEquivalentObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties)
|
OWLEquivalentObjectPropertiesAxiom |
getOWLEquivalentObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLFacetRestriction |
getOWLFacetRestriction(OWLFacet facet,
double facetValue)
|
OWLFacetRestriction |
getOWLFacetRestriction(OWLFacet facet,
float facetValue)
|
OWLFacetRestriction |
getOWLFacetRestriction(OWLFacet facet,
int facetValue)
|
OWLFacetRestriction |
getOWLFacetRestriction(OWLFacet facet,
OWLLiteral facetValue)
|
OWLFunctionalDataPropertyAxiom |
getOWLFunctionalDataPropertyAxiom(OWLDataPropertyExpression property)
|
OWLFunctionalDataPropertyAxiom |
getOWLFunctionalDataPropertyAxiom(OWLDataPropertyExpression property,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLFunctionalObjectPropertyAxiom |
getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
|
OWLFunctionalObjectPropertyAxiom |
getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLHasKeyAxiom |
getOWLHasKeyAxiom(OWLClassExpression ce,
OWLPropertyExpression... properties)
|
OWLHasKeyAxiom |
getOWLHasKeyAxiom(OWLClassExpression ce,
java.util.Set<? extends OWLPropertyExpression> properties)
|
OWLHasKeyAxiom |
getOWLHasKeyAxiom(OWLClassExpression ce,
java.util.Set<? extends OWLPropertyExpression> properties,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLImportsDeclaration |
getOWLImportsDeclaration(IRI importedOntologyIRI)
|
OWLImportsDeclaration |
getOWLImportsDeclaration(java.net.URI importedOntologyURI)
|
OWLInverseFunctionalObjectPropertyAxiom |
getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
|
OWLInverseFunctionalObjectPropertyAxiom |
getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLInverseObjectPropertiesAxiom |
getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty,
OWLObjectPropertyExpression inverseProperty)
|
OWLInverseObjectPropertiesAxiom |
getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty,
OWLObjectPropertyExpression inverseProperty,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLIrreflexiveObjectPropertyAxiom |
getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
|
OWLIrreflexiveObjectPropertyAxiom |
getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLNamedIndividual |
getOWLNamedIndividual(IRI iri)
|
OWLNamedIndividual |
getOWLNamedIndividual(java.lang.String curi,
PrefixManager prefixManager)
Gets an OWL named individual that has a URI that is obtained by expanding a compact URI (CURIE) using a specified
prefix mapping. |
OWLNamedIndividual |
getOWLNamedIndividual(java.net.URI uri)
Gets an OWL individual that has the specified URI |
OWLNegativeDataPropertyAssertionAxiom |
getOWLNegativeDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
OWLIndividual subject,
OWLLiteral object)
|
OWLNegativeDataPropertyAssertionAxiom |
getOWLNegativeDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
OWLIndividual subject,
OWLLiteral object,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLNegativeObjectPropertyAssertionAxiom |
getOWLNegativeObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
OWLIndividual subject,
OWLIndividual object)
|
OWLNegativeObjectPropertyAssertionAxiom |
getOWLNegativeObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
OWLIndividual subject,
OWLIndividual object,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLClass |
getOWLNothing()
Gets the built in owl:Nothing class, which has a URI of <http://www.w3.org/2002/07/owl#Nothing> |
OWLObjectAllValuesFrom |
getOWLObjectAllValuesFrom(OWLObjectPropertyExpression property,
OWLClassExpression classExpression)
|
OWLObjectComplementOf |
getOWLObjectComplementOf(OWLClassExpression operand)
|
OWLObjectExactCardinality |
getOWLObjectExactCardinality(int cardinality,
OWLObjectPropertyExpression property)
|
OWLObjectExactCardinality |
getOWLObjectExactCardinality(int cardinality,
OWLObjectPropertyExpression property,
OWLClassExpression classExpression)
|
OWLObjectHasSelf |
getOWLObjectHasSelf(OWLObjectPropertyExpression property)
|
OWLObjectHasValue |
getOWLObjectHasValue(OWLObjectPropertyExpression property,
OWLIndividual individual)
|
OWLObjectIntersectionOf |
getOWLObjectIntersectionOf(OWLClassExpression... operands)
|
OWLObjectIntersectionOf |
getOWLObjectIntersectionOf(java.util.Set<? extends OWLClassExpression> operands)
|
OWLObjectInverseOf |
getOWLObjectInverseOf(OWLObjectPropertyExpression property)
Gets the inverse of an object property. |
OWLObjectMaxCardinality |
getOWLObjectMaxCardinality(int cardinality,
OWLObjectPropertyExpression property)
|
OWLObjectMaxCardinality |
getOWLObjectMaxCardinality(int cardinality,
OWLObjectPropertyExpression property,
OWLClassExpression classExpression)
|
OWLObjectMinCardinality |
getOWLObjectMinCardinality(int cardinality,
OWLObjectPropertyExpression property)
|
OWLObjectMinCardinality |
getOWLObjectMinCardinality(int cardinality,
OWLObjectPropertyExpression property,
OWLClassExpression classExpression)
|
OWLObjectOneOf |
getOWLObjectOneOf(OWLIndividual... individuals)
|
OWLObjectOneOf |
getOWLObjectOneOf(java.util.Set<? extends OWLIndividual> values)
|
OWLObjectProperty |
getOWLObjectProperty(IRI iri)
|
OWLObjectProperty |
getOWLObjectProperty(java.lang.String curi,
PrefixManager prefixManager)
Gets an OWL object property that has a URI that is obtained by expanding a compact URI (CURIE) using a specified
prefix mapping. |
OWLObjectProperty |
getOWLObjectProperty(java.net.URI uri)
Gets an OWL object property that has the specified URI |
OWLObjectPropertyAssertionAxiom |
getOWLObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
OWLIndividual individual,
OWLIndividual object)
|
OWLObjectPropertyAssertionAxiom |
getOWLObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
OWLIndividual individual,
OWLIndividual object,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLObjectPropertyDomainAxiom |
getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property,
OWLClassExpression classExpression)
|
OWLObjectPropertyDomainAxiom |
getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property,
OWLClassExpression classExpression,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLObjectPropertyRangeAxiom |
getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property,
OWLClassExpression range)
|
OWLObjectPropertyRangeAxiom |
getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property,
OWLClassExpression range,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLObjectSomeValuesFrom |
getOWLObjectSomeValuesFrom(OWLObjectPropertyExpression property,
OWLClassExpression classExpression)
Gets an OWLObjectSomeValuesFrom restriction |
OWLObjectUnionOf |
getOWLObjectUnionOf(OWLClassExpression... operands)
|
OWLObjectUnionOf |
getOWLObjectUnionOf(java.util.Set<? extends OWLClassExpression> operands)
|
OWLReflexiveObjectPropertyAxiom |
getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
|
OWLReflexiveObjectPropertyAxiom |
getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLSameIndividualAxiom |
getOWLSameIndividualAxiom(OWLIndividual... individuals)
|
OWLSameIndividualAxiom |
getOWLSameIndividualAxiom(java.util.Set<? extends OWLIndividual> individuals)
|
OWLSameIndividualAxiom |
getOWLSameIndividualAxiom(java.util.Set<? extends OWLIndividual> individuals,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLStringLiteral |
getOWLStringLiteral(java.lang.String literal)
Gets a string literal without a language tag. |
OWLStringLiteral |
getOWLStringLiteral(java.lang.String literal,
java.lang.String lang)
Gets an OWLStringLiteral with a language tag. |
OWLSubAnnotationPropertyOfAxiom |
getOWLSubAnnotationPropertyOfAxiom(OWLAnnotationProperty sub,
OWLAnnotationProperty sup)
|
OWLSubAnnotationPropertyOfAxiom |
getOWLSubAnnotationPropertyOfAxiom(OWLAnnotationProperty sub,
OWLAnnotationProperty sup,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLSubClassOfAxiom |
getOWLSubClassOfAxiom(OWLClassExpression subClass,
OWLClassExpression superClass)
|
OWLSubClassOfAxiom |
getOWLSubClassOfAxiom(OWLClassExpression subClass,
OWLClassExpression superClass,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLSubDataPropertyOfAxiom |
getOWLSubDataPropertyOfAxiom(OWLDataPropertyExpression subProperty,
OWLDataPropertyExpression superProperty)
|
OWLSubDataPropertyOfAxiom |
getOWLSubDataPropertyOfAxiom(OWLDataPropertyExpression subProperty,
OWLDataPropertyExpression superProperty,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLSubObjectPropertyOfAxiom |
getOWLSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty,
OWLObjectPropertyExpression superProperty)
|
OWLSubObjectPropertyOfAxiom |
getOWLSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty,
OWLObjectPropertyExpression superProperty,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLSubPropertyChainOfAxiom |
getOWLSubPropertyChainOfAxiom(java.util.List<? extends OWLObjectPropertyExpression> chain,
OWLObjectPropertyExpression superProperty)
|
OWLSubPropertyChainOfAxiom |
getOWLSubPropertyChainOfAxiom(java.util.List<? extends OWLObjectPropertyExpression> chain,
OWLObjectPropertyExpression superProperty,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLSymmetricObjectPropertyAxiom |
getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)
|
OWLSymmetricObjectPropertyAxiom |
getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLClass |
getOWLThing()
Gets the built in owl:Thing class, which has a URI of <http://www.w3.org/2002/07/owl#Thing> |
OWLDataProperty |
getOWLTopDataProperty()
|
OWLObjectProperty |
getOWLTopObjectProperty()
|
OWLTransitiveObjectPropertyAxiom |
getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
|
OWLTransitiveObjectPropertyAxiom |
getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
java.util.Set<? extends OWLAnnotation> annotations)
|
OWLTypedLiteral |
getOWLTypedLiteral(boolean value)
Convenience method that obtains a literal typed as a boolean. |
OWLTypedLiteral |
getOWLTypedLiteral(double value)
Convenience method that obtains a literal typed as a double. |
OWLTypedLiteral |
getOWLTypedLiteral(float value)
Convenience method that obtains a literal typed as a float. |
OWLTypedLiteral |
getOWLTypedLiteral(int value)
Convenience method that obtains a literal typed as an integer. |
OWLTypedLiteral |
getOWLTypedLiteral(java.lang.String value)
Convenience method that obtains a literal typed as a string. |
OWLTypedLiteral |
getOWLTypedLiteral(java.lang.String literal,
OWLDatatype datatype)
|
SWRLBuiltInAtom |
getSWRLBuiltInAtom(IRI builtInIRI,
java.util.List<SWRLDArgument> args)
Creates a SWRL Built-In atom. |
SWRLClassAtom |
getSWRLClassAtom(OWLClassExpression predicate,
SWRLIArgument arg)
Gets a SWRL class atom, i.e. |
SWRLDataPropertyAtom |
getSWRLDataPropertyAtom(OWLDataPropertyExpression property,
SWRLIArgument arg0,
SWRLDArgument arg1)
Gets a SWRL data property atom, i.e. |
SWRLDataRangeAtom |
getSWRLDataRangeAtom(OWLDataRange predicate,
SWRLDArgument arg)
Gets a SWRL data range atom, i.e. |
SWRLDifferentIndividualsAtom |
getSWRLDifferentIndividualsAtom(SWRLIArgument arg0,
SWRLIArgument arg1)
|
SWRLIndividualArgument |
getSWRLIndividualArgument(OWLIndividual individual)
Gets a SWRL individual object. |
SWRLLiteralArgument |
getSWRLLiteralArgument(OWLLiteral literal)
Gets a SWRL constant object. |
SWRLObjectPropertyAtom |
getSWRLObjectPropertyAtom(OWLObjectPropertyExpression property,
SWRLIArgument arg0,
SWRLIArgument arg1)
Gets a SWRL object property atom, i.e. |
SWRLRule |
getSWRLRule(IRI iri,
java.util.Set<? extends SWRLAtom> body,
java.util.Set<? extends SWRLAtom> head)
Gets a SWRL rule which is named with a URI |
SWRLRule |
getSWRLRule(NodeID nodeID,
java.util.Set<? extends SWRLAtom> body,
java.util.Set<? extends SWRLAtom> head)
Gets a SWRL rule which is not named with a URI - i.e. |
SWRLRule |
getSWRLRule(java.util.Set<? extends SWRLAtom> antecendent,
java.util.Set<? extends SWRLAtom> consequent)
Gets a SWRL rule which is anonymous - i.e. |
SWRLRule |
getSWRLRule(java.util.Set<? extends SWRLAtom> body,
java.util.Set<? extends SWRLAtom> head,
java.util.Set<OWLAnnotation> annotations)
Gets an anonymous SWRL Rule |
SWRLSameIndividualAtom |
getSWRLSameIndividualAtom(SWRLIArgument arg0,
SWRLIArgument arg1)
|
SWRLVariable |
getSWRLVariable(IRI var)
Gets a SWRLVariable. |
OWLDatatype |
getTopDatatype()
Gets the built in data range corresponding to the top data type (like owl:Thing but for data ranges),
this datatype is rdfs:Literal, and has a URI of $lt;http://www.w3.org/2000/01/rdf-schema#> |
void |
purge()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
OWLDataFactoryImpl
public OWLDataFactoryImpl()
getInstance
public static OWLDataFactory getInstance()
purge
public void purge()
getIRI
public IRI getIRI(java.net.URI uri)
- Description copied from interface:
OWLDataFactory
- Gets an IRI for a given URI. Note that this method is pass through - if the specified URI is
null
then the value returned will be null
- Specified by:
getIRI
in interface OWLDataFactory
- Parameters:
uri
- The URI (may be null
)
- Returns:
- An IRI representing the specified URI, or
null
if the specified URI
was null
getOWLEntity
public <E extends OWLEntity> E getOWLEntity(EntityType<E> entityType,
IRI iri)
- Gets an entity that has the specified IRI and is of the specified type.
- Specified by:
getOWLEntity
in interface OWLDataFactory
- Parameters:
entityType
- The type of the entity that will be 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
public OWLClass getOWLClass(java.net.URI uri)
- Description copied from interface:
OWLDataFactory
- Gets an OWL class that has the specified URI
- Specified by:
getOWLClass
in interface OWLDataFactory
- Parameters:
uri
- The URI of the class
- Returns:
- The object representing the class that has the specified URI
getOWLClass
public OWLClass getOWLClass(IRI iri)
- Specified by:
getOWLClass
in interface OWLDataFactory
getOWLClass
public OWLClass getOWLClass(java.lang.String curi,
PrefixManager prefixManager)
- Description copied from interface:
OWLDataFactory
- Gets an OWL class that has a URI that is obtained by expanding a compact URI (CURIE) using a specified
prefix mapping.
- Specified by:
getOWLClass
in interface OWLDataFactory
- Parameters:
curi
- The compact URI.prefixManager
- The prefix manager that is responsible for mapping prefix names to prefixes,
and is used to expand the specified compact URI (CURIE).
- Returns:
- An OWL class that has the URI obtained by expanding the specified CURIE using the specified prefix
manager. For example, suppose "m:Cat" was specified the CURIE, the prefix manager would be used to obtain
the prefix for the "m:" prefix name, this prefix would then be concatenated with "Cat" to obtain the full URI
which would be the URI of the OWL class obtained by this method.
getOWLThing
public OWLClass getOWLThing()
- Description copied from interface:
OWLDataFactory
- Gets the built in owl:Thing class, which has a URI of <http://www.w3.org/2002/07/owl#Thing>
- Specified by:
getOWLThing
in interface OWLDataFactory
- Returns:
- The OWL Class corresponding to owl:Thing
getOWLNothing
public OWLClass getOWLNothing()
- Description copied from interface:
OWLDataFactory
- Gets the built in owl:Nothing class, which has a URI of <http://www.w3.org/2002/07/owl#Nothing>
- Specified by:
getOWLNothing
in interface OWLDataFactory
- Returns:
- The OWL Class corresponding to owl:Nothing
getOWLBottomDataProperty
public OWLDataProperty getOWLBottomDataProperty()
- Specified by:
getOWLBottomDataProperty
in interface OWLDataFactory
getOWLBottomObjectProperty
public OWLObjectProperty getOWLBottomObjectProperty()
- Specified by:
getOWLBottomObjectProperty
in interface OWLDataFactory
getOWLTopDataProperty
public OWLDataProperty getOWLTopDataProperty()
- Specified by:
getOWLTopDataProperty
in interface OWLDataFactory
getOWLTopObjectProperty
public OWLObjectProperty getOWLTopObjectProperty()
- Specified by:
getOWLTopObjectProperty
in interface OWLDataFactory
getTopDatatype
public OWLDatatype getTopDatatype()
- Description copied from interface:
OWLDataFactory
- Gets the built in data range corresponding to the top data type (like owl:Thing but for data ranges),
this datatype is rdfs:Literal, and has a URI of $lt;http://www.w3.org/2000/01/rdf-schema#>
- Specified by:
getTopDatatype
in interface OWLDataFactory
- Returns:
- The OWL Datatype corresponding to the top data type.
getIntegerOWLDatatype
public OWLDatatype getIntegerOWLDatatype()
- Description copied from interface:
OWLDataFactory
- A convenience method that obtains the datatype that represents integers. This datatype will have the URI of
<http://www.w3.org/2001/XMLSchema#integer>
- Specified by:
getIntegerOWLDatatype
in interface OWLDataFactory
- Returns:
- An object representing an integer datatype.
getFloatOWLDatatype
public OWLDatatype getFloatOWLDatatype()
- Description copied from interface:
OWLDataFactory
- A convenience method that obtains the datatype that represents floats. This datatype will have the URI of
<http://www.w3.org/2001/XMLSchema#float>
- Specified by:
getFloatOWLDatatype
in interface OWLDataFactory
- Returns:
- An object representing the float datatype.
getDoubleOWLDatatype
public OWLDatatype getDoubleOWLDatatype()
- Description copied from interface:
OWLDataFactory
- A convenience method that obtains the datatype that represents doubles. This datatype will have the URI of
<http://www.w3.org/2001/XMLSchema#double>
- Specified by:
getDoubleOWLDatatype
in interface OWLDataFactory
- Returns:
- An object representing a double datatype.
getBooleanOWLDatatype
public OWLDatatype getBooleanOWLDatatype()
- Description copied from interface:
OWLDataFactory
- A convenience method that obtains the datatype that represents booleans. This datatype will have the URI of
<http://www.w3.org/2001/XMLSchema#boolean>
- Specified by:
getBooleanOWLDatatype
in interface OWLDataFactory
- Returns:
- An object representing the boolean datatype.
getOWLObjectProperty
public OWLObjectProperty getOWLObjectProperty(java.net.URI uri)
- Description copied from interface:
OWLDataFactory
- Gets an OWL object property that has the specified URI
- Specified by:
getOWLObjectProperty
in interface OWLDataFactory
- Parameters:
uri
- The URI of the object property to be obtained
- Returns:
- The object representing the object property that has the specified URI
getOWLObjectProperty
public OWLObjectProperty getOWLObjectProperty(IRI iri)
- Specified by:
getOWLObjectProperty
in interface OWLDataFactory
getOWLDataProperty
public OWLDataProperty getOWLDataProperty(java.net.URI uri)
- Description copied from interface:
OWLDataFactory
- Gets an OWL data property that has the specified URI
- Specified by:
getOWLDataProperty
in interface OWLDataFactory
- Parameters:
uri
- The URI of the data property to be obtained
- Returns:
- The object representing the data property that has the specified URI
getOWLDataProperty
public OWLDataProperty getOWLDataProperty(IRI iri)
- Specified by:
getOWLDataProperty
in interface OWLDataFactory
getOWLNamedIndividual
public OWLNamedIndividual getOWLNamedIndividual(java.net.URI uri)
- Description copied from interface:
OWLDataFactory
- Gets an OWL individual that has the specified URI
- Specified by:
getOWLNamedIndividual
in interface OWLDataFactory
- Parameters:
uri
- The URI of the individual to be obtained
- Returns:
- The object representing the individual that has the specified URI
getOWLNamedIndividual
public OWLNamedIndividual getOWLNamedIndividual(IRI iri)
- Specified by:
getOWLNamedIndividual
in interface OWLDataFactory
getOWLDataProperty
public OWLDataProperty getOWLDataProperty(java.lang.String curi,
PrefixManager prefixManager)
- Description copied from interface:
OWLDataFactory
- Gets an OWL data property that has a URI that is obtained by expanding a compact URI (CURIE) using a specified
prefix mapping.
- Specified by:
getOWLDataProperty
in interface OWLDataFactory
- Parameters:
curi
- The compact URI.prefixManager
- The prefix manager that is responsible for mapping prefix names to prefixes,
and is used to expand the specified compact URI (CURIE).
- Returns:
- An OWL data property that has the URI obtained by expanding the specified CURIE using the specified prefix
manager. For example, suppose "m:Cat" was specified the CURIE, the prefix manager would be used to obtain
the prefix for the "m:" prefix name, this prefix would then be concatenated with "Cat" to obtain the full URI
which would be the URI of the OWL data property obtained by this method.
getOWLNamedIndividual
public OWLNamedIndividual getOWLNamedIndividual(java.lang.String curi,
PrefixManager prefixManager)
- Description copied from interface:
OWLDataFactory
- Gets an OWL named individual that has a URI that is obtained by expanding a compact URI (CURIE) using a specified
prefix mapping.
- Specified by:
getOWLNamedIndividual
in interface OWLDataFactory
- Parameters:
curi
- The compact URI.prefixManager
- The prefix manager that is responsible for mapping prefix names to prefixes,
and is used to expand the specified compact URI (CURIE).
- Returns:
- An OWL named individual that has the URI obtained by expanding the specified CURIE using the specified prefix
manager. For example, suppose "m:Cat" was specified the CURIE, the prefix manager would be used to obtain
the prefix for the "m:" prefix name, this prefix would then be concatenated with "Cat" to obtain the full URI
which would be the URI of the OWL named individual obtained by this method.
getOWLObjectProperty
public OWLObjectProperty getOWLObjectProperty(java.lang.String curi,
PrefixManager prefixManager)
- Description copied from interface:
OWLDataFactory
- Gets an OWL object property that has a URI that is obtained by expanding a compact URI (CURIE) using a specified
prefix mapping.
- Specified by:
getOWLObjectProperty
in interface OWLDataFactory
- Parameters:
curi
- The compact URI.prefixManager
- The prefix manager that is responsible for mapping prefix names to prefixes,
and is used to expand the specified compact URI (CURIE).
- Returns:
- An OWL object property that has the URI obtained by expanding the specified CURIE using the specified prefix
manager. For example, suppose "m:Cat" was specified the CURIE, the prefix manager would be used to obtain
the prefix for the "m:" prefix name, this prefix would then be concatenated with "Cat" to obtain the full URI
which would be the URI of the OWL object property obtained by this method.
getOWLAnonymousIndividual
public OWLAnonymousIndividual getOWLAnonymousIndividual(java.lang.String id)
- Description copied from interface:
OWLDataFactory
- Gets an anonymous individual that has a specific ID.
- Specified by:
getOWLAnonymousIndividual
in interface OWLDataFactory
- Parameters:
id
- The node ID. Note that the ID will be preixed with _: if it is not specifed with
_: as a prefix
- Returns:
- An anonymous individual.
getOWLAnonymousIndividual
public OWLAnonymousIndividual getOWLAnonymousIndividual()
- Gets an anonymous individual. The node ID for the individual will be generated automatically
- Specified by:
getOWLAnonymousIndividual
in interface OWLDataFactory
- Returns:
- The anonymous individual
getOWLDatatype
public OWLDatatype getOWLDatatype(java.net.URI uri)
- Description copied from interface:
OWLDataFactory
- Gets an OWL datatype that has the specified URI
- Specified by:
getOWLDatatype
in interface OWLDataFactory
- Parameters:
uri
- The URI of the datatype to be obtained
- Returns:
- The object representing the datatype that has the specified URI
getOWLDatatype
public OWLDatatype getOWLDatatype(IRI iri)
- Specified by:
getOWLDatatype
in interface OWLDataFactory
getOWLTypedLiteral
public OWLTypedLiteral getOWLTypedLiteral(java.lang.String literal,
OWLDatatype datatype)
- Specified by:
getOWLTypedLiteral
in interface OWLDataFactory
getOWLTypedLiteral
public OWLTypedLiteral getOWLTypedLiteral(int value)
- Description copied from interface:
OWLDataFactory
- Convenience method that obtains a literal typed as an integer.
- Specified by:
getOWLTypedLiteral
in interface OWLDataFactory
- Parameters:
value
- The value of the literal
- Returns:
- An
OWLTypedConstant
whose literal is the lexical
value of the integer, and whose data type is xsd:integer.
getOWLTypedLiteral
public OWLTypedLiteral getOWLTypedLiteral(double value)
- Description copied from interface:
OWLDataFactory
- Convenience method that obtains a literal typed as a double.
- Specified by:
getOWLTypedLiteral
in interface OWLDataFactory
- Parameters:
value
- The value of the literal
- Returns:
- An
OWLTypedConstant
whose literal is the lexical
value of the double, and whose data type is xsd:double.
getOWLTypedLiteral
public OWLTypedLiteral getOWLTypedLiteral(boolean value)
- Description copied from interface:
OWLDataFactory
- Convenience method that obtains a literal typed as a boolean.
- Specified by:
getOWLTypedLiteral
in interface OWLDataFactory
- Parameters:
value
- The value of the literal
- Returns:
- An
OWLTypedConstant
whose literal is the lexical
value of the boolean, and whose data type is xsd:boolean.
getOWLTypedLiteral
public OWLTypedLiteral getOWLTypedLiteral(float value)
- Description copied from interface:
OWLDataFactory
- Convenience method that obtains a literal typed as a float.
- Specified by:
getOWLTypedLiteral
in interface OWLDataFactory
- Parameters:
value
- The value of the literal
- Returns:
- An
OWLTypedConstant
whose literal is the lexical
value of the float, and whose data type is xsd:float.
getOWLTypedLiteral
public OWLTypedLiteral getOWLTypedLiteral(java.lang.String value)
- Description copied from interface:
OWLDataFactory
- Convenience method that obtains a literal typed as a string.
- Specified by:
getOWLTypedLiteral
in interface OWLDataFactory
- Parameters:
value
- The value of the literal
- Returns:
- An
OWLTypedConstant
whose literal is the lexical
value of the string, and whose data type is xsd:string.
getOWLStringLiteral
public OWLStringLiteral getOWLStringLiteral(java.lang.String literal,
java.lang.String lang)
- Description copied from interface:
OWLDataFactory
- Gets an OWLStringLiteral with a language tag.
- Specified by:
getOWLStringLiteral
in interface OWLDataFactory
- Parameters:
literal
- The string 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
public OWLStringLiteral getOWLStringLiteral(java.lang.String literal)
- Gets a string literal without a language tag.
- Specified by:
getOWLStringLiteral
in interface OWLDataFactory
- Parameters:
literal
- The string literal
- Returns:
- The string literal for the specfied string
getOWLDataOneOf
public OWLDataOneOf getOWLDataOneOf(java.util.Set<? extends OWLLiteral> values)
- Description copied from interface:
OWLDataFactory
- Gets an OWLDataOneOf (see spec)
- Specified by:
getOWLDataOneOf
in interface OWLDataFactory
- Parameters:
values
- The set of values that the data one of should contain
- Returns:
- A data one of that enumerates the specified set of values
getOWLDataOneOf
public OWLDataOneOf getOWLDataOneOf(OWLLiteral... values)
- Description copied from interface:
OWLDataFactory
- Gets an OWLDataOneOf (see spec)
- Specified by:
getOWLDataOneOf
in interface OWLDataFactory
- Parameters:
values
- The set of values that the data one of should contain
- Returns:
- A data one of that enumerates the specified set of values
getOWLDataComplementOf
public OWLDataComplementOf getOWLDataComplementOf(OWLDataRange dataRange)
- Description copied from interface:
OWLDataFactory
- Gets an OWLDataComplementOf (see spec)
- Specified by:
getOWLDataComplementOf
in interface OWLDataFactory
- Parameters:
dataRange
- The datarange to be complemented
- Returns:
- An OWLDataComplementOf of the specified data range
getOWLDataIntersectionOf
public OWLDataIntersectionOf getOWLDataIntersectionOf(OWLDataRange... dataRanges)
- Specified by:
getOWLDataIntersectionOf
in interface OWLDataFactory
getOWLDataIntersectionOf
public OWLDataIntersectionOf getOWLDataIntersectionOf(java.util.Set<? extends OWLDataRange> dataRanges)
- Specified by:
getOWLDataIntersectionOf
in interface OWLDataFactory
getOWLDataUnionOf
public OWLDataUnionOf getOWLDataUnionOf(OWLDataRange... dataRanges)
- Specified by:
getOWLDataUnionOf
in interface OWLDataFactory
getOWLDataUnionOf
public OWLDataUnionOf getOWLDataUnionOf(java.util.Set<? extends OWLDataRange> dataRanges)
- Specified by:
getOWLDataUnionOf
in interface OWLDataFactory
getOWLDatatypeRestriction
public OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype datatype,
java.util.Set<OWLFacetRestriction> facets)
- Specified by:
getOWLDatatypeRestriction
in interface OWLDataFactory
getOWLDatatypeRestriction
public OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype datatype,
OWLFacet facet,
OWLLiteral typedConstant)
- Specified by:
getOWLDatatypeRestriction
in interface OWLDataFactory
getOWLDatatypeRestriction
public OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype dataRange,
OWLFacetRestriction... facetRestrictions)
- Specified by:
getOWLDatatypeRestriction
in interface OWLDataFactory
getOWLFacetRestriction
public OWLFacetRestriction getOWLFacetRestriction(OWLFacet facet,
int facetValue)
- Specified by:
getOWLFacetRestriction
in interface OWLDataFactory
getOWLFacetRestriction
public OWLFacetRestriction getOWLFacetRestriction(OWLFacet facet,
double facetValue)
- Specified by:
getOWLFacetRestriction
in interface OWLDataFactory
getOWLFacetRestriction
public OWLFacetRestriction getOWLFacetRestriction(OWLFacet facet,
float facetValue)
- Specified by:
getOWLFacetRestriction
in interface OWLDataFactory
getOWLFacetRestriction
public OWLFacetRestriction getOWLFacetRestriction(OWLFacet facet,
OWLLiteral facetValue)
- Specified by:
getOWLFacetRestriction
in interface OWLDataFactory
getOWLObjectIntersectionOf
public OWLObjectIntersectionOf getOWLObjectIntersectionOf(java.util.Set<? extends OWLClassExpression> operands)
- Specified by:
getOWLObjectIntersectionOf
in interface OWLDataFactory
getOWLObjectIntersectionOf
public OWLObjectIntersectionOf getOWLObjectIntersectionOf(OWLClassExpression... operands)
- Specified by:
getOWLObjectIntersectionOf
in interface OWLDataFactory
getOWLDataAllValuesFrom
public OWLDataAllValuesFrom getOWLDataAllValuesFrom(OWLDataPropertyExpression property,
OWLDataRange dataRange)
- Specified by:
getOWLDataAllValuesFrom
in interface OWLDataFactory
getOWLDataExactCardinality
public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality,
OWLDataPropertyExpression property)
- Specified by:
getOWLDataExactCardinality
in interface OWLDataFactory
getOWLDataExactCardinality
public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality,
OWLDataPropertyExpression property,
OWLDataRange dataRange)
- Specified by:
getOWLDataExactCardinality
in interface OWLDataFactory
getOWLDataMaxCardinality
public OWLDataMaxCardinality getOWLDataMaxCardinality(int cardinality,
OWLDataPropertyExpression property)
- Specified by:
getOWLDataMaxCardinality
in interface OWLDataFactory
getOWLDataMaxCardinality
public OWLDataMaxCardinality getOWLDataMaxCardinality(int cardinality,
OWLDataPropertyExpression property,
OWLDataRange dataRange)
- Specified by:
getOWLDataMaxCardinality
in interface OWLDataFactory
getOWLDataMinCardinality
public OWLDataMinCardinality getOWLDataMinCardinality(int cardinality,
OWLDataPropertyExpression property)
- Specified by:
getOWLDataMinCardinality
in interface OWLDataFactory
getOWLDataMinCardinality
public OWLDataMinCardinality getOWLDataMinCardinality(int cardinality,
OWLDataPropertyExpression property,
OWLDataRange dataRange)
- Specified by:
getOWLDataMinCardinality
in interface OWLDataFactory
getOWLDataSomeValuesFrom
public OWLDataSomeValuesFrom getOWLDataSomeValuesFrom(OWLDataPropertyExpression property,
OWLDataRange dataRange)
- Description copied from interface:
OWLDataFactory
- Gets an OWLDataSomeValuesFrom restriction
- Specified by:
getOWLDataSomeValuesFrom
in interface OWLDataFactory
- Parameters:
property
- The property that the restriction acts alongdataRange
- The data range that is the filler
- Returns:
- An OWLDataSomeValuesFrom restriction that acts along the specified property and has the specified filler
getOWLDataHasValue
public OWLDataHasValue getOWLDataHasValue(OWLDataPropertyExpression property,
OWLLiteral value)
- Specified by:
getOWLDataHasValue
in interface OWLDataFactory
getOWLObjectComplementOf
public OWLObjectComplementOf getOWLObjectComplementOf(OWLClassExpression operand)
- Specified by:
getOWLObjectComplementOf
in interface OWLDataFactory
getOWLObjectAllValuesFrom
public OWLObjectAllValuesFrom getOWLObjectAllValuesFrom(OWLObjectPropertyExpression property,
OWLClassExpression classExpression)
- Specified by:
getOWLObjectAllValuesFrom
in interface OWLDataFactory
getOWLObjectOneOf
public OWLObjectOneOf getOWLObjectOneOf(java.util.Set<? extends OWLIndividual> values)
- Specified by:
getOWLObjectOneOf
in interface OWLDataFactory
getOWLObjectOneOf
public OWLObjectOneOf getOWLObjectOneOf(OWLIndividual... individuals)
- Specified by:
getOWLObjectOneOf
in interface OWLDataFactory
getOWLObjectExactCardinality
public OWLObjectExactCardinality getOWLObjectExactCardinality(int cardinality,
OWLObjectPropertyExpression property)
- Specified by:
getOWLObjectExactCardinality
in interface OWLDataFactory
getOWLObjectExactCardinality
public OWLObjectExactCardinality getOWLObjectExactCardinality(int cardinality,
OWLObjectPropertyExpression property,
OWLClassExpression classExpression)
- Specified by:
getOWLObjectExactCardinality
in interface OWLDataFactory
getOWLObjectMinCardinality
public OWLObjectMinCardinality getOWLObjectMinCardinality(int cardinality,
OWLObjectPropertyExpression property)
- Specified by:
getOWLObjectMinCardinality
in interface OWLDataFactory
getOWLObjectMinCardinality
public OWLObjectMinCardinality getOWLObjectMinCardinality(int cardinality,
OWLObjectPropertyExpression property,
OWLClassExpression classExpression)
- Specified by:
getOWLObjectMinCardinality
in interface OWLDataFactory
getOWLObjectMaxCardinality
public OWLObjectMaxCardinality getOWLObjectMaxCardinality(int cardinality,
OWLObjectPropertyExpression property)
- Specified by:
getOWLObjectMaxCardinality
in interface OWLDataFactory
getOWLObjectMaxCardinality
public OWLObjectMaxCardinality getOWLObjectMaxCardinality(int cardinality,
OWLObjectPropertyExpression property,
OWLClassExpression classExpression)
- Specified by:
getOWLObjectMaxCardinality
in interface OWLDataFactory
getOWLObjectHasSelf
public OWLObjectHasSelf getOWLObjectHasSelf(OWLObjectPropertyExpression property)
- Specified by:
getOWLObjectHasSelf
in interface OWLDataFactory
getOWLObjectSomeValuesFrom
public OWLObjectSomeValuesFrom getOWLObjectSomeValuesFrom(OWLObjectPropertyExpression property,
OWLClassExpression classExpression)
- Description copied from interface:
OWLDataFactory
- Gets an OWLObjectSomeValuesFrom restriction
- Specified by:
getOWLObjectSomeValuesFrom
in interface OWLDataFactory
- Parameters:
property
- The object property that the restriction acts alongclassExpression
- The class expression that is the filler
- Returns:
- An OWLObjectSomeValuesFrom restriction along the specified property with the specified filler
getOWLObjectHasValue
public OWLObjectHasValue getOWLObjectHasValue(OWLObjectPropertyExpression property,
OWLIndividual individual)
- Specified by:
getOWLObjectHasValue
in interface OWLDataFactory
getOWLObjectUnionOf
public OWLObjectUnionOf getOWLObjectUnionOf(java.util.Set<? extends OWLClassExpression> operands)
- Specified by:
getOWLObjectUnionOf
in interface OWLDataFactory
getOWLObjectUnionOf
public OWLObjectUnionOf getOWLObjectUnionOf(OWLClassExpression... operands)
- Specified by:
getOWLObjectUnionOf
in interface OWLDataFactory
getOWLAsymmetricObjectPropertyAxiom
public OWLAsymmetricObjectPropertyAxiom getOWLAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression propertyExpression,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLAsymmetricObjectPropertyAxiom
in interface OWLDataFactory
getOWLAsymmetricObjectPropertyAxiom
public OWLAsymmetricObjectPropertyAxiom getOWLAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression propertyExpression)
- Specified by:
getOWLAsymmetricObjectPropertyAxiom
in interface OWLDataFactory
getOWLDataPropertyDomainAxiom
public OWLDataPropertyDomainAxiom getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property,
OWLClassExpression domain,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLDataPropertyDomainAxiom
in interface OWLDataFactory
getOWLDataPropertyDomainAxiom
public OWLDataPropertyDomainAxiom getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property,
OWLClassExpression domain)
- Specified by:
getOWLDataPropertyDomainAxiom
in interface OWLDataFactory
getOWLDataPropertyRangeAxiom
public OWLDataPropertyRangeAxiom getOWLDataPropertyRangeAxiom(OWLDataPropertyExpression propery,
OWLDataRange owlDataRange,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLDataPropertyRangeAxiom
in interface OWLDataFactory
getOWLDataPropertyRangeAxiom
public OWLDataPropertyRangeAxiom getOWLDataPropertyRangeAxiom(OWLDataPropertyExpression propery,
OWLDataRange owlDataRange)
- Specified by:
getOWLDataPropertyRangeAxiom
in interface OWLDataFactory
getOWLSubDataPropertyOfAxiom
public OWLSubDataPropertyOfAxiom getOWLSubDataPropertyOfAxiom(OWLDataPropertyExpression subProperty,
OWLDataPropertyExpression superProperty,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLSubDataPropertyOfAxiom
in interface OWLDataFactory
getOWLSubDataPropertyOfAxiom
public OWLSubDataPropertyOfAxiom getOWLSubDataPropertyOfAxiom(OWLDataPropertyExpression subProperty,
OWLDataPropertyExpression superProperty)
- Specified by:
getOWLSubDataPropertyOfAxiom
in interface OWLDataFactory
getOWLDeclarationAxiom
public OWLDeclarationAxiom getOWLDeclarationAxiom(OWLEntity owlEntity)
- Gets a declaration for an entity
- Specified by:
getOWLDeclarationAxiom
in interface OWLDataFactory
- Parameters:
owlEntity
- The declared entity.
- Returns:
- The declaration axiom for the specified entity.
- Throws:
java.lang.NullPointerException
- if owlEntity is null
getOWLDeclarationAxiom
public OWLDeclarationAxiom getOWLDeclarationAxiom(OWLEntity owlEntity,
java.util.Set<? extends OWLAnnotation> annotations)
- Description copied from interface:
OWLDataFactory
- Gets a declaration with zero or more annotations for an entity
- Specified by:
getOWLDeclarationAxiom
in interface OWLDataFactory
- Parameters:
owlEntity
- The declared entityannotations
- A possibly empty set of annotations
- Returns:
- The declaration axiom for the specified entity which is annotated with the specified annotations
getOWLDifferentIndividualsAxiom
public OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(java.util.Set<? extends OWLIndividual> individuals,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLDifferentIndividualsAxiom
in interface OWLDataFactory
getOWLDifferentIndividualsAxiom
public OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(OWLIndividual... individuals)
- Specified by:
getOWLDifferentIndividualsAxiom
in interface OWLDataFactory
getOWLDifferentIndividualsAxiom
public OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(java.util.Set<? extends OWLIndividual> individuals)
- Specified by:
getOWLDifferentIndividualsAxiom
in interface OWLDataFactory
getOWLDisjointClassesAxiom
public OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLDisjointClassesAxiom
in interface OWLDataFactory
getOWLDisjointClassesAxiom
public OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions)
- Specified by:
getOWLDisjointClassesAxiom
in interface OWLDataFactory
getOWLDisjointClassesAxiom
public OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(OWLClassExpression... classExpressions)
- Specified by:
getOWLDisjointClassesAxiom
in interface OWLDataFactory
getOWLDisjointDataPropertiesAxiom
public OWLDisjointDataPropertiesAxiom getOWLDisjointDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLDisjointDataPropertiesAxiom
in interface OWLDataFactory
getOWLDisjointDataPropertiesAxiom
public OWLDisjointDataPropertiesAxiom getOWLDisjointDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties)
- Specified by:
getOWLDisjointDataPropertiesAxiom
in interface OWLDataFactory
getOWLDisjointDataPropertiesAxiom
public OWLDisjointDataPropertiesAxiom getOWLDisjointDataPropertiesAxiom(OWLDataPropertyExpression... properties)
- Specified by:
getOWLDisjointDataPropertiesAxiom
in interface OWLDataFactory
getOWLDisjointObjectPropertiesAxiom
public OWLDisjointObjectPropertiesAxiom getOWLDisjointObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)
- Specified by:
getOWLDisjointObjectPropertiesAxiom
in interface OWLDataFactory
getOWLDisjointObjectPropertiesAxiom
public OWLDisjointObjectPropertiesAxiom getOWLDisjointObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties)
- Specified by:
getOWLDisjointObjectPropertiesAxiom
in interface OWLDataFactory
getOWLDisjointObjectPropertiesAxiom
public OWLDisjointObjectPropertiesAxiom getOWLDisjointObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLDisjointObjectPropertiesAxiom
in interface OWLDataFactory
getOWLEquivalentClassesAxiom
public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLEquivalentClassesAxiom
in interface OWLDataFactory
getOWLEquivalentClassesAxiom
public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(OWLClassExpression clsA,
OWLClassExpression clsB)
- Specified by:
getOWLEquivalentClassesAxiom
in interface OWLDataFactory
getOWLEquivalentClassesAxiom
public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(OWLClassExpression clsA,
OWLClassExpression clsB,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLEquivalentClassesAxiom
in interface OWLDataFactory
getOWLEquivalentClassesAxiom
public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(OWLClassExpression... classExpressions)
- Specified by:
getOWLEquivalentClassesAxiom
in interface OWLDataFactory
getOWLEquivalentClassesAxiom
public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(java.util.Set<? extends OWLClassExpression> classExpressions)
- Specified by:
getOWLEquivalentClassesAxiom
in interface OWLDataFactory
getOWLEquivalentDataPropertiesAxiom
public OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLEquivalentDataPropertiesAxiom
in interface OWLDataFactory
getOWLEquivalentDataPropertiesAxiom
public OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(java.util.Set<? extends OWLDataPropertyExpression> properties)
- Specified by:
getOWLEquivalentDataPropertiesAxiom
in interface OWLDataFactory
getOWLEquivalentDataPropertiesAxiom
public OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression propertyA,
OWLDataPropertyExpression propertyB)
- Specified by:
getOWLEquivalentDataPropertiesAxiom
in interface OWLDataFactory
getOWLEquivalentDataPropertiesAxiom
public OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression propertyA,
OWLDataPropertyExpression propertyB,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLEquivalentDataPropertiesAxiom
in interface OWLDataFactory
getOWLEquivalentDataPropertiesAxiom
public OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression... properties)
- Specified by:
getOWLEquivalentDataPropertiesAxiom
in interface OWLDataFactory
getOWLEquivalentObjectPropertiesAxiom
public OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)
- Specified by:
getOWLEquivalentObjectPropertiesAxiom
in interface OWLDataFactory
getOWLEquivalentObjectPropertiesAxiom
public OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties)
- Specified by:
getOWLEquivalentObjectPropertiesAxiom
in interface OWLDataFactory
getOWLEquivalentObjectPropertiesAxiom
public OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression propertyA,
OWLObjectPropertyExpression propertyB)
- Specified by:
getOWLEquivalentObjectPropertiesAxiom
in interface OWLDataFactory
getOWLEquivalentObjectPropertiesAxiom
public OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression propertyA,
OWLObjectPropertyExpression propertyB,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLEquivalentObjectPropertiesAxiom
in interface OWLDataFactory
getOWLFunctionalDataPropertyAxiom
public OWLFunctionalDataPropertyAxiom getOWLFunctionalDataPropertyAxiom(OWLDataPropertyExpression property,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLFunctionalDataPropertyAxiom
in interface OWLDataFactory
getOWLFunctionalDataPropertyAxiom
public OWLFunctionalDataPropertyAxiom getOWLFunctionalDataPropertyAxiom(OWLDataPropertyExpression property)
- Specified by:
getOWLFunctionalDataPropertyAxiom
in interface OWLDataFactory
getOWLFunctionalObjectPropertyAxiom
public OWLFunctionalObjectPropertyAxiom getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLFunctionalObjectPropertyAxiom
in interface OWLDataFactory
getOWLFunctionalObjectPropertyAxiom
public OWLFunctionalObjectPropertyAxiom getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
- Specified by:
getOWLFunctionalObjectPropertyAxiom
in interface OWLDataFactory
getOWLImportsDeclaration
public OWLImportsDeclaration getOWLImportsDeclaration(java.net.URI importedOntologyURI)
- Specified by:
getOWLImportsDeclaration
in interface OWLDataFactory
getOWLImportsDeclaration
public OWLImportsDeclaration getOWLImportsDeclaration(IRI importedOntologyIRI)
- Specified by:
getOWLImportsDeclaration
in interface OWLDataFactory
getOWLDataPropertyAssertionAxiom
public OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
OWLIndividual subject,
OWLLiteral object,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLDataPropertyAssertionAxiom
in interface OWLDataFactory
getOWLDataPropertyAssertionAxiom
public OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
OWLIndividual subject,
OWLLiteral object)
- Specified by:
getOWLDataPropertyAssertionAxiom
in interface OWLDataFactory
getOWLDataPropertyAssertionAxiom
public OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
OWLIndividual subject,
int value)
- Specified by:
getOWLDataPropertyAssertionAxiom
in interface OWLDataFactory
getOWLDataPropertyAssertionAxiom
public OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
OWLIndividual subject,
double value)
- Specified by:
getOWLDataPropertyAssertionAxiom
in interface OWLDataFactory
getOWLDataPropertyAssertionAxiom
public OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
OWLIndividual subject,
float value)
- Specified by:
getOWLDataPropertyAssertionAxiom
in interface OWLDataFactory
getOWLDataPropertyAssertionAxiom
public OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
OWLIndividual subject,
boolean value)
- Specified by:
getOWLDataPropertyAssertionAxiom
in interface OWLDataFactory
getOWLDataPropertyAssertionAxiom
public OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
OWLIndividual subject,
java.lang.String value)
- Specified by:
getOWLDataPropertyAssertionAxiom
in interface OWLDataFactory
getOWLNegativeDataPropertyAssertionAxiom
public OWLNegativeDataPropertyAssertionAxiom getOWLNegativeDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
OWLIndividual subject,
OWLLiteral object)
- Specified by:
getOWLNegativeDataPropertyAssertionAxiom
in interface OWLDataFactory
getOWLNegativeDataPropertyAssertionAxiom
public OWLNegativeDataPropertyAssertionAxiom getOWLNegativeDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
OWLIndividual subject,
OWLLiteral object,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLNegativeDataPropertyAssertionAxiom
in interface OWLDataFactory
getOWLNegativeObjectPropertyAssertionAxiom
public OWLNegativeObjectPropertyAssertionAxiom getOWLNegativeObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
OWLIndividual subject,
OWLIndividual object)
- Specified by:
getOWLNegativeObjectPropertyAssertionAxiom
in interface OWLDataFactory
getOWLNegativeObjectPropertyAssertionAxiom
public OWLNegativeObjectPropertyAssertionAxiom getOWLNegativeObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
OWLIndividual subject,
OWLIndividual object,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLNegativeObjectPropertyAssertionAxiom
in interface OWLDataFactory
getOWLObjectPropertyAssertionAxiom
public OWLObjectPropertyAssertionAxiom getOWLObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
OWLIndividual individual,
OWLIndividual object)
- Specified by:
getOWLObjectPropertyAssertionAxiom
in interface OWLDataFactory
getOWLClassAssertionAxiom
public OWLClassAssertionAxiom getOWLClassAssertionAxiom(OWLClassExpression classExpression,
OWLIndividual individual)
- Specified by:
getOWLClassAssertionAxiom
in interface OWLDataFactory
getOWLClassAssertionAxiom
public OWLClassAssertionAxiom getOWLClassAssertionAxiom(OWLClassExpression classExpression,
OWLIndividual individual,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLClassAssertionAxiom
in interface OWLDataFactory
getOWLInverseFunctionalObjectPropertyAxiom
public OWLInverseFunctionalObjectPropertyAxiom getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
- Specified by:
getOWLInverseFunctionalObjectPropertyAxiom
in interface OWLDataFactory
getOWLInverseFunctionalObjectPropertyAxiom
public OWLInverseFunctionalObjectPropertyAxiom getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLInverseFunctionalObjectPropertyAxiom
in interface OWLDataFactory
getOWLIrreflexiveObjectPropertyAxiom
public OWLIrreflexiveObjectPropertyAxiom getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLIrreflexiveObjectPropertyAxiom
in interface OWLDataFactory
getOWLReflexiveObjectPropertyAxiom
public OWLReflexiveObjectPropertyAxiom getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
- Specified by:
getOWLReflexiveObjectPropertyAxiom
in interface OWLDataFactory
getOWLIrreflexiveObjectPropertyAxiom
public OWLIrreflexiveObjectPropertyAxiom getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
- Specified by:
getOWLIrreflexiveObjectPropertyAxiom
in interface OWLDataFactory
getOWLObjectPropertyDomainAxiom
public OWLObjectPropertyDomainAxiom getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property,
OWLClassExpression classExpression,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLObjectPropertyDomainAxiom
in interface OWLDataFactory
getOWLObjectPropertyDomainAxiom
public OWLObjectPropertyDomainAxiom getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property,
OWLClassExpression classExpression)
- Specified by:
getOWLObjectPropertyDomainAxiom
in interface OWLDataFactory
getOWLObjectPropertyRangeAxiom
public OWLObjectPropertyRangeAxiom getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property,
OWLClassExpression range,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLObjectPropertyRangeAxiom
in interface OWLDataFactory
getOWLObjectPropertyRangeAxiom
public OWLObjectPropertyRangeAxiom getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property,
OWLClassExpression range)
- Specified by:
getOWLObjectPropertyRangeAxiom
in interface OWLDataFactory
getOWLSubObjectPropertyOfAxiom
public OWLSubObjectPropertyOfAxiom getOWLSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty,
OWLObjectPropertyExpression superProperty,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLSubObjectPropertyOfAxiom
in interface OWLDataFactory
getOWLSubObjectPropertyOfAxiom
public OWLSubObjectPropertyOfAxiom getOWLSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty,
OWLObjectPropertyExpression superProperty)
- Specified by:
getOWLSubObjectPropertyOfAxiom
in interface OWLDataFactory
getOWLReflexiveObjectPropertyAxiom
public OWLReflexiveObjectPropertyAxiom getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLReflexiveObjectPropertyAxiom
in interface OWLDataFactory
getOWLSameIndividualAxiom
public OWLSameIndividualAxiom getOWLSameIndividualAxiom(java.util.Set<? extends OWLIndividual> individuals,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLSameIndividualAxiom
in interface OWLDataFactory
getOWLSameIndividualAxiom
public OWLSameIndividualAxiom getOWLSameIndividualAxiom(OWLIndividual... individuals)
- Specified by:
getOWLSameIndividualAxiom
in interface OWLDataFactory
getOWLSameIndividualAxiom
public OWLSameIndividualAxiom getOWLSameIndividualAxiom(java.util.Set<? extends OWLIndividual> individuals)
- Specified by:
getOWLSameIndividualAxiom
in interface OWLDataFactory
getOWLSubClassOfAxiom
public OWLSubClassOfAxiom getOWLSubClassOfAxiom(OWLClassExpression subClass,
OWLClassExpression superClass,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLSubClassOfAxiom
in interface OWLDataFactory
getOWLSubClassOfAxiom
public OWLSubClassOfAxiom getOWLSubClassOfAxiom(OWLClassExpression subClass,
OWLClassExpression superClass)
- Specified by:
getOWLSubClassOfAxiom
in interface OWLDataFactory
getOWLSymmetricObjectPropertyAxiom
public OWLSymmetricObjectPropertyAxiom getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLSymmetricObjectPropertyAxiom
in interface OWLDataFactory
getOWLSymmetricObjectPropertyAxiom
public OWLSymmetricObjectPropertyAxiom getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)
- Specified by:
getOWLSymmetricObjectPropertyAxiom
in interface OWLDataFactory
getOWLTransitiveObjectPropertyAxiom
public OWLTransitiveObjectPropertyAxiom getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLTransitiveObjectPropertyAxiom
in interface OWLDataFactory
getOWLTransitiveObjectPropertyAxiom
public OWLTransitiveObjectPropertyAxiom getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
- Specified by:
getOWLTransitiveObjectPropertyAxiom
in interface OWLDataFactory
getOWLObjectInverseOf
public OWLObjectInverseOf getOWLObjectInverseOf(OWLObjectPropertyExpression property)
- Description copied from interface:
OWLDataFactory
- Gets the inverse of an object property.
- Specified by:
getOWLObjectInverseOf
in interface OWLDataFactory
- Parameters:
property
- The property of which the inverse will be returned
- Returns:
- The inverse of the specified object property
getOWLInverseObjectPropertiesAxiom
public OWLInverseObjectPropertiesAxiom getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty,
OWLObjectPropertyExpression inverseProperty,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLInverseObjectPropertiesAxiom
in interface OWLDataFactory
getOWLInverseObjectPropertiesAxiom
public OWLInverseObjectPropertiesAxiom getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty,
OWLObjectPropertyExpression inverseProperty)
- Specified by:
getOWLInverseObjectPropertiesAxiom
in interface OWLDataFactory
getOWLSubPropertyChainOfAxiom
public OWLSubPropertyChainOfAxiom getOWLSubPropertyChainOfAxiom(java.util.List<? extends OWLObjectPropertyExpression> chain,
OWLObjectPropertyExpression superProperty,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLSubPropertyChainOfAxiom
in interface OWLDataFactory
getOWLSubPropertyChainOfAxiom
public OWLSubPropertyChainOfAxiom getOWLSubPropertyChainOfAxiom(java.util.List<? extends OWLObjectPropertyExpression> chain,
OWLObjectPropertyExpression superProperty)
- Specified by:
getOWLSubPropertyChainOfAxiom
in interface OWLDataFactory
getOWLHasKeyAxiom
public OWLHasKeyAxiom getOWLHasKeyAxiom(OWLClassExpression ce,
java.util.Set<? extends OWLPropertyExpression> properties,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLHasKeyAxiom
in interface OWLDataFactory
getOWLHasKeyAxiom
public OWLHasKeyAxiom getOWLHasKeyAxiom(OWLClassExpression ce,
java.util.Set<? extends OWLPropertyExpression> properties)
- Specified by:
getOWLHasKeyAxiom
in interface OWLDataFactory
getOWLHasKeyAxiom
public OWLHasKeyAxiom getOWLHasKeyAxiom(OWLClassExpression ce,
OWLPropertyExpression... properties)
- Specified by:
getOWLHasKeyAxiom
in interface OWLDataFactory
getOWLDisjointUnionAxiom
public OWLDisjointUnionAxiom getOWLDisjointUnionAxiom(OWLClass owlClass,
java.util.Set<? extends OWLClassExpression> classExpressions,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLDisjointUnionAxiom
in interface OWLDataFactory
getOWLDisjointUnionAxiom
public OWLDisjointUnionAxiom getOWLDisjointUnionAxiom(OWLClass owlClass,
java.util.Set<? extends OWLClassExpression> classExpressions)
- Specified by:
getOWLDisjointUnionAxiom
in interface OWLDataFactory
getOWLEquivalentObjectPropertiesAxiom
public OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLEquivalentObjectPropertiesAxiom
in interface OWLDataFactory
getOWLObjectPropertyAssertionAxiom
public OWLObjectPropertyAssertionAxiom getOWLObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
OWLIndividual individual,
OWLIndividual object,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLObjectPropertyAssertionAxiom
in interface OWLDataFactory
getOWLSubAnnotationPropertyOfAxiom
public OWLSubAnnotationPropertyOfAxiom getOWLSubAnnotationPropertyOfAxiom(OWLAnnotationProperty sub,
OWLAnnotationProperty sup)
- Specified by:
getOWLSubAnnotationPropertyOfAxiom
in interface OWLDataFactory
getOWLSubAnnotationPropertyOfAxiom
public OWLSubAnnotationPropertyOfAxiom getOWLSubAnnotationPropertyOfAxiom(OWLAnnotationProperty sub,
OWLAnnotationProperty sup,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLSubAnnotationPropertyOfAxiom
in interface OWLDataFactory
getOWLAnnotationProperty
public OWLAnnotationProperty getOWLAnnotationProperty(java.net.URI uri)
- Specified by:
getOWLAnnotationProperty
in interface OWLDataFactory
getOWLAnnotationProperty
public OWLAnnotationProperty getOWLAnnotationProperty(IRI iri)
- Specified by:
getOWLAnnotationProperty
in interface OWLDataFactory
getOWLAnnotation
public OWLAnnotation getOWLAnnotation(OWLAnnotationProperty property,
OWLAnnotationValue value)
- Gets an annotation
- Specified by:
getOWLAnnotation
in interface OWLDataFactory
- Parameters:
property
- the annotation propertyvalue
- The annotation value
- Returns:
- The annotation on the specified property with the specified value
getOWLAnnotation
public OWLAnnotation getOWLAnnotation(OWLAnnotationProperty property,
OWLAnnotationValue value,
java.util.Set<? extends OWLAnnotation> annotations)
- Gets an annotation
- Specified by:
getOWLAnnotation
in interface OWLDataFactory
- Parameters:
property
- the annotation propertyvalue
- The annotation valueannotations
- Annotations on the annotation
- Returns:
- The annotation on the specified property with the specified value
getOWLAnnotationAssertionAxiom
public OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationSubject subject,
OWLAnnotation annotation)
- Specified by:
getOWLAnnotationAssertionAxiom
in interface OWLDataFactory
getOWLAnnotationAssertionAxiom
public OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationSubject subject,
OWLAnnotation annotation,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLAnnotationAssertionAxiom
in interface OWLDataFactory
getOWLAnnotationAssertionAxiom
public OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationProperty property,
OWLAnnotationSubject subject,
OWLAnnotationValue value)
- Specified by:
getOWLAnnotationAssertionAxiom
in interface OWLDataFactory
getOWLAnnotationAssertionAxiom
public OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationProperty property,
OWLAnnotationSubject subject,
OWLAnnotationValue value,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLAnnotationAssertionAxiom
in interface OWLDataFactory
getOWLAnnotationPropertyDomainAxiom
public OWLAnnotationPropertyDomainAxiom getOWLAnnotationPropertyDomainAxiom(OWLAnnotationProperty prop,
IRI domain,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLAnnotationPropertyDomainAxiom
in interface OWLDataFactory
getOWLAnnotationPropertyDomainAxiom
public OWLAnnotationPropertyDomainAxiom getOWLAnnotationPropertyDomainAxiom(OWLAnnotationProperty prop,
IRI domain)
- Specified by:
getOWLAnnotationPropertyDomainAxiom
in interface OWLDataFactory
getOWLAnnotationPropertyRangeAxiom
public OWLAnnotationPropertyRangeAxiom getOWLAnnotationPropertyRangeAxiom(OWLAnnotationProperty prop,
IRI range,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLAnnotationPropertyRangeAxiom
in interface OWLDataFactory
getOWLAnnotationPropertyRangeAxiom
public OWLAnnotationPropertyRangeAxiom getOWLAnnotationPropertyRangeAxiom(OWLAnnotationProperty prop,
IRI range)
- Specified by:
getOWLAnnotationPropertyRangeAxiom
in interface OWLDataFactory
getSWRLRule
public SWRLRule getSWRLRule(IRI iri,
java.util.Set<? extends SWRLAtom> body,
java.util.Set<? extends SWRLAtom> head)
- Gets a SWRL rule which is named with a URI
- Specified by:
getSWRLRule
in interface SWRLDataFactory
- Parameters:
iri
- body
- head
-
- Returns:
- The rule with the specified IRI, body and head
getSWRLRule
public SWRLRule getSWRLRule(NodeID nodeID,
java.util.Set<? extends SWRLAtom> body,
java.util.Set<? extends SWRLAtom> head)
- Gets a SWRL rule which is not named with a URI - i.e. that is anonymous.
- Specified by:
getSWRLRule
in interface SWRLDataFactory
- Parameters:
nodeID
- body
- head
-
- Returns:
- The rule with the specified node ID, body and head
getSWRLRule
public SWRLRule getSWRLRule(java.util.Set<? extends SWRLAtom> body,
java.util.Set<? extends SWRLAtom> head,
java.util.Set<OWLAnnotation> annotations)
- Gets an anonymous SWRL Rule
- Specified by:
getSWRLRule
in interface SWRLDataFactory
- Parameters:
body
- The atoms that make up the bodyhead
- The atoms that make up the headannotations
- The annotations for the rule (may be an empty set)
- Returns:
- An anonymous rule with the specified body and head
getSWRLRule
public SWRLRule getSWRLRule(java.util.Set<? extends SWRLAtom> antecendent,
java.util.Set<? extends SWRLAtom> consequent)
- Gets a SWRL rule which is anonymous - i.e. isn't named with a URI
- Specified by:
getSWRLRule
in interface SWRLDataFactory
- Parameters:
antecendent
- The atoms that make up the antecedentconsequent
- The atoms that make up the consequent
- Returns:
- An anonymous rule with the specified body and head
getSWRLClassAtom
public SWRLClassAtom getSWRLClassAtom(OWLClassExpression predicate,
SWRLIArgument arg)
- Gets a SWRL class atom, i.e. C(x) where C is a class expression and
x is either an individual id or an i-variable
- Specified by:
getSWRLClassAtom
in interface SWRLDataFactory
- Parameters:
predicate
- arg
- The argument (x)
- Returns:
- The class atom with the specified class expression predicate and the specified argument.
getSWRLDataRangeAtom
public SWRLDataRangeAtom getSWRLDataRangeAtom(OWLDataRange predicate,
SWRLDArgument arg)
- Gets a SWRL data range atom, i.e. D(x) where D is an OWL data range and
x is either a constant or a d-variable
- Specified by:
getSWRLDataRangeAtom
in interface SWRLDataFactory
- Parameters:
predicate
- arg
- The argument (x)
- Returns:
- An atom with the specified data range predicate and the specified argument
getSWRLObjectPropertyAtom
public SWRLObjectPropertyAtom getSWRLObjectPropertyAtom(OWLObjectPropertyExpression property,
SWRLIArgument arg0,
SWRLIArgument arg1)
- Gets a SWRL object property atom, i.e. P(x, y) where P is an OWL object
property (expression) and x and y are are either an individual id or
an i-variable.
- Specified by:
getSWRLObjectPropertyAtom
in interface SWRLDataFactory
- Parameters:
property
- The property (P)arg0
- The first argument (x)arg1
- The second argument (y)
- Returns:
- A SWRLObjectPropertyAtom that has the specified predicate and the specified arguments
getSWRLDataPropertyAtom
public SWRLDataPropertyAtom getSWRLDataPropertyAtom(OWLDataPropertyExpression property,
SWRLIArgument arg0,
SWRLDArgument arg1)
- Gets a SWRL data property atom, i.e. R(x, y) where R is an OWL data
property (expression) and x and y are are either a constant or
a d-variable.
- Specified by:
getSWRLDataPropertyAtom
in interface SWRLDataFactory
- Parameters:
property
- The property (P)arg0
- The first argument (x)arg1
- The second argument (y)
- Returns:
- A SWRLDataPropertyAtom that has the specified predicate and the specified arguments
getSWRLBuiltInAtom
public SWRLBuiltInAtom getSWRLBuiltInAtom(IRI builtInIRI,
java.util.List<SWRLDArgument> args)
- Creates a SWRL Built-In atom.
- Specified by:
getSWRLBuiltInAtom
in interface SWRLDataFactory
- Parameters:
builtInIRI
- The SWRL builtIn (see SWRL W3 member submission)args
- A non-empty set of SWRL D-Objects
- Returns:
- A SWRLBuiltInAtom whose predicate is identified by the specified builtInIRI and that has the specified
arguments
getSWRLVariable
public SWRLVariable getSWRLVariable(IRI var)
- Gets a SWRLVariable.
- Specified by:
getSWRLVariable
in interface SWRLDataFactory
- Parameters:
var
- The id (IRI) of the variable
- Returns:
- A SWRLVariable that has the name specified by the IRI
getSWRLIndividualArgument
public SWRLIndividualArgument getSWRLIndividualArgument(OWLIndividual individual)
- Gets a SWRL individual object.
- Specified by:
getSWRLIndividualArgument
in interface SWRLDataFactory
- Parameters:
individual
- The individual that is the object argument
- Returns:
- A SWRLIndividualArgument that wraps the specified individual
getSWRLLiteralArgument
public SWRLLiteralArgument getSWRLLiteralArgument(OWLLiteral literal)
- Gets a SWRL constant object.
- Specified by:
getSWRLLiteralArgument
in interface SWRLDataFactory
- Parameters:
literal
- The constant that is the object argument
- Returns:
- A SWRLLiteralArgument that wraps the specified literal
getSWRLDifferentIndividualsAtom
public SWRLDifferentIndividualsAtom getSWRLDifferentIndividualsAtom(SWRLIArgument arg0,
SWRLIArgument arg1)
- Specified by:
getSWRLDifferentIndividualsAtom
in interface SWRLDataFactory
getSWRLSameIndividualAtom
public SWRLSameIndividualAtom getSWRLSameIndividualAtom(SWRLIArgument arg0,
SWRLIArgument arg1)
- Specified by:
getSWRLSameIndividualAtom
in interface SWRLDataFactory
getOWLDatatypeDefinitionAxiom
public OWLDatatypeDefinitionAxiom getOWLDatatypeDefinitionAxiom(OWLDatatype datatype,
OWLDataRange dataRange)
- Specified by:
getOWLDatatypeDefinitionAxiom
in interface OWLDataFactory
getOWLDatatypeDefinitionAxiom
public OWLDatatypeDefinitionAxiom getOWLDatatypeDefinitionAxiom(OWLDatatype datatype,
OWLDataRange dataRange,
java.util.Set<? extends OWLAnnotation> annotations)
- Specified by:
getOWLDatatypeDefinitionAxiom
in interface OWLDataFactory