Package openllet.owlapi

Class 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 java.lang.Object
implements org.semanticweb.owlapi.model.OWLAxiomVisitor, FacetReasonerOWL

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method 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.OWLAnnotationAxiomVisitor

        visit, visit, visit, visit

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

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

        doDefault, getDefaultReturnValue, handleDefault

      • Methods inherited from interface org.semanticweb.owlapi.model.SWRLRuleVisitorBase

        visit

    • Constructor Detail

      • EntailmentQueryVisitor

        public EntailmentQueryVisitor​(OpenlletReasoner 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.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