public class RefinementOperatorALC extends ClassExpressionRefinementOperatorBase
Constructor and Description |
---|
RefinementOperatorALC(org.semanticweb.owlapi.reasoner.OWLReasoner reasoner,
org.semanticweb.owlapi.model.OWLDataFactory dataFactory) |
Modifier and Type | Method and Description |
---|---|
SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> |
visit(org.semanticweb.owlapi.model.OWLClass ce) |
SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> |
visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom ce) |
SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> |
visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom ce) |
SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> |
visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom ce) |
SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> |
visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf ce) |
SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> |
visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom ce) |
SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> |
visit(org.semanticweb.owlapi.model.OWLObjectUnionOf ce) |
refineNode
public RefinementOperatorALC(org.semanticweb.owlapi.reasoner.OWLReasoner reasoner, org.semanticweb.owlapi.model.OWLDataFactory dataFactory)
public SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLClass ce)
public SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf ce)
public SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLObjectUnionOf ce)
public SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom ce)
public SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom ce)
public SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom ce)
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann