Package cz.cvut.kbss.ontodriver.owlapi.query

Class NoOpReasoner

java.lang.Object
cz.cvut.kbss.ontodriver.owlapi.query.NoOpReasoner
All Implemented Interfaces:
org.semanticweb.owlapi.reasoner.OWLReasoner
public class NoOpReasoner extends Object implements org.semanticweb.owlapi.reasoner.OWLReasoner
A naive implementation of a no-op reasoner that just returns axioms asserted in the underlying ontology.

This implementation wraps a StructuralReasoner and passes true for direct whenever the called method allows it. All other calls are just forwarded to the underlying reasoner.

  • Constructor Summary

    Constructors
    Constructor
    Description
    NoOpReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    dispose()
     
    void
    flush()
     
    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)
     
    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.reasoner.FreshEntityPolicy
    getFreshEntityPolicy()
     
    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)
     
    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)
     
    Set<org.semanticweb.owlapi.model.OWLAxiom>
    getPendingAxiomAdditions()
     
    Set<org.semanticweb.owlapi.model.OWLAxiom>
    getPendingAxiomRemovals()
     
    List<org.semanticweb.owlapi.model.OWLOntologyChange>
    getPendingChanges()
     
    Set<org.semanticweb.owlapi.reasoner.InferenceType>
    getPrecomputableInferenceTypes()
     
    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(Set<? 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 ce)
     
    void
    precomputeInferences(org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes)
     

    Methods inherited from class java.lang.Object

    clone, equals, finalize, 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, isEntailed, objectPropertyDomains, objectPropertyDomains, objectPropertyDomains, objectPropertyRanges, objectPropertyRanges, objectPropertyRanges, objectPropertyValues, 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

  • Constructor Details

    • NoOpReasoner

      public NoOpReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology)

  • Method Details

    • getRootOntology

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

    • getPendingAxiomAdditions

      @Nonnull public Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomAdditions()
      Specified by:
      getPendingAxiomAdditions in interface org.semanticweb.owlapi.reasoner.OWLReasoner

    • getPendingAxiomRemovals

      @Nonnull public Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomRemovals()
      Specified by:
      getPendingAxiomRemovals in interface org.semanticweb.owlapi.reasoner.OWLReasoner

    • getPendingChanges

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

    • getBufferingMode

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

    • getTimeOut

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

    • getPrecomputableInferenceTypes

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

    • isPrecomputed

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

    • precomputeInferences

      public void precomputeInferences(@Nonnull 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

    • interrupt

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

    • 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

    • 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

    • getDataPropertyDomains

      @Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDataPropertyDomains(@Nonnull org.semanticweb.owlapi.model.OWLDataProperty pe, boolean direct) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getDataPropertyValues

      @Nonnull public Set<org.semanticweb.owlapi.model.OWLLiteral> getDataPropertyValues(@Nonnull org.semanticweb.owlapi.model.OWLNamedIndividual ind, @Nonnull org.semanticweb.owlapi.model.OWLDataProperty pe) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getEquivalentClasses

      @Nonnull public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getEquivalentClasses(@Nonnull org.semanticweb.owlapi.model.OWLClassExpression ce) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getEquivalentDataProperties

      @Nonnull public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getEquivalentDataProperties(@Nonnull org.semanticweb.owlapi.model.OWLDataProperty pe) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getEquivalentObjectProperties

      @Nonnull public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getEquivalentObjectProperties(@Nonnull org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getInstances

      @Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getInstances(@Nonnull org.semanticweb.owlapi.model.OWLClassExpression ce, boolean direct) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getInverseObjectProperties

      @Nonnull public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getInverseObjectProperties(@Nonnull org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getObjectPropertyDomains

      @Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getObjectPropertyDomains(@Nonnull org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getObjectPropertyRanges

      @Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getObjectPropertyRanges(@Nonnull org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getObjectPropertyValues

      @Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getObjectPropertyValues(@Nonnull org.semanticweb.owlapi.model.OWLNamedIndividual ind, @Nonnull org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getSameIndividuals

      @Nonnull public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual> getSameIndividuals(@Nonnull org.semanticweb.owlapi.model.OWLNamedIndividual ind) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getSubClasses

      @Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSubClasses(@Nonnull org.semanticweb.owlapi.model.OWLClassExpression ce, boolean direct) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getSubDataProperties

      @Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSubDataProperties(@Nonnull org.semanticweb.owlapi.model.OWLDataProperty pe, boolean direct) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getSubObjectProperties

      @Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getSubObjectProperties(@Nonnull org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getSuperClasses

      @Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSuperClasses(@Nonnull org.semanticweb.owlapi.model.OWLClassExpression ce, boolean direct) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getSuperDataProperties

      @Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSuperDataProperties(@Nonnull org.semanticweb.owlapi.model.OWLDataProperty pe, boolean direct) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getSuperObjectProperties

      @Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getSuperObjectProperties(@Nonnull org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getTypes

      @Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getTypes(@Nonnull org.semanticweb.owlapi.model.OWLNamedIndividual ind, boolean direct) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getUnsatisfiableClasses

      @Nonnull 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

    • isEntailed

      public boolean isEntailed(@Nonnull 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.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.InconsistentOntologyException

    • isEntailed

      public boolean isEntailed(@Nonnull 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.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.InconsistentOntologyException

    • isEntailmentCheckingSupported

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

    • isSatisfiable

      public boolean isSatisfiable(@Nonnull org.semanticweb.owlapi.model.OWLClassExpression ce) throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException, org.semanticweb.owlapi.reasoner.TimeOutException, org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException, 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.InconsistentOntologyException

    • getBottomClassNode

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

    • getBottomDataPropertyNode

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

    • getBottomObjectPropertyNode

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

    • getDifferentIndividuals

      @Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getDifferentIndividuals(@Nonnull org.semanticweb.owlapi.model.OWLNamedIndividual ind) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getDisjointClasses

      @Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDisjointClasses(@Nonnull org.semanticweb.owlapi.model.OWLClassExpression ce)
      Specified by:
      getDisjointClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner

    • getDisjointDataProperties

      @Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getDisjointDataProperties(@Nonnull org.semanticweb.owlapi.model.OWLDataPropertyExpression pe) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getDisjointObjectProperties

      @Nonnull public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getDisjointObjectProperties(@Nonnull org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, 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.ReasonerInterruptedException
      org.semanticweb.owlapi.reasoner.TimeOutException

    • getIndividualNodeSetPolicy

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

    • getReasonerName

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

    • getReasonerVersion

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

    • getTopClassNode

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

    • getTopDataPropertyNode

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

    • getTopObjectPropertyNode

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

    • getFreshEntityPolicy

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