de.tudresden.inf.lat.jcel.ontology.axiom.extension
Class ComplexAxiomExpressivityDetector

java.lang.Object
  extended by 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

Constructor Summary
ComplexAxiomExpressivityDetector(Set<ComplexIntegerAxiom> axiomSet)
          Constructs a new expressivity detector.
 
Method Summary
 boolean hasBottom()
           
 boolean hasDatatype()
           
 boolean hasFunctionalObjectProperty()
           
 boolean hasIndividual()
           
 boolean hasInverseObjectProperty()
           
 boolean hasNominal()
           
 boolean hasReflexiveObjectProperty()
           
 boolean hasSubObjectPropertyOf()
           
 boolean hasSubPropertyChainOf()
           
 boolean hasTransitiveObjectProperty()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ComplexAxiomExpressivityDetector

public ComplexAxiomExpressivityDetector(Set<ComplexIntegerAxiom> axiomSet)
Constructs a new expressivity detector.

Parameters:
axiomSet - set of axioms to detect the expressivity
Method Detail

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.