public class OWLClassExpressionMinimizer extends Object implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
Constructor and Description |
---|
OWLClassExpressionMinimizer(org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
AbstractReasonerComponent reasoner) |
Modifier and Type | Method and Description |
---|---|
org.semanticweb.owlapi.model.OWLClassExpression |
minimize(org.semanticweb.owlapi.model.OWLClassExpression ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
minimizeClone(org.semanticweb.owlapi.model.OWLClassExpression ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLClass ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataExactCardinality ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataHasValue ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataMinCardinality ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectComplementOf ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectHasSelf ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectHasValue ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectOneOf ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectUnionOf ce) |
public OWLClassExpressionMinimizer(org.semanticweb.owlapi.model.OWLDataFactory dataFactory, AbstractReasonerComponent reasoner)
public org.semanticweb.owlapi.model.OWLClassExpression minimize(org.semanticweb.owlapi.model.OWLClassExpression ce)
public org.semanticweb.owlapi.model.OWLClassExpression minimizeClone(org.semanticweb.owlapi.model.OWLClassExpression ce)
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLClass ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectUnionOf ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectComplementOf ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectHasValue ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectHasSelf ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectOneOf ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataHasValue ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataMinCardinality ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataExactCardinality ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann