public class OntologyEntailmentChecker extends Object implements ComplexIntegerAxiomVisitor<Boolean>
Constructor and Description |
---|
OntologyEntailmentChecker(RuleBasedReasoner reasoner)
Constructs a new ontology entailment checker.
|
public OntologyEntailmentChecker(RuleBasedReasoner reasoner)
reasoner
- reasonerpublic RuleBasedReasoner getReasoner()
public Boolean visit(IntegerClassAssertionAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerClassDeclarationAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerDataPropertyAssertionAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerDataPropertyDeclarationAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerDifferentIndividualsAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerDisjointClassesAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerEquivalentClassesAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerEquivalentObjectPropertiesAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerFunctionalObjectPropertyAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerInverseFunctionalObjectPropertyAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerInverseObjectPropertiesAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerNamedIndividualDeclarationAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerNegativeObjectPropertyAssertionAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerObjectPropertyAssertionAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerObjectPropertyDeclarationAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerPropertyRangeAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerReflexiveObjectPropertyAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerSameIndividualAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerSubClassOfAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerSubObjectPropertyOfAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerSubPropertyChainOfAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
public Boolean visit(IntegerTransitiveObjectPropertyAxiom axiom)
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.