it.unibz.inf.ontop.protege.core

Class OntopProtegeReasoner

java.lang.Object

org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

it.unibz.inf.ontop.protege.core.OntopProtegeReasoner

All Implemented Interfaces:

AutoCloseable, org.semanticweb.owlapi.reasoner.OWLReasoner

public class OntopProtegeReasoner
extends org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase
implements AutoCloseable

Wrapper around OntopOWLReasoner to use inside Protege

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	OntopProtegeReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology, OntopProtegeOWLConfiguration configuration)

Method Summary

Modifier and Type	Method and Description
void	close()
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.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)
QuestOWLEmptyEntitiesChecker	getEmptyEntitiesChecker() Methods to get the empty concepts and roles in the ontology using the given mappings.
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)
Object	getInconsistentAxiom()
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.reasoner.InferenceType>	getPrecomputableInferenceTypes()
String	getReasonerName()
org.semanticweb.owlapi.util.Version	getReasonerVersion()
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual>	getSameIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual ind)
OntopOWLStatement	getStatement()
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)
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()
protected void	handleChanges(Set<org.semanticweb.owlapi.model.OWLAxiom> addAxioms, Set<org.semanticweb.owlapi.model.OWLAxiom> removeAxioms)
void	interrupt()
boolean	isConsistent()
boolean	isEntailed(org.semanticweb.owlapi.model.OWLAxiom axiom)
boolean	isEntailed(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
boolean	isEntailmentCheckingSupported(org.semanticweb.owlapi.model.AxiomType<?> axiomType)
boolean	isPrecomputed(org.semanticweb.owlapi.reasoner.InferenceType inferenceType)
boolean	isQuestConsistent()
boolean	isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression classExpression)
void	precomputeInferences(org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes)
OWLConnection	replaceConnection() Replaces the owl connection with a new one Called when the user cancels a query.

Methods inherited from class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

dispose, getBufferingMode, getFreshEntityPolicy, getIndividualNodeSetPolicy, getOWLDataFactory, getPendingAxiomAdditions, getPendingAxiomRemovals, getPendingChanges, getReasonerAxioms, getReasonerConfiguration, getRootOntology, getTimeOut, handleRawOntologyChanges

Methods inherited from class java.lang.Object

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

Constructor Detail

OntopProtegeReasoner

protected OntopProtegeReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology,
                               OntopProtegeOWLConfiguration configuration)
                        throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException

Throws:

org.semanticweb.owlapi.reasoner.IllegalConfigurationException

Method Detail

getStatement

public OntopOWLStatement getStatement()
                               throws org.semanticweb.owlapi.model.OWLException

Throws:

org.semanticweb.owlapi.model.OWLException

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

flush

public void flush()

Specified by:

flush in interface org.semanticweb.owlapi.reasoner.OWLReasoner

Overrides:

flush in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

interrupt

public void interrupt()

Specified by:

interrupt in interface org.semanticweb.owlapi.reasoner.OWLReasoner

precomputeInferences

public void precomputeInferences(@Nonnull
                                 org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes)

Specified by:

precomputeInferences 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

getPrecomputableInferenceTypes

@Nonnull
public Set<org.semanticweb.owlapi.reasoner.InferenceType> getPrecomputableInferenceTypes()

Specified by:

getPrecomputableInferenceTypes in interface org.semanticweb.owlapi.reasoner.OWLReasoner

handleChanges

protected void handleChanges(@Nonnull
                             Set<org.semanticweb.owlapi.model.OWLAxiom> addAxioms,
                             @Nonnull
                             Set<org.semanticweb.owlapi.model.OWLAxiom> removeAxioms)

Specified by:

handleChanges in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

isConsistent

public boolean isConsistent()

Specified by:

isConsistent in interface org.semanticweb.owlapi.reasoner.OWLReasoner

isQuestConsistent

public boolean isQuestConsistent()
                          throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                 org.semanticweb.owlapi.reasoner.TimeOutException

Throws:

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getInconsistentAxiom

public Object getInconsistentAxiom()

isSatisfiable

public boolean isSatisfiable(@Nonnull
                             org.semanticweb.owlapi.model.OWLClassExpression classExpression)

Specified by:

isSatisfiable in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getUnsatisfiableClasses

@Nonnull
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getUnsatisfiableClasses()

Specified by:

getUnsatisfiableClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner

isEntailed

public boolean isEntailed(@Nonnull
                          org.semanticweb.owlapi.model.OWLAxiom axiom)

Specified by:

isEntailed in interface org.semanticweb.owlapi.reasoner.OWLReasoner

isEntailed

public boolean isEntailed(@Nonnull
                          Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)

Specified by:

isEntailed in interface org.semanticweb.owlapi.reasoner.OWLReasoner

isEntailmentCheckingSupported

public boolean isEntailmentCheckingSupported(@Nonnull
                                             org.semanticweb.owlapi.model.AxiomType<?> axiomType)

Specified by:

isEntailmentCheckingSupported 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

getBottomClassNode

@Nonnull
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getBottomClassNode()

Specified by:

getBottomClassNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getSubClasses

@Nonnull
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSubClasses(@Nonnull
                                                                                                             org.semanticweb.owlapi.model.OWLClassExpression ce,
                                                                                                             boolean direct)

Specified by:

getSubClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getSuperClasses

@Nonnull
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSuperClasses(@Nonnull
                                                                                                               org.semanticweb.owlapi.model.OWLClassExpression ce,
                                                                                                               boolean direct)

Specified by:

getSuperClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getEquivalentClasses

@Nonnull
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getEquivalentClasses(@Nonnull
                                                                                                                 org.semanticweb.owlapi.model.OWLClassExpression ce)

Specified by:

getEquivalentClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner

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

getTopObjectPropertyNode

@Nonnull
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getTopObjectPropertyNode()

Specified by:

getTopObjectPropertyNode 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

getSubObjectProperties

@Nonnull
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getSubObjectProperties(@Nonnull
                                                                                                                                         org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
                                                                                                                                         boolean direct)

Specified by:

getSubObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getSuperObjectProperties

@Nonnull
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getSuperObjectProperties(@Nonnull
                                                                                                                                           org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
                                                                                                                                           boolean direct)

Specified by:

getSuperObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getEquivalentObjectProperties

@Nonnull
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getEquivalentObjectProperties(@Nonnull
                                                                                                                                             org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)

Specified by:

getEquivalentObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getDisjointObjectProperties

@Nonnull
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getDisjointObjectProperties(@Nonnull
                                                                                                                                              org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)

Specified by:

getDisjointObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getInverseObjectProperties

@Nonnull
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getInverseObjectProperties(@Nonnull
                                                                                                                                          org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)

Specified by:

getInverseObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getObjectPropertyDomains

@Nonnull
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getObjectPropertyDomains(@Nonnull
                                                                                                                        org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
                                                                                                                        boolean direct)

Specified by:

getObjectPropertyDomains in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getObjectPropertyRanges

@Nonnull
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getObjectPropertyRanges(@Nonnull
                                                                                                                       org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
                                                                                                                       boolean direct)

Specified by:

getObjectPropertyRanges 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

getBottomDataPropertyNode

@Nonnull
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getBottomDataPropertyNode()

Specified by:

getBottomDataPropertyNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getSubDataProperties

@Nonnull
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSubDataProperties(@Nonnull
                                                                                                                           org.semanticweb.owlapi.model.OWLDataProperty pe,
                                                                                                                           boolean direct)

Specified by:

getSubDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getSuperDataProperties

@Nonnull
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSuperDataProperties(@Nonnull
                                                                                                                             org.semanticweb.owlapi.model.OWLDataProperty pe,
                                                                                                                             boolean direct)

Specified by:

getSuperDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getEquivalentDataProperties

@Nonnull
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getEquivalentDataProperties(@Nonnull
                                                                                                                               org.semanticweb.owlapi.model.OWLDataProperty pe)

Specified by:

getEquivalentDataProperties 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)

Specified by:

getDisjointDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getDataPropertyDomains

@Nonnull
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDataPropertyDomains(@Nonnull
                                                                                                                      org.semanticweb.owlapi.model.OWLDataProperty pe,
                                                                                                                      boolean direct)

Specified by:

getDataPropertyDomains in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getTypes

@Nonnull
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getTypes(@Nonnull
                                                                                                        org.semanticweb.owlapi.model.OWLNamedIndividual ind,
                                                                                                        boolean direct)

Specified by:

getTypes in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getInstances

@Nonnull
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getInstances(@Nonnull
                                                                                                                      org.semanticweb.owlapi.model.OWLClassExpression ce,
                                                                                                                      boolean direct)

Specified by:

getInstances in interface org.semanticweb.owlapi.reasoner.OWLReasoner

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)

Specified by:

getObjectPropertyValues in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getDataPropertyValues

@Nonnull
public Set<org.semanticweb.owlapi.model.OWLLiteral> getDataPropertyValues(@Nonnull
                                                                                   org.semanticweb.owlapi.model.OWLNamedIndividual ind,
                                                                                   @Nonnull
                                                                                   org.semanticweb.owlapi.model.OWLDataProperty pe)

Specified by:

getDataPropertyValues in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getSameIndividuals

@Nonnull
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual> getSameIndividuals(@Nonnull
                                                                                                                         org.semanticweb.owlapi.model.OWLNamedIndividual ind)

Specified by:

getSameIndividuals 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)

Specified by:

getDifferentIndividuals in interface org.semanticweb.owlapi.reasoner.OWLReasoner

close

public void close()
           throws Exception

Specified by:

close in interface AutoCloseable

Throws:

Exception

getEmptyEntitiesChecker

public QuestOWLEmptyEntitiesChecker getEmptyEntitiesChecker()
                                                     throws Exception

Methods to get the empty concepts and roles in the ontology using the given mappings. It generates SPARQL queries to check for entities.

Returns:

QuestOWLEmptyEntitiesChecker class to get empty concepts and roles

Throws:

Exception

replaceConnection

public OWLConnection replaceConnection()
                                throws OntopConnectionException

Replaces the owl connection with a new one Called when the user cancels a query. Easier to get a new connection, than waiting for the cancel

Returns:

The old connection: The caller must close this connection

Throws:

OntopConnectionException