de.tudresden.inf.lat.jcel.ontology.axiom.extension
Class ComplexAxiomExpressivityDetector
java.lang.Object
de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
- All Implemented Interfaces:
- de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
public class ComplexAxiomExpressivityDetector
- extends Object
- implements de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
An object implementing this class can detect the expressivity of a given set
of complex axioms.
- Author:
- Julian Mendez
ComplexAxiomExpressivityDetector
public ComplexAxiomExpressivityDetector(Set<ComplexIntegerAxiom> axiomSet)
- Constructs a new expressivity detector.
- Parameters:
axiomSet
- set of axioms to detect the expressivity
hasBottom
public boolean hasBottom()
- Specified by:
hasBottom
in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
hasDatatype
public boolean hasDatatype()
- Specified by:
hasDatatype
in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
hasFunctionalObjectProperty
public boolean hasFunctionalObjectProperty()
- Specified by:
hasFunctionalObjectProperty
in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
hasIndividual
public boolean hasIndividual()
- Specified by:
hasIndividual
in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
hasInverseObjectProperty
public boolean hasInverseObjectProperty()
- Specified by:
hasInverseObjectProperty
in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
hasNominal
public boolean hasNominal()
- Specified by:
hasNominal
in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
hasReflexiveObjectProperty
public boolean hasReflexiveObjectProperty()
- Specified by:
hasReflexiveObjectProperty
in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
hasSubObjectPropertyOf
public boolean hasSubObjectPropertyOf()
- Specified by:
hasSubObjectPropertyOf
in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
hasSubPropertyChainOf
public boolean hasSubPropertyChainOf()
- Specified by:
hasSubPropertyChainOf
in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
hasTransitiveObjectProperty
public boolean hasTransitiveObjectProperty()
- Specified by:
hasTransitiveObjectProperty
in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
toString
public String toString()
- Overrides:
toString
in class Object
Copyright © 2012. All Rights Reserved.