de.tudresden.inf.lat.jcel.coreontology.expressivity
Class NormalizedAxiomExpressivityDetector

java.lang.Object
  extended by de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
All Implemented Interfaces:
OntologyExpressivity

public class NormalizedAxiomExpressivityDetector
extends Object
implements OntologyExpressivity

An object implementing this class can detect the expressivity of a given set of normalized axioms.

Author:
Julian Mendez

Constructor Summary
NormalizedAxiomExpressivityDetector(Set<NormalizedIntegerAxiom> axiomSet)
          Constructs a new expressivity detector.
 
Method Summary
 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()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

NormalizedAxiomExpressivityDetector

public NormalizedAxiomExpressivityDetector(Set<NormalizedIntegerAxiom> axiomSet)
Constructs a new expressivity detector.

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

hasBottom

public boolean hasBottom()
Description copied from interface: OntologyExpressivity
Tells whether the ontology analyzer has found class bottom.

Specified by:
hasBottom in interface OntologyExpressivity
Returns:
true if and only if the ontology analyzer has found class bottom

hasDatatype

public boolean hasDatatype()
Description copied from interface: OntologyExpressivity
Tells whether the ontology analyzer has found data types.

Specified by:
hasDatatype in interface OntologyExpressivity
Returns:
true if and only if the ontology analyzer has found data types

hasFunctionalObjectProperty

public boolean hasFunctionalObjectProperty()
Description copied from interface: OntologyExpressivity
Tells whether the ontology analyzer has found functional object properties.

Specified by:
hasFunctionalObjectProperty in interface OntologyExpressivity
Returns:
true if and only if the ontology analyzer has found functional object properties

hasIndividual

public boolean hasIndividual()
Description copied from interface: OntologyExpressivity
Tells whether the ontology analyzer has found individuals.

Specified by:
hasIndividual in interface OntologyExpressivity
Returns:
true if and only if the ontology analyzer has found individuals

hasInverseObjectProperty

public boolean hasInverseObjectProperty()
Description copied from interface: OntologyExpressivity
Tells whether the ontology analyzer has found inverse object properties.

Specified by:
hasInverseObjectProperty in interface OntologyExpressivity
Returns:
true if and only if the ontology analyzer has found inverse object properties

hasNominal

public boolean hasNominal()
Description copied from interface: OntologyExpressivity
Tells whether the ontology analyzer has found nominals.

Specified by:
hasNominal in interface OntologyExpressivity
Returns:
true if and only if the ontology analyzer has found nominals

hasReflexiveObjectProperty

public boolean hasReflexiveObjectProperty()
Description copied from interface: OntologyExpressivity
Tells whether the ontology analyzer has found reflexive object properties.

Specified by:
hasReflexiveObjectProperty in interface OntologyExpressivity
Returns:
true if and only if the ontology analyzer has found reflexive object properties

hasSubObjectPropertyOf

public boolean hasSubObjectPropertyOf()
Description copied from interface: OntologyExpressivity
Tells whether the ontology analyzer has found sub object properties.

Specified by:
hasSubObjectPropertyOf in interface OntologyExpressivity
Returns:
true if and only if the ontology analyzer has found sub object properties

hasSubPropertyChainOf

public boolean hasSubPropertyChainOf()
Description copied from interface: OntologyExpressivity
Tells whether the ontology analyzer has found sub object property chains.

Specified by:
hasSubPropertyChainOf in interface OntologyExpressivity
Returns:
true if and only if the ontology analyzer has found sub object property chains

hasTransitiveObjectProperty

public boolean hasTransitiveObjectProperty()
Description copied from interface: OntologyExpressivity
Tells whether the ontology analyzer has found transitive object properties.

Specified by:
hasTransitiveObjectProperty in interface OntologyExpressivity
Returns:
true if and only if the ontology analyzer has found transitive object properties

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.