Package openllet.owlapi

Class PelletReasoner

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.util.logging.Logger _logger  

    • Constructor Summary

      Constructors 
      Constructor Description
      PelletReasoner​(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)  
      PelletReasoner​(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config, org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)
      Create a reasoner for the given _ontology and configuration.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void dispose()  
      void flush()
      java.util.Set<org.semanticweb.owlapi.model.OWLLiteral> getAnnotationPropertyValues​(org.semanticweb.owlapi.model.OWLNamedIndividual ind, org.semanticweb.owlapi.model.OWLAnnotationProperty pe)  
      org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getBottomClassNode()  
      org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getBottomDataPropertyNode()  
      org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getBottomObjectPropertyNode()  
      org.semanticweb.owlapi.reasoner.BufferingMode getBufferingMode()
      org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDataPropertyDomains​(org.semanticweb.owlapi.model.OWLDataProperty pe, boolean direct)  
      java.util.Set<org.semanticweb.owlapi.model.OWLLiteral> getDataPropertyValues​(org.semanticweb.owlapi.model.OWLNamedIndividual ind, org.semanticweb.owlapi.model.OWLDataProperty pe)  
      org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getDifferentIndividuals​(org.semanticweb.owlapi.model.OWLNamedIndividual ind)  
      org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDisjointClasses​(org.semanticweb.owlapi.model.OWLClassExpression ce)  
      org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getDisjointDataProperties​(org.semanticweb.owlapi.model.OWLDataPropertyExpression pe)  
      org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getDisjointObjectProperties​(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)  
      org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getEquivalentClasses​(org.semanticweb.owlapi.model.OWLClassExpression ce)  
      org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getEquivalentDataProperties​(org.semanticweb.owlapi.model.OWLDataProperty pe)  
      org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getEquivalentObjectProperties​(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)  
      org.semanticweb.owlapi.model.OWLDataFactory getFactory()  
      org.semanticweb.owlapi.reasoner.FreshEntityPolicy getFreshEntityPolicy()  
      OWLManagerGroup getGroup()  
      org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy getIndividualNodeSetPolicy()  
      org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getInstances​(org.semanticweb.owlapi.model.OWLClassExpression ce, boolean direct)  
      org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getInverseObjectProperties​(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)  
      openllet.core.KnowledgeBase getKB()
      Return the underlying Pellet knowledge base.
      org.semanticweb.owlapi.model.OWLOntologyManager getManager()  
      org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getObjectPropertyDomains​(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct)  
      org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getObjectPropertyRanges​(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct)  
      org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getObjectPropertyValues​(org.semanticweb.owlapi.model.OWLNamedIndividual ind, org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)  
      org.semanticweb.owlapi.model.OWLOntology getOntology()  
      java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomAdditions()
      Return an empty set.
      java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomRemovals()
      Return an empty set.
      java.util.List<org.semanticweb.owlapi.model.OWLOntologyChange> getPendingChanges()  
      java.util.Set<org.semanticweb.owlapi.reasoner.InferenceType> getPrecomputableInferenceTypes()
      java.lang.String getReasonerName()  
      org.semanticweb.owlapi.util.Version getReasonerVersion()
      org.semanticweb.owlapi.model.OWLOntology getRootOntology()  
      org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual> getSameIndividuals​(org.semanticweb.owlapi.model.OWLNamedIndividual ind)  
      org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSubClasses​(org.semanticweb.owlapi.model.OWLClassExpression ce, boolean direct)  
      org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSubDataProperties​(org.semanticweb.owlapi.model.OWLDataProperty pe, boolean direct)  
      org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getSubObjectProperties​(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct)  
      org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSuperClasses​(org.semanticweb.owlapi.model.OWLClassExpression ce, boolean direct)  
      org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSuperDataProperties​(org.semanticweb.owlapi.model.OWLDataProperty pe, boolean direct)  
      org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getSuperObjectProperties​(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct)  
      long getTimeOut()  
      org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getTopClassNode()  
      org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getTopDataPropertyNode()  
      org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getTopObjectPropertyNode()  
      org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getTypes​(org.semanticweb.owlapi.model.OWLNamedIndividual ind, boolean direct)  
      org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getUnsatisfiableClasses()  
      void interrupt()  
      boolean isConsistent()  
      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)  
      boolean isEntailed​(org.semanticweb.owlapi.model.OWLAxiom axiom)  
      boolean isEntailmentCheckingSupported​(org.semanticweb.owlapi.model.AxiomType<?> axiomType)  
      boolean isPrecomputed​(org.semanticweb.owlapi.reasoner.InferenceType inferenceType)
      boolean isSatisfiable​(org.semanticweb.owlapi.model.OWLClassExpression classExpression)  
      java.util.stream.Stream<org.semanticweb.owlapi.model.OWLNamedIndividual> objectPropertyValues​(org.semanticweb.owlapi.model.OWLNamedIndividual ind, org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)  
      void ontologiesChanged​(java.util.List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)
      void precomputeInferences​(org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes)
      void prepareReasoner()
      boolean processChanges​(java.util.List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)
      Process all the given changes in an incremental fashion.
      void refresh()
      Clears the reasoner and reloads all the axioms in the imports closure.
      openllet.aterm.ATermAppl term​(org.semanticweb.owlapi.model.OWLObject d)  

      • Methods inherited from class java.lang.Object

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

      • Methods inherited from interface org.semanticweb.owlapi.reasoner.OWLReasoner

        bottomClassNode, bottomDataPropertyNode, bottomObjectPropertyNode, dataPropertyDomains, dataPropertyDomains, dataPropertyDomains, dataPropertyValues, differentIndividuals, disjointClasses, disjointDataProperties, disjointObjectProperties, equivalentClasses, equivalentDataProperties, equivalentObjectProperties, getDataPropertyDomains, getDataPropertyDomains, getInstances, getInstances, getObjectPropertyDomains, getObjectPropertyDomains, getObjectPropertyRanges, getObjectPropertyRanges, getSubClasses, getSubClasses, getSubDataProperties, getSubDataProperties, getSubObjectProperties, getSubObjectProperties, getSuperClasses, getSuperClasses, getSuperDataProperties, getSuperDataProperties, getSuperObjectProperties, getSuperObjectProperties, getTypes, getTypes, instances, instances, instances, inverseObjectProperties, isEntailed, objectPropertyDomains, objectPropertyDomains, objectPropertyDomains, objectPropertyRanges, objectPropertyRanges, objectPropertyRanges, pendingAxiomAdditions, pendingAxiomRemovals, pendingChanges, precomputableInferenceTypes, representativeInstances, representativeInstances, representativeInstances, sameIndividuals, subClasses, subClasses, subClasses, subDataProperties, subDataProperties, subDataProperties, subObjectProperties, subObjectProperties, subObjectProperties, superClasses, superClasses, superClasses, superDataProperties, superDataProperties, superDataProperties, superObjectProperties, superObjectProperties, superObjectProperties, topClassNode, topDataPropertyNode, topObjectPropertyNode, types, types, types, unsatisfiableClasses

    • Field Detail

      • _logger

        public static final java.util.logging.Logger _logger

    • Constructor Detail

      • PelletReasoner

        public PelletReasoner​(org.semanticweb.owlapi.model.OWLOntology ontology,
                      org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)

      • PelletReasoner

        public PelletReasoner​(org.semanticweb.owlapi.model.OWLOntology ontology,
                      org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config,
                      org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)
               throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException
        Create a reasoner for the given _ontology and configuration.
        Parameters:
        _ontology -
        Throws:
        org.semanticweb.owlapi.reasoner.IllegalConfigurationException

    • Method Detail

      • getManager

        public org.semanticweb.owlapi.model.OWLOntologyManager getManager()
        Specified by:
        getManager in interface FacetManagerOWL
        Returns:
        the manager that manage the current ontology.

      • getFactory

        public org.semanticweb.owlapi.model.OWLDataFactory getFactory()
        Specified by:
        getFactory in interface FacetFactoryOWL
        Returns:
        a factory that can build object for this ontlogy.

      • getOntology

        public org.semanticweb.owlapi.model.OWLOntology getOntology()
        Specified by:
        getOntology in interface FacetOntologyOWL
        Returns:
        the ontology map to this helper

      • getKB

        public openllet.core.KnowledgeBase getKB()
        Return the underlying Pellet knowledge base.
        Specified by:
        getKB in interface OpenlletReasoner
        Returns:
        the underlying Pellet knowledge base

      • dispose

        public void dispose()
        Specified by:
        dispose in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • flush

        public void flush()
        Specified by:
        flush in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • getBottomClassNode

        public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getBottomClassNode()
        Specified by:
        getBottomClassNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • getBottomDataPropertyNode

        public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getBottomDataPropertyNode()
        Specified by:
        getBottomDataPropertyNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • getBottomObjectPropertyNode

        public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getBottomObjectPropertyNode()
        Specified by:
        getBottomObjectPropertyNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • getBufferingMode

        public org.semanticweb.owlapi.reasoner.BufferingMode getBufferingMode()
        Specified by:
        getBufferingMode in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • getDataPropertyDomains

        public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDataPropertyDomains​(org.semanticweb.owlapi.model.OWLDataProperty pe,
                                                                                                             boolean direct)
                                                                                                      throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                             org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                             org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                             org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getDataPropertyDomains in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getDataPropertyValues

        public java.util.Set<org.semanticweb.owlapi.model.OWLLiteral> getDataPropertyValues​(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
                                                                                    org.semanticweb.owlapi.model.OWLDataProperty pe)
                                                                             throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                    org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                    org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getDataPropertyValues in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getAnnotationPropertyValues

        public java.util.Set<org.semanticweb.owlapi.model.OWLLiteral> getAnnotationPropertyValues​(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
                                                                                          org.semanticweb.owlapi.model.OWLAnnotationProperty pe)
                                                                                   throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                          org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                          org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                          org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getAnnotationPropertyValues in interface OpenlletReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getDifferentIndividuals

        public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getDifferentIndividuals​(org.semanticweb.owlapi.model.OWLNamedIndividual ind)
                                                                                                                 throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                        org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                        org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getDifferentIndividuals in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getDisjointClasses

        public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDisjointClasses​(org.semanticweb.owlapi.model.OWLClassExpression ce)
                                                                                                  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                         org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                                         org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                         org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                         org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getDisjointClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getDisjointDataProperties

        public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getDisjointDataProperties​(org.semanticweb.owlapi.model.OWLDataPropertyExpression pe)
                                                                                                                throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                       org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                       org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                       org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getDisjointDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getDisjointObjectProperties

        public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getDisjointObjectProperties​(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
                                                                                                                              throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                                     org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                                     org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                     org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getDisjointObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getEquivalentClasses

        public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getEquivalentClasses​(org.semanticweb.owlapi.model.OWLClassExpression ce)
                                                                                                 throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                        org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                                        org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                        org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getEquivalentClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getEquivalentDataProperties

        public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getEquivalentDataProperties​(org.semanticweb.owlapi.model.OWLDataProperty pe)
                                                                                                               throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                      org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                      org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                      org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getEquivalentDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getEquivalentObjectProperties

        public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getEquivalentObjectProperties​(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
                                                                                                                             throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                                    org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                                    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                    org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getEquivalentObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getIndividualNodeSetPolicy

        public org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy getIndividualNodeSetPolicy()
        Specified by:
        getIndividualNodeSetPolicy in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • getInstances

        public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getInstances​(org.semanticweb.owlapi.model.OWLClassExpression ce,
                                                                                                             boolean direct)
                                                                                                      throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                             org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                                             org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                             org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                             org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getInstances in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getInverseObjectProperties

        public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getInverseObjectProperties​(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
                                                                                                                          throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                                 org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                                 org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                 org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getInverseObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getObjectPropertyDomains

        public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getObjectPropertyDomains​(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
                                                                                                               boolean direct)
                                                                                                        throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                               org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                               org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                               org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getObjectPropertyDomains in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getObjectPropertyRanges

        public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getObjectPropertyRanges​(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
                                                                                                              boolean direct)
                                                                                                       throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                              org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                              org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                              org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getObjectPropertyRanges in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getObjectPropertyValues

        public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getObjectPropertyValues​(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
                                                                                                                        org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
                                                                                                                 throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                        org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                        org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getObjectPropertyValues in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • objectPropertyValues

        public java.util.stream.Stream<org.semanticweb.owlapi.model.OWLNamedIndividual> objectPropertyValues​(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
                                                                                                     org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
                                                                                              throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                     org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                     org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                     org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        objectPropertyValues in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getPendingAxiomAdditions

        public java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomAdditions()
        Return an empty set.
        Specified by:
        getPendingAxiomAdditions in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • getPendingAxiomRemovals

        public java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomRemovals()
        Return an empty set.
        Specified by:
        getPendingAxiomRemovals in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • getPendingChanges

        public java.util.List<org.semanticweb.owlapi.model.OWLOntologyChange> getPendingChanges()
        Specified by:
        getPendingChanges in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • getReasonerName

        public java.lang.String getReasonerName()
        Specified by:
        getReasonerName in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • getReasonerVersion

        public org.semanticweb.owlapi.util.Version getReasonerVersion()
        Specified by:
        getReasonerVersion in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • getRootOntology

        public org.semanticweb.owlapi.model.OWLOntology getRootOntology()
        Specified by:
        getRootOntology in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • getSameIndividuals

        public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual> getSameIndividuals​(org.semanticweb.owlapi.model.OWLNamedIndividual ind)
                                                                                                         throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getSameIndividuals in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getSubClasses

        public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSubClasses​(org.semanticweb.owlapi.model.OWLClassExpression ce,
                                                                                                    boolean direct)
                                                                                             throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                    org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                                    org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                    org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getSubClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getSubDataProperties

        public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSubDataProperties​(org.semanticweb.owlapi.model.OWLDataProperty pe,
                                                                                                                  boolean direct)
                                                                                                           throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                  org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                  org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                  org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getSubDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getSubObjectProperties

        public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getSubObjectProperties​(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
                                                                                                                                boolean direct)
                                                                                                                         throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                                org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                                org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getSubObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getSuperClasses

        public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSuperClasses​(org.semanticweb.owlapi.model.OWLClassExpression ce,
                                                                                                      boolean direct)
                                                                                               throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                      org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                                      org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                      org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                      org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getSuperClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getSuperDataProperties

        public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSuperDataProperties​(org.semanticweb.owlapi.model.OWLDataProperty pe,
                                                                                                                    boolean direct)
                                                                                                             throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                    org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                    org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getSuperDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getSuperObjectProperties

        public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getSuperObjectProperties​(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
                                                                                                                                  boolean direct)
                                                                                                                           throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                                  org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                                  org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                  org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getSuperObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getTimeOut

        public long getTimeOut()
        Specified by:
        getTimeOut in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • getTopClassNode

        public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getTopClassNode()
        Specified by:
        getTopClassNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • getTopDataPropertyNode

        public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getTopDataPropertyNode()
        Specified by:
        getTopDataPropertyNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • getTopObjectPropertyNode

        public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getTopObjectPropertyNode()
        Specified by:
        getTopObjectPropertyNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • getTypes

        public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getTypes​(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
                                                                                               boolean direct)
                                                                                        throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                               org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                               org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                               org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getTypes in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • getFreshEntityPolicy

        public org.semanticweb.owlapi.reasoner.FreshEntityPolicy getFreshEntityPolicy()
        Specified by:
        getFreshEntityPolicy in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • getUnsatisfiableClasses

        public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getUnsatisfiableClasses()
                                                                                                    throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                           org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        getUnsatisfiableClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • interrupt

        public void interrupt()
        Specified by:
        interrupt in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • isConsistent

        public boolean isConsistent()
                     throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                            org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        isConsistent in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • isEntailed

        public boolean isEntailed​(org.semanticweb.owlapi.model.OWLAxiom axiom)
                   throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                          org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException,
                          org.semanticweb.owlapi.reasoner.TimeOutException,
                          org.semanticweb.owlapi.reasoner.AxiomNotInProfileException,
                          org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                          org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        Specified by:
        isEntailed in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException
        org.semanticweb.owlapi.reasoner.TimeOutException
        org.semanticweb.owlapi.reasoner.AxiomNotInProfileException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException

      • isEntailed

        public boolean isEntailed​(java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
                   throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                          org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException,
                          org.semanticweb.owlapi.reasoner.TimeOutException,
                          org.semanticweb.owlapi.reasoner.AxiomNotInProfileException,
                          org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                          org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        Specified by:
        isEntailed in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException
        org.semanticweb.owlapi.reasoner.TimeOutException
        org.semanticweb.owlapi.reasoner.AxiomNotInProfileException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException

      • isEntailed

        public boolean isEntailed​(java.util.Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
                   throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                          org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException,
                          org.semanticweb.owlapi.reasoner.TimeOutException,
                          org.semanticweb.owlapi.reasoner.AxiomNotInProfileException,
                          org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                          org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        Specified by:
        isEntailed in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException
        org.semanticweb.owlapi.reasoner.TimeOutException
        org.semanticweb.owlapi.reasoner.AxiomNotInProfileException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException

      • isEntailmentCheckingSupported

        public boolean isEntailmentCheckingSupported​(org.semanticweb.owlapi.model.AxiomType<?> axiomType)
        Specified by:
        isEntailmentCheckingSupported in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • isSatisfiable

        public boolean isSatisfiable​(org.semanticweb.owlapi.model.OWLClassExpression classExpression)
                      throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                             org.semanticweb.owlapi.reasoner.TimeOutException,
                             org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                             org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                             org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        Specified by:
        isSatisfiable in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException
        org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException

      • ontologiesChanged

        public void ontologiesChanged​(java.util.List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)
        Specified by:
        ontologiesChanged in interface org.semanticweb.owlapi.model.OWLOntologyChangeListener

      • processChanges

        public boolean processChanges​(java.util.List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)
        Process all the given changes in an incremental fashion. Processing will stop if a change cannot be handled incrementally and requires a reload. The reload will not be done as part of processing.
        Specified by:
        processChanges in interface OpenlletReasoner
        Parameters:
        changes - the changes to be applied to the reasoner
        Returns:
        true if all changes have been processed successfully, false otherwise (indicates reasoner will reload the whole ontology next time it needs to do reasoning)

      • prepareReasoner

        public void prepareReasoner()
                     throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                            org.semanticweb.owlapi.reasoner.TimeOutException
        Specified by:
        prepareReasoner in interface OpenlletReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • refresh

        public void refresh()
        Clears the reasoner and reloads all the axioms in the imports closure.
        Specified by:
        refresh in interface OpenlletReasoner

      • term

        public openllet.aterm.ATermAppl term​(org.semanticweb.owlapi.model.OWLObject d)
        Specified by:
        term in interface OpenlletReasoner

      • getPrecomputableInferenceTypes

        public java.util.Set<org.semanticweb.owlapi.reasoner.InferenceType> getPrecomputableInferenceTypes()
        Specified by:
        getPrecomputableInferenceTypes in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • isPrecomputed

        public boolean isPrecomputed​(org.semanticweb.owlapi.reasoner.InferenceType inferenceType)
        Specified by:
        isPrecomputed in interface org.semanticweb.owlapi.reasoner.OWLReasoner

      • precomputeInferences

        public void precomputeInferences​(org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes)
                          throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                 org.semanticweb.owlapi.reasoner.TimeOutException,
                                 org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        Specified by:
        precomputeInferences in interface org.semanticweb.owlapi.reasoner.OWLReasoner
        Throws:
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException