openllet.owlapi

Interface OpenlletReasoner

All Superinterfaces:

FacetFactoryOWL, FacetManagerOWL, FacetOntologyOWL, org.semanticweb.owlapi.model.OWLOntologyChangeListener, org.semanticweb.owlapi.reasoner.OWLReasoner

All Known Implementing Classes:

PelletReasoner

public interface OpenlletReasoner
extends org.semanticweb.owlapi.reasoner.OWLReasoner, org.semanticweb.owlapi.model.OWLOntologyChangeListener, FacetManagerOWL, FacetOntologyOWL, FacetFactoryOWL

Method Summary

Modifier and Type	Method and Description
Set<org.semanticweb.owlapi.model.OWLLiteral>	getAnnotationPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind, org.semanticweb.owlapi.model.OWLAnnotationProperty pe)
KnowledgeBase	getKB()
void	prepareReasoner()
boolean	processChanges(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.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, 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

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

ontologiesChanged

Methods inherited from interface openllet.owlapi.facet.FacetManagerOWL

getGroup, getManager

Methods inherited from interface openllet.owlapi.facet.FacetOntologyOWL

getOntology

Methods inherited from interface openllet.owlapi.facet.FacetFactoryOWL

getFactory

Method Detail

getKB

KnowledgeBase getKB()

Returns:

the underlying knowledge base

processChanges

boolean processChanges(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

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