@Singleton public class OWLDataFactoryImpl extends Object implements OWLDataFactory, Serializable, ClassProvider
Constructor and Description |
---|
OWLDataFactoryImpl()
Constructor for injection
|
OWLDataFactoryImpl(OWLOntologyLoaderConfiguration config) |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getRDFSComment, getRDFSComment, getRDFSComment, getRDFSComment, getRDFSLabel, getRDFSLabel, getRDFSLabel, getRDFSLabel
getSWRLVariable, getSWRLVariable, getSWRLVariable
getOWLClass, getOWLClass, getOWLClass, getOWLClass
getOWLObjectProperty, getOWLObjectProperty, getOWLObjectProperty, getOWLObjectProperty
getOWLDataProperty, getOWLDataProperty, getOWLDataProperty, getOWLDataProperty
getOWLNamedIndividual, getOWLNamedIndividual, getOWLNamedIndividual, getOWLNamedIndividual
getOWLAnnotationProperty, getOWLAnnotationProperty, getOWLAnnotationProperty, getOWLAnnotationProperty
getOWLAnnotation, getOWLAnnotation
getOWLAnnotationAssertionAxiom
getOWLClassAssertionAxiom
getOWLDataPropertyAssertionAxiom, getOWLDataPropertyAssertionAxiom, getOWLDataPropertyAssertionAxiom, getOWLDataPropertyAssertionAxiom, getOWLDataPropertyAssertionAxiom, getOWLDataPropertyAssertionAxiom, getOWLNegativeDataPropertyAssertionAxiom
getOWLNegativeObjectPropertyAssertionAxiom, getOWLObjectPropertyAssertionAxiom
getOWLDifferentIndividualsAxiom, getOWLDifferentIndividualsAxiom, getOWLDifferentIndividualsAxiom, getOWLSameIndividualAxiom, getOWLSameIndividualAxiom, getOWLSameIndividualAxiom
getOWLDisjointClassesAxiom, getOWLDisjointClassesAxiom, getOWLDisjointClassesAxiom, getOWLDisjointClassesAxiom, getOWLDisjointClassesAxiom, getOWLDisjointDataPropertiesAxiom, getOWLDisjointDataPropertiesAxiom, getOWLDisjointDataPropertiesAxiom, getOWLDisjointObjectPropertiesAxiom, getOWLDisjointObjectPropertiesAxiom, getOWLDisjointObjectPropertiesAxiom
getOWLEquivalentClassesAxiom, getOWLEquivalentClassesAxiom, getOWLEquivalentClassesAxiom, getOWLEquivalentClassesAxiom, getOWLEquivalentClassesAxiom, getOWLEquivalentDataPropertiesAxiom, getOWLEquivalentDataPropertiesAxiom, getOWLEquivalentDataPropertiesAxiom, getOWLEquivalentDataPropertiesAxiom, getOWLEquivalentObjectPropertiesAxiom, getOWLEquivalentObjectPropertiesAxiom, getOWLEquivalentObjectPropertiesAxiom, getOWLEquivalentObjectPropertiesAxiom
getOWLAsymmetricObjectPropertyAxiom, getOWLFunctionalDataPropertyAxiom, getOWLFunctionalObjectPropertyAxiom, getOWLInverseFunctionalObjectPropertyAxiom, getOWLIrreflexiveObjectPropertyAxiom, getOWLReflexiveObjectPropertyAxiom, getOWLSymmetricObjectPropertyAxiom, getOWLTransitiveObjectPropertyAxiom
getOWLDatatypeMaxExclusiveRestriction, getOWLDatatypeMaxExclusiveRestriction, getOWLDatatypeMaxInclusiveRestriction, getOWLDatatypeMaxInclusiveRestriction, getOWLDatatypeMinExclusiveRestriction, getOWLDatatypeMinExclusiveRestriction, getOWLDatatypeMinInclusiveRestriction, getOWLDatatypeMinInclusiveRestriction, getOWLDatatypeMinMaxExclusiveRestriction, getOWLDatatypeMinMaxExclusiveRestriction, getOWLDatatypeMinMaxInclusiveRestriction, getOWLDatatypeMinMaxInclusiveRestriction, getOWLDatatypeRestriction, getOWLFacetRestriction, getOWLFacetRestriction, getOWLFacetRestriction
getOWLLiteral
getOWLDatatype, getOWLDatatype, getOWLDatatype, getOWLDatatype
getOWLAnnotationPropertyDomainAxiom, getOWLDataPropertyDomainAxiom, getOWLObjectPropertyDomainAxiom
getOWLAnnotationPropertyRangeAxiom, getOWLDataPropertyRangeAxiom, getOWLDataPropertyRangeAxiom, getOWLObjectPropertyRangeAxiom
getOWLDataIntersectionOf, getOWLDataIntersectionOf, getOWLObjectIntersectionOf
getOWLDataUnionOf, getOWLDataUnionOf, getOWLObjectUnionOf
getOWLSubAnnotationPropertyOfAxiom, getOWLSubClassOfAxiom, getOWLSubDataPropertyOfAxiom, getOWLSubObjectPropertyOfAxiom
getOWLDatatypeDefinitionAxiom, getOWLDatatypeDefinitionAxiom, getOWLDeclarationAxiom
getOWLDataOneOf, getOWLDataOneOf, getOWLObjectOneOf, getOWLObjectOneOf
getOWLHasKeyAxiom, getOWLHasKeyAxiom
getOWLInverseObjectPropertiesAxiom
getOWLDisjointUnionAxiom, getOWLDisjointUnionAxiom, getOWLDisjointUnionAxiom
getOWLSubPropertyChainOfAxiom
@Inject public OWLDataFactoryImpl()
public OWLDataFactoryImpl(OWLOntologyLoaderConfiguration config)
config
- configuration objectpublic void purge()
OWLDataFactory
purge
in interface OWLDataFactory
public <E extends OWLEntity> E getOWLEntity(EntityType<E> entityType, IRI iri)
EntityByTypeProvider
getOWLEntity
in interface EntityByTypeProvider
E
- type classentityType
- The type of the entity that will be returned.iri
- The IRI of the entity that will be returned.public OWLClass getOWLClass(IRI iri)
ClassProvider
OWLClass
that has the specified IRI
.getOWLClass
in interface ClassProvider
iri
- The IRI.OWLClass
that has the specified IRI.public OWLAnnotationProperty getRDFSLabel()
OWLVocabularyProvider
rdfs:label
.getRDFSLabel
in interface OWLVocabularyProvider
rdfs:label
.public OWLAnnotationProperty getRDFSComment()
OWLVocabularyProvider
rdfs:comment
.getRDFSComment
in interface OWLVocabularyProvider
rdfs:comment
.public OWLAnnotationProperty getRDFSSeeAlso()
OWLVocabularyProvider
rdfs:seeAlso
.getRDFSSeeAlso
in interface OWLVocabularyProvider
rdfs:seeAlso
.public OWLAnnotationProperty getRDFSIsDefinedBy()
OWLVocabularyProvider
rdfs:isDefinedBy
.getRDFSIsDefinedBy
in interface OWLVocabularyProvider
rdfs:isDefinedBy
.public OWLAnnotationProperty getOWLVersionInfo()
OWLVocabularyProvider
owl:versionInfo
.getOWLVersionInfo
in interface OWLVocabularyProvider
owl:versionInfo
.public OWLAnnotationProperty getOWLBackwardCompatibleWith()
OWLVocabularyProvider
owl:backwardCompatibleWith
.getOWLBackwardCompatibleWith
in interface OWLVocabularyProvider
owl:backwardCompatibleWith
.public OWLAnnotationProperty getOWLIncompatibleWith()
OWLVocabularyProvider
owl:incompatibleWith
.getOWLIncompatibleWith
in interface OWLVocabularyProvider
owl:incompatibleWith
.public OWLAnnotationProperty getOWLDeprecated()
OWLVocabularyProvider
owl:backwardCompatibleWith
.getOWLDeprecated
in interface OWLVocabularyProvider
owl:backwardCompatibleWith
.public OWLClass getOWLThing()
OWLVocabularyProvider
getOWLThing
in interface OWLVocabularyProvider
public OWLClass getOWLNothing()
OWLVocabularyProvider
getOWLNothing
in interface OWLVocabularyProvider
public OWLDataProperty getOWLBottomDataProperty()
getOWLBottomDataProperty
in interface OWLVocabularyProvider
public OWLObjectProperty getOWLBottomObjectProperty()
getOWLBottomObjectProperty
in interface OWLVocabularyProvider
public OWLDataProperty getOWLTopDataProperty()
getOWLTopDataProperty
in interface OWLVocabularyProvider
public OWLObjectProperty getOWLTopObjectProperty()
getOWLTopObjectProperty
in interface OWLVocabularyProvider
public OWLObjectProperty getOWLObjectProperty(IRI iri)
ObjectPropertyProvider
OWLObjectProperty
that has the specified
IRI
.getOWLObjectProperty
in interface ObjectPropertyProvider
iri
- The IRI.OWLObjectProperty
that has the specified IRI.public OWLDataProperty getOWLDataProperty(IRI iri)
DataPropertyProvider
OWLDataProperty
that has the specified
IRI
.getOWLDataProperty
in interface DataPropertyProvider
iri
- The IRI.OWLDataProperty
that has the specified IRI.public OWLNamedIndividual getOWLNamedIndividual(IRI iri)
NamedIndividualProvider
OWLNamedIndividual
that has the specified
IRI
.getOWLNamedIndividual
in interface NamedIndividualProvider
iri
- The IRI.OWLNamedIndividual
that has the specified IRI.public OWLAnonymousIndividual getOWLAnonymousIndividual(String nodeId)
AnonymousIndividualByIdProvider
OWLAnonymousIndividual
that has a specific NodeID
.getOWLAnonymousIndividual
in interface AnonymousIndividualByIdProvider
nodeId
- A String that represents the NodeID
of the generated OWLAnonymousIndividual
. Note: nodeId
will be prefixed with "_:" if it is not
specified with an "_:" prefix.OWLAnonymousIndividual
public OWLAnonymousIndividual getOWLAnonymousIndividual()
AnonymousIndividualProvider
OWLAnonymousIndividual
. The NodeID
for the
individual will be generated automatically. Successive invocations of
this method (on this object) will result in instances of
OWLAnonymousIndividual
that do not have NodeID
s that have
been used previously.getOWLAnonymousIndividual
in interface AnonymousIndividualProvider
OWLAnonymousIndividual
.AnonymousIndividualByIdProvider
public OWLDatatype getOWLDatatype(IRI iri)
DatatypeProvider
OWLDatatype
that has the specified
IRI
.getOWLDatatype
in interface DatatypeProvider
iri
- The IRI.OWLDatatype
that has the specified IRI.public OWLLiteral getOWLLiteral(boolean value)
LiteralProvider
getOWLLiteral
in interface LiteralProvider
value
- The value of the literalOWLLiteral
whose literal is the lexical value of the boolean, and whose
data type is xsd:boolean.public OWLDataOneOf getOWLDataOneOf(Stream<? extends OWLLiteral> values)
NominalProvider
getOWLDataOneOf
in interface NominalProvider
values
- The set of values that the data one of should contain.public OWLDataComplementOf getOWLDataComplementOf(OWLDataRange dataRange)
ComplementProvider
getOWLDataComplementOf
in interface ComplementProvider
dataRange
- The data range to be complemented.public OWLDataComplementOf getOWLDataComplementOf(OWL2Datatype dataRange)
ComplementProvider
getOWLDataComplementOf
in interface ComplementProvider
dataRange
- The data range to be complemented.public OWLDataIntersectionOf getOWLDataIntersectionOf(Stream<? extends OWLDataRange> dataRanges)
getOWLDataIntersectionOf
in interface IntersectionProvider
dataRanges
- data ranges for intersection. Cannot be null or contain nulls.public OWLDataUnionOf getOWLDataUnionOf(Stream<? extends OWLDataRange> dataRanges)
getOWLDataUnionOf
in interface UnionProvider
dataRanges
- data ranges for union. Cannot be null or contain nulls.public OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype dataType, Collection<OWLFacetRestriction> facetRestrictions)
DatatypeExpressionProvider
getOWLDatatypeRestriction
in interface DatatypeExpressionProvider
dataType
- datatype for the restrictionfacetRestrictions
- facet restrictions. Cannot contain nulls.public OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype dataType, OWLFacet facet, OWLLiteral typedLiteral)
DatatypeExpressionProvider
getOWLDatatypeRestriction
in interface DatatypeExpressionProvider
dataType
- datatype for the restrictionfacet
- facet for restrictiontypedLiteral
- literal for facet.public OWLFacetRestriction getOWLFacetRestriction(OWLFacet facet, OWLLiteral facetValue)
getOWLFacetRestriction
in interface DatatypeExpressionProvider
facet
- facet for restriction.facetValue
- literal for restriction.public OWLObjectIntersectionOf getOWLObjectIntersectionOf(Stream<? extends OWLClassExpression> operands)
getOWLObjectIntersectionOf
in interface IntersectionProvider
operands
- class expressions for intersection. Cannot be null or contain nulls.public OWLObjectIntersectionOf getOWLObjectIntersectionOf(Collection<? extends OWLClassExpression> operands)
getOWLObjectIntersectionOf
in interface IntersectionProvider
operands
- class expressions for intersection. Cannot be null or contain nulls.public OWLDataAllValuesFrom getOWLDataAllValuesFrom(OWLDataPropertyExpression property, OWLDataRange dataRange)
getOWLDataAllValuesFrom
in interface UniversalProvider
property
- The property that the restriction acts along.dataRange
- The data range that is the filler.public OWLDataAllValuesFrom getOWLDataAllValuesFrom(OWLDataPropertyExpression property, OWL2Datatype dataRange)
getOWLDataAllValuesFrom
in interface UniversalProvider
property
- The property that the restriction acts along.dataRange
- The data range that is the filler.public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property)
getOWLDataExactCardinality
in interface CardinalityRestrictionProvider
cardinality
- Cannot be negativeproperty
- The property that the restriction acts along.public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange)
getOWLDataExactCardinality
in interface CardinalityRestrictionProvider
cardinality
- Cannot be negativeproperty
- The property that the restriction acts along.dataRange
- data range for restrictionpublic OWLDataExactCardinality getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property, OWL2Datatype dataRange)
getOWLDataExactCardinality
in interface CardinalityRestrictionProvider
cardinality
- Cannot be negativeproperty
- The property that the restriction acts along.dataRange
- data range for restrictionpublic OWLDataMaxCardinality getOWLDataMaxCardinality(int cardinality, OWLDataPropertyExpression property)
getOWLDataMaxCardinality
in interface CardinalityRestrictionProvider
cardinality
- Cannot be negativeproperty
- The property that the restriction acts along.public OWLDataMaxCardinality getOWLDataMaxCardinality(int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange)
getOWLDataMaxCardinality
in interface CardinalityRestrictionProvider
cardinality
- Cannot be negativeproperty
- The property that the restriction acts along.dataRange
- data range for restrictionpublic OWLDataMaxCardinality getOWLDataMaxCardinality(int cardinality, OWLDataPropertyExpression property, OWL2Datatype dataRange)
getOWLDataMaxCardinality
in interface CardinalityRestrictionProvider
cardinality
- Cannot be negativeproperty
- The property that the restriction acts along.dataRange
- data range for restrictionpublic OWLDataMinCardinality getOWLDataMinCardinality(int cardinality, OWLDataPropertyExpression property)
getOWLDataMinCardinality
in interface CardinalityRestrictionProvider
cardinality
- Cannot be negativeproperty
- The property that the restriction acts along.public OWLDataMinCardinality getOWLDataMinCardinality(int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange)
getOWLDataMinCardinality
in interface CardinalityRestrictionProvider
cardinality
- Cannot be negative.property
- The property that the restriction acts along.dataRange
- data range for restrictionpublic OWLDataMinCardinality getOWLDataMinCardinality(int cardinality, OWLDataPropertyExpression property, OWL2Datatype dataRange)
getOWLDataMinCardinality
in interface CardinalityRestrictionProvider
cardinality
- Cannot be negative.property
- The property that the restriction acts along.dataRange
- data range for restrictionpublic OWLDataSomeValuesFrom getOWLDataSomeValuesFrom(OWLDataPropertyExpression property, OWLDataRange dataRange)
ExistentialProvider
getOWLDataSomeValuesFrom
in interface ExistentialProvider
property
- The property that the restriction acts along.dataRange
- The data range that is the filler.public OWLDataSomeValuesFrom getOWLDataSomeValuesFrom(OWLDataPropertyExpression property, OWL2Datatype dataRange)
ExistentialProvider
getOWLDataSomeValuesFrom
in interface ExistentialProvider
property
- The property that the restriction acts along.dataRange
- The data range that is the filler.public OWLDataHasValue getOWLDataHasValue(OWLDataPropertyExpression property, OWLLiteral value)
getOWLDataHasValue
in interface HasValueProvider
property
- The property that the restriction acts along.value
- value for restrictionpublic OWLObjectComplementOf getOWLObjectComplementOf(OWLClassExpression operand)
getOWLObjectComplementOf
in interface ComplementProvider
operand
- class expression to complementpublic OWLObjectAllValuesFrom getOWLObjectAllValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
getOWLObjectAllValuesFrom
in interface UniversalProvider
property
- The property that the restriction acts along.classExpression
- the class expression for the restrictionpublic OWLObjectOneOf getOWLObjectOneOf(Stream<? extends OWLIndividual> values)
getOWLObjectOneOf
in interface NominalProvider
values
- individuals for restriction. Cannot be null or contain nulls.public OWLObjectExactCardinality getOWLObjectExactCardinality(int cardinality, OWLObjectPropertyExpression property)
getOWLObjectExactCardinality
in interface CardinalityRestrictionProvider
cardinality
- Cannot be negative.property
- The property that the restriction acts along.public OWLObjectExactCardinality getOWLObjectExactCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
getOWLObjectExactCardinality
in interface CardinalityRestrictionProvider
cardinality
- Cannot be negative.property
- The property that the restriction acts along.classExpression
- class expression for restrictionpublic OWLObjectMinCardinality getOWLObjectMinCardinality(int cardinality, OWLObjectPropertyExpression property)
getOWLObjectMinCardinality
in interface CardinalityRestrictionProvider
cardinality
- Cannot be negative.property
- The property that the restriction acts along.public OWLObjectMinCardinality getOWLObjectMinCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
getOWLObjectMinCardinality
in interface CardinalityRestrictionProvider
cardinality
- Cannot be negative.property
- The property that the restriction acts along.classExpression
- class expression for restrictionpublic OWLObjectMaxCardinality getOWLObjectMaxCardinality(int cardinality, OWLObjectPropertyExpression property)
getOWLObjectMaxCardinality
in interface CardinalityRestrictionProvider
cardinality
- Cannot be negative.property
- The property that the restriction acts along.public OWLObjectMaxCardinality getOWLObjectMaxCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
getOWLObjectMaxCardinality
in interface CardinalityRestrictionProvider
cardinality
- Cannot be negative.property
- The property that the restriction acts along.classExpression
- class expression for restrictionpublic OWLObjectHasSelf getOWLObjectHasSelf(OWLObjectPropertyExpression property)
getOWLObjectHasSelf
in interface HasSelfProvider
property
- The property that the restriction acts along.public OWLObjectSomeValuesFrom getOWLObjectSomeValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
ExistentialProvider
getOWLObjectSomeValuesFrom
in interface ExistentialProvider
property
- The object property that the restriction acts along.classExpression
- The class expression that is the filler.public OWLObjectHasValue getOWLObjectHasValue(OWLObjectPropertyExpression property, OWLIndividual individual)
getOWLObjectHasValue
in interface HasValueProvider
property
- The property that the restriction acts along.individual
- individual for restrictionpublic OWLObjectUnionOf getOWLObjectUnionOf(Stream<? extends OWLClassExpression> operands)
getOWLObjectUnionOf
in interface UnionProvider
operands
- class expressions for unionpublic OWLObjectUnionOf getOWLObjectUnionOf(Collection<? extends OWLClassExpression> operands)
getOWLObjectUnionOf
in interface UnionProvider
operands
- class expressions for unionpublic OWLAsymmetricObjectPropertyAxiom getOWLAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression propertyExpression, Collection<OWLAnnotation> annotations)
getOWLAsymmetricObjectPropertyAxiom
in interface PropertyCharacteristicAxiomProvider
propertyExpression
- property expressionannotations
- A set of annotations. Cannot be null or contain nulls.public OWLDataPropertyDomainAxiom getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property, OWLClassExpression domain, Collection<OWLAnnotation> annotations)
getOWLDataPropertyDomainAxiom
in interface DomainAxiomProvider
property
- propertydomain
- domainannotations
- A set of annotations. Cannot be null or contain nulls.public OWLDataPropertyRangeAxiom getOWLDataPropertyRangeAxiom(OWLDataPropertyExpression property, OWLDataRange owlDataRange, Collection<OWLAnnotation> annotations)
getOWLDataPropertyRangeAxiom
in interface RangeAxiomProvider
property
- propertyowlDataRange
- data rangeannotations
- A set of annotations. Cannot be null or contain nulls.public OWLDataPropertyRangeAxiom getOWLDataPropertyRangeAxiom(OWLDataPropertyExpression property, OWL2Datatype owlDataRange, Collection<OWLAnnotation> annotations)
getOWLDataPropertyRangeAxiom
in interface RangeAxiomProvider
property
- propertyowlDataRange
- data rangeannotations
- A set of annotations. Cannot be null or contain nulls.public OWLSubDataPropertyOfAxiom getOWLSubDataPropertyOfAxiom(OWLDataPropertyExpression subProperty, OWLDataPropertyExpression superProperty, Collection<OWLAnnotation> annotations)
getOWLSubDataPropertyOfAxiom
in interface SubAxiomProvider
subProperty
- sub PropertysuperProperty
- super Propertyannotations
- A set of annotations. Cannot be null or contain nulls.public OWLDeclarationAxiom getOWLDeclarationAxiom(OWLEntity owlEntity, Collection<OWLAnnotation> annotations)
DeclarationAxiomProvider
getOWLDeclarationAxiom
in interface DeclarationAxiomProvider
owlEntity
- The declared entity.annotations
- A set of annotations. Cannot be null or contain nulls.public OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(Collection<? extends OWLIndividual> individuals, Collection<OWLAnnotation> annotations)
getOWLDifferentIndividualsAxiom
in interface IndividualAssertionProvider
individuals
- Cannot be null or contain nulls.annotations
- A set of annotations. Cannot be null or contain nulls.public OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
getOWLDisjointClassesAxiom
in interface DisjointAxiomProvider
classExpressions
- Disjoint classes. Cannot be null or contain nulls.annotations
- A set of annotations. Cannot be null or contain nulls.public OWLDisjointDataPropertiesAxiom getOWLDisjointDataPropertiesAxiom(Collection<? extends OWLDataPropertyExpression> properties, Collection<OWLAnnotation> annotations)
getOWLDisjointDataPropertiesAxiom
in interface DisjointAxiomProvider
properties
- Cannot be null or contain nulls.annotations
- A set of annotations. Cannot be null or contain nulls.public OWLDisjointObjectPropertiesAxiom getOWLDisjointObjectPropertiesAxiom(Collection<? extends OWLObjectPropertyExpression> properties, Collection<OWLAnnotation> annotations)
getOWLDisjointObjectPropertiesAxiom
in interface DisjointAxiomProvider
properties
- Cannot be null or contain nulls.annotations
- A set of annotations. Cannot be null or contain nulls.public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
getOWLEquivalentClassesAxiom
in interface EquivalentAxiomProvider
classExpressions
- equivalent classes. Cannot be null or contain nulls.annotations
- A set of annotations. Cannot be null or contain nulls.public OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(Collection<? extends OWLDataPropertyExpression> properties, Collection<OWLAnnotation> annotations)
getOWLEquivalentDataPropertiesAxiom
in interface EquivalentAxiomProvider
properties
- propertiesannotations
- A set of annotations. Cannot be null or contain nulls.public OWLFunctionalDataPropertyAxiom getOWLFunctionalDataPropertyAxiom(OWLDataPropertyExpression property, Collection<OWLAnnotation> annotations)
getOWLFunctionalDataPropertyAxiom
in interface PropertyCharacteristicAxiomProvider
property
- propertyannotations
- A set of annotations. Cannot be null or contain nulls.public OWLFunctionalObjectPropertyAxiom getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)
getOWLFunctionalObjectPropertyAxiom
in interface PropertyCharacteristicAxiomProvider
property
- propertyannotations
- A set of annotations. Cannot be null or contain nulls.public OWLImportsDeclaration getOWLImportsDeclaration(IRI importedOntologyIRI)
getOWLImportsDeclaration
in interface OWLDataFactory
importedOntologyIRI
- imported ontologypublic OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property, OWLIndividual subject, OWLLiteral object, Collection<OWLAnnotation> annotations)
getOWLDataPropertyAssertionAxiom
in interface DataAssertionProvider
property
- propertysubject
- subjectobject
- objectannotations
- A set of annotations. Cannot be null or contain nulls.public OWLNegativeDataPropertyAssertionAxiom getOWLNegativeDataPropertyAssertionAxiom(OWLDataPropertyExpression property, OWLIndividual subject, OWLLiteral object, Collection<OWLAnnotation> annotations)
getOWLNegativeDataPropertyAssertionAxiom
in interface DataAssertionProvider
property
- propertysubject
- subjectobject
- objectannotations
- A set of annotations. Cannot be null or contain nulls.public OWLNegativeObjectPropertyAssertionAxiom getOWLNegativeObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property, OWLIndividual subject, OWLIndividual object, Collection<OWLAnnotation> annotations)
getOWLNegativeObjectPropertyAssertionAxiom
in interface ObjectAssertionProvider
property
- propertysubject
- subjectobject
- objectannotations
- A set of annotations. Cannot be null or contain nulls.public OWLClassAssertionAxiom getOWLClassAssertionAxiom(OWLClassExpression classExpression, OWLIndividual individual, Collection<OWLAnnotation> annotations)
getOWLClassAssertionAxiom
in interface ClassAssertionProvider
classExpression
- class Expressionindividual
- individualannotations
- A set of annotations. Cannot be null or contain nulls.public OWLInverseFunctionalObjectPropertyAxiom getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)
getOWLInverseFunctionalObjectPropertyAxiom
in interface PropertyCharacteristicAxiomProvider
property
- propertyannotations
- A set of annotations. Cannot be null or contain nulls.public OWLIrreflexiveObjectPropertyAxiom getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)
getOWLIrreflexiveObjectPropertyAxiom
in interface PropertyCharacteristicAxiomProvider
property
- propertyannotations
- A set of annotations. Cannot be null or contain nulls.public OWLObjectPropertyDomainAxiom getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property, OWLClassExpression classExpression, Collection<OWLAnnotation> annotations)
getOWLObjectPropertyDomainAxiom
in interface DomainAxiomProvider
property
- propertyclassExpression
- class Expressionannotations
- A set of annotations. Cannot be null or contain nulls.public OWLObjectPropertyRangeAxiom getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property, OWLClassExpression range, Collection<OWLAnnotation> annotations)
getOWLObjectPropertyRangeAxiom
in interface RangeAxiomProvider
property
- propertyrange
- rangeannotations
- A set of annotations. Cannot be null or contain nulls.public OWLSubObjectPropertyOfAxiom getOWLSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> annotations)
getOWLSubObjectPropertyOfAxiom
in interface SubAxiomProvider
subProperty
- sub PropertysuperProperty
- super Propertyannotations
- A set of annotations. Cannot be null or contain nulls.public OWLReflexiveObjectPropertyAxiom getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)
getOWLReflexiveObjectPropertyAxiom
in interface PropertyCharacteristicAxiomProvider
property
- propertyannotations
- A set of annotations. Cannot be null or contain nulls.public OWLSameIndividualAxiom getOWLSameIndividualAxiom(Collection<? extends OWLIndividual> individuals, Collection<OWLAnnotation> annotations)
getOWLSameIndividualAxiom
in interface IndividualAssertionProvider
individuals
- Cannot be null or contain nulls.annotations
- A set of annotations. Cannot be null or contain nulls.public OWLSubClassOfAxiom getOWLSubClassOfAxiom(OWLClassExpression subClass, OWLClassExpression superClass, Collection<OWLAnnotation> annotations)
getOWLSubClassOfAxiom
in interface SubAxiomProvider
subClass
- sub classsuperClass
- super classannotations
- A set of annotations. Cannot be null or contain nulls.public OWLSymmetricObjectPropertyAxiom getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)
getOWLSymmetricObjectPropertyAxiom
in interface PropertyCharacteristicAxiomProvider
property
- propertyannotations
- A set of annotations. Cannot be null or contain nulls.public OWLTransitiveObjectPropertyAxiom getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)
getOWLTransitiveObjectPropertyAxiom
in interface PropertyCharacteristicAxiomProvider
property
- propertyannotations
- A set of annotations. Cannot be null or contain nulls.public OWLObjectInverseOf getOWLObjectInverseOf(OWLObjectProperty property)
InverseProvider
getOWLObjectInverseOf
in interface InverseProvider
property
- The property of which the inverse will be returnedpublic OWLInverseObjectPropertiesAxiom getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty, OWLObjectPropertyExpression inverseProperty, Collection<OWLAnnotation> annotations)
getOWLInverseObjectPropertiesAxiom
in interface InverseAxiomProvider
forwardProperty
- forward PropertyinverseProperty
- inverse Propertyannotations
- A set of annotations. Cannot be null or contain nulls.public OWLSubPropertyChainOfAxiom getOWLSubPropertyChainOfAxiom(List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> annotations)
getOWLSubPropertyChainOfAxiom
in interface PropertyChainAxiomProvider
chain
- Chain of properties. Cannot be null or contain nulls.superProperty
- super propertyannotations
- A set of annotations. Cannot be null or contain nulls.public OWLHasKeyAxiom getOWLHasKeyAxiom(OWLClassExpression ce, Collection<? extends OWLPropertyExpression> objectProperties, Collection<OWLAnnotation> annotations)
getOWLHasKeyAxiom
in interface HasKeyAxiomProvider
ce
- class expressionobjectProperties
- Cannot be null or contain nulls.annotations
- A set of annotations. Cannot be null or contain nulls.public OWLDisjointUnionAxiom getOWLDisjointUnionAxiom(OWLClass owlClass, Stream<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
getOWLDisjointUnionAxiom
in interface DisjointUnionAxiomProvider
owlClass
- left hand side of the axiom. Cannot be null.classExpressions
- right hand side of the axiom. Cannot be null or contain nulls.annotations
- A set of annotations. Cannot be null or contain nulls.public OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(Collection<? extends OWLObjectPropertyExpression> properties, Collection<OWLAnnotation> annotations)
getOWLEquivalentObjectPropertiesAxiom
in interface EquivalentAxiomProvider
properties
- Cannot be null or contain nulls.annotations
- A set of annotations. Cannot be null or contain nulls.public OWLObjectPropertyAssertionAxiom getOWLObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property, OWLIndividual individual, OWLIndividual object, Collection<OWLAnnotation> annotations)
getOWLObjectPropertyAssertionAxiom
in interface ObjectAssertionProvider
property
- propertyindividual
- individualobject
- objectannotations
- A set of annotations. Cannot be null or contain nulls.public OWLSubAnnotationPropertyOfAxiom getOWLSubAnnotationPropertyOfAxiom(OWLAnnotationProperty sub, OWLAnnotationProperty sup, Collection<OWLAnnotation> annotations)
getOWLSubAnnotationPropertyOfAxiom
in interface SubAxiomProvider
sub
- sub propertysup
- super propertyannotations
- A set of annotations. Cannot be null or contain nulls.public OWLAnnotationProperty getOWLAnnotationProperty(IRI iri)
AnnotationPropertyProvider
OWLAnnotationProperty
that has the specified
IRI
.getOWLAnnotationProperty
in interface AnnotationPropertyProvider
iri
- The IRI.OWLAnnotationProperty
that has the specified IRI.public OWLAnnotation getOWLAnnotation(OWLAnnotationProperty property, OWLAnnotationValue value)
AnnotationProvider
getOWLAnnotation
in interface AnnotationProvider
property
- the annotation property.value
- The annotation value.public OWLAnnotation getOWLAnnotation(OWLAnnotationProperty property, OWLAnnotationValue value, Stream<OWLAnnotation> annotations)
AnnotationProvider
getOWLAnnotation
in interface AnnotationProvider
property
- the annotation property.value
- The annotation value.annotations
- A stream of annotations. Cannot be null or contain nulls.public OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationSubject subject, OWLAnnotation annotation)
getOWLAnnotationAssertionAxiom
in interface AnnotationAssertionProvider
subject
- subjectannotation
- annotationpublic OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationSubject subject, OWLAnnotation annotation, Collection<OWLAnnotation> annotations)
getOWLAnnotationAssertionAxiom
in interface AnnotationAssertionProvider
subject
- subjectannotation
- annotationannotations
- A set of annotations. Cannot be null or contain nulls.public OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationProperty property, OWLAnnotationSubject subject, OWLAnnotationValue value, Collection<OWLAnnotation> annotations)
getOWLAnnotationAssertionAxiom
in interface AnnotationAssertionProvider
property
- propertysubject
- subjectvalue
- valueannotations
- A set of annotations. Cannot be null or contain nulls.public OWLAnnotationAssertionAxiom getDeprecatedOWLAnnotationAssertionAxiom(IRI subject)
AnnotationAssertionProvider
"true"^^xsd:boolean
. (See Annotation Properties in the OWL 2 SpecificationgetDeprecatedOWLAnnotationAssertionAxiom
in interface AnnotationAssertionProvider
subject
- The IRI to be deprecated.public OWLAnnotationPropertyDomainAxiom getOWLAnnotationPropertyDomainAxiom(OWLAnnotationProperty prop, IRI domain, Collection<OWLAnnotation> annotations)
getOWLAnnotationPropertyDomainAxiom
in interface DomainAxiomProvider
prop
- propdomain
- domainannotations
- A set of annotations. Cannot be null or contain nulls.public OWLAnnotationPropertyRangeAxiom getOWLAnnotationPropertyRangeAxiom(OWLAnnotationProperty prop, IRI range, Collection<OWLAnnotation> annotations)
getOWLAnnotationPropertyRangeAxiom
in interface RangeAxiomProvider
prop
- proprange
- rangeannotations
- A set of annotations. Cannot be null or contain nulls.public SWRLRule getSWRLRule(Collection<? extends SWRLAtom> body, Collection<? extends SWRLAtom> head, Collection<OWLAnnotation> annotations)
SWRLProvider
getSWRLRule
in interface SWRLProvider
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)public SWRLRule getSWRLRule(Collection<? extends SWRLAtom> body, Collection<? extends SWRLAtom> head)
SWRLProvider
getSWRLRule
in interface SWRLProvider
body
- The atoms that make up the bodyhead
- The atoms that make up the headpublic SWRLClassAtom getSWRLClassAtom(OWLClassExpression predicate, SWRLIArgument arg)
SWRLProvider
getSWRLClassAtom
in interface SWRLProvider
predicate
- The class expression that represents the predicate of the atomarg
- The argument (x)public SWRLDataRangeAtom getSWRLDataRangeAtom(OWLDataRange predicate, SWRLDArgument arg)
SWRLProvider
getSWRLDataRangeAtom
in interface SWRLProvider
predicate
- The data range that represents the predicate of the atomarg
- The argument (x)public SWRLDataRangeAtom getSWRLDataRangeAtom(OWL2Datatype predicate, SWRLDArgument arg)
SWRLProvider
getSWRLDataRangeAtom
in interface SWRLProvider
predicate
- The data range that represents the predicate of the atomarg
- The argument (x)public SWRLObjectPropertyAtom getSWRLObjectPropertyAtom(OWLObjectPropertyExpression property, SWRLIArgument arg0, SWRLIArgument arg1)
SWRLProvider
getSWRLObjectPropertyAtom
in interface SWRLProvider
property
- The property (P) representing the atom predicatearg0
- The first argument (x)arg1
- The second argument (y)public SWRLDataPropertyAtom getSWRLDataPropertyAtom(OWLDataPropertyExpression property, SWRLIArgument arg0, SWRLDArgument arg1)
SWRLProvider
getSWRLDataPropertyAtom
in interface SWRLProvider
property
- The property (P) that represents the atom predicatearg0
- The first argument (x)arg1
- The second argument (y)public SWRLBuiltInAtom getSWRLBuiltInAtom(IRI builtInIRI, List<SWRLDArgument> args)
SWRLProvider
SWRLBuiltInsVocabulary
.getSWRLBuiltInAtom
in interface SWRLProvider
builtInIRI
- The builtin predicate IRIargs
- A non-empty set of SWRL Arguments.public SWRLVariable getSWRLVariable(IRI var)
SWRLProvider
getSWRLVariable
in interface SWRLProvider
var
- The id (IRI) of the variablepublic SWRLIndividualArgument getSWRLIndividualArgument(OWLIndividual individual)
SWRLProvider
getSWRLIndividualArgument
in interface SWRLProvider
individual
- The individual that is the object argumentpublic SWRLLiteralArgument getSWRLLiteralArgument(OWLLiteral literal)
SWRLProvider
getSWRLLiteralArgument
in interface SWRLProvider
literal
- The constant that is the object argumentpublic SWRLDifferentIndividualsAtom getSWRLDifferentIndividualsAtom(SWRLIArgument arg0, SWRLIArgument arg1)
getSWRLDifferentIndividualsAtom
in interface SWRLProvider
arg0
- first individualarg1
- second individualpublic SWRLSameIndividualAtom getSWRLSameIndividualAtom(SWRLIArgument arg0, SWRLIArgument arg1)
getSWRLSameIndividualAtom
in interface SWRLProvider
arg0
- first individualarg1
- second individualpublic OWLDatatypeDefinitionAxiom getOWLDatatypeDefinitionAxiom(OWLDatatype datatype, OWLDataRange dataRange, Collection<OWLAnnotation> annotations)
getOWLDatatypeDefinitionAxiom
in interface DeclarationAxiomProvider
datatype
- data typedataRange
- data Rangeannotations
- A set of annotations.public OWLDatatypeDefinitionAxiom getOWLDatatypeDefinitionAxiom(OWLDatatype datatype, OWL2Datatype dataRange, Collection<OWLAnnotation> annotations)
getOWLDatatypeDefinitionAxiom
in interface DeclarationAxiomProvider
datatype
- data typedataRange
- data Rangeannotations
- A set of annotations.public OWLLiteral getOWLLiteral(String lexicalValue, OWLDatatype datatype)
LiteralProvider
OWLLiteral
, which has the specified lexical value, and is typed with the
specified datatype.getOWLLiteral
in interface LiteralProvider
lexicalValue
- The lexical value.datatype
- The datatype.rdf:PlainLiteral
, and the lexical value contains a language tag
then the language tag will be parsed out of the lexical value. For example,
"abc@en"^^rdf:PlainLiteral would be parsed into a lexical value of "abc" and a
language tag of "en".public OWLLiteral getOWLLiteral(int value)
LiteralProvider
getOWLLiteral
in interface LiteralProvider
value
- The value of the literalOWLLiteral
whose literal is the lexical value of the integer, and whose
data type is xsd:integer.public OWLLiteral getOWLLiteral(double value)
LiteralProvider
getOWLLiteral
in interface LiteralProvider
value
- The value of the literalOWLLiteral
whose literal is the lexical value of the double, and whose
data type is xsd:double.public OWLLiteral getOWLLiteral(float value)
LiteralProvider
getOWLLiteral
in interface LiteralProvider
value
- The value of the literalOWLLiteral
whose literal is the lexical value of the float, and whose data
type is xsd:float.public OWLLiteral getOWLLiteral(String value)
LiteralProvider
getOWLLiteral
in interface LiteralProvider
value
- The lexical value of the literal.public OWLLiteral getOWLLiteral(String literal, @Nullable String lang)
LiteralProvider
OWLRDFVocabulary.RDF_PLAIN_LITERAL
).getOWLLiteral
in interface LiteralProvider
literal
- The string literal.lang
- The language tag. The empty string may be specified to indicate an empty language
tag. Leading and trailing white space will be removed from the tag and the tag will be
normalised to LOWER CASE. If lang
is null
then lang
will be
converted to the empty string (for backwards compatibility). If not empty, the tag is
formed according to BCP47
but the OWL API will not check that the tag conforms to this specification - it is up
to the caller to ensure this.public OWLDatatype getBooleanOWLDatatype()
OWLVocabularyProvider
getBooleanOWLDatatype
in interface OWLVocabularyProvider
public OWLDatatype getStringOWLDatatype()
OWLVocabularyProvider
getStringOWLDatatype
in interface OWLVocabularyProvider
public OWLDatatype getDoubleOWLDatatype()
OWLVocabularyProvider
getDoubleOWLDatatype
in interface OWLVocabularyProvider
public OWLDatatype getFloatOWLDatatype()
OWLVocabularyProvider
getFloatOWLDatatype
in interface OWLVocabularyProvider
public OWLDatatype getIntegerOWLDatatype()
OWLVocabularyProvider
getIntegerOWLDatatype
in interface OWLVocabularyProvider
public OWLDatatype getTopDatatype()
getTopDatatype
in interface OWLVocabularyProvider
public OWLDatatype getRDFPlainLiteral()
OWLVocabularyProvider
getRDFPlainLiteral
in interface OWLVocabularyProvider
rdf:PlainLiteral
Copyright © 2020 The University of Manchester. All rights reserved.