public class ComplexAxiomExpressivityDetector extends Object implements OntologyExpressivity
Type | Property and Description |
---|---|
boolean |
hasFunctionalObject |
boolean |
hasInverseObject |
boolean |
hasReflexiveObject |
boolean |
hasTransitiveObject |
Constructor and Description |
---|
ComplexAxiomExpressivityDetector(Set<ComplexIntegerAxiom> axiomSet)
Constructs a new expressivity detector.
|
Modifier and Type | Method and Description |
---|---|
boolean |
hasBottom() |
boolean |
hasDatatype() |
boolean |
hasFunctionalObjectProperty() |
boolean |
hasIndividual() |
boolean |
hasInverseObjectProperty() |
boolean |
hasNominal() |
boolean |
hasReflexiveObjectProperty() |
boolean |
hasSubObjectPropertyOf() |
boolean |
hasSubPropertyChainOf() |
boolean |
hasTransitiveObjectProperty() |
String |
toString() |
hasFunctionalObjectProperty
in interface OntologyExpressivity
hasInverseObjectProperty
in interface OntologyExpressivity
hasReflexiveObjectProperty
in interface OntologyExpressivity
hasTransitiveObjectProperty
in interface OntologyExpressivity
public ComplexAxiomExpressivityDetector(Set<ComplexIntegerAxiom> axiomSet)
axiomSet
- set of axioms to detect the expressivitypublic boolean hasBottom()
hasBottom
in interface OntologyExpressivity
public boolean hasDatatype()
hasDatatype
in interface OntologyExpressivity
public boolean hasFunctionalObjectProperty()
hasFunctionalObjectProperty
in interface OntologyExpressivity
public boolean hasIndividual()
hasIndividual
in interface OntologyExpressivity
public boolean hasInverseObjectProperty()
hasInverseObjectProperty
in interface OntologyExpressivity
public boolean hasNominal()
hasNominal
in interface OntologyExpressivity
public boolean hasReflexiveObjectProperty()
hasReflexiveObjectProperty
in interface OntologyExpressivity
public boolean hasSubObjectPropertyOf()
hasSubObjectPropertyOf
in interface OntologyExpressivity
public boolean hasSubPropertyChainOf()
hasSubPropertyChainOf
in interface OntologyExpressivity
public boolean hasTransitiveObjectProperty()
hasTransitiveObjectProperty
in interface OntologyExpressivity
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.