|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
com.clarkparsia.pellet.owlapiv3.EntailmentQueryVisitor
public class EntailmentQueryVisitor
Constructor Summary | |
---|---|
EntailmentQueryVisitor(PelletReasoner reasoner)
|
Method Summary | |
---|---|
boolean |
isEntailed()
|
void |
reset()
|
void |
visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)
|
Methods inherited from class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter |
---|
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public EntailmentQueryVisitor(PelletReasoner reasoner)
Method Detail |
---|
public boolean isEntailed()
public void reset()
public void visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
public void visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
public void visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
public void visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
public void visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
public void visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |