|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
public class NormalizedAxiomExpressivityDetector
An object implementing this class can detect the expressivity of a given set of normalized axioms.
Constructor Summary | |
---|---|
NormalizedAxiomExpressivityDetector(Set<NormalizedIntegerAxiom> axiomSet)
Constructs a new expressivity detector. |
Method Summary | |
---|---|
boolean |
hasBottom()
Tells whether the ontology analyzer has found class bottom. |
boolean |
hasDatatype()
Tells whether the ontology analyzer has found data types. |
boolean |
hasFunctionalObjectProperty()
Tells whether the ontology analyzer has found functional object properties. |
boolean |
hasIndividual()
Tells whether the ontology analyzer has found individuals. |
boolean |
hasInverseObjectProperty()
Tells whether the ontology analyzer has found inverse object properties. |
boolean |
hasNominal()
Tells whether the ontology analyzer has found nominals. |
boolean |
hasReflexiveObjectProperty()
Tells whether the ontology analyzer has found reflexive object properties. |
boolean |
hasSubObjectPropertyOf()
Tells whether the ontology analyzer has found sub object properties. |
boolean |
hasSubPropertyChainOf()
Tells whether the ontology analyzer has found sub object property chains. |
boolean |
hasTransitiveObjectProperty()
Tells whether the ontology analyzer has found transitive object properties. |
String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public NormalizedAxiomExpressivityDetector(Set<NormalizedIntegerAxiom> axiomSet)
axiomSet
- set of axioms to detect the expressivityMethod Detail |
---|
public boolean hasBottom()
OntologyExpressivity
hasBottom
in interface OntologyExpressivity
true
if and only if the ontology analyzer has found
class bottompublic boolean hasDatatype()
OntologyExpressivity
hasDatatype
in interface OntologyExpressivity
true
if and only if the ontology analyzer has found
data typespublic boolean hasFunctionalObjectProperty()
OntologyExpressivity
hasFunctionalObjectProperty
in interface OntologyExpressivity
true
if and only if the ontology analyzer has found
functional object propertiespublic boolean hasIndividual()
OntologyExpressivity
hasIndividual
in interface OntologyExpressivity
true
if and only if the ontology analyzer has found
individualspublic boolean hasInverseObjectProperty()
OntologyExpressivity
hasInverseObjectProperty
in interface OntologyExpressivity
true
if and only if the ontology analyzer has found
inverse object propertiespublic boolean hasNominal()
OntologyExpressivity
hasNominal
in interface OntologyExpressivity
true
if and only if the ontology analyzer has found
nominalspublic boolean hasReflexiveObjectProperty()
OntologyExpressivity
hasReflexiveObjectProperty
in interface OntologyExpressivity
true
if and only if the ontology analyzer has found
reflexive object propertiespublic boolean hasSubObjectPropertyOf()
OntologyExpressivity
hasSubObjectPropertyOf
in interface OntologyExpressivity
true
if and only if the ontology analyzer has found
sub object propertiespublic boolean hasSubPropertyChainOf()
OntologyExpressivity
hasSubPropertyChainOf
in interface OntologyExpressivity
true
if and only if the ontology analyzer has found
sub object property chainspublic boolean hasTransitiveObjectProperty()
OntologyExpressivity
hasTransitiveObjectProperty
in interface OntologyExpressivity
true
if and only if the ontology analyzer has found
transitive object propertiespublic String toString()
toString
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |