public class OntologyEntailmentChecker extends Object implements ComplexIntegerAxiomVisitor<Boolean>
Constructor and Description |
---|
OntologyEntailmentChecker(RuleBasedReasoner reasoner)
Constructs a new ontology entailment checker.
|
Modifier and Type | Method and Description |
---|---|
RuleBasedReasoner |
getReasoner() |
Boolean |
visit(IntegerClassAssertionAxiom axiom)
Visits a class assertion axiom.
|
Boolean |
visit(IntegerClassDeclarationAxiom axiom)
Visits a class declaration axiom.
|
Boolean |
visit(IntegerDataPropertyAssertionAxiom axiom)
Visits a data property assertion axiom.
|
Boolean |
visit(IntegerDataPropertyDeclarationAxiom axiom)
Visits a data property declaration axiom.
|
Boolean |
visit(IntegerDifferentIndividualsAxiom axiom)
Visits a different individuals axiom.
|
Boolean |
visit(IntegerDisjointClassesAxiom axiom)
Visits a disjoint classes axiom.
|
Boolean |
visit(IntegerEquivalentClassesAxiom axiom)
Visits an equivalent classes axiom.
|
Boolean |
visit(IntegerEquivalentObjectPropertiesAxiom axiom)
Visits an equivalent object properties axiom.
|
Boolean |
visit(IntegerFunctionalObjectPropertyAxiom axiom)
Visits a functional object property axiom.
|
Boolean |
visit(IntegerInverseFunctionalObjectPropertyAxiom axiom)
Visits an inverse functional object property axiom.
|
Boolean |
visit(IntegerInverseObjectPropertiesAxiom axiom)
Visits an inverse object property axiom.
|
Boolean |
visit(IntegerNamedIndividualDeclarationAxiom axiom)
Visits a named individual declaration axiom.
|
Boolean |
visit(IntegerNegativeObjectPropertyAssertionAxiom axiom)
Visits a negative object property assertion axiom.
|
Boolean |
visit(IntegerObjectPropertyAssertionAxiom axiom)
Visits an object property assertion axiom.
|
Boolean |
visit(IntegerObjectPropertyDeclarationAxiom axiom)
Visits an object property declaration axiom.
|
Boolean |
visit(IntegerPropertyRangeAxiom axiom)
Visits property range axiom.
|
Boolean |
visit(IntegerReflexiveObjectPropertyAxiom axiom)
Visits a reflexive object property declaration axiom.
|
Boolean |
visit(IntegerSameIndividualAxiom axiom)
Visits a same individual axiom.
|
Boolean |
visit(IntegerSubClassOfAxiom axiom)
Visits a subclass axiom.
|
Boolean |
visit(IntegerSubObjectPropertyOfAxiom axiom)
Visits a sub object property axiom.
|
Boolean |
visit(IntegerSubPropertyChainOfAxiom axiom)
Visits a sub object property chain axiom.
|
Boolean |
visit(IntegerTransitiveObjectPropertyAxiom axiom)
Visits a transitive object property axiom.
|
public OntologyEntailmentChecker(RuleBasedReasoner reasoner)
reasoner
- reasonerpublic RuleBasedReasoner getReasoner()
public Boolean visit(IntegerClassAssertionAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerClassDeclarationAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerDataPropertyAssertionAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerDataPropertyDeclarationAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerDifferentIndividualsAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerDisjointClassesAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerEquivalentClassesAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerEquivalentObjectPropertiesAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerFunctionalObjectPropertyAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerInverseFunctionalObjectPropertyAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerInverseObjectPropertiesAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerNamedIndividualDeclarationAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerNegativeObjectPropertyAssertionAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerObjectPropertyAssertionAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerObjectPropertyDeclarationAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerPropertyRangeAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerReflexiveObjectPropertyAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerSameIndividualAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerSubClassOfAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerSubObjectPropertyOfAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerSubPropertyChainOfAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(IntegerTransitiveObjectPropertyAxiom axiom)
ComplexIntegerAxiomVisitor
visit
in interface ComplexIntegerAxiomVisitor<Boolean>
axiom
- axiomCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.