Package | Description |
---|---|
org.semanticweb.owlapi.reasoner | |
org.semanticweb.owlapi.reasoner.structural |
Modifier and Type | Method and Description |
---|---|
boolean |
OWLReasoner.isEntailed(OWLAxiom axiom)
A convenience method that determines if the specified axiom is entailed
by the set of reasoner axioms.
|
boolean |
OWLReasoner.isEntailed(Set<? extends OWLAxiom> axioms)
Determines if the specified set of axioms is entailed by the reasoner
axioms.
|
Modifier and Type | Method and Description |
---|---|
boolean |
StructuralReasoner.isEntailed(OWLAxiom axiom) |
boolean |
StructuralReasoner.isEntailed(Set<? extends OWLAxiom> axioms) |
Copyright © 2017 The University of Manchester. All Rights Reserved.