org.semanticweb.owl.model
Interface OWLOntology

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLNamedObject, OWLObject

All Known Subinterfaces:

OWLMutableOntology

public interface OWLOntology
extends OWLNamedObject

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

An OWLOntology contains a set of axioms. Ontologies do not specifically contain entities such as classes, properties or individuals - these entities are merely referenced by the axioms that the ontology contains. Unlike some APIs it is therefore not possible to directly add or remove entities to or from an ontology.

Method Summary

boolean	containsAxiom(OWLAxiom axiom) Determines if this ontology contains the specified axiom.
boolean	containsClassReference(java.net.URI owlClassURI) Determines if the ontology contains a reference to a class that has a specific URI.
boolean	containsDataPropertyReference(java.net.URI propURI)
boolean	containsDataTypeReference(java.net.URI datatypeURI)
boolean	containsEntityDeclaration(OWLEntity owlEntity) Determines if this ontology contains a declaration axiom for the specified entity.
boolean	containsEntityReference(OWLEntity owlEntity) Determines if the ontology contains a reference to the specified entity.
boolean	containsIndividualReference(java.net.URI individualURI)
boolean	containsObjectPropertyReference(java.net.URI propURI) Determines if the ontology contains a reference to an object property that a specific URI.
java.util.Set<OWLAnnotationAxiom>	getAnnotationAxioms() Gets all of the annotation axioms in this ontology
java.util.Set<OWLAxiomAnnotationAxiom>	getAnnotations(OWLAxiom axiom) Gets the annotation axioms that annotate the specified axiom in this ontology.
java.util.Set<OWLOntologyAnnotationAxiom>	getAnnotations(OWLOntology subject) Gets the ontology annotations whose subject is the specified ontology.
java.util.Set<java.net.URI>	getAnnotationURIs() Gets the set of URIs that are used in annotations (e.g.
OWLAntiSymmetricObjectPropertyAxiom	getAntiSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)
java.util.Set<OWLAxiom>	getAxioms() Retrieves all of the axioms in this ontology.
<T extends OWLAxiom> java.util.Set<T>	getAxioms(AxiomType<T> axiomType) Gets the axioms which are of the specified type
java.util.Set<OWLClassAxiom>	getAxioms(OWLClass cls) Gets the axioms that form the definition/description of a class.
java.util.Set<OWLDataPropertyAxiom>	getAxioms(OWLDataProperty prop) Gets the axioms that form the definition/description of a data property.
java.util.Set<OWLIndividualAxiom>	getAxioms(OWLIndividual individual) Gets the axioms that form the definition/description of an individual
java.util.Set<OWLObjectPropertyAxiom>	getAxioms(OWLObjectPropertyExpression prop) Gets the axioms that form the definition/description of an object property.
java.util.Set<OWLClassAssertionAxiom>	getClassAssertionAxioms(OWLClass type)
java.util.Set<OWLClassAssertionAxiom>	getClassAssertionAxioms(OWLIndividual individual)
java.util.Set<OWLClassAxiom>	getClassAxioms() Gets all of the class axioms in this ontology
java.util.Set<OWLDataPropertyAssertionAxiom>	getDataPropertyAssertionAxioms(OWLIndividual individual)
java.util.Set<OWLPropertyAxiom>	getDataPropertyAxioms() Gets all of the data property axioms in this ontology
java.util.Set<OWLDataPropertyDomainAxiom>	getDataPropertyDomainAxioms(OWLDataProperty property)
java.util.Set<OWLDataPropertyRangeAxiom>	getDataPropertyRangeAxiom(OWLDataProperty property)
java.util.Set<OWLDataSubPropertyAxiom>	getDataSubPropertyAxiomsForLHS(OWLDataProperty lhsProperty)
java.util.Set<OWLDataSubPropertyAxiom>	getDataSubPropertyAxiomsForRHS(OWLDataPropertyExpression property)
java.util.Set<OWLDeclarationAxiom>	getDeclarationAxioms() Gets all of the annotation axioms in this ontology.
java.util.Set<OWLDeclarationAxiom>	getDeclarationAxioms(OWLEntity subject) Gets the declaration axioms for specified entity.
java.util.Set<OWLDifferentIndividualsAxiom>	getDifferentIndividualAxioms(OWLIndividual individual)
java.util.Set<OWLDisjointClassesAxiom>	getDisjointClassesAxioms(OWLClass cls) Gets the set of disjoint class axioms that contain the specified class as an operand.
java.util.Set<OWLDisjointDataPropertiesAxiom>	getDisjointDataPropertiesAxiom(OWLDataProperty property)
java.util.Set<OWLDisjointObjectPropertiesAxiom>	getDisjointObjectPropertiesAxiom(OWLObjectPropertyExpression property)
java.util.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.
java.util.Set<OWLEntityAnnotationAxiom>	getEntityAnnotationAxioms(OWLEntity entity) Gets the axioms that annotate the specified entity.
java.util.Set<OWLEquivalentClassesAxiom>	getEquivalentClassesAxioms(OWLClass cls) Gets all of the equivalent axioms in this ontology that contain the specified class as an operand.
java.util.Set<OWLEquivalentDataPropertiesAxiom>	getEquivalentDataPropertiesAxiom(OWLDataProperty property)
java.util.Set<OWLEquivalentObjectPropertiesAxiom>	getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
OWLFunctionalDataPropertyAxiom	getFunctionalDataPropertyAxiom(OWLDataPropertyExpression property)
OWLFunctionalObjectPropertyAxiom	getFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
java.util.Set<OWLClassAxiom>	getGeneralClassAxioms() Gets the set of general axioms in this ontology.
java.util.Set<OWLOntology>	getImports(OWLOntologyManager ontologyManager) Gets the OWLOntology instances that this ontology imports.
java.util.Set<OWLImportsDeclaration>	getImportsDeclarations() Gets the set of imports annotations for this ontology.
java.util.Set<OWLIndividualAxiom>	getIndividualAxioms() Gets all of the individual axioms in this ontology
OWLInverseFunctionalObjectPropertyAxiom	getInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
java.util.Set<OWLInverseObjectPropertiesAxiom>	getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLIrreflexiveObjectPropertyAxiom	getIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
java.util.Set<OWLLogicalAxiom>	getLogicalAxioms() Gets all of the axioms in the ontology that affect the logical meaning of the ontology.
java.util.Set<OWLNegativeDataPropertyAssertionAxiom>	getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)
java.util.Set<OWLNegativeObjectPropertyAssertionAxiom>	getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)
java.util.Set<OWLObjectPropertyAssertionAxiom>	getObjectPropertyAssertionAxioms(OWLIndividual individual)
java.util.Set<OWLPropertyAxiom>	getObjectPropertyAxioms() Gets all of the object property axioms in this ontology
java.util.Set<OWLObjectPropertyDomainAxiom>	getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
java.util.Set<OWLObjectPropertyRangeAxiom>	getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
java.util.Set<OWLObjectSubPropertyAxiom>	getObjectSubPropertyAxiomsForLHS(OWLObjectPropertyExpression property) Gets the object property sub property axioms where the specified property is on the left hand side of the axiom.
java.util.Set<OWLObjectSubPropertyAxiom>	getObjectSubPropertyAxiomsForRHS(OWLObjectPropertyExpression property)
java.util.Set<OWLOntologyAnnotationAxiom>	getOntologyAnnotationAxioms() Gets all of the ontology annotation axioms which have been asserted in this ontology.
java.util.Set<OWLObjectPropertyChainSubPropertyAxiom>	getPropertyChainSubPropertyAxioms() Gets the property chain sub property axioms in the ontology.
java.util.Set<OWLClass>	getReferencedClasses() Gets the classes that are referenced by axioms (including annotation axioms) in this ontology.
java.util.Set<OWLDataProperty>	getReferencedDataProperties() Gets the data properties that are referenced by axioms (including annotation axioms) in this ontology.
java.util.Set<OWLEntity>	getReferencedEntities() Gets the entities that are referenced by axioms in this ontology.
java.util.Set<OWLIndividual>	getReferencedIndividuals() Gets the individuals that are referenced by axioms (including annotation axioms) in this ontology.
java.util.Set<OWLObjectProperty>	getReferencedObjectProperties() Gets the object properties that are referenced by axioms (including annotation axioms) in this ontology.
java.util.Set<OWLAxiom>	getReferencingAxioms(OWLEntity owlEntity) Gets the axioms where the specified entity appears anywhere in the axiom.
OWLReflexiveObjectPropertyAxiom	getReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
java.util.Set<SWRLRule>	getRules()
java.util.Set<OWLSameIndividualsAxiom>	getSameIndividualAxioms(OWLIndividual individual)
java.util.Set<OWLSubClassAxiom>	getSubClassAxiomsForLHS(OWLClass cls) Gets all of the subclass axioms where the left hand side (the subclass) is equal to the specified class.
java.util.Set<OWLSubClassAxiom>	getSubClassAxiomsForRHS(OWLClass cls) Gets all of the subclass axioms where the right hand side (the superclass) is equal to the specified class.
OWLSymmetricObjectPropertyAxiom	getSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLTransitiveObjectPropertyAxiom	getTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
boolean	isPunned(java.net.URI uri) Determines if the specified URI refers to more than one type of entity (i.e.

Methods inherited from interface org.semanticweb.owl.model.OWLNamedObject

accept, getURI

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

accept, accept

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

getAxioms

java.util.Set<OWLAxiom> getAxioms()

Retrieves all of the axioms in this ontology.

Returns:

The set of all axioms in this ontology, including logical axioms and annotation axioms.

getLogicalAxioms

java.util.Set<OWLLogicalAxiom> getLogicalAxioms()

Gets all of the axioms in the ontology that affect the logical meaning of the ontology. In other words, this method returns all axioms that are not annotation axioms, declaration axioms or imports declarations.

Returns:

A set of axioms which are of the type OWLLogicalAxiom

getRules

java.util.Set<SWRLRule> getRules()

getAxioms

<T extends OWLAxiom> java.util.Set<T> getAxioms(AxiomType<T> axiomType)

Gets the axioms which are of the specified type

Parameters:

axiomType - The type of axioms to be retrived

Returns:

A set containing the axioms which are of the specified type

getClassAxioms

java.util.Set<OWLClassAxiom> getClassAxioms()

Gets all of the class axioms in this ontology

getObjectPropertyAxioms

java.util.Set<OWLPropertyAxiom> getObjectPropertyAxioms()

Gets all of the object property axioms in this ontology

getDataPropertyAxioms

java.util.Set<OWLPropertyAxiom> getDataPropertyAxioms()

Gets all of the data property axioms in this ontology

getIndividualAxioms

java.util.Set<OWLIndividualAxiom> getIndividualAxioms()

Gets all of the individual axioms in this ontology

getGeneralClassAxioms

java.util.Set<OWLClassAxiom> getGeneralClassAxioms()

Gets the set of general axioms in this ontology. This includes:

• Subclass axioms that have a complex class as the subclass
• Equivalent class axioms that don't contain any named classes (OWLClasses)
• Disjoint class axioms that don't contain any named classes (OWLClasses)

getPropertyChainSubPropertyAxioms

java.util.Set<OWLObjectPropertyChainSubPropertyAxiom> getPropertyChainSubPropertyAxioms()

Gets the property chain sub property axioms in the ontology.

getReferencedEntities

java.util.Set<OWLEntity> getReferencedEntities()

Gets the entities that are referenced by axioms in this ontology.

Returns:

A set of OWLEntity objects.

getReferencedClasses

java.util.Set<OWLClass> getReferencedClasses()

Gets the classes that are referenced by axioms (including annotation axioms) in this ontology.

Returns:

A set of named classes, which are referenced by any axiom in this ontology. The set may be unmodifiable.

getReferencedObjectProperties

java.util.Set<OWLObjectProperty> getReferencedObjectProperties()

Gets the object properties that are referenced by axioms (including annotation axioms) in this ontology.

Returns:

A set of object properties, which are referenced by any axiom in this ontology.

getReferencedDataProperties

java.util.Set<OWLDataProperty> getReferencedDataProperties()

Gets the data properties that are referenced by axioms (including annotation axioms) in this ontology.

Returns:

A set of data properties, which are referenced by any axiom in this ontology.

getReferencedIndividuals

java.util.Set<OWLIndividual> getReferencedIndividuals()

Gets the individuals that are referenced by axioms (including annotation axioms) in this ontology.

Returns:

A set of individuals, which are referenced by any axiom in this ontology.

getAnnotationURIs

java.util.Set<java.net.URI> getAnnotationURIs()

Gets the set of URIs that are used in annotations (e.g. rdfs:label)

getReferencingAxioms

java.util.Set<OWLAxiom> getReferencingAxioms(OWLEntity owlEntity)

Gets the axioms where the specified entity appears anywhere in the axiom. The set that is returned, contains all axioms that directly reference the specified entity, including annotation axioms.

Parameters:

owlEntity - The entity that should be directly referred to by an axiom that appears in the results set.

containsEntityReference

boolean containsEntityReference(OWLEntity owlEntity)

Determines if the ontology contains a reference to the specified entity.

Parameters:

owlEntity - The entity

Returns:

true if the ontology contains a reference to the specified entity, otherwise false

containsEntityDeclaration

boolean containsEntityDeclaration(OWLEntity owlEntity)

Determines if this ontology contains a declaration axiom for the specified entity.

Parameters:

owlEntity - The entity

Returns:

true if the ontology contains a declaration for the specified entity, otherwise false

containsClassReference

boolean containsClassReference(java.net.URI owlClassURI)

Determines if the ontology contains a reference to a class that has a specific URI.

Parameters:

owlClassURI - The URI to test for.

Returns:

true if the ontology refers to a class with the specified URI, otherwise false

containsObjectPropertyReference

boolean containsObjectPropertyReference(java.net.URI propURI)

Determines if the ontology contains a reference to an object property that a specific URI.

containsDataPropertyReference

boolean containsDataPropertyReference(java.net.URI propURI)

containsIndividualReference

boolean containsIndividualReference(java.net.URI individualURI)

containsDataTypeReference

boolean containsDataTypeReference(java.net.URI datatypeURI)

isPunned

boolean isPunned(java.net.URI uri)

Determines if the specified URI refers to more than one type of entity (i.e. class, object property, data property, individual or datatype)

Parameters:

uri - The URI to test.

Returns:

true if the URI refers to more than one entity, for example because the ontology references a class with the URI and also an individual with the same URI.

getAxioms

java.util.Set<OWLClassAxiom> getAxioms(OWLClass cls)

Gets the axioms that form the definition/description of a class.

Parameters:

cls - The class whose describing axioms are to be retrieved.

Returns:

A set of class axioms that describe the class. This set includes

• Subclass axioms where the subclass is equal to the specified class
• Equivalent class axioms where the specified class is an operand in the equivalent class axiom
• Disjoint class axioms where the specified class is an operand in the disjoint class axiom
• Disjoint union axioms, where the specified class is the named class that is equivalent to the disjoint union

getAxioms

java.util.Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression prop)

Gets the axioms that form the definition/description of an object property.

Parameters:

prop - The property whose defining axioms are to be retrieved.

Returns:

A set of object property axioms that includes

• Sub-property axioms where the sub property is equal to the specified property
• Equivalent property axioms where the axiom contains the specified property
• Equivalent property axioms that contain the inverse of the specified property
• Disjoint property axioms that contain the specified property
• Domain axioms that specify a domain of the specified property
• Range axioms that specify a range of the specified property
• Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
• Inverse properties axioms that contain the specified property

getAxioms

java.util.Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty prop)

Gets the axioms that form the definition/description of a data property.

Parameters:

prop - The property whose defining axioms are to be retrieved.

Returns:

A set of data property axioms that includes

• Sub-property axioms where the sub property is equal to the specified property
• Equivalent property axioms where the axiom contains the specified property
• Disjoint property axioms that contain the specified property
• Domain axioms that specify a domain of the specified property
• Range axioms that specify a range of the specified property
• Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property

getAxioms

java.util.Set<OWLIndividualAxiom> getAxioms(OWLIndividual individual)

Gets the axioms that form the definition/description of an individual

Parameters:

individual - The individual whose defining axioms are to be retrieved.

Returns:

A set of individual axioms that includes

• Individual type assertions that assert the type of the specified individual
• Same individuals axioms that contain the specified individual
• Different individuals axioms that contain the specified individual
• Object property assertion axioms whose subject is the specified individual
• Data property assertion axioms whose subject is the specified individual
• Negative object property assertion axioms whose subject is the specified individual
• Negative data property assertion axioms whose subject is the specified individual

getAnnotationAxioms

java.util.Set<OWLAnnotationAxiom> getAnnotationAxioms()

Gets all of the annotation axioms in this ontology

getDeclarationAxioms

java.util.Set<OWLDeclarationAxiom> getDeclarationAxioms()

Gets all of the annotation axioms in this ontology.

getImportsDeclarations

java.util.Set<OWLImportsDeclaration> getImportsDeclarations()

Gets the set of imports annotations for this ontology.

getImports

java.util.Set<OWLOntology> getImports(OWLOntologyManager ontologyManager)
                                      throws UnknownOWLOntologyException

Gets the OWLOntology instances that this ontology imports.

Parameters:

ontologyManager - The OWLOntologyManager that will map the imports annotations to actual OWLOntology instances.

Throws:

UnknownOWLOntologyException

containsAxiom

boolean containsAxiom(OWLAxiom axiom)

Determines if this ontology contains the specified axiom. This method does not take into consideration annotations. For example, if the ontology contained SubClassOf("Added by M Horridge" A B) then then this method would return true for SubClassOf(A B)

Returns:

true if the ontology contains the specified axioms, or false if the ontology doesn't contain the specified axiom.

getDeclarationAxioms

java.util.Set<OWLDeclarationAxiom> getDeclarationAxioms(OWLEntity subject)

Gets the declaration axioms for specified entity.

Parameters:

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

getAnnotations

java.util.Set<OWLAxiomAnnotationAxiom> getAnnotations(OWLAxiom axiom)

Gets the annotation axioms that annotate the specified axiom in this ontology.

Parameters:

axiom - The axiom that the returned set of axiom annotation axioms annotate.

getEntityAnnotationAxioms

java.util.Set<OWLEntityAnnotationAxiom> getEntityAnnotationAxioms(OWLEntity entity)

Gets the axioms that annotate the specified entity.

getAnnotations

java.util.Set<OWLOntologyAnnotationAxiom> getAnnotations(OWLOntology subject)

Gets the ontology annotations whose subject is the specified ontology.

Parameters:

subject - The ontology that is the subject of the annotations.

Returns:

The set of annotation axioms which have been asserted in this ontology, which have the specified ontology as their subject.

getOntologyAnnotationAxioms

java.util.Set<OWLOntologyAnnotationAxiom> getOntologyAnnotationAxioms()

Gets all of the ontology annotation axioms which have been asserted in this ontology.

getSubClassAxiomsForLHS

java.util.Set<OWLSubClassAxiom> getSubClassAxiomsForLHS(OWLClass cls)

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

Parameters:

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

getSubClassAxiomsForRHS

java.util.Set<OWLSubClassAxiom> getSubClassAxiomsForRHS(OWLClass cls)

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

getEquivalentClassesAxioms

java.util.Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass cls)

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

Returns:

A set of equivalent class axioms that contain the specified class as an operand.

getDisjointClassesAxioms

java.util.Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(OWLClass cls)

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

Parameters:

cls - The class that should be contained in the set of disjoint class axioms that will be returned.

Returns:

The set of disjoint axioms that contain the specified class.

getDisjointUnionAxioms

java.util.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. 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).

Parameters:

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

getObjectSubPropertyAxiomsForLHS

java.util.Set<OWLObjectSubPropertyAxiom> getObjectSubPropertyAxiomsForLHS(OWLObjectPropertyExpression property)

Gets the object property sub property axioms where the specified property is on the left hand side of the axiom.

Parameters:

property - The property which is on the left hand side of the axiom.

getObjectSubPropertyAxiomsForRHS

java.util.Set<OWLObjectSubPropertyAxiom> getObjectSubPropertyAxiomsForRHS(OWLObjectPropertyExpression property)

getObjectPropertyDomainAxioms

java.util.Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)

getObjectPropertyRangeAxioms

java.util.Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)

getInverseObjectPropertyAxioms

java.util.Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)

getEquivalentObjectPropertiesAxioms

java.util.Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)

getDisjointObjectPropertiesAxiom

java.util.Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxiom(OWLObjectPropertyExpression property)

getFunctionalObjectPropertyAxiom

OWLFunctionalObjectPropertyAxiom getFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)

getInverseFunctionalObjectPropertyAxiom

OWLInverseFunctionalObjectPropertyAxiom getInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)

getSymmetricObjectPropertyAxiom

OWLSymmetricObjectPropertyAxiom getSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)

getAntiSymmetricObjectPropertyAxiom

OWLAntiSymmetricObjectPropertyAxiom getAntiSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)

getReflexiveObjectPropertyAxiom

OWLReflexiveObjectPropertyAxiom getReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)

getIrreflexiveObjectPropertyAxiom

OWLIrreflexiveObjectPropertyAxiom getIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)

getTransitiveObjectPropertyAxiom

OWLTransitiveObjectPropertyAxiom getTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property)

getDataSubPropertyAxiomsForLHS

java.util.Set<OWLDataSubPropertyAxiom> getDataSubPropertyAxiomsForLHS(OWLDataProperty lhsProperty)

getDataSubPropertyAxiomsForRHS

java.util.Set<OWLDataSubPropertyAxiom> getDataSubPropertyAxiomsForRHS(OWLDataPropertyExpression property)

getDataPropertyDomainAxioms

java.util.Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(OWLDataProperty property)

getDataPropertyRangeAxiom

java.util.Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxiom(OWLDataProperty property)

getEquivalentDataPropertiesAxiom

java.util.Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxiom(OWLDataProperty property)

getDisjointDataPropertiesAxiom

java.util.Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxiom(OWLDataProperty property)

getFunctionalDataPropertyAxiom

OWLFunctionalDataPropertyAxiom getFunctionalDataPropertyAxiom(OWLDataPropertyExpression property)

getClassAssertionAxioms

java.util.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLIndividual individual)

getClassAssertionAxioms

java.util.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClass type)

getDataPropertyAssertionAxioms

java.util.Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(OWLIndividual individual)

getObjectPropertyAssertionAxioms

java.util.Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual individual)

getNegativeObjectPropertyAssertionAxioms

java.util.Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)

getNegativeDataPropertyAssertionAxioms

java.util.Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)

getSameIndividualAxioms

java.util.Set<OWLSameIndividualsAxiom> getSameIndividualAxioms(OWLIndividual individual)

getDifferentIndividualAxioms

java.util.Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(OWLIndividual individual)