|
||||||||||
| 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.OWLAxiomVisitorvisit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapterpublic void visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorvisit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapterpublic void visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorvisit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapterpublic void visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorvisit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapterpublic void visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorvisit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapterpublic void visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorvisit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapterpublic void visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorvisit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||