com.clarkparsia.pellet.owlapiv3
Class EntailmentQueryVisitor

java.lang.Object
  extended by org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
      extended by com.clarkparsia.pellet.owlapiv3.EntailmentQueryVisitor
All Implemented Interfaces:
org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor

public class EntailmentQueryVisitor
extends org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter


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

EntailmentQueryVisitor

public EntailmentQueryVisitor(PelletReasoner reasoner)
Method Detail

isEntailed

public boolean isEntailed()

reset

public void reset()

visit

public void visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter


Copyright © 2004 Evren Sirin. All Rights Reserved.