Package openllet.owlapi

Interface OpenlletReasoner

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      java.util.Set<org.semanticweb.owlapi.model.OWLLiteral> getAnnotationPropertyValues​(org.semanticweb.owlapi.model.OWLNamedIndividual ind, org.semanticweb.owlapi.model.OWLAnnotationProperty pe)  
      openllet.core.KnowledgeBase getKB()  
      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()  
      openllet.aterm.ATermAppl term​(org.semanticweb.owlapi.model.OWLObject d)  

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

        ontologiesChanged

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

        bottomClassNode, bottomDataPropertyNode, bottomObjectPropertyNode, dataPropertyDomains, dataPropertyDomains, dataPropertyDomains, dataPropertyValues, differentIndividuals, disjointClasses, disjointDataProperties, disjointObjectProperties, dispose, equivalentClasses, equivalentDataProperties, equivalentObjectProperties, flush, getBottomClassNode, getBottomDataPropertyNode, getBottomObjectPropertyNode, getBufferingMode, getDataPropertyDomains, getDataPropertyDomains, getDataPropertyDomains, getDataPropertyValues, getDifferentIndividuals, getDisjointClasses, getDisjointDataProperties, getDisjointObjectProperties, getEquivalentClasses, getEquivalentDataProperties, getEquivalentObjectProperties, getFreshEntityPolicy, getIndividualNodeSetPolicy, getInstances, getInstances, getInstances, getInverseObjectProperties, getObjectPropertyDomains, getObjectPropertyDomains, getObjectPropertyDomains, getObjectPropertyRanges, getObjectPropertyRanges, getObjectPropertyRanges, getObjectPropertyValues, getPendingAxiomAdditions, getPendingAxiomRemovals, getPendingChanges, getPrecomputableInferenceTypes, getReasonerName, getReasonerVersion, getRootOntology, getSameIndividuals, getSubClasses, getSubClasses, getSubClasses, getSubDataProperties, getSubDataProperties, getSubDataProperties, getSubObjectProperties, getSubObjectProperties, getSubObjectProperties, getSuperClasses, getSuperClasses, getSuperClasses, getSuperDataProperties, getSuperDataProperties, getSuperDataProperties, getSuperObjectProperties, getSuperObjectProperties, getSuperObjectProperties, getTimeOut, getTopClassNode, getTopDataPropertyNode, getTopObjectPropertyNode, getTypes, getTypes, getTypes, getUnsatisfiableClasses, instances, instances, instances, interrupt, inverseObjectProperties, isConsistent, isEntailed, isEntailed, isEntailed, isEntailed, isEntailmentCheckingSupported, isPrecomputed, isSatisfiable, objectPropertyDomains, objectPropertyDomains, objectPropertyDomains, objectPropertyRanges, objectPropertyRanges, objectPropertyRanges, objectPropertyValues, pendingAxiomAdditions, pendingAxiomRemovals, pendingChanges, precomputableInferenceTypes, precomputeInferences, 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

    • Method Detail

      • getKB

        openllet.core.KnowledgeBase getKB()
        Returns:
        the underlying knowledge base

      • processChanges

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

        void prepareReasoner()
              throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                     org.semanticweb.owlapi.reasoner.TimeOutException
        Throws:
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException

      • refresh

        void refresh()

      • term

        openllet.aterm.ATermAppl term​(org.semanticweb.owlapi.model.OWLObject d)

      • getAnnotationPropertyValues

        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
        Throws:
        org.semanticweb.owlapi.reasoner.InconsistentOntologyException
        org.semanticweb.owlapi.reasoner.FreshEntitiesException
        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
        org.semanticweb.owlapi.reasoner.TimeOutException