public class OWLClassExpressionSimplifierVisitorImpl extends Object implements OWLClassExpressionSimplifierVisitor
Constructor and Description |
---|
OWLClassExpressionSimplifierVisitorImpl(org.semanticweb.owlapi.model.OWLOntologyManager manager) |
Modifier and Type | Method and Description |
---|---|
org.semanticweb.owlapi.model.OWLClassExpression |
getOWLClassExpression() |
static org.semanticweb.owlapi.model.OWLClassExpression |
getOWLClassExpression(org.semanticweb.owlapi.model.OWLClassExpression ce,
org.semanticweb.owlapi.model.OWLOntologyManager manager) |
void |
visit(org.semanticweb.owlapi.model.OWLClass ce) |
void |
visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom ce) |
void |
visit(org.semanticweb.owlapi.model.OWLDataExactCardinality ce) |
void |
visit(org.semanticweb.owlapi.model.OWLDataHasValue ce) |
void |
visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality ce) |
void |
visit(org.semanticweb.owlapi.model.OWLDataMinCardinality ce) |
void |
visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom ce) |
void |
visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom ce) |
void |
visit(org.semanticweb.owlapi.model.OWLObjectComplementOf ce) |
void |
visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality ce) |
void |
visit(org.semanticweb.owlapi.model.OWLObjectHasSelf ce) |
void |
visit(org.semanticweb.owlapi.model.OWLObjectHasValue ce) |
void |
visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf ce) |
void |
visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality ce) |
void |
visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality ce) |
void |
visit(org.semanticweb.owlapi.model.OWLObjectOneOf ce) |
void |
visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom ce) |
void |
visit(org.semanticweb.owlapi.model.OWLObjectUnionOf ce) |
public OWLClassExpressionSimplifierVisitorImpl(@Nonnull org.semanticweb.owlapi.model.OWLOntologyManager manager)
public org.semanticweb.owlapi.model.OWLClassExpression getOWLClassExpression()
getOWLClassExpression
in interface OWLClassExpressionSimplifierVisitor
public static org.semanticweb.owlapi.model.OWLClassExpression getOWLClassExpression(org.semanticweb.owlapi.model.OWLClassExpression ce, org.semanticweb.owlapi.model.OWLOntologyManager manager)
public void visit(org.semanticweb.owlapi.model.OWLClass ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
public void visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
public void visit(org.semanticweb.owlapi.model.OWLObjectUnionOf ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
public void visit(org.semanticweb.owlapi.model.OWLObjectComplementOf ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
public void visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
public void visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
public void visit(org.semanticweb.owlapi.model.OWLObjectHasValue ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
public void visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
public void visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
public void visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
public void visit(org.semanticweb.owlapi.model.OWLObjectHasSelf ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
public void visit(org.semanticweb.owlapi.model.OWLObjectOneOf ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
public void visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
public void visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
public void visit(org.semanticweb.owlapi.model.OWLDataHasValue ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
public void visit(org.semanticweb.owlapi.model.OWLDataMinCardinality ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
public void visit(org.semanticweb.owlapi.model.OWLDataExactCardinality ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
public void visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann