org.semanticweb.kaon2.api.owl.elements
Interface Description

All Superinterfaces:

Predicate

All Known Subinterfaces:

DataAll, DataCardinality, DataHasValue, DataSome, ObjectAll, ObjectAnd, ObjectCardinality, ObjectHasValue, ObjectNot, ObjectOneOf, ObjectOr, ObjectSome, OWLClass

public interface Description
extends Predicate

Represents an description in the ontology.

Method Summary

java.lang.Object	accept(KAON2Visitor visitor) Accepts a visitor for this object.
Description	getComplementNNF() Returns the negation-normal form of the complement of this description.
java.util.Set<DataProperty>	getDataPropertiesFrom(Ontology ontology) Returns the set of all data properties where this description is asserted as domain in an DataPropertyDomain axiom.
java.util.Set<Description>	getDisjointDescriptions(Ontology ontology) Returns all descriptions which are explicitly asserted in a disjointClasses axiom as disjoint from this description.
java.util.Set<Description>	getEquivalentDescriptions(Ontology ontology) Returns all descriptions which are explicitly asserted in an equivalentClasses axiom as equivalent to this description.
java.util.Set<Individual>	getMemberIndividuals(Ontology ontology) Returns all individuals which are explicitly asserted as members in this description.
Description	getNNF() Returns the negation-normal form of this description.
java.util.Set<ObjectProperty>	getObjectPropertiesFrom(Ontology ontology) Returns the set of all object properties where this description is asserted as domain in an ObjectPropertyDomain axiom.
java.util.Set<ObjectProperty>	getObjectPropertiesTo(Ontology ontology) Returns the set of all object properties where this description is asserted as range in an ObjectPropertyRange axiom.
Description	getSimplified() Returns the simplified version of this description.
java.util.Set<Description>	getSubDescriptions(Ontology ontology) Returns all descriptions which are explicitly asserted in a subClassOf axiom as subdescriptions of this description.
java.util.Set<Description>	getSuperDescriptions(Ontology ontology) Returns all descriptions which are explicitly asserted in a subClassOf axiom as superdescriptions of this description.
boolean	isInNNF() Returns true if this description is in negation-normal form.
void	toString(java.lang.StringBuffer buffer, Namespaces namespaces) Writes this description to the supplied sting buffer.

Methods inherited from interface org.semanticweb.kaon2.api.rules.Predicate

getArity

Method Detail

isInNNF

boolean isInNNF()

Returns true if this description is in negation-normal form.

Returns:

true if this description is in negation-normal form

getNNF

Description getNNF()

Returns the negation-normal form of this description.

Returns:

the negation-normal form of this description

getComplementNNF

Description getComplementNNF()

Returns the negation-normal form of the complement of this description.

Returns:

the negation-normal form of the complement of this description

getSimplified

Description getSimplified()

Returns the simplified version of this description.

Returns:

the simplified version of this description

toString

void toString(java.lang.StringBuffer buffer,
              Namespaces namespaces)

Writes this description to the supplied sting buffer.

Specified by:

toString in interface Predicate

Parameters:

buffer - the buffer

namespaces - the namespaces object

accept

java.lang.Object accept(KAON2Visitor visitor)

Accepts a visitor for this object.

Specified by:

accept in interface Predicate

Parameters:

visitor - the object visitor

Returns:

the return value of the visitor (can be null)

getSuperDescriptions

java.util.Set<Description> getSuperDescriptions(Ontology ontology)
                                                throws KAON2Exception

Returns all descriptions which are explicitly asserted in a subClassOf axiom as superdescriptions of this description.

Parameters:

ontology - the ontology in which the search is perfromed

Returns:

the set of superdescriptions

Throws:

KAON2Exception - thrown if there is an error

getSubDescriptions

java.util.Set<Description> getSubDescriptions(Ontology ontology)
                                              throws KAON2Exception

Returns all descriptions which are explicitly asserted in a subClassOf axiom as subdescriptions of this description.

Parameters:

ontology - the ontology in which the search is perfromed

Returns:

the set of subdescriptions

Throws:

KAON2Exception - thrown if there is an error

getEquivalentDescriptions

java.util.Set<Description> getEquivalentDescriptions(Ontology ontology)
                                                     throws KAON2Exception

Returns all descriptions which are explicitly asserted in an equivalentClasses axiom as equivalent to this description.

Parameters:

ontology - the ontology in which the search is perfromed

Returns:

the set of equivalent descriptions

Throws:

KAON2Exception - thrown if there is an error

getDisjointDescriptions

java.util.Set<Description> getDisjointDescriptions(Ontology ontology)
                                                   throws KAON2Exception

Returns all descriptions which are explicitly asserted in a disjointClasses axiom as disjoint from this description.

Parameters:

ontology - the ontology in which the search is perfromed

Returns:

the set of descriptions disjoint from this description

Throws:

KAON2Exception - thrown if there is an error

getObjectPropertiesFrom

java.util.Set<ObjectProperty> getObjectPropertiesFrom(Ontology ontology)
                                                      throws KAON2Exception

Returns the set of all object properties where this description is asserted as domain in an ObjectPropertyDomain axiom.

Parameters:

ontology - the ontology in which the search is perfromed

Returns:

the set of object properties for which this description is a domain

Throws:

KAON2Exception - thrown if there is an error

getObjectPropertiesTo

java.util.Set<ObjectProperty> getObjectPropertiesTo(Ontology ontology)
                                                    throws KAON2Exception

Returns the set of all object properties where this description is asserted as range in an ObjectPropertyRange axiom.

Parameters:

ontology - the ontology in which the search is perfromed

Returns:

the set of object properties for which this description is a range

Throws:

KAON2Exception - thrown if there is an error

getDataPropertiesFrom

java.util.Set<DataProperty> getDataPropertiesFrom(Ontology ontology)
                                                  throws KAON2Exception

Returns the set of all data properties where this description is asserted as domain in an DataPropertyDomain axiom.

Parameters:

ontology - the ontology in which the search is perfromed

Returns:

the set of data properties for which this description is a domain

Throws:

KAON2Exception - thrown if there is an error

getMemberIndividuals

java.util.Set<Individual> getMemberIndividuals(Ontology ontology)
                                               throws KAON2Exception

Returns all individuals which are explicitly asserted as members in this description.

Parameters:

ontology - the ontology in which the search is perfromed

Returns:

the set of individuals which are members in this description

Throws:

KAON2Exception - thrown if there is an error