uk.ac.manchester.cs.owl.owlapi

Class OWLDataFactoryImpl

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLDataFactoryImpl

All Implemented Interfaces:

Serializable, DeclarationAxiomProvider, DisjointAxiomProvider, DisjointUnionAxiomProvider, DomainAxiomProvider, EquivalentAxiomProvider, HasKeyAxiomProvider, InverseAxiomProvider, PropertyChainAxiomProvider, PropertyCharacteristicAxiomProvider, RangeAxiomProvider, SubAxiomProvider, OWLDataFactory, AnnotationAssertionProvider, AnnotationPropertyProvider, AnnotationProvider, AnonymousIndividualByIdProvider, AnonymousIndividualProvider, CardinalityRestrictionProvider, ClassAssertionProvider, ClassProvider, ComplementProvider, DataAssertionProvider, DataPropertyProvider, DatatypeExpressionProvider, DatatypeProvider, EntityByTypeProvider, EntityProvider, ExistentialProvider, HasSelfProvider, HasValueProvider, IndividualAssertionProvider, IntersectionProvider, InverseProvider, LiteralProvider, NamedIndividualProvider, NominalProvider, ObjectAssertionProvider, ObjectPropertyProvider, OWLVocabularyProvider, SWRLProvider, UnionProvider, UniversalProvider

public class OWLDataFactoryImpl
extends Object
implements OWLDataFactory, Serializable, ClassProvider

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OWLDataFactoryImpl() Constructs an OWLDataFactoryImpl that uses caching but no compression.
OWLDataFactoryImpl(boolean useCompression)

Method Summary

Modifier and Type	Method and Description
OWLDatatype	getBooleanOWLDatatype()
OWLAnnotationAssertionAxiom	getDeprecatedOWLAnnotationAssertionAxiom(IRI subject)
OWLDatatype	getDoubleOWLDatatype()
OWLDatatype	getFloatOWLDatatype()
OWLDatatype	getIntegerOWLDatatype()
OWLAnnotation	getOWLAnnotation(OWLAnnotationProperty property, OWLAnnotationValue value)
OWLAnnotation	getOWLAnnotation(OWLAnnotationProperty property, OWLAnnotationValue value, java.util.stream.Stream<OWLAnnotation> annotations)
OWLAnnotationAssertionAxiom	getOWLAnnotationAssertionAxiom(OWLAnnotationProperty property, OWLAnnotationSubject subject, OWLAnnotationValue value, Collection<OWLAnnotation> annotations)
OWLAnnotationAssertionAxiom	getOWLAnnotationAssertionAxiom(OWLAnnotationSubject subject, OWLAnnotation annotation)
OWLAnnotationAssertionAxiom	getOWLAnnotationAssertionAxiom(OWLAnnotationSubject subject, OWLAnnotation annotation, Collection<OWLAnnotation> annotations)
OWLAnnotationProperty	getOWLAnnotationProperty(IRI iri)
OWLAnnotationPropertyDomainAxiom	getOWLAnnotationPropertyDomainAxiom(OWLAnnotationProperty prop, IRI domain, Collection<OWLAnnotation> annotations)
OWLAnnotationPropertyRangeAxiom	getOWLAnnotationPropertyRangeAxiom(OWLAnnotationProperty prop, IRI range, Collection<OWLAnnotation> annotations)
OWLAnonymousIndividual	getOWLAnonymousIndividual()
OWLAnonymousIndividual	getOWLAnonymousIndividual(String nodeId)
OWLAsymmetricObjectPropertyAxiom	getOWLAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression propertyExpression, Collection<OWLAnnotation> annotations)
OWLAnnotationProperty	getOWLBackwardCompatibleWith()
OWLDataProperty	getOWLBottomDataProperty()
OWLObjectProperty	getOWLBottomObjectProperty()
OWLClass	getOWLClass(IRI iri)
OWLClassAssertionAxiom	getOWLClassAssertionAxiom(OWLClassExpression classExpression, OWLIndividual individual, Collection<OWLAnnotation> annotations)
OWLDataAllValuesFrom	getOWLDataAllValuesFrom(OWLDataPropertyExpression property, OWL2Datatype dataRange)
OWLDataAllValuesFrom	getOWLDataAllValuesFrom(OWLDataPropertyExpression property, OWLDataRange dataRange)
OWLDataComplementOf	getOWLDataComplementOf(OWL2Datatype dataRange)
OWLDataComplementOf	getOWLDataComplementOf(OWLDataRange dataRange)
OWLDataExactCardinality	getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property)
OWLDataExactCardinality	getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property, OWL2Datatype dataRange)
OWLDataExactCardinality	getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange)
OWLDataHasValue	getOWLDataHasValue(OWLDataPropertyExpression property, OWLLiteral value)
OWLDataIntersectionOf	getOWLDataIntersectionOf(java.util.stream.Stream<? extends OWLDataRange> dataRanges)
OWLDataMaxCardinality	getOWLDataMaxCardinality(int cardinality, OWLDataPropertyExpression property)
OWLDataMaxCardinality	getOWLDataMaxCardinality(int cardinality, OWLDataPropertyExpression property, OWL2Datatype dataRange)
OWLDataMaxCardinality	getOWLDataMaxCardinality(int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange)
OWLDataMinCardinality	getOWLDataMinCardinality(int cardinality, OWLDataPropertyExpression property)
OWLDataMinCardinality	getOWLDataMinCardinality(int cardinality, OWLDataPropertyExpression property, OWL2Datatype dataRange)
OWLDataMinCardinality	getOWLDataMinCardinality(int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange)
OWLDataOneOf	getOWLDataOneOf(java.util.stream.Stream<? extends OWLLiteral> values)
OWLDataProperty	getOWLDataProperty(IRI iri)
OWLDataPropertyAssertionAxiom	getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property, OWLIndividual subject, OWLLiteral object, Collection<OWLAnnotation> annotations)
OWLDataPropertyDomainAxiom	getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property, OWLClassExpression domain, Collection<OWLAnnotation> annotations)
OWLDataPropertyRangeAxiom	getOWLDataPropertyRangeAxiom(OWLDataPropertyExpression property, OWL2Datatype owlDataRange, Collection<OWLAnnotation> annotations)
OWLDataPropertyRangeAxiom	getOWLDataPropertyRangeAxiom(OWLDataPropertyExpression property, OWLDataRange owlDataRange, Collection<OWLAnnotation> annotations)
OWLDataSomeValuesFrom	getOWLDataSomeValuesFrom(OWLDataPropertyExpression property, OWL2Datatype dataRange)
OWLDataSomeValuesFrom	getOWLDataSomeValuesFrom(OWLDataPropertyExpression property, OWLDataRange dataRange)
OWLDatatype	getOWLDatatype(IRI iri)
OWLDatatypeDefinitionAxiom	getOWLDatatypeDefinitionAxiom(OWLDatatype datatype, OWL2Datatype dataRange, Collection<OWLAnnotation> annotations)
OWLDatatypeDefinitionAxiom	getOWLDatatypeDefinitionAxiom(OWLDatatype datatype, OWLDataRange dataRange, Collection<OWLAnnotation> annotations)
OWLDatatypeRestriction	getOWLDatatypeRestriction(OWLDatatype dataType, Collection<OWLFacetRestriction> facetRestrictions)
OWLDatatypeRestriction	getOWLDatatypeRestriction(OWLDatatype dataType, OWLFacet facet, OWLLiteral typedLiteral)
OWLDataUnionOf	getOWLDataUnionOf(java.util.stream.Stream<? extends OWLDataRange> dataRanges)
OWLDeclarationAxiom	getOWLDeclarationAxiom(OWLEntity owlEntity, Collection<OWLAnnotation> annotations)
OWLAnnotationProperty	getOWLDeprecated()
OWLDifferentIndividualsAxiom	getOWLDifferentIndividualsAxiom(Collection<? extends OWLIndividual> individuals, Collection<OWLAnnotation> annotations)
OWLDisjointClassesAxiom	getOWLDisjointClassesAxiom(Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
OWLDisjointDataPropertiesAxiom	getOWLDisjointDataPropertiesAxiom(Collection<? extends OWLDataPropertyExpression> properties, Collection<OWLAnnotation> annotations)
OWLDisjointObjectPropertiesAxiom	getOWLDisjointObjectPropertiesAxiom(Collection<? extends OWLObjectPropertyExpression> properties, Collection<OWLAnnotation> annotations)
OWLDisjointUnionAxiom	getOWLDisjointUnionAxiom(OWLClass owlClass, java.util.stream.Stream<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
<E extends OWLEntity> E	getOWLEntity(EntityType<E> entityType, IRI iri)
OWLEquivalentClassesAxiom	getOWLEquivalentClassesAxiom(Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
OWLEquivalentDataPropertiesAxiom	getOWLEquivalentDataPropertiesAxiom(Collection<? extends OWLDataPropertyExpression> properties, Collection<OWLAnnotation> annotations)
OWLEquivalentObjectPropertiesAxiom	getOWLEquivalentObjectPropertiesAxiom(Collection<? extends OWLObjectPropertyExpression> properties, Collection<OWLAnnotation> annotations)
OWLFacetRestriction	getOWLFacetRestriction(OWLFacet facet, OWLLiteral facetValue)
OWLFunctionalDataPropertyAxiom	getOWLFunctionalDataPropertyAxiom(OWLDataPropertyExpression property, Collection<OWLAnnotation> annotations)
OWLFunctionalObjectPropertyAxiom	getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)
OWLHasKeyAxiom	getOWLHasKeyAxiom(OWLClassExpression ce, Collection<? extends OWLPropertyExpression> objectProperties, Collection<OWLAnnotation> annotations)
OWLImportsDeclaration	getOWLImportsDeclaration(IRI importedOntologyIRI)
OWLAnnotationProperty	getOWLIncompatibleWith()
OWLInverseFunctionalObjectPropertyAxiom	getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)
OWLInverseObjectPropertiesAxiom	getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty, OWLObjectPropertyExpression inverseProperty, Collection<OWLAnnotation> annotations)
OWLIrreflexiveObjectPropertyAxiom	getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)
OWLLiteral	getOWLLiteral(boolean value)
OWLLiteral	getOWLLiteral(double value)
OWLLiteral	getOWLLiteral(float value)
OWLLiteral	getOWLLiteral(int value)
OWLLiteral	getOWLLiteral(String value)
OWLLiteral	getOWLLiteral(String lexicalValue, OWLDatatype datatype)
OWLLiteral	getOWLLiteral(String literal, String lang)
OWLNamedIndividual	getOWLNamedIndividual(IRI iri)
OWLNegativeDataPropertyAssertionAxiom	getOWLNegativeDataPropertyAssertionAxiom(OWLDataPropertyExpression property, OWLIndividual subject, OWLLiteral object, Collection<OWLAnnotation> annotations)
OWLNegativeObjectPropertyAssertionAxiom	getOWLNegativeObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property, OWLIndividual subject, OWLIndividual object, Collection<OWLAnnotation> annotations)
OWLClass	getOWLNothing()
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(java.util.stream.Stream<? extends OWLClassExpression> operands)
OWLObjectInverseOf	getOWLObjectInverseOf(OWLObjectProperty 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(java.util.stream.Stream<? extends OWLIndividual> values)
OWLObjectProperty	getOWLObjectProperty(IRI iri)
OWLObjectPropertyAssertionAxiom	getOWLObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property, OWLIndividual individual, OWLIndividual object, Collection<OWLAnnotation> annotations)
OWLObjectPropertyDomainAxiom	getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property, OWLClassExpression classExpression, Collection<OWLAnnotation> annotations)
OWLObjectPropertyRangeAxiom	getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property, OWLClassExpression range, Collection<OWLAnnotation> annotations)
OWLObjectSomeValuesFrom	getOWLObjectSomeValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectUnionOf	getOWLObjectUnionOf(java.util.stream.Stream<? extends OWLClassExpression> operands)
OWLReflexiveObjectPropertyAxiom	getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)
OWLSameIndividualAxiom	getOWLSameIndividualAxiom(Collection<? extends OWLIndividual> individuals, Collection<OWLAnnotation> annotations)
OWLSubAnnotationPropertyOfAxiom	getOWLSubAnnotationPropertyOfAxiom(OWLAnnotationProperty sub, OWLAnnotationProperty sup, Collection<OWLAnnotation> annotations)
OWLSubClassOfAxiom	getOWLSubClassOfAxiom(OWLClassExpression subClass, OWLClassExpression superClass, Collection<OWLAnnotation> annotations)
OWLSubDataPropertyOfAxiom	getOWLSubDataPropertyOfAxiom(OWLDataPropertyExpression subProperty, OWLDataPropertyExpression superProperty, Collection<OWLAnnotation> annotations)
OWLSubObjectPropertyOfAxiom	getOWLSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> annotations)
OWLSubPropertyChainOfAxiom	getOWLSubPropertyChainOfAxiom(List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> annotations)
OWLSymmetricObjectPropertyAxiom	getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)
OWLClass	getOWLThing()
OWLDataProperty	getOWLTopDataProperty()
OWLObjectProperty	getOWLTopObjectProperty()
OWLTransitiveObjectPropertyAxiom	getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)
OWLAnnotationProperty	getOWLVersionInfo()
OWLDatatype	getRDFPlainLiteral()
OWLAnnotationProperty	getRDFSComment()
OWLAnnotationProperty	getRDFSIsDefinedBy()
OWLAnnotationProperty	getRDFSLabel()
OWLAnnotationProperty	getRDFSSeeAlso()
OWLDatatype	getStringOWLDatatype()
SWRLBuiltInAtom	getSWRLBuiltInAtom(IRI builtInIRI, List<SWRLDArgument> args)
SWRLClassAtom	getSWRLClassAtom(OWLClassExpression predicate, SWRLIArgument arg)
SWRLDataPropertyAtom	getSWRLDataPropertyAtom(OWLDataPropertyExpression property, SWRLIArgument arg0, SWRLDArgument arg1)
SWRLDataRangeAtom	getSWRLDataRangeAtom(OWL2Datatype predicate, SWRLDArgument arg)
SWRLDataRangeAtom	getSWRLDataRangeAtom(OWLDataRange predicate, SWRLDArgument arg)
SWRLDifferentIndividualsAtom	getSWRLDifferentIndividualsAtom(SWRLIArgument arg0, SWRLIArgument arg1)
SWRLIndividualArgument	getSWRLIndividualArgument(OWLIndividual individual)
SWRLLiteralArgument	getSWRLLiteralArgument(OWLLiteral literal)
SWRLObjectPropertyAtom	getSWRLObjectPropertyAtom(OWLObjectPropertyExpression property, SWRLIArgument arg0, SWRLIArgument arg1)
SWRLRule	getSWRLRule(Collection<? extends SWRLAtom> body, Collection<? extends SWRLAtom> head)
SWRLRule	getSWRLRule(Collection<? extends SWRLAtom> body, Collection<? extends SWRLAtom> head, Collection<OWLAnnotation> annotations)
SWRLSameIndividualAtom	getSWRLSameIndividualAtom(SWRLIArgument arg0, SWRLIArgument arg1)
SWRLVariable	getSWRLVariable(IRI var)
OWLDatatype	getTopDatatype()
void	purge()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.model.OWLDataFactory

getRDFSComment, getRDFSComment, getRDFSComment, getRDFSComment, getRDFSLabel, getRDFSLabel, getRDFSLabel, getRDFSLabel

Methods inherited from interface org.semanticweb.owlapi.model.providers.SWRLProvider

getSWRLVariable, getSWRLVariable, getSWRLVariable

Methods inherited from interface org.semanticweb.owlapi.model.providers.ClassProvider

getOWLClass, getOWLClass, getOWLClass, getOWLClass

Methods inherited from interface org.semanticweb.owlapi.model.providers.ObjectPropertyProvider

getOWLObjectProperty, getOWLObjectProperty, getOWLObjectProperty, getOWLObjectProperty

Methods inherited from interface org.semanticweb.owlapi.model.providers.DataPropertyProvider

getOWLDataProperty, getOWLDataProperty, getOWLDataProperty, getOWLDataProperty

Methods inherited from interface org.semanticweb.owlapi.model.providers.NamedIndividualProvider

getOWLNamedIndividual, getOWLNamedIndividual, getOWLNamedIndividual, getOWLNamedIndividual

Methods inherited from interface org.semanticweb.owlapi.model.providers.AnnotationPropertyProvider

getOWLAnnotationProperty, getOWLAnnotationProperty, getOWLAnnotationProperty, getOWLAnnotationProperty

Methods inherited from interface org.semanticweb.owlapi.model.providers.AnnotationProvider

getOWLAnnotation, getOWLAnnotation

Methods inherited from interface org.semanticweb.owlapi.model.providers.AnnotationAssertionProvider

getOWLAnnotationAssertionAxiom

Methods inherited from interface org.semanticweb.owlapi.model.providers.ClassAssertionProvider

getOWLClassAssertionAxiom

Methods inherited from interface org.semanticweb.owlapi.model.providers.DataAssertionProvider

getOWLDataPropertyAssertionAxiom, getOWLDataPropertyAssertionAxiom, getOWLDataPropertyAssertionAxiom, getOWLDataPropertyAssertionAxiom, getOWLDataPropertyAssertionAxiom, getOWLDataPropertyAssertionAxiom, getOWLNegativeDataPropertyAssertionAxiom

Methods inherited from interface org.semanticweb.owlapi.model.providers.ObjectAssertionProvider

getOWLNegativeObjectPropertyAssertionAxiom, getOWLObjectPropertyAssertionAxiom

Methods inherited from interface org.semanticweb.owlapi.model.providers.IndividualAssertionProvider

getOWLDifferentIndividualsAxiom, getOWLDifferentIndividualsAxiom, getOWLDifferentIndividualsAxiom, getOWLSameIndividualAxiom, getOWLSameIndividualAxiom, getOWLSameIndividualAxiom

Methods inherited from interface org.semanticweb.owlapi.model.axiomproviders.DisjointAxiomProvider

getOWLDisjointClassesAxiom, getOWLDisjointClassesAxiom, getOWLDisjointClassesAxiom, getOWLDisjointClassesAxiom, getOWLDisjointClassesAxiom, getOWLDisjointDataPropertiesAxiom, getOWLDisjointDataPropertiesAxiom, getOWLDisjointDataPropertiesAxiom, getOWLDisjointObjectPropertiesAxiom, getOWLDisjointObjectPropertiesAxiom, getOWLDisjointObjectPropertiesAxiom

Methods inherited from interface org.semanticweb.owlapi.model.axiomproviders.EquivalentAxiomProvider

getOWLEquivalentClassesAxiom, getOWLEquivalentClassesAxiom, getOWLEquivalentClassesAxiom, getOWLEquivalentClassesAxiom, getOWLEquivalentClassesAxiom, getOWLEquivalentDataPropertiesAxiom, getOWLEquivalentDataPropertiesAxiom, getOWLEquivalentDataPropertiesAxiom, getOWLEquivalentDataPropertiesAxiom, getOWLEquivalentObjectPropertiesAxiom, getOWLEquivalentObjectPropertiesAxiom, getOWLEquivalentObjectPropertiesAxiom, getOWLEquivalentObjectPropertiesAxiom

Methods inherited from interface org.semanticweb.owlapi.model.axiomproviders.PropertyCharacteristicAxiomProvider

getOWLAsymmetricObjectPropertyAxiom, getOWLFunctionalDataPropertyAxiom, getOWLFunctionalObjectPropertyAxiom, getOWLInverseFunctionalObjectPropertyAxiom, getOWLIrreflexiveObjectPropertyAxiom, getOWLReflexiveObjectPropertyAxiom, getOWLSymmetricObjectPropertyAxiom, getOWLTransitiveObjectPropertyAxiom

Methods inherited from interface org.semanticweb.owlapi.model.providers.DatatypeExpressionProvider

getOWLDatatypeMaxExclusiveRestriction, getOWLDatatypeMaxExclusiveRestriction, getOWLDatatypeMaxInclusiveRestriction, getOWLDatatypeMaxInclusiveRestriction, getOWLDatatypeMinExclusiveRestriction, getOWLDatatypeMinExclusiveRestriction, getOWLDatatypeMinInclusiveRestriction, getOWLDatatypeMinInclusiveRestriction, getOWLDatatypeMinMaxExclusiveRestriction, getOWLDatatypeMinMaxExclusiveRestriction, getOWLDatatypeMinMaxInclusiveRestriction, getOWLDatatypeMinMaxInclusiveRestriction, getOWLDatatypeRestriction, getOWLFacetRestriction, getOWLFacetRestriction, getOWLFacetRestriction

Methods inherited from interface org.semanticweb.owlapi.model.providers.LiteralProvider

getOWLLiteral

Methods inherited from interface org.semanticweb.owlapi.model.providers.DatatypeProvider

getOWLDatatype, getOWLDatatype, getOWLDatatype, getOWLDatatype

Methods inherited from interface org.semanticweb.owlapi.model.axiomproviders.DomainAxiomProvider

getOWLAnnotationPropertyDomainAxiom, getOWLDataPropertyDomainAxiom, getOWLObjectPropertyDomainAxiom

Methods inherited from interface org.semanticweb.owlapi.model.axiomproviders.RangeAxiomProvider

getOWLAnnotationPropertyRangeAxiom, getOWLDataPropertyRangeAxiom, getOWLDataPropertyRangeAxiom, getOWLObjectPropertyRangeAxiom

Methods inherited from interface org.semanticweb.owlapi.model.providers.IntersectionProvider

getOWLDataIntersectionOf, getOWLDataIntersectionOf, getOWLObjectIntersectionOf, getOWLObjectIntersectionOf

Methods inherited from interface org.semanticweb.owlapi.model.providers.UnionProvider

getOWLDataUnionOf, getOWLDataUnionOf, getOWLObjectUnionOf, getOWLObjectUnionOf

Methods inherited from interface org.semanticweb.owlapi.model.axiomproviders.SubAxiomProvider

getOWLSubAnnotationPropertyOfAxiom, getOWLSubClassOfAxiom, getOWLSubDataPropertyOfAxiom, getOWLSubObjectPropertyOfAxiom

Methods inherited from interface org.semanticweb.owlapi.model.axiomproviders.DeclarationAxiomProvider

getOWLDatatypeDefinitionAxiom, getOWLDatatypeDefinitionAxiom, getOWLDeclarationAxiom

Methods inherited from interface org.semanticweb.owlapi.model.providers.NominalProvider

getOWLDataOneOf, getOWLDataOneOf, getOWLObjectOneOf, getOWLObjectOneOf

Methods inherited from interface org.semanticweb.owlapi.model.axiomproviders.HasKeyAxiomProvider

getOWLHasKeyAxiom, getOWLHasKeyAxiom

Methods inherited from interface org.semanticweb.owlapi.model.axiomproviders.InverseAxiomProvider

getOWLInverseObjectPropertiesAxiom

Methods inherited from interface org.semanticweb.owlapi.model.axiomproviders.DisjointUnionAxiomProvider

getOWLDisjointUnionAxiom, getOWLDisjointUnionAxiom, getOWLDisjointUnionAxiom

Methods inherited from interface org.semanticweb.owlapi.model.axiomproviders.PropertyChainAxiomProvider

getOWLSubPropertyChainOfAxiom

Constructor Detail

OWLDataFactoryImpl

public OWLDataFactoryImpl()

Constructs an OWLDataFactoryImpl that uses caching but no compression.

OWLDataFactoryImpl

@Inject
public OWLDataFactoryImpl(boolean useCompression)

Parameters:

useCompression - true if compression should be used

Method Detail

purge

public void purge()

Specified by:

purge in interface OWLDataFactory

getOWLEntity

public <E extends OWLEntity> E getOWLEntity(EntityType<E> entityType,
                                            IRI iri)

Specified by:

getOWLEntity in interface EntityByTypeProvider

getOWLClass

public OWLClass getOWLClass(IRI iri)

Specified by:

getOWLClass in interface ClassProvider

getRDFSLabel

public OWLAnnotationProperty getRDFSLabel()

Specified by:

getRDFSLabel in interface OWLVocabularyProvider

getRDFSComment

public OWLAnnotationProperty getRDFSComment()

Specified by:

getRDFSComment in interface OWLVocabularyProvider

getRDFSSeeAlso

public OWLAnnotationProperty getRDFSSeeAlso()

Specified by:

getRDFSSeeAlso in interface OWLVocabularyProvider

getRDFSIsDefinedBy

public OWLAnnotationProperty getRDFSIsDefinedBy()

Specified by:

getRDFSIsDefinedBy in interface OWLVocabularyProvider

getOWLVersionInfo

public OWLAnnotationProperty getOWLVersionInfo()

Specified by:

getOWLVersionInfo in interface OWLVocabularyProvider

getOWLBackwardCompatibleWith

public OWLAnnotationProperty getOWLBackwardCompatibleWith()

Specified by:

getOWLBackwardCompatibleWith in interface OWLVocabularyProvider

getOWLIncompatibleWith

public OWLAnnotationProperty getOWLIncompatibleWith()

Specified by:

getOWLIncompatibleWith in interface OWLVocabularyProvider

getOWLDeprecated

public OWLAnnotationProperty getOWLDeprecated()

Specified by:

getOWLDeprecated in interface OWLVocabularyProvider

getOWLThing

public OWLClass getOWLThing()

Specified by:

getOWLThing in interface OWLVocabularyProvider

getOWLNothing

public OWLClass getOWLNothing()

Specified by:

getOWLNothing in interface OWLVocabularyProvider

getOWLBottomDataProperty

public OWLDataProperty getOWLBottomDataProperty()

Specified by:

getOWLBottomDataProperty in interface OWLVocabularyProvider

getOWLBottomObjectProperty

public OWLObjectProperty getOWLBottomObjectProperty()

Specified by:

getOWLBottomObjectProperty in interface OWLVocabularyProvider

getOWLTopDataProperty

public OWLDataProperty getOWLTopDataProperty()

Specified by:

getOWLTopDataProperty in interface OWLVocabularyProvider

getOWLTopObjectProperty

public OWLObjectProperty getOWLTopObjectProperty()

Specified by:

getOWLTopObjectProperty in interface OWLVocabularyProvider

getOWLObjectProperty

public OWLObjectProperty getOWLObjectProperty(IRI iri)

Specified by:

getOWLObjectProperty in interface ObjectPropertyProvider

getOWLDataProperty

public OWLDataProperty getOWLDataProperty(IRI iri)

Specified by:

getOWLDataProperty in interface DataPropertyProvider

getOWLNamedIndividual

public OWLNamedIndividual getOWLNamedIndividual(IRI iri)

Specified by:

getOWLNamedIndividual in interface NamedIndividualProvider

getOWLAnonymousIndividual

public OWLAnonymousIndividual getOWLAnonymousIndividual(String nodeId)

Specified by:

getOWLAnonymousIndividual in interface AnonymousIndividualByIdProvider

getOWLAnonymousIndividual

public OWLAnonymousIndividual getOWLAnonymousIndividual()

Specified by:

getOWLAnonymousIndividual in interface AnonymousIndividualProvider

getOWLDatatype

public OWLDatatype getOWLDatatype(IRI iri)

Specified by:

getOWLDatatype in interface DatatypeProvider

getOWLLiteral

public OWLLiteral getOWLLiteral(boolean value)

Specified by:

getOWLLiteral in interface LiteralProvider

getOWLDataOneOf

public OWLDataOneOf getOWLDataOneOf(java.util.stream.Stream<? extends OWLLiteral> values)

Specified by:

getOWLDataOneOf in interface NominalProvider

getOWLDataComplementOf

public OWLDataComplementOf getOWLDataComplementOf(OWLDataRange dataRange)

Specified by:

getOWLDataComplementOf in interface ComplementProvider

getOWLDataComplementOf

public OWLDataComplementOf getOWLDataComplementOf(OWL2Datatype dataRange)

Specified by:

getOWLDataComplementOf in interface ComplementProvider

getOWLDataIntersectionOf

public OWLDataIntersectionOf getOWLDataIntersectionOf(java.util.stream.Stream<? extends OWLDataRange> dataRanges)

Specified by:

getOWLDataIntersectionOf in interface IntersectionProvider

getOWLDataUnionOf

public OWLDataUnionOf getOWLDataUnionOf(java.util.stream.Stream<? extends OWLDataRange> dataRanges)

Specified by:

getOWLDataUnionOf in interface UnionProvider

getOWLDatatypeRestriction

public OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype dataType,
                                                        Collection<OWLFacetRestriction> facetRestrictions)

Specified by:

getOWLDatatypeRestriction in interface DatatypeExpressionProvider

getOWLDatatypeRestriction

public OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype dataType,
                                                        OWLFacet facet,
                                                        OWLLiteral typedLiteral)

Specified by:

getOWLDatatypeRestriction in interface DatatypeExpressionProvider

getOWLFacetRestriction

public OWLFacetRestriction getOWLFacetRestriction(OWLFacet facet,
                                                  OWLLiteral facetValue)

Specified by:

getOWLFacetRestriction in interface DatatypeExpressionProvider

getOWLObjectIntersectionOf

public OWLObjectIntersectionOf getOWLObjectIntersectionOf(java.util.stream.Stream<? extends OWLClassExpression> operands)

Specified by:

getOWLObjectIntersectionOf in interface IntersectionProvider

getOWLDataAllValuesFrom

public OWLDataAllValuesFrom getOWLDataAllValuesFrom(OWLDataPropertyExpression property,
                                                    OWLDataRange dataRange)

Specified by:

getOWLDataAllValuesFrom in interface UniversalProvider

getOWLDataAllValuesFrom

public OWLDataAllValuesFrom getOWLDataAllValuesFrom(OWLDataPropertyExpression property,
                                                    OWL2Datatype dataRange)

Specified by:

getOWLDataAllValuesFrom in interface UniversalProvider

getOWLDataExactCardinality

public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality,
                                                          OWLDataPropertyExpression property)

Specified by:

getOWLDataExactCardinality in interface CardinalityRestrictionProvider

getOWLDataExactCardinality

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

Specified by:

getOWLDataExactCardinality in interface CardinalityRestrictionProvider

getOWLDataExactCardinality

public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality,
                                                          OWLDataPropertyExpression property,
                                                          OWL2Datatype dataRange)

Specified by:

getOWLDataExactCardinality in interface CardinalityRestrictionProvider

getOWLDataMaxCardinality

public OWLDataMaxCardinality getOWLDataMaxCardinality(int cardinality,
                                                      OWLDataPropertyExpression property)

Specified by:

getOWLDataMaxCardinality in interface CardinalityRestrictionProvider

getOWLDataMaxCardinality

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

Specified by:

getOWLDataMaxCardinality in interface CardinalityRestrictionProvider

getOWLDataMaxCardinality

public OWLDataMaxCardinality getOWLDataMaxCardinality(int cardinality,
                                                      OWLDataPropertyExpression property,
                                                      OWL2Datatype dataRange)

Specified by:

getOWLDataMaxCardinality in interface CardinalityRestrictionProvider

getOWLDataMinCardinality

public OWLDataMinCardinality getOWLDataMinCardinality(int cardinality,
                                                      OWLDataPropertyExpression property)

Specified by:

getOWLDataMinCardinality in interface CardinalityRestrictionProvider

getOWLDataMinCardinality

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

Specified by:

getOWLDataMinCardinality in interface CardinalityRestrictionProvider

getOWLDataMinCardinality

public OWLDataMinCardinality getOWLDataMinCardinality(int cardinality,
                                                      OWLDataPropertyExpression property,
                                                      OWL2Datatype dataRange)

Specified by:

getOWLDataMinCardinality in interface CardinalityRestrictionProvider

getOWLDataSomeValuesFrom

public OWLDataSomeValuesFrom getOWLDataSomeValuesFrom(OWLDataPropertyExpression property,
                                                      OWLDataRange dataRange)

Specified by:

getOWLDataSomeValuesFrom in interface ExistentialProvider

getOWLDataSomeValuesFrom

public OWLDataSomeValuesFrom getOWLDataSomeValuesFrom(OWLDataPropertyExpression property,
                                                      OWL2Datatype dataRange)

Specified by:

getOWLDataSomeValuesFrom in interface ExistentialProvider

getOWLDataHasValue

public OWLDataHasValue getOWLDataHasValue(OWLDataPropertyExpression property,
                                          OWLLiteral value)

Specified by:

getOWLDataHasValue in interface HasValueProvider

getOWLObjectComplementOf

public OWLObjectComplementOf getOWLObjectComplementOf(OWLClassExpression operand)

Specified by:

getOWLObjectComplementOf in interface ComplementProvider

getOWLObjectAllValuesFrom

public OWLObjectAllValuesFrom getOWLObjectAllValuesFrom(OWLObjectPropertyExpression property,
                                                        OWLClassExpression classExpression)

Specified by:

getOWLObjectAllValuesFrom in interface UniversalProvider

getOWLObjectOneOf

public OWLObjectOneOf getOWLObjectOneOf(java.util.stream.Stream<? extends OWLIndividual> values)

Specified by:

getOWLObjectOneOf in interface NominalProvider

getOWLObjectExactCardinality

public OWLObjectExactCardinality getOWLObjectExactCardinality(int cardinality,
                                                              OWLObjectPropertyExpression property)

Specified by:

getOWLObjectExactCardinality in interface CardinalityRestrictionProvider

getOWLObjectExactCardinality

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

Specified by:

getOWLObjectExactCardinality in interface CardinalityRestrictionProvider

getOWLObjectMinCardinality

public OWLObjectMinCardinality getOWLObjectMinCardinality(int cardinality,
                                                          OWLObjectPropertyExpression property)

Specified by:

getOWLObjectMinCardinality in interface CardinalityRestrictionProvider

getOWLObjectMinCardinality

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

Specified by:

getOWLObjectMinCardinality in interface CardinalityRestrictionProvider

getOWLObjectMaxCardinality

public OWLObjectMaxCardinality getOWLObjectMaxCardinality(int cardinality,
                                                          OWLObjectPropertyExpression property)

Specified by:

getOWLObjectMaxCardinality in interface CardinalityRestrictionProvider

getOWLObjectMaxCardinality

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

Specified by:

getOWLObjectMaxCardinality in interface CardinalityRestrictionProvider

getOWLObjectHasSelf

public OWLObjectHasSelf getOWLObjectHasSelf(OWLObjectPropertyExpression property)

Specified by:

getOWLObjectHasSelf in interface HasSelfProvider

getOWLObjectSomeValuesFrom

public OWLObjectSomeValuesFrom getOWLObjectSomeValuesFrom(OWLObjectPropertyExpression property,
                                                          OWLClassExpression classExpression)

Specified by:

getOWLObjectSomeValuesFrom in interface ExistentialProvider

getOWLObjectHasValue

public OWLObjectHasValue getOWLObjectHasValue(OWLObjectPropertyExpression property,
                                              OWLIndividual individual)

Specified by:

getOWLObjectHasValue in interface HasValueProvider

getOWLObjectUnionOf

public OWLObjectUnionOf getOWLObjectUnionOf(java.util.stream.Stream<? extends OWLClassExpression> operands)

Specified by:

getOWLObjectUnionOf in interface UnionProvider

getOWLAsymmetricObjectPropertyAxiom

public OWLAsymmetricObjectPropertyAxiom getOWLAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression propertyExpression,
                                                                            Collection<OWLAnnotation> annotations)

Specified by:

getOWLAsymmetricObjectPropertyAxiom in interface PropertyCharacteristicAxiomProvider

getOWLDataPropertyDomainAxiom

public OWLDataPropertyDomainAxiom getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property,
                                                                OWLClassExpression domain,
                                                                Collection<OWLAnnotation> annotations)

Specified by:

getOWLDataPropertyDomainAxiom in interface DomainAxiomProvider

getOWLDataPropertyRangeAxiom

public OWLDataPropertyRangeAxiom getOWLDataPropertyRangeAxiom(OWLDataPropertyExpression property,
                                                              OWLDataRange owlDataRange,
                                                              Collection<OWLAnnotation> annotations)

Specified by:

getOWLDataPropertyRangeAxiom in interface RangeAxiomProvider

getOWLDataPropertyRangeAxiom

public OWLDataPropertyRangeAxiom getOWLDataPropertyRangeAxiom(OWLDataPropertyExpression property,
                                                              OWL2Datatype owlDataRange,
                                                              Collection<OWLAnnotation> annotations)

Specified by:

getOWLDataPropertyRangeAxiom in interface RangeAxiomProvider

getOWLSubDataPropertyOfAxiom

public OWLSubDataPropertyOfAxiom getOWLSubDataPropertyOfAxiom(OWLDataPropertyExpression subProperty,
                                                              OWLDataPropertyExpression superProperty,
                                                              Collection<OWLAnnotation> annotations)

Specified by:

getOWLSubDataPropertyOfAxiom in interface SubAxiomProvider

getOWLDeclarationAxiom

public OWLDeclarationAxiom getOWLDeclarationAxiom(OWLEntity owlEntity,
                                                  Collection<OWLAnnotation> annotations)

Specified by:

getOWLDeclarationAxiom in interface DeclarationAxiomProvider

getOWLDifferentIndividualsAxiom

public OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(Collection<? extends OWLIndividual> individuals,
                                                                    Collection<OWLAnnotation> annotations)

Specified by:

getOWLDifferentIndividualsAxiom in interface IndividualAssertionProvider

getOWLDisjointClassesAxiom

public OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(Collection<? extends OWLClassExpression> classExpressions,
                                                          Collection<OWLAnnotation> annotations)

Specified by:

getOWLDisjointClassesAxiom in interface DisjointAxiomProvider

getOWLDisjointDataPropertiesAxiom

public OWLDisjointDataPropertiesAxiom getOWLDisjointDataPropertiesAxiom(Collection<? extends OWLDataPropertyExpression> properties,
                                                                        Collection<OWLAnnotation> annotations)

Specified by:

getOWLDisjointDataPropertiesAxiom in interface DisjointAxiomProvider

getOWLDisjointObjectPropertiesAxiom

public OWLDisjointObjectPropertiesAxiom getOWLDisjointObjectPropertiesAxiom(Collection<? extends OWLObjectPropertyExpression> properties,
                                                                            Collection<OWLAnnotation> annotations)

Specified by:

getOWLDisjointObjectPropertiesAxiom in interface DisjointAxiomProvider

getOWLEquivalentClassesAxiom

public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(Collection<? extends OWLClassExpression> classExpressions,
                                                              Collection<OWLAnnotation> annotations)

Specified by:

getOWLEquivalentClassesAxiom in interface EquivalentAxiomProvider

getOWLEquivalentDataPropertiesAxiom

public OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(Collection<? extends OWLDataPropertyExpression> properties,
                                                                            Collection<OWLAnnotation> annotations)

Specified by:

getOWLEquivalentDataPropertiesAxiom in interface EquivalentAxiomProvider

getOWLFunctionalDataPropertyAxiom

public OWLFunctionalDataPropertyAxiom getOWLFunctionalDataPropertyAxiom(OWLDataPropertyExpression property,
                                                                        Collection<OWLAnnotation> annotations)

Specified by:

getOWLFunctionalDataPropertyAxiom in interface PropertyCharacteristicAxiomProvider

getOWLFunctionalObjectPropertyAxiom

public OWLFunctionalObjectPropertyAxiom getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                            Collection<OWLAnnotation> annotations)

Specified by:

getOWLFunctionalObjectPropertyAxiom in interface PropertyCharacteristicAxiomProvider

getOWLImportsDeclaration

public OWLImportsDeclaration getOWLImportsDeclaration(IRI importedOntologyIRI)

Specified by:

getOWLImportsDeclaration in interface OWLDataFactory

getOWLDataPropertyAssertionAxiom

public OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                                      OWLIndividual subject,
                                                                      OWLLiteral object,
                                                                      Collection<OWLAnnotation> annotations)

Specified by:

getOWLDataPropertyAssertionAxiom in interface DataAssertionProvider

getOWLNegativeDataPropertyAssertionAxiom

public OWLNegativeDataPropertyAssertionAxiom getOWLNegativeDataPropertyAssertionAxiom(OWLDataPropertyExpression property,
                                                                                      OWLIndividual subject,
                                                                                      OWLLiteral object,
                                                                                      Collection<OWLAnnotation> annotations)

Specified by:

getOWLNegativeDataPropertyAssertionAxiom in interface DataAssertionProvider

getOWLNegativeObjectPropertyAssertionAxiom

public OWLNegativeObjectPropertyAssertionAxiom getOWLNegativeObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
                                                                                          OWLIndividual subject,
                                                                                          OWLIndividual object,
                                                                                          Collection<OWLAnnotation> annotations)

Specified by:

getOWLNegativeObjectPropertyAssertionAxiom in interface ObjectAssertionProvider

getOWLClassAssertionAxiom

public OWLClassAssertionAxiom getOWLClassAssertionAxiom(OWLClassExpression classExpression,
                                                        OWLIndividual individual,
                                                        Collection<OWLAnnotation> annotations)

Specified by:

getOWLClassAssertionAxiom in interface ClassAssertionProvider

getOWLInverseFunctionalObjectPropertyAxiom

public OWLInverseFunctionalObjectPropertyAxiom getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                                          Collection<OWLAnnotation> annotations)

Specified by:

getOWLInverseFunctionalObjectPropertyAxiom in interface PropertyCharacteristicAxiomProvider

getOWLIrreflexiveObjectPropertyAxiom

public OWLIrreflexiveObjectPropertyAxiom getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                              Collection<OWLAnnotation> annotations)

Specified by:

getOWLIrreflexiveObjectPropertyAxiom in interface PropertyCharacteristicAxiomProvider

getOWLObjectPropertyDomainAxiom

public OWLObjectPropertyDomainAxiom getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property,
                                                                    OWLClassExpression classExpression,
                                                                    Collection<OWLAnnotation> annotations)

Specified by:

getOWLObjectPropertyDomainAxiom in interface DomainAxiomProvider

getOWLObjectPropertyRangeAxiom

public OWLObjectPropertyRangeAxiom getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property,
                                                                  OWLClassExpression range,
                                                                  Collection<OWLAnnotation> annotations)

Specified by:

getOWLObjectPropertyRangeAxiom in interface RangeAxiomProvider

getOWLSubObjectPropertyOfAxiom

public OWLSubObjectPropertyOfAxiom getOWLSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty,
                                                                  OWLObjectPropertyExpression superProperty,
                                                                  Collection<OWLAnnotation> annotations)

Specified by:

getOWLSubObjectPropertyOfAxiom in interface SubAxiomProvider

getOWLReflexiveObjectPropertyAxiom

public OWLReflexiveObjectPropertyAxiom getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                          Collection<OWLAnnotation> annotations)

Specified by:

getOWLReflexiveObjectPropertyAxiom in interface PropertyCharacteristicAxiomProvider

getOWLSameIndividualAxiom

public OWLSameIndividualAxiom getOWLSameIndividualAxiom(Collection<? extends OWLIndividual> individuals,
                                                        Collection<OWLAnnotation> annotations)

Specified by:

getOWLSameIndividualAxiom in interface IndividualAssertionProvider

getOWLSubClassOfAxiom

public OWLSubClassOfAxiom getOWLSubClassOfAxiom(OWLClassExpression subClass,
                                                OWLClassExpression superClass,
                                                Collection<OWLAnnotation> annotations)

Specified by:

getOWLSubClassOfAxiom in interface SubAxiomProvider

getOWLSymmetricObjectPropertyAxiom

public OWLSymmetricObjectPropertyAxiom getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                          Collection<OWLAnnotation> annotations)

Specified by:

getOWLSymmetricObjectPropertyAxiom in interface PropertyCharacteristicAxiomProvider

getOWLTransitiveObjectPropertyAxiom

public OWLTransitiveObjectPropertyAxiom getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                            Collection<OWLAnnotation> annotations)

Specified by:

getOWLTransitiveObjectPropertyAxiom in interface PropertyCharacteristicAxiomProvider

getOWLObjectInverseOf

public OWLObjectInverseOf getOWLObjectInverseOf(OWLObjectProperty property)

Specified by:

getOWLObjectInverseOf in interface InverseProvider

getOWLInverseObjectPropertiesAxiom

public OWLInverseObjectPropertiesAxiom getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty,
                                                                          OWLObjectPropertyExpression inverseProperty,
                                                                          Collection<OWLAnnotation> annotations)

Specified by:

getOWLInverseObjectPropertiesAxiom in interface InverseAxiomProvider

getOWLSubPropertyChainOfAxiom

public OWLSubPropertyChainOfAxiom getOWLSubPropertyChainOfAxiom(List<? extends OWLObjectPropertyExpression> chain,
                                                                OWLObjectPropertyExpression superProperty,
                                                                Collection<OWLAnnotation> annotations)

Specified by:

getOWLSubPropertyChainOfAxiom in interface PropertyChainAxiomProvider

getOWLHasKeyAxiom

public OWLHasKeyAxiom getOWLHasKeyAxiom(OWLClassExpression ce,
                                        Collection<? extends OWLPropertyExpression> objectProperties,
                                        Collection<OWLAnnotation> annotations)

Specified by:

getOWLHasKeyAxiom in interface HasKeyAxiomProvider

getOWLDisjointUnionAxiom

public OWLDisjointUnionAxiom getOWLDisjointUnionAxiom(OWLClass owlClass,
                                                      java.util.stream.Stream<? extends OWLClassExpression> classExpressions,
                                                      Collection<OWLAnnotation> annotations)

Specified by:

getOWLDisjointUnionAxiom in interface DisjointUnionAxiomProvider

getOWLEquivalentObjectPropertiesAxiom

public OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(Collection<? extends OWLObjectPropertyExpression> properties,
                                                                                Collection<OWLAnnotation> annotations)

Specified by:

getOWLEquivalentObjectPropertiesAxiom in interface EquivalentAxiomProvider

getOWLObjectPropertyAssertionAxiom

public OWLObjectPropertyAssertionAxiom getOWLObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
                                                                          OWLIndividual individual,
                                                                          OWLIndividual object,
                                                                          Collection<OWLAnnotation> annotations)

Specified by:

getOWLObjectPropertyAssertionAxiom in interface ObjectAssertionProvider

getOWLSubAnnotationPropertyOfAxiom

public OWLSubAnnotationPropertyOfAxiom getOWLSubAnnotationPropertyOfAxiom(OWLAnnotationProperty sub,
                                                                          OWLAnnotationProperty sup,
                                                                          Collection<OWLAnnotation> annotations)

Specified by:

getOWLSubAnnotationPropertyOfAxiom in interface SubAxiomProvider

getOWLAnnotationProperty

public OWLAnnotationProperty getOWLAnnotationProperty(IRI iri)

Specified by:

getOWLAnnotationProperty in interface AnnotationPropertyProvider

getOWLAnnotation

public OWLAnnotation getOWLAnnotation(OWLAnnotationProperty property,
                                      OWLAnnotationValue value)

Specified by:

getOWLAnnotation in interface AnnotationProvider

getOWLAnnotation

public OWLAnnotation getOWLAnnotation(OWLAnnotationProperty property,
                                      OWLAnnotationValue value,
                                      java.util.stream.Stream<OWLAnnotation> annotations)

Specified by:

getOWLAnnotation in interface AnnotationProvider

getOWLAnnotationAssertionAxiom

public OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationSubject subject,
                                                                  OWLAnnotation annotation)

Specified by:

getOWLAnnotationAssertionAxiom in interface AnnotationAssertionProvider

getOWLAnnotationAssertionAxiom

public OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationSubject subject,
                                                                  OWLAnnotation annotation,
                                                                  Collection<OWLAnnotation> annotations)

Specified by:

getOWLAnnotationAssertionAxiom in interface AnnotationAssertionProvider

getOWLAnnotationAssertionAxiom

public OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationProperty property,
                                                                  OWLAnnotationSubject subject,
                                                                  OWLAnnotationValue value,
                                                                  Collection<OWLAnnotation> annotations)

Specified by:

getOWLAnnotationAssertionAxiom in interface AnnotationAssertionProvider

getDeprecatedOWLAnnotationAssertionAxiom

public OWLAnnotationAssertionAxiom getDeprecatedOWLAnnotationAssertionAxiom(IRI subject)

Specified by:

getDeprecatedOWLAnnotationAssertionAxiom in interface AnnotationAssertionProvider

getOWLAnnotationPropertyDomainAxiom

public OWLAnnotationPropertyDomainAxiom getOWLAnnotationPropertyDomainAxiom(OWLAnnotationProperty prop,
                                                                            IRI domain,
                                                                            Collection<OWLAnnotation> annotations)

Specified by:

getOWLAnnotationPropertyDomainAxiom in interface DomainAxiomProvider

getOWLAnnotationPropertyRangeAxiom

public OWLAnnotationPropertyRangeAxiom getOWLAnnotationPropertyRangeAxiom(OWLAnnotationProperty prop,
                                                                          IRI range,
                                                                          Collection<OWLAnnotation> annotations)

Specified by:

getOWLAnnotationPropertyRangeAxiom in interface RangeAxiomProvider

getSWRLRule

public SWRLRule getSWRLRule(Collection<? extends SWRLAtom> body,
                            Collection<? extends SWRLAtom> head,
                            Collection<OWLAnnotation> annotations)

Specified by:

getSWRLRule in interface SWRLProvider

getSWRLRule

public SWRLRule getSWRLRule(Collection<? extends SWRLAtom> body,
                            Collection<? extends SWRLAtom> head)

Specified by:

getSWRLRule in interface SWRLProvider

getSWRLClassAtom

public SWRLClassAtom getSWRLClassAtom(OWLClassExpression predicate,
                                      SWRLIArgument arg)

Specified by:

getSWRLClassAtom in interface SWRLProvider

getSWRLDataRangeAtom

public SWRLDataRangeAtom getSWRLDataRangeAtom(OWLDataRange predicate,
                                              SWRLDArgument arg)

Specified by:

getSWRLDataRangeAtom in interface SWRLProvider

getSWRLDataRangeAtom

public SWRLDataRangeAtom getSWRLDataRangeAtom(OWL2Datatype predicate,
                                              SWRLDArgument arg)

Specified by:

getSWRLDataRangeAtom in interface SWRLProvider

getSWRLObjectPropertyAtom

public SWRLObjectPropertyAtom getSWRLObjectPropertyAtom(OWLObjectPropertyExpression property,
                                                        SWRLIArgument arg0,
                                                        SWRLIArgument arg1)

Specified by:

getSWRLObjectPropertyAtom in interface SWRLProvider

getSWRLDataPropertyAtom

public SWRLDataPropertyAtom getSWRLDataPropertyAtom(OWLDataPropertyExpression property,
                                                    SWRLIArgument arg0,
                                                    SWRLDArgument arg1)

Specified by:

getSWRLDataPropertyAtom in interface SWRLProvider

getSWRLBuiltInAtom

public SWRLBuiltInAtom getSWRLBuiltInAtom(IRI builtInIRI,
                                          List<SWRLDArgument> args)

Specified by:

getSWRLBuiltInAtom in interface SWRLProvider

getSWRLVariable

public SWRLVariable getSWRLVariable(IRI var)

Specified by:

getSWRLVariable in interface SWRLProvider

getSWRLIndividualArgument

public SWRLIndividualArgument getSWRLIndividualArgument(OWLIndividual individual)

Specified by:

getSWRLIndividualArgument in interface SWRLProvider

getSWRLLiteralArgument

public SWRLLiteralArgument getSWRLLiteralArgument(OWLLiteral literal)

Specified by:

getSWRLLiteralArgument in interface SWRLProvider

getSWRLDifferentIndividualsAtom

public SWRLDifferentIndividualsAtom getSWRLDifferentIndividualsAtom(SWRLIArgument arg0,
                                                                    SWRLIArgument arg1)

Specified by:

getSWRLDifferentIndividualsAtom in interface SWRLProvider

getSWRLSameIndividualAtom

public SWRLSameIndividualAtom getSWRLSameIndividualAtom(SWRLIArgument arg0,
                                                        SWRLIArgument arg1)

Specified by:

getSWRLSameIndividualAtom in interface SWRLProvider

getOWLDatatypeDefinitionAxiom

public OWLDatatypeDefinitionAxiom getOWLDatatypeDefinitionAxiom(OWLDatatype datatype,
                                                                OWLDataRange dataRange,
                                                                Collection<OWLAnnotation> annotations)

Specified by:

getOWLDatatypeDefinitionAxiom in interface DeclarationAxiomProvider

getOWLDatatypeDefinitionAxiom

public OWLDatatypeDefinitionAxiom getOWLDatatypeDefinitionAxiom(OWLDatatype datatype,
                                                                OWL2Datatype dataRange,
                                                                Collection<OWLAnnotation> annotations)

Specified by:

getOWLDatatypeDefinitionAxiom in interface DeclarationAxiomProvider

getOWLLiteral

public OWLLiteral getOWLLiteral(String lexicalValue,
                                OWLDatatype datatype)

Specified by:

getOWLLiteral in interface LiteralProvider

getOWLLiteral

public OWLLiteral getOWLLiteral(int value)

Specified by:

getOWLLiteral in interface LiteralProvider

getOWLLiteral

public OWLLiteral getOWLLiteral(double value)

Specified by:

getOWLLiteral in interface LiteralProvider

getOWLLiteral

public OWLLiteral getOWLLiteral(float value)

Specified by:

getOWLLiteral in interface LiteralProvider

getOWLLiteral

public OWLLiteral getOWLLiteral(String value)

Specified by:

getOWLLiteral in interface LiteralProvider

getOWLLiteral

public OWLLiteral getOWLLiteral(String literal,
                                @Nullable
                                String lang)

Specified by:

getOWLLiteral in interface LiteralProvider

getBooleanOWLDatatype

public OWLDatatype getBooleanOWLDatatype()

Specified by:

getBooleanOWLDatatype in interface OWLVocabularyProvider

getStringOWLDatatype

public OWLDatatype getStringOWLDatatype()

Specified by:

getStringOWLDatatype in interface OWLVocabularyProvider

getDoubleOWLDatatype

public OWLDatatype getDoubleOWLDatatype()

Specified by:

getDoubleOWLDatatype in interface OWLVocabularyProvider

getFloatOWLDatatype

public OWLDatatype getFloatOWLDatatype()

Specified by:

getFloatOWLDatatype in interface OWLVocabularyProvider

getIntegerOWLDatatype

public OWLDatatype getIntegerOWLDatatype()

Specified by:

getIntegerOWLDatatype in interface OWLVocabularyProvider

getTopDatatype

public OWLDatatype getTopDatatype()

Specified by:

getTopDatatype in interface OWLVocabularyProvider

getRDFPlainLiteral

public OWLDatatype getRDFPlainLiteral()

Specified by:

getRDFPlainLiteral in interface OWLVocabularyProvider