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

Packages that use Description

org.semanticweb.kaon2.api
org.semanticweb.kaon2.api.owl.axioms
org.semanticweb.kaon2.api.owl.elements
org.semanticweb.kaon2.api.reasoner

Uses of Description in org.semanticweb.kaon2.api

Methods in org.semanticweb.kaon2.api that return Description

Description	KAON2Factory.description(java.io.Reader reader, Namespaces namespaces)
Description	KAON2Factory.description(java.lang.String string, Namespaces namespaces)

Methods in org.semanticweb.kaon2.api with parameters of type Description

ClassMember	KAON2Factory.classMember(Description description, Individual individual)
DataPropertyDomain	KAON2Factory.dataPropertyDomain(DataProperty dataProperty, Description domain)
DisjointClasses	KAON2Factory.disjointClasses(Description... descriptions)
EquivalentClasses	KAON2Factory.equivalentClasses(Description... descriptions)
ObjectAll	KAON2Factory.objectAll(ObjectProperty objectProperty, Description description)
ObjectAnd	KAON2Factory.objectAnd(Description... descriptions)
ObjectAnd	KAON2Factory.objectAnd(Description first, Description second)
ObjectCardinality	KAON2Factory.objectCardinality(int minimumCardinality, int maximumCardinality, ObjectProperty objectProperty, Description description)
ObjectNot	KAON2Factory.objectNot(Description description)
ObjectOr	KAON2Factory.objectOr(Description... descriptions)
ObjectOr	KAON2Factory.objectOr(Description first, Description second)
ObjectPropertyDomain	KAON2Factory.objectPropertyDomain(ObjectProperty objectProperty, Description domain)
ObjectPropertyRange	KAON2Factory.objectPropertyRange(ObjectProperty objectProperty, Description range)
ObjectSome	KAON2Factory.objectSome(ObjectProperty objectProperty, Description description)
SubClassOf	KAON2Factory.subClassOf(Description subDescription, Description superDescription)

Method parameters in org.semanticweb.kaon2.api with type arguments of type Description

DisjointClasses	KAON2Factory.disjointClasses(java.util.Collection<Description> descriptions)
EquivalentClasses	KAON2Factory.equivalentClasses(java.util.Collection<Description> descriptions)
ObjectAnd	KAON2Factory.objectAnd(java.util.Collection<Description> descriptions)
ObjectOr	KAON2Factory.objectOr(java.util.Collection<Description> descriptions)

Uses of Description in org.semanticweb.kaon2.api.owl.axioms

Methods in org.semanticweb.kaon2.api.owl.axioms that return Description

Description	ClassMember.getDescription() Returns the description that this individual is a member of.
Description	ObjectPropertyDomain.getDomain() Returns the domain description.
Description	DataPropertyDomain.getDomain() Returns the domain description.
Description	ObjectPropertyRange.getRange() Returns the range description.
Description	SubClassOf.getSubDescription() Returns the subdescription.
Description	SubClassOf.getSuperDescription() Returns the superdescriptions.

Methods in org.semanticweb.kaon2.api.owl.axioms that return types with arguments of type Description

java.util.Set<Description>	EquivalentClasses.getDescriptions() Returns the set of descriptions that are equivalent.
java.util.Set<Description>	DisjointClasses.getDescriptions() Returns the set of descritpions that are disjoint.

Uses of Description in org.semanticweb.kaon2.api.owl.elements

Subinterfaces of Description in org.semanticweb.kaon2.api.owl.elements

interface	DataAll A description specifying that all values of data properties are from a given data range.
interface	DataCardinality A description specifying the cardinality of a data property.
interface	DataHasValue A description specifying the value of some data property.
interface	DataSome A description specifying that some values of data properties are from a given data range.
interface	ObjectAll A description specifying the all values of the object property are from a description.
interface	ObjectAnd A description specifying intersection of descriptions.
interface	ObjectCardinality A description specifying the cardinality of some object property.
interface	ObjectHasValue A description specifying the value of some object property.
interface	ObjectNot A description specifying a complement of a description.
interface	ObjectOneOf An description built by enumerating individuals.
interface	ObjectOr A description specifying union of descriptions.
interface	ObjectSome A description specifying the some values of the property are from a description.
interface	OWLClass Represents a class in an ontology.

Methods in org.semanticweb.kaon2.api.owl.elements that return Description

Description	Description.getComplementNNF() Returns the negation-normal form of the complement of this description.
Description	ObjectSome.getDescription() Returns the description to which the value of the property is restricted.
Description	ObjectNot.getDescription() Returns the description that this description is a complement of.
Description	ObjectCardinality.getDescription() Returns the description to which the cardinality is restricted.
Description	ObjectAll.getDescription() Returns the descritpion to which the value of the object property is restricted.
Description	Description.getNNF() Returns the negation-normal form of this description.
Description	Description.getSimplified() Returns the simplified version of this description.

Methods in org.semanticweb.kaon2.api.owl.elements that return types with arguments of type Description

java.util.Set<Description>	ObjectOr.getDescriptions() Returns the set of descriptions being united.
java.util.Set<Description>	ObjectAnd.getDescriptions() Returns the set of descriptions being intersected.
java.util.Set<Description>	Individual.getDescriptionsMemberOf(Ontology ontology) Returns the set of descriptions that occur in a ClassMember axiom, where this individual is the individual.
java.util.Set<Description>	Description.getDisjointDescriptions(Ontology ontology) Returns all descriptions which are explicitly asserted in a disjointClasses axiom as disjoint from this description.
java.util.Set<Description>	ObjectProperty.getDomainDescriptions(Ontology ontology) Returns the set of descriptions which are specified as domain in an ObjectPropertyDomain axiom.
java.util.Set<Description>	DataProperty.getDomainDescriptions(Ontology ontology) Returns the set of descriptions which are specified as domain in an DataPropertyDomain axiom.
java.util.Set<Description>	Description.getEquivalentDescriptions(Ontology ontology) Returns all descriptions which are explicitly asserted in an equivalentClasses axiom as equivalent to this description.
java.util.Set<Description>	ObjectProperty.getRangeDescriptions(Ontology ontology) Returns the set of descriptions which are specified as range in an ObjectPropertyRange axiom.
java.util.Set<Description>	Description.getSubDescriptions(Ontology ontology) Returns all descriptions which are explicitly asserted in a subClassOf axiom as subdescriptions of this description.
java.util.Set<Description>	Description.getSuperDescriptions(Ontology ontology) Returns all descriptions which are explicitly asserted in a subClassOf axiom as superdescriptions of this description.

Uses of Description in org.semanticweb.kaon2.api.reasoner

Methods in org.semanticweb.kaon2.api.reasoner with parameters of type Description

boolean	Reasoner.equivalent(Description description1, Description description2) Checks if descriptions are equivalent.
boolean	Reasoner.isSatisfiable(Description description) Checks if a description is satisfiable w.r.t. the TBox and the RBox.
boolean	Reasoner.subsumedBy(Description subDescription, Description superDescription) Checks if one description subsumes the other w.r.t. the knowledge base.