openllet.owlapi

Class EntailmentQueryVisitor

java.lang.Object

openllet.owlapi.EntailmentQueryVisitor

All Implemented Interfaces:

FacetReasonerOWL, org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor, org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor, org.semanticweb.owlapi.model.OWLVisitorBase, org.semanticweb.owlapi.model.SWRLRuleVisitorBase

public class EntailmentQueryVisitor
extends Object
implements org.semanticweb.owlapi.model.OWLAxiomVisitor, FacetReasonerOWL

Constructor Summary

Constructors

Constructor and Description
EntailmentQueryVisitor(OpenlletReasoner reasoner)

Method Summary

Modifier and Type	Method and Description
OpenlletReasoner	getReasoner()
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 java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit, visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor

visit, visit, visit, visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

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 interface org.semanticweb.owlapi.model.SWRLRuleVisitorBase

visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLVisitorBase

doDefault, getDefaultReturnValue, handleDefault

Constructor Detail

EntailmentQueryVisitor

public EntailmentQueryVisitor(OpenlletReasoner reasoner)

Method Detail

getReasoner

public OpenlletReasoner getReasoner()

Specified by:

getReasoner in interface FacetReasonerOWL

Returns:

a PelletReasoner that reason over a previously registered ontology.

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.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor