public class NormalizedAxiomExpressivityDetector extends Object implements OntologyExpressivity
Type | Property and Description |
---|---|
boolean |
hasFunctionalObject
Tells whether the ontology analyzer has found functional object
properties.
|
boolean |
hasInverseObject
Tells whether the ontology analyzer has found inverse object properties.
|
boolean |
hasReflexiveObject
Tells whether the ontology analyzer has found reflexive object
properties.
|
boolean |
hasTransitiveObject
Tells whether the ontology analyzer has found transitive object
properties.
|
Constructor and Description |
---|
NormalizedAxiomExpressivityDetector(Set<NormalizedIntegerAxiom> axiomSet)
Constructs a new expressivity detector.
|
Modifier and Type | Method and Description |
---|---|
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() |
hasFunctionalObjectProperty
in interface OntologyExpressivity
true
if and only if the ontology analyzer has found
functional object propertieshasInverseObjectProperty
in interface OntologyExpressivity
true
if and only if the ontology analyzer has found
inverse object propertieshasReflexiveObjectProperty
in interface OntologyExpressivity
true
if and only if the ontology analyzer has found
reflexive object propertieshasTransitiveObjectProperty
in interface OntologyExpressivity
true
if and only if the ontology analyzer has found
transitive object propertiespublic NormalizedAxiomExpressivityDetector(Set<NormalizedIntegerAxiom> axiomSet)
axiomSet
- set of axioms to detect the expressivitypublic 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 propertiesCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.