owltools.reasoner
Interface OWLExtendedReasoner

All Superinterfaces:
org.semanticweb.owlapi.reasoner.OWLReasoner
All Known Implementing Classes:
ExpressionMaterializingReasoner, GraphReasoner

public interface OWLExtendedReasoner
extends org.semanticweb.owlapi.reasoner.OWLReasoner

Extends standard OWL reasoning to allow for querying of ancestor class expressions

Author:
cjm

Method Summary
 Set<org.semanticweb.owlapi.model.OWLClassExpression> getSuperClassExpressions(org.semanticweb.owlapi.model.OWLClassExpression ce, boolean direct)
           
 
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
 

Method Detail

getSuperClassExpressions

Set<org.semanticweb.owlapi.model.OWLClassExpression> getSuperClassExpressions(org.semanticweb.owlapi.model.OWLClassExpression ce,
                                                                              boolean direct)
                                                                              throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                     org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                     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.ClassExpressionNotInProfileException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException


Copyright © 2010-2012. All Rights Reserved.