it.unibz.inf.ontop.owlapi

Interface OntopOWLReasoner

All Superinterfaces:

AutoCloseable, org.semanticweb.owlapi.reasoner.OWLReasoner

All Known Implementing Classes:

QuestOWL

public interface OntopOWLReasoner
extends org.semanticweb.owlapi.reasoner.OWLReasoner, AutoCloseable

Ontop OWLAPI reasoner

Method Summary

Modifier and Type	Method and Description
OntopOWLConnection	getConnection()
Object	getInconsistentAxiom()

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

dispose, flush, getBottomClassNode, getBottomDataPropertyNode, getBottomObjectPropertyNode, getBufferingMode, getDataPropertyDomains, getDataPropertyValues, getDifferentIndividuals, getDisjointClasses, getDisjointDataProperties, getDisjointObjectProperties, getEquivalentClasses, getEquivalentDataProperties, getEquivalentObjectProperties, getFreshEntityPolicy, getIndividualNodeSetPolicy, getInstances, getInverseObjectProperties, getObjectPropertyDomains, getObjectPropertyRanges, getObjectPropertyValues, getPendingAxiomAdditions, getPendingAxiomRemovals, getPendingChanges, getPrecomputableInferenceTypes, getReasonerName, getReasonerVersion, getRootOntology, getSameIndividuals, getSubClasses, getSubDataProperties, getSubObjectProperties, getSuperClasses, getSuperDataProperties, getSuperObjectProperties, getTimeOut, getTopClassNode, getTopDataPropertyNode, getTopObjectPropertyNode, getTypes, getUnsatisfiableClasses, interrupt, isConsistent, isEntailed, isEntailed, isEntailmentCheckingSupported, isPrecomputed, isSatisfiable, precomputeInferences

Methods inherited from interface java.lang.AutoCloseable

close

Method Detail

getConnection

OntopOWLConnection getConnection()
                          throws org.semanticweb.owlapi.reasoner.ReasonerInternalException

Throws:

org.semanticweb.owlapi.reasoner.ReasonerInternalException

getInconsistentAxiom

Object getInconsistentAxiom()