de.tudresden.inf.lat.jcel.reasoner.main
Class OntologyEntailmentChecker
java.lang.Object
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
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 |
OntologyEntailmentChecker
public OntologyEntailmentChecker(RuleBasedReasoner reasoner)
- Constructs a new ontology entailment checker.
- Parameters:
reasoner
- reasoner
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.