de.tudresden.inf.lat.jcel.reasoner.main
Class OntologyEntailmentChecker

java.lang.Object
  extended by de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
All Implemented Interfaces:
de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

public class OntologyEntailmentChecker
extends Object
implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

An object of this class checks ontology entailment.

Author:
Julian Mendez

Constructor Summary
OntologyEntailmentChecker(RuleBasedReasoner reasoner)
          Constructs a new ontology entailment checker.
 
Method Summary
 RuleBasedReasoner getReasoner()
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom axiom)
           
 Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom axiom)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

OntologyEntailmentChecker

public OntologyEntailmentChecker(RuleBasedReasoner reasoner)
Constructs a new ontology entailment checker.

Parameters:
reasoner - reasoner
Method Detail

getReasoner

public RuleBasedReasoner getReasoner()

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>

visit

public Boolean visit(de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom axiom)
Specified by:
visit in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<Boolean>


Copyright © 2012. All Rights Reserved.