public interface OWLExtendedReasoner
extends org.semanticweb.owlapi.reasoner.OWLReasoner
Modifier and Type | Method and Description |
---|---|
Set<org.semanticweb.owlapi.model.OWLClass> |
getSuperClassesOver(org.semanticweb.owlapi.model.OWLClassExpression ce,
org.semanticweb.owlapi.model.OWLObjectProperty p,
boolean direct)
Note that this is not a standard reasoner method.
|
Set<org.semanticweb.owlapi.model.OWLClassExpression> |
getSuperClassExpressions(org.semanticweb.owlapi.model.OWLClassExpression ce,
boolean direct)
Note that this is not a standard reasoner method.
|
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
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
ce
- direct
- 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
Set<org.semanticweb.owlapi.model.OWLClass> getSuperClassesOver(org.semanticweb.owlapi.model.OWLClassExpression ce, org.semanticweb.owlapi.model.OWLObjectProperty p, 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
ce
- p
- direct
- 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 © 2015. All Rights Reserved.