public interface 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.
|
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.
|
true
if and only if the ontology analyzer has found
functional object propertiestrue
if and only if the ontology analyzer has found
inverse object propertiestrue
if and only if the ontology analyzer has found
reflexive object propertiestrue
if and only if the ontology analyzer has found
transitive object propertiesboolean hasBottom()
true
if and only if the ontology analyzer has found
class bottomboolean hasDatatype()
true
if and only if the ontology analyzer has found
data typesboolean hasFunctionalObjectProperty()
true
if and only if the ontology analyzer has found
functional object propertiesboolean hasIndividual()
true
if and only if the ontology analyzer has found
individualsboolean hasInverseObjectProperty()
true
if and only if the ontology analyzer has found
inverse object propertiesboolean hasNominal()
true
if and only if the ontology analyzer has found
nominalsboolean hasReflexiveObjectProperty()
true
if and only if the ontology analyzer has found
reflexive object propertiesboolean hasSubObjectPropertyOf()
true
if and only if the ontology analyzer has found
sub object propertiesboolean hasSubPropertyChainOf()
true
if and only if the ontology analyzer has found
sub object property chainsboolean hasTransitiveObjectProperty()
true
if and only if the ontology analyzer has found
transitive object propertiesCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.