Package openllet.owlapi

Class EntailmentChecker

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

    Copyright: Copyright (c) 2006

    Company: Clark & Parsia, LLC.

    Author:
    Evren Sirin

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.util.logging.Logger _logger  
      static java.util.Set<org.semanticweb.owlapi.model.AxiomType<?>> UNSUPPORTED_ENTAILMENT  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> findNonEntailments​(java.util.Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms, boolean findAll)  
      OpenlletReasoner getReasoner()  
      boolean isEntailed​(java.util.Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)  
      boolean isEntailed​(java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)  
      void visit​(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLHasKeyAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom 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.OWLObjectPropertyDomainAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)  
      void visit​(org.semanticweb.owlapi.model.SWRLRule rule)  

      • Methods inherited from class java.lang.Object

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

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

        doDefault, getDefaultReturnValue, handleDefault

    • Field Detail

      • _logger

        public static java.util.logging.Logger _logger

      • UNSUPPORTED_ENTAILMENT

        public static final java.util.Set<org.semanticweb.owlapi.model.AxiomType<?>> UNSUPPORTED_ENTAILMENT

    • Constructor Detail

    • Method Detail

      • isEntailed

        public boolean isEntailed​(java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)

      • isEntailed

        public boolean isEntailed​(java.util.Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)

      • findNonEntailments

        public java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> findNonEntailments​(java.util.Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms,
                                                                               boolean findAll)

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLSubClassOfAxiom 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.OWLAsymmetricObjectPropertyAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom 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.OWLDifferentIndividualsAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom 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.OWLFunctionalObjectPropertyAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • 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.OWLEquivalentClassesAxiom 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.OWLTransitiveObjectPropertyAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLHasKeyAxiom 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

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.SWRLRule rule)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.SWRLRuleVisitorBase

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor