public interface InstanceBasedRefinementOperator extends ReasoningBasedRefinementOperator
Modifier and Type | Method and Description |
---|---|
Set<org.semanticweb.owlapi.model.OWLClassExpression> |
refine(org.semanticweb.owlapi.model.OWLClassExpression definition,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> posExs,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> negExs) |
setReasoner
refine
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann