uk.ac.manchester.cs.owl.owlapi

Class OWLAxiomIndexImpl

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLObjectImplWithEntityAndAnonCaching

uk.ac.manchester.cs.owl.owlapi.OWLAxiomIndexImpl

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, OWLAxiomIndex, OWLObject, HasTrimToSize

Direct Known Subclasses:

OWLImmutableOntologyImpl

public abstract class OWLAxiomIndexImpl
extends OWLObjectImplWithEntityAndAnonCaching
implements OWLAxiomIndex, HasTrimToSize

Since:

4.0.0

Author:

ignazio

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OWLAxiomIndexImpl()

Method Summary

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 OWLAnnotationPropertyDomainAxioms where the specified property is the property in the domain axiom.
Set<OWLAnnotationPropertyRangeAxiom>	getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property) Gets the OWLAnnotationPropertyRangeAxioms where the specified property is the property in the range axiom.
Set<OWLAsymmetricObjectPropertyAxiom>	getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLAsymmetricObjectPropertyAxioms contained in this ontology that make the specified object property asymmetric.
Set<OWLClassAssertionAxiom>	getClassAssertionAxioms(OWLClassExpression ce) Gets the OWLClassAssertionAxioms contained in this ontology that make the specified class expression, ce, a type for some individual.
Set<OWLClassAssertionAxiom>	getClassAssertionAxioms(OWLIndividual individual) Gets the OWLClassAssertionAxioms contained in this ontology that make the specified individual an instance of some class expression.
Set<OWLDataPropertyAssertionAxiom>	getDataPropertyAssertionAxioms(OWLIndividual individual) Gets the OWLDataPropertyAssertionAxioms contained in this ontology that have the specified individual as the subject of the axiom.
Set<OWLDataPropertyDomainAxiom>	getDataPropertyDomainAxioms(OWLDataProperty property) Gets the OWLDataPropertyDomainAxioms where the property is equal to the specified property.
Set<OWLDataPropertyRangeAxiom>	getDataPropertyRangeAxioms(OWLDataProperty property) Gets the OWLDataPropertyRangeAxioms where the property is equal to the specified property.
Set<OWLSubDataPropertyOfAxiom>	getDataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty) Gets the OWLSubDataPropertyOfAxioms where the sub-property is equal to the specified property.
Set<OWLSubDataPropertyOfAxiom>	getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty) Gets the OWLSubDataPropertyOfAxioms where the super-property is equal to the specified property.
Set<OWLDatatypeDefinitionAxiom>	getDatatypeDefinitions(OWLDatatype datatype) Gets the OWLDatatypeDefinitionAxioms 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 OWLDifferentIndividualsAxioms 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 OWLDisjointDataPropertiesAxioms that make the specified property disjoint with some other data property expression(s).
Set<OWLDisjointObjectPropertiesAxiom>	getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property) Gets the OWLDisjointObjectPropertiesAxioms 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 OWLEquivalentDataPropertiesAxioms that make the specified property equivalent to some other data property expression(s).
Set<OWLEquivalentObjectPropertiesAxiom>	getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property) Gets the OWLEquivalentObjectPropertiesAxioms that make the specified property equivalent to some other object property expression(s).
Set<OWLFunctionalDataPropertyAxiom>	getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property) Gets the OWLFunctionalDataPropertyAxioms contained in this ontology that make the specified data property functional.
Set<OWLFunctionalObjectPropertyAxiom>	getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLFunctionalObjectPropertyAxioms 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 OWLInverseFunctionalObjectPropertyAxioms contained in this ontology that make the specified object property inverse functional.
Set<OWLInverseObjectPropertiesAxiom>	getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLInverseObjectPropertiesAxioms where the specified property is contained in the set returned by OWLNaryPropertyAxiom.getProperties() .
Set<OWLIrreflexiveObjectPropertyAxiom>	getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLIrreflexiveObjectPropertyAxioms 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 OWLObjectPropertyAssertionAxioms contained in this ontology that have the specified individual as the subject of the axiom.
Set<OWLObjectPropertyDomainAxiom>	getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property) Gets the OWLObjectPropertyDomainAxioms 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 OWLReflexiveObjectPropertyAxioms contained in this ontology that make the specified object property reflexive.
Set<OWLSameIndividualAxiom>	getSameIndividualAxioms(OWLIndividual individual) Gets the OWLSameIndividualAxioms contained in this ontology that make the specified individual the same as some other individual.
Set<OWLSubAnnotationPropertyOfAxiom>	getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty) Gets the SubAnnotationPropertyOfAxioms 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 OWLSymmetricObjectPropertyAxioms contained in this ontology that make the specified object property symmetric.
Set<OWLTransitiveObjectPropertyAxiom>	getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLTransitiveObjectPropertyAxioms contained in this ontology that make the specified object property transitive.
void	trimToSize() Trim the capacity of the axiom indexes.

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImplWithEntityAndAnonCaching

compareTo, containsEntityInSignature, equals, getAnnotationPropertiesInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

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

contains, filterAxioms, getAxioms, getAxioms

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

accept, accept

Constructor Detail

OWLAxiomIndexImpl

public OWLAxiomIndexImpl()

Method Detail

trimToSize

public void trimToSize()

Description copied from interface: HasTrimToSize

Trim the capacity of the axiom indexes. An application can use this operation to minimize the storage of the index instance.

Specified by:

trimToSize in interface HasTrimToSize

getDeclarationAxioms

public Set<OWLDeclarationAxiom> getDeclarationAxioms(OWLEntity subject)

Description copied from interface: OWLAxiomIndex

Gets the declaration axioms for specified entity.

Specified by:

getDeclarationAxioms in interface OWLAxiomIndex

Parameters:

subject - The entity that is the subject of the set of returned axioms.

Returns:

the axioms matching the search. The set is a copy of the data.

getAnnotationAssertionAxioms

public Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject entity)

Description copied from interface: OWLAxiomIndex

Gets the axioms that annotate the specified entity.

Specified by:

getAnnotationAssertionAxioms in interface OWLAxiomIndex

Parameters:

entity - The entity whose annotations are to be retrieved.

Returns:

the axioms matching the search. The set is a copy of the data.

getDatatypeDefinitions

public Set<OWLDatatypeDefinitionAxiom> getDatatypeDefinitions(OWLDatatype datatype)

Description copied from interface: OWLAxiomIndex

Gets the OWLDatatypeDefinitionAxioms contained in this ontology that provide a definition for the specified datatype.

Specified by:

getDatatypeDefinitions in interface OWLAxiomIndex

Parameters:

datatype - The datatype for which the returned axioms provide a definition.

Returns:

the axioms matching the search. The set is a copy of the data.

getSubAnnotationPropertyOfAxioms

public Set<OWLSubAnnotationPropertyOfAxiom> getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)

Description copied from interface: OWLAxiomIndex

Gets the SubAnnotationPropertyOfAxioms where the specified property is the sub-property.

Specified by:

getSubAnnotationPropertyOfAxioms in interface OWLAxiomIndex

Parameters:

subProperty - The sub-property of the axioms to be retrieved.

Returns:

the axioms matching the search. The set is a copy of the data.

getAnnotationPropertyDomainAxioms

public Set<OWLAnnotationPropertyDomainAxiom> getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)

Description copied from interface: OWLAxiomIndex

Gets the OWLAnnotationPropertyDomainAxioms where the specified property is the property in the domain axiom.

Specified by:

getAnnotationPropertyDomainAxioms in interface OWLAxiomIndex

Parameters:

property - The property that the axiom specifies a domain for.

Returns:

the axioms matching the search. The set is a copy of the data.

getAnnotationPropertyRangeAxioms

public Set<OWLAnnotationPropertyRangeAxiom> getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)

Description copied from interface: OWLAxiomIndex

Gets the OWLAnnotationPropertyRangeAxioms where the specified property is the property in the range axiom.

Specified by:

getAnnotationPropertyRangeAxioms in interface OWLAxiomIndex

Parameters:

property - The property that the axiom specifies a range for.

Returns:

the axioms matching the search. The set is a copy of the data.

getSubClassAxiomsForSubClass

public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass cls)

Description copied from interface: OWLAxiomIndex

Gets all of the subclass axioms where the left hand side (the subclass) is equal to the specified class.

Specified by:

getSubClassAxiomsForSubClass in interface OWLAxiomIndex

Parameters:

cls - The class that is equal to the left hand side of the axiom (subclass).

Returns:

the axioms matching the search. The set is a copy of the data.

getSubClassAxiomsForSuperClass

public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSuperClass(OWLClass cls)

Description copied from interface: OWLAxiomIndex

Gets all of the subclass axioms where the right hand side (the superclass) is equal to the specified class.

Specified by:

getSubClassAxiomsForSuperClass in interface OWLAxiomIndex

Parameters:

cls - The class

Returns:

the axioms matching the search. The set is a copy of the data.

getEquivalentClassesAxioms

public Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass cls)

Description copied from interface: OWLAxiomIndex

Gets all of the equivalent axioms in this ontology that contain the specified class as an operand.

Specified by:

getEquivalentClassesAxioms in interface OWLAxiomIndex

Parameters:

cls - The class to search

Returns:

the axioms matching the search. The set is a copy of the data.

getDisjointClassesAxioms

public Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(OWLClass cls)

Description copied from interface: OWLAxiomIndex

Gets the set of disjoint class axioms that contain the specified class as an operand.

Specified by:

getDisjointClassesAxioms in interface OWLAxiomIndex

Parameters:

cls - The class to search

Returns:

the axioms matching the search. The set is a copy of the data.

getDisjointUnionAxioms

public Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(OWLClass owlClass)

Description copied from interface: OWLAxiomIndex

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. For example, if the ontology contained the axiom DisjointUnion(A, propP some C, D, E) this axiom would be returned for class A (but not for D or E).

Specified by:

getDisjointUnionAxioms in interface OWLAxiomIndex

Parameters:

owlClass - The class that indexes the axioms to be retrieved.

Returns:

the axioms matching the search. The set is a copy of the data.

getHasKeyAxioms

public Set<OWLHasKeyAxiom> getHasKeyAxioms(OWLClass cls)

Description copied from interface: OWLAxiomIndex

Gets the has key axioms that have the specified class as their subject.

Specified by:

getHasKeyAxioms in interface OWLAxiomIndex

Parameters:

cls - The subject of the has key axioms

Returns:

the axioms matching the search. The set is a copy of the data.

getObjectSubPropertyAxiomsForSubProperty

public Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)

Description copied from interface: OWLAxiomIndex

Gets the OWLSubObjectPropertyOfAxiom s where the sub-property is equal to the specified property.

Specified by:

getObjectSubPropertyAxiomsForSubProperty in interface OWLAxiomIndex

Parameters:

subProperty - The property which is equal to the sub property of the retrieved axioms.

Returns:

the axioms matching the search. The set is a copy of the data.

getObjectSubPropertyAxiomsForSuperProperty

public Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)

Description copied from interface: OWLAxiomIndex

Gets the OWLSubObjectPropertyOfAxiom s where the super-property is equal to the specified property.

Specified by:

getObjectSubPropertyAxiomsForSuperProperty in interface OWLAxiomIndex

Parameters:

superProperty - The property which is equal to the super-property of the retrieved axioms.

Returns:

the axioms matching the search. The set is a copy of the data.

getObjectPropertyDomainAxioms

public Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLAxiomIndex

Gets the OWLObjectPropertyDomainAxioms where the property is equal to the specified property.

Specified by:

getObjectPropertyDomainAxioms in interface OWLAxiomIndex

Parameters:

property - The property which is equal to the property of the retrieved axioms.

Returns:

the axioms matching the search. The set is a copy of the data.

getObjectPropertyRangeAxioms

public Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLAxiomIndex

Gets the OWLObjectPropertyRangeAxiom s where the property is equal to the specified property.

Specified by:

getObjectPropertyRangeAxioms in interface OWLAxiomIndex

Parameters:

property - The property which is equal to the property of the retrieved axioms.

Returns:

the axioms matching the search. The set is a copy of the data.

getInverseObjectPropertyAxioms

public Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLAxiomIndex

Gets the OWLInverseObjectPropertiesAxioms where the specified property is contained in the set returned by OWLNaryPropertyAxiom.getProperties() .

Specified by:

getInverseObjectPropertyAxioms in interface OWLAxiomIndex

Parameters:

property - The property which is equal to the property of the retrieved axioms.

Returns:

the axioms matching the search. The set is a copy of the data.

getEquivalentObjectPropertiesAxioms

public Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLAxiomIndex

Gets the OWLEquivalentObjectPropertiesAxioms that make the specified property equivalent to some other object property expression(s).

Specified by:

getEquivalentObjectPropertiesAxioms in interface OWLAxiomIndex

Parameters:

property - The property that the retrieved axioms make equivalent to some other property expressions.

Returns:

the axioms matching the search. The set is a copy of the data.

getDisjointObjectPropertiesAxioms

public Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLAxiomIndex

Gets the OWLDisjointObjectPropertiesAxioms that make the specified property disjoint with some other object property expression(s).

Specified by:

getDisjointObjectPropertiesAxioms in interface OWLAxiomIndex

Parameters:

property - The property that the retrieved axioms makes disjoint to some other property expressions.

Returns:

the axioms matching the search. The set is a copy of the data.

getFunctionalObjectPropertyAxioms

public Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLAxiomIndex

Gets the OWLFunctionalObjectPropertyAxioms contained in this ontology that make the specified object property functional.

Specified by:

getFunctionalObjectPropertyAxioms in interface OWLAxiomIndex

Parameters:

property - The property that is made functional by the axioms.

Returns:

the axioms matching the search. The set is a copy of the data.

getInverseFunctionalObjectPropertyAxioms

public Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLAxiomIndex

Gets the OWLInverseFunctionalObjectPropertyAxioms contained in this ontology that make the specified object property inverse functional.

Specified by:

getInverseFunctionalObjectPropertyAxioms in interface OWLAxiomIndex

Parameters:

property - The property that is made inverse functional by the axioms.

Returns:

the axioms matching the search. The set is a copy of the data.

getSymmetricObjectPropertyAxioms

public Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLAxiomIndex

Gets the OWLSymmetricObjectPropertyAxioms contained in this ontology that make the specified object property symmetric.

Specified by:

getSymmetricObjectPropertyAxioms in interface OWLAxiomIndex

Parameters:

property - The property that is made symmetric by the axioms.

Returns:

the axioms matching the search. The set is a copy of the data.

getAsymmetricObjectPropertyAxioms

public Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLAxiomIndex

Gets the OWLAsymmetricObjectPropertyAxioms contained in this ontology that make the specified object property asymmetric.

Specified by:

getAsymmetricObjectPropertyAxioms in interface OWLAxiomIndex

Parameters:

property - The property that is made asymmetric by the axioms.

Returns:

the axioms matching the search. The set is a copy of the data.

getReflexiveObjectPropertyAxioms

public Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLAxiomIndex

Gets the OWLReflexiveObjectPropertyAxioms contained in this ontology that make the specified object property reflexive.

Specified by:

getReflexiveObjectPropertyAxioms in interface OWLAxiomIndex

Parameters:

property - The property that is made reflexive by the axioms.

Returns:

the axioms matching the search. The set is a copy of the data.

getIrreflexiveObjectPropertyAxioms

public Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLAxiomIndex

Gets the OWLIrreflexiveObjectPropertyAxioms contained in this ontology that make the specified object property irreflexive.

Specified by:

getIrreflexiveObjectPropertyAxioms in interface OWLAxiomIndex

Parameters:

property - The property that is made irreflexive by the axioms.

Returns:

the axioms matching the search. The set is a copy of the data.

getTransitiveObjectPropertyAxioms

public Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLAxiomIndex

Gets the OWLTransitiveObjectPropertyAxioms contained in this ontology that make the specified object property transitive.

Specified by:

getTransitiveObjectPropertyAxioms in interface OWLAxiomIndex

Parameters:

property - The property that is made transitive by the axioms.

Returns:

the axioms matching the search. The set is a copy of the data.

getFunctionalDataPropertyAxioms

public Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)

Description copied from interface: OWLAxiomIndex

Gets the OWLFunctionalDataPropertyAxioms contained in this ontology that make the specified data property functional.

Specified by:

getFunctionalDataPropertyAxioms in interface OWLAxiomIndex

Parameters:

property - The property that is made functional by the axioms.

Returns:

the axioms matching the search. The set is a copy of the data.

getDataSubPropertyAxiomsForSubProperty

public Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)

Description copied from interface: OWLAxiomIndex

Gets the OWLSubDataPropertyOfAxioms where the sub-property is equal to the specified property.

Specified by:

getDataSubPropertyAxiomsForSubProperty in interface OWLAxiomIndex

Parameters:

subProperty - The property which is equal to the sub property of the retrieved axioms.

Returns:

the axioms matching the search. The set is a copy of the data.

getDataSubPropertyAxiomsForSuperProperty

public Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)

Description copied from interface: OWLAxiomIndex

Gets the OWLSubDataPropertyOfAxioms where the super-property is equal to the specified property.

Specified by:

getDataSubPropertyAxiomsForSuperProperty in interface OWLAxiomIndex

Parameters:

superProperty - The property which is equal to the super-property of the retrieved axioms.

Returns:

the axioms matching the search. The set is a copy of the data.

getDataPropertyDomainAxioms

public Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(OWLDataProperty property)

Description copied from interface: OWLAxiomIndex

Gets the OWLDataPropertyDomainAxioms where the property is equal to the specified property.

Specified by:

getDataPropertyDomainAxioms in interface OWLAxiomIndex

Parameters:

property - The property which is equal to the property of the retrieved axioms.

Returns:

the axioms matching the search. The set is a copy of the data.

getDataPropertyRangeAxioms

public Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(OWLDataProperty property)

Description copied from interface: OWLAxiomIndex

Gets the OWLDataPropertyRangeAxioms where the property is equal to the specified property.

Specified by:

getDataPropertyRangeAxioms in interface OWLAxiomIndex

Parameters:

property - The property which is equal to the property of the retrieved axioms.

Returns:

the axioms matching the search. The set is a copy of the data.

getEquivalentDataPropertiesAxioms

public Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(OWLDataProperty property)

Description copied from interface: OWLAxiomIndex

Gets the OWLEquivalentDataPropertiesAxioms that make the specified property equivalent to some other data property expression(s).

Specified by:

getEquivalentDataPropertiesAxioms in interface OWLAxiomIndex

Parameters:

property - The property that the retrieved axioms make equivalent to some other property expressions.

Returns:

the axioms matching the search. The set is a copy of the data.

getDisjointDataPropertiesAxioms

public Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(OWLDataProperty property)

Description copied from interface: OWLAxiomIndex

Gets the OWLDisjointDataPropertiesAxioms that make the specified property disjoint with some other data property expression(s).

Specified by:

getDisjointDataPropertiesAxioms in interface OWLAxiomIndex

Parameters:

property - The property that the retrieved axioms makes disjoint to some other property expressions.

Returns:

the axioms matching the search. The set is a copy of the data.

getClassAssertionAxioms

public Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLIndividual individual)

Description copied from interface: OWLAxiomIndex

Gets the OWLClassAssertionAxioms contained in this ontology that make the specified individual an instance of some class expression.

Specified by:

getClassAssertionAxioms in interface OWLAxiomIndex

Parameters:

individual - The individual that the returned axioms make an instance of some class expression.

Returns:

the axioms matching the search. The set is a copy of the data.

getClassAssertionAxioms

public Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClassExpression ce)

Description copied from interface: OWLAxiomIndex

Gets the OWLClassAssertionAxioms contained in this ontology that make the specified class expression, ce, a type for some individual.

Specified by:

getClassAssertionAxioms in interface OWLAxiomIndex

Parameters:

ce - The class expression that the returned axioms make a type for some individual.

Returns:

the axioms matching the search. The set is a copy of the data.

getDataPropertyAssertionAxioms

public Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(OWLIndividual individual)

Description copied from interface: OWLAxiomIndex

Gets the OWLDataPropertyAssertionAxioms contained in this ontology that have the specified individual as the subject of the axiom.

Specified by:

getDataPropertyAssertionAxioms in interface OWLAxiomIndex

Parameters:

individual - The individual that the returned axioms have as a subject.

Returns:

the axioms matching the search. The set is a copy of the data.

getObjectPropertyAssertionAxioms

public Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual individual)

Description copied from interface: OWLAxiomIndex

Gets the OWLObjectPropertyAssertionAxioms contained in this ontology that have the specified individual as the subject of the axiom.

Specified by:

getObjectPropertyAssertionAxioms in interface OWLAxiomIndex

Parameters:

individual - The individual that the returned axioms have as a subject.

Returns:

the axioms matching the search. The set is a copy of the data.

getNegativeObjectPropertyAssertionAxioms

public Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)

Description copied from interface: OWLAxiomIndex

Gets the OWLNegativeObjectPropertyAssertionAxiom s contained in this ontology that have the specified individual as the subject of the axiom.

Specified by:

getNegativeObjectPropertyAssertionAxioms in interface OWLAxiomIndex

Parameters:

individual - The individual that the returned axioms have as a subject.

Returns:

the axioms matching the search. The set is a copy of the data.

getNegativeDataPropertyAssertionAxioms

public Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)

Description copied from interface: OWLAxiomIndex

Gets the OWLNegativeDataPropertyAssertionAxiom s contained in this ontology that have the specified individual as the subject of the axiom.

Specified by:

getNegativeDataPropertyAssertionAxioms in interface OWLAxiomIndex

Parameters:

individual - The individual that the returned axioms have as a subject.

Returns:

the axioms matching the search. The set is a copy of the data.

getSameIndividualAxioms

public Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual individual)

Description copied from interface: OWLAxiomIndex

Gets the OWLSameIndividualAxioms contained in this ontology that make the specified individual the same as some other individual.

Specified by:

getSameIndividualAxioms in interface OWLAxiomIndex

Parameters:

individual - The individual that the returned axioms make the same as some other individual.

Returns:

the axioms matching the search. The set is a copy of the data.

getDifferentIndividualAxioms

public Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(OWLIndividual individual)

Description copied from interface: OWLAxiomIndex

Gets the OWLDifferentIndividualsAxioms contained in this ontology that make the specified individual different to some other individual.

Specified by:

getDifferentIndividualAxioms in interface OWLAxiomIndex

Parameters:

individual - The individual that the returned axioms make the different as some other individual.

Returns:

the axioms matching the search. The set is a copy of the data.