public abstract class OWLAxiomIndexImpl extends OWLObjectImplWithEntityAndAnonCaching implements OWLAxiomIndex, HasTrimToSize
Constructor and Description |
---|
OWLAxiomIndexImpl() |
Modifier and Type | Method and Description |
---|---|
Set<OWLAnnotationAssertionAxiom> |
getAnnotationAssertionAxioms(OWLAnnotationSubject entity)
Gets the axioms that annotate the specified entity.
|
Set<OWLAnnotationPropertyDomainAxiom> |
getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)
Gets the
OWLAnnotationPropertyDomainAxiom s where the specified
property is the property in the domain axiom. |
Set<OWLAnnotationPropertyRangeAxiom> |
getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)
Gets the
OWLAnnotationPropertyRangeAxiom s where the specified
property is the property in the range axiom. |
Set<OWLAsymmetricObjectPropertyAxiom> |
getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLAsymmetricObjectPropertyAxiom s contained in this
ontology that make the specified object property asymmetric. |
Set<OWLClassAssertionAxiom> |
getClassAssertionAxioms(OWLClassExpression ce)
Gets the
OWLClassAssertionAxiom s contained in this ontology that
make the specified class expression, ce , a type for some
individual. |
Set<OWLClassAssertionAxiom> |
getClassAssertionAxioms(OWLIndividual individual)
Gets the
OWLClassAssertionAxiom s contained in this ontology that
make the specified individual an instance of some class
expression. |
Set<OWLDataPropertyAssertionAxiom> |
getDataPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLDataPropertyAssertionAxiom s contained in this
ontology that have the specified individual as the subject of the
axiom. |
Set<OWLDataPropertyDomainAxiom> |
getDataPropertyDomainAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyDomainAxiom s where the property is equal
to the specified property. |
Set<OWLDataPropertyRangeAxiom> |
getDataPropertyRangeAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyRangeAxiom s where the property is equal
to the specified property. |
Set<OWLSubDataPropertyOfAxiom> |
getDataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
Gets the
OWLSubDataPropertyOfAxiom s where the sub-property is
equal to the specified property. |
Set<OWLSubDataPropertyOfAxiom> |
getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)
Gets the
OWLSubDataPropertyOfAxiom s where the super-property is
equal to the specified property. |
Set<OWLDatatypeDefinitionAxiom> |
getDatatypeDefinitions(OWLDatatype datatype)
Gets the
OWLDatatypeDefinitionAxiom s contained in this ontology
that provide a definition for the specified datatype. |
Set<OWLDeclarationAxiom> |
getDeclarationAxioms(OWLEntity subject)
Gets the declaration axioms for specified entity.
|
Set<OWLDifferentIndividualsAxiom> |
getDifferentIndividualAxioms(OWLIndividual individual)
Gets the
OWLDifferentIndividualsAxiom s contained in this ontology
that make the specified individual different to some other
individual. |
Set<OWLDisjointClassesAxiom> |
getDisjointClassesAxioms(OWLClass cls)
Gets the set of disjoint class axioms that contain the specified class as
an operand.
|
Set<OWLDisjointDataPropertiesAxiom> |
getDisjointDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLDisjointDataPropertiesAxiom s that make the specified
property disjoint with some other data property expression(s). |
Set<OWLDisjointObjectPropertiesAxiom> |
getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Gets the
OWLDisjointObjectPropertiesAxiom s that make the
specified property disjoint with some other object property
expression(s). |
Set<OWLDisjointUnionAxiom> |
getDisjointUnionAxioms(OWLClass owlClass)
Gets the set of disjoint union axioms that have the specified class as
the named class that is equivalent to the disjoint union of operands.
|
Set<OWLEquivalentClassesAxiom> |
getEquivalentClassesAxioms(OWLClass cls)
Gets all of the equivalent axioms in this ontology that contain the
specified class as an operand.
|
Set<OWLEquivalentDataPropertiesAxiom> |
getEquivalentDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLEquivalentDataPropertiesAxiom s that make the
specified property equivalent to some other data property expression(s). |
Set<OWLEquivalentObjectPropertiesAxiom> |
getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Gets the
OWLEquivalentObjectPropertiesAxiom s that make the
specified property equivalent to some other object property
expression(s). |
Set<OWLFunctionalDataPropertyAxiom> |
getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)
Gets the
OWLFunctionalDataPropertyAxiom s contained in this
ontology that make the specified data property functional. |
Set<OWLFunctionalObjectPropertyAxiom> |
getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLFunctionalObjectPropertyAxiom s contained in this
ontology that make the specified object property functional. |
Set<OWLHasKeyAxiom> |
getHasKeyAxioms(OWLClass cls)
Gets the has key axioms that have the specified class as their subject.
|
Set<OWLInverseFunctionalObjectPropertyAxiom> |
getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLInverseFunctionalObjectPropertyAxiom s contained in
this ontology that make the specified object property inverse functional. |
Set<OWLInverseObjectPropertiesAxiom> |
getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLInverseObjectPropertiesAxiom s where the specified
property is contained in the set returned by
OWLNaryPropertyAxiom.getProperties() . |
Set<OWLIrreflexiveObjectPropertyAxiom> |
getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLIrreflexiveObjectPropertyAxiom s contained in this
ontology that make the specified object property irreflexive. |
Set<OWLNegativeDataPropertyAssertionAxiom> |
getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLNegativeDataPropertyAssertionAxiom s contained in
this ontology that have the specified individual as the subject
of the axiom. |
Set<OWLNegativeObjectPropertyAssertionAxiom> |
getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLNegativeObjectPropertyAssertionAxiom s contained in
this ontology that have the specified individual as the subject
of the axiom. |
Set<OWLObjectPropertyAssertionAxiom> |
getObjectPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLObjectPropertyAssertionAxiom s contained in this
ontology that have the specified individual as the subject of the
axiom. |
Set<OWLObjectPropertyDomainAxiom> |
getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
Gets the
OWLObjectPropertyDomainAxiom s where the property is
equal to the specified property. |
Set<OWLObjectPropertyRangeAxiom> |
getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
Gets the
OWLObjectPropertyRangeAxiom s where the property is
equal to the specified property. |
Set<OWLSubObjectPropertyOfAxiom> |
getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)
Gets the
OWLSubObjectPropertyOfAxiom s where the sub-property is
equal to the specified property. |
Set<OWLSubObjectPropertyOfAxiom> |
getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)
Gets the
OWLSubObjectPropertyOfAxiom s where the super-property
is equal to the specified property. |
Set<OWLReflexiveObjectPropertyAxiom> |
getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLReflexiveObjectPropertyAxiom s contained in this
ontology that make the specified object property reflexive. |
Set<OWLSameIndividualAxiom> |
getSameIndividualAxioms(OWLIndividual individual)
Gets the
OWLSameIndividualAxiom s contained in this ontology that
make the specified individual the same as some other individual. |
Set<OWLSubAnnotationPropertyOfAxiom> |
getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
Gets the
SubAnnotationPropertyOfAxiom s where the specified
property is the sub-property. |
Set<OWLSubClassOfAxiom> |
getSubClassAxiomsForSubClass(OWLClass cls)
Gets all of the subclass axioms where the left hand side (the subclass)
is equal to the specified class.
|
Set<OWLSubClassOfAxiom> |
getSubClassAxiomsForSuperClass(OWLClass cls)
Gets all of the subclass axioms where the right hand side (the
superclass) is equal to the specified class.
|
Set<OWLSymmetricObjectPropertyAxiom> |
getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLSymmetricObjectPropertyAxiom s contained in this
ontology that make the specified object property symmetric. |
Set<OWLTransitiveObjectPropertyAxiom> |
getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLTransitiveObjectPropertyAxiom s contained in this
ontology that make the specified object property transitive. |
void |
trimToSize()
Trim the capacity of the axiom indexes.
|
compareTo, containsEntityInSignature, equals, getAnnotationPropertiesInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
contains, filterAxioms, getAxioms, getAxioms
accept, accept, isIndividual, isIRI
isAnonymous, isNamed
public void trimToSize()
HasTrimToSize
trimToSize
in interface HasTrimToSize
public Set<OWLDeclarationAxiom> getDeclarationAxioms(OWLEntity subject)
OWLAxiomIndex
getDeclarationAxioms
in interface OWLAxiomIndex
subject
- The entity that is the subject of the set of returned axioms.public Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject entity)
OWLAxiomIndex
getAnnotationAssertionAxioms
in interface OWLAxiomIndex
entity
- The entity whose annotations are to be retrieved.public Set<OWLDatatypeDefinitionAxiom> getDatatypeDefinitions(OWLDatatype datatype)
OWLAxiomIndex
OWLDatatypeDefinitionAxiom
s contained in this ontology
that provide a definition for the specified datatype.getDatatypeDefinitions
in interface OWLAxiomIndex
datatype
- The datatype for which the returned axioms provide a definition.public Set<OWLSubAnnotationPropertyOfAxiom> getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
OWLAxiomIndex
SubAnnotationPropertyOfAxiom
s where the specified
property is the sub-property.getSubAnnotationPropertyOfAxioms
in interface OWLAxiomIndex
subProperty
- The sub-property of the axioms to be retrieved.public Set<OWLAnnotationPropertyDomainAxiom> getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)
OWLAxiomIndex
OWLAnnotationPropertyDomainAxiom
s where the specified
property is the property in the domain axiom.getAnnotationPropertyDomainAxioms
in interface OWLAxiomIndex
property
- The property that the axiom specifies a domain for.public Set<OWLAnnotationPropertyRangeAxiom> getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)
OWLAxiomIndex
OWLAnnotationPropertyRangeAxiom
s where the specified
property is the property in the range axiom.getAnnotationPropertyRangeAxioms
in interface OWLAxiomIndex
property
- The property that the axiom specifies a range for.public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass cls)
OWLAxiomIndex
getSubClassAxiomsForSubClass
in interface OWLAxiomIndex
cls
- The class that is equal to the left hand side of the axiom
(subclass).public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSuperClass(OWLClass cls)
OWLAxiomIndex
getSubClassAxiomsForSuperClass
in interface OWLAxiomIndex
cls
- The classpublic Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass cls)
OWLAxiomIndex
getEquivalentClassesAxioms
in interface OWLAxiomIndex
cls
- The class to searchpublic Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(OWLClass cls)
OWLAxiomIndex
getDisjointClassesAxioms
in interface OWLAxiomIndex
cls
- The class to searchpublic Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(OWLClass owlClass)
OWLAxiomIndex
getDisjointUnionAxioms
in interface OWLAxiomIndex
owlClass
- The class that indexes the axioms to be retrieved.public Set<OWLHasKeyAxiom> getHasKeyAxioms(OWLClass cls)
OWLAxiomIndex
getHasKeyAxioms
in interface OWLAxiomIndex
cls
- The subject of the has key axiomspublic Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)
OWLAxiomIndex
OWLSubObjectPropertyOfAxiom
s where the sub-property is
equal to the specified property.getObjectSubPropertyAxiomsForSubProperty
in interface OWLAxiomIndex
subProperty
- The property which is equal to the sub property of the retrieved
axioms.public Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)
OWLAxiomIndex
OWLSubObjectPropertyOfAxiom
s where the super-property
is equal to the specified property.getObjectSubPropertyAxiomsForSuperProperty
in interface OWLAxiomIndex
superProperty
- The property which is equal to the super-property of the retrieved
axioms.public Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndex
OWLObjectPropertyDomainAxiom
s where the property is
equal to the specified property.getObjectPropertyDomainAxioms
in interface OWLAxiomIndex
property
- The property which is equal to the property of the retrieved
axioms.public Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndex
OWLObjectPropertyRangeAxiom
s where the property is
equal to the specified property.getObjectPropertyRangeAxioms
in interface OWLAxiomIndex
property
- The property which is equal to the property of the retrieved
axioms.public Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndex
OWLInverseObjectPropertiesAxiom
s where the specified
property is contained in the set returned by
OWLNaryPropertyAxiom.getProperties()
.getInverseObjectPropertyAxioms
in interface OWLAxiomIndex
property
- The property which is equal to the property of the retrieved
axioms.public Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndex
OWLEquivalentObjectPropertiesAxiom
s that make the
specified property equivalent to some other object property
expression(s).getEquivalentObjectPropertiesAxioms
in interface OWLAxiomIndex
property
- The property that the retrieved axioms make equivalent to some
other property expressions.public Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndex
OWLDisjointObjectPropertiesAxiom
s that make the
specified property disjoint with some other object property
expression(s).getDisjointObjectPropertiesAxioms
in interface OWLAxiomIndex
property
- The property that the retrieved axioms makes disjoint to some
other property expressions.public Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndex
OWLFunctionalObjectPropertyAxiom
s contained in this
ontology that make the specified object property functional.getFunctionalObjectPropertyAxioms
in interface OWLAxiomIndex
property
- The property that is made functional by the axioms.public Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndex
OWLInverseFunctionalObjectPropertyAxiom
s contained in
this ontology that make the specified object property inverse functional.getInverseFunctionalObjectPropertyAxioms
in interface OWLAxiomIndex
property
- The property that is made inverse functional by the axioms.public Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndex
OWLSymmetricObjectPropertyAxiom
s contained in this
ontology that make the specified object property symmetric.getSymmetricObjectPropertyAxioms
in interface OWLAxiomIndex
property
- The property that is made symmetric by the axioms.public Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndex
OWLAsymmetricObjectPropertyAxiom
s contained in this
ontology that make the specified object property asymmetric.getAsymmetricObjectPropertyAxioms
in interface OWLAxiomIndex
property
- The property that is made asymmetric by the axioms.public Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndex
OWLReflexiveObjectPropertyAxiom
s contained in this
ontology that make the specified object property reflexive.getReflexiveObjectPropertyAxioms
in interface OWLAxiomIndex
property
- The property that is made reflexive by the axioms.public Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndex
OWLIrreflexiveObjectPropertyAxiom
s contained in this
ontology that make the specified object property irreflexive.getIrreflexiveObjectPropertyAxioms
in interface OWLAxiomIndex
property
- The property that is made irreflexive by the axioms.public Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndex
OWLTransitiveObjectPropertyAxiom
s contained in this
ontology that make the specified object property transitive.getTransitiveObjectPropertyAxioms
in interface OWLAxiomIndex
property
- The property that is made transitive by the axioms.public Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)
OWLAxiomIndex
OWLFunctionalDataPropertyAxiom
s contained in this
ontology that make the specified data property functional.getFunctionalDataPropertyAxioms
in interface OWLAxiomIndex
property
- The property that is made functional by the axioms.public Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
OWLAxiomIndex
OWLSubDataPropertyOfAxiom
s where the sub-property is
equal to the specified property.getDataSubPropertyAxiomsForSubProperty
in interface OWLAxiomIndex
subProperty
- The property which is equal to the sub property of the retrieved
axioms.public Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)
OWLAxiomIndex
OWLSubDataPropertyOfAxiom
s where the super-property is
equal to the specified property.getDataSubPropertyAxiomsForSuperProperty
in interface OWLAxiomIndex
superProperty
- The property which is equal to the super-property of the retrieved
axioms.public Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(OWLDataProperty property)
OWLAxiomIndex
OWLDataPropertyDomainAxiom
s where the property is equal
to the specified property.getDataPropertyDomainAxioms
in interface OWLAxiomIndex
property
- The property which is equal to the property of the retrieved
axioms.public Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(OWLDataProperty property)
OWLAxiomIndex
OWLDataPropertyRangeAxiom
s where the property is equal
to the specified property.getDataPropertyRangeAxioms
in interface OWLAxiomIndex
property
- The property which is equal to the property of the retrieved
axioms.public Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(OWLDataProperty property)
OWLAxiomIndex
OWLEquivalentDataPropertiesAxiom
s that make the
specified property equivalent to some other data property expression(s).getEquivalentDataPropertiesAxioms
in interface OWLAxiomIndex
property
- The property that the retrieved axioms make equivalent to some
other property expressions.public Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(OWLDataProperty property)
OWLAxiomIndex
OWLDisjointDataPropertiesAxiom
s that make the specified
property disjoint with some other data property expression(s).getDisjointDataPropertiesAxioms
in interface OWLAxiomIndex
property
- The property that the retrieved axioms makes disjoint to some
other property expressions.public Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLIndividual individual)
OWLAxiomIndex
OWLClassAssertionAxiom
s contained in this ontology that
make the specified individual
an instance of some class
expression.getClassAssertionAxioms
in interface OWLAxiomIndex
individual
- The individual that the returned axioms make an instance of some
class expression.public Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClassExpression ce)
OWLAxiomIndex
OWLClassAssertionAxiom
s contained in this ontology that
make the specified class expression, ce
, a type for some
individual.getClassAssertionAxioms
in interface OWLAxiomIndex
ce
- The class expression that the returned axioms make a type for some
individual.public Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(OWLIndividual individual)
OWLAxiomIndex
OWLDataPropertyAssertionAxiom
s contained in this
ontology that have the specified individual
as the subject of the
axiom.getDataPropertyAssertionAxioms
in interface OWLAxiomIndex
individual
- The individual that the returned axioms have as a subject.public Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual individual)
OWLAxiomIndex
OWLObjectPropertyAssertionAxiom
s contained in this
ontology that have the specified individual
as the subject of the
axiom.getObjectPropertyAssertionAxioms
in interface OWLAxiomIndex
individual
- The individual that the returned axioms have as a subject.public Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)
OWLAxiomIndex
OWLNegativeObjectPropertyAssertionAxiom
s contained in
this ontology that have the specified individual
as the subject
of the axiom.getNegativeObjectPropertyAssertionAxioms
in interface OWLAxiomIndex
individual
- The individual that the returned axioms have as a subject.public Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)
OWLAxiomIndex
OWLNegativeDataPropertyAssertionAxiom
s contained in
this ontology that have the specified individual
as the subject
of the axiom.getNegativeDataPropertyAssertionAxioms
in interface OWLAxiomIndex
individual
- The individual that the returned axioms have as a subject.public Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual individual)
OWLAxiomIndex
OWLSameIndividualAxiom
s contained in this ontology that
make the specified individual
the same as some other individual.getSameIndividualAxioms
in interface OWLAxiomIndex
individual
- The individual that the returned axioms make the same as some
other individual.public Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(OWLIndividual individual)
OWLAxiomIndex
OWLDifferentIndividualsAxiom
s contained in this ontology
that make the specified individual
different to some other
individual.getDifferentIndividualAxioms
in interface OWLAxiomIndex
individual
- The individual that the returned axioms make the different as some
other individual.Copyright © 2020 The University of Manchester. All rights reserved.