public class ClassExpressionTranslator extends Object implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<IntegerClassExpression>
Constructor and Description |
---|
ClassExpressionTranslator(ObjectPropertyExpressionTranslator translator)
Constructs a new class expression translator.
|
Modifier and Type | Method and Description |
---|---|
IntegerDataTypeFactory |
getDataTypeFactory() |
ObjectPropertyExpressionTranslator |
getObjectPropertyExpressionTranslator() |
TranslationRepository |
getTranslationRepository() |
Integer |
translateDataProperty(org.semanticweb.owlapi.model.OWLDataProperty owlDataProperty) |
Integer |
translateIndividual(org.semanticweb.owlapi.model.OWLIndividual owlIndividual) |
Integer |
translateLiteral(org.semanticweb.owlapi.model.OWLLiteral owlLiteral) |
IntegerClassExpression |
visit(org.semanticweb.owlapi.model.OWLClass owlClassExpression) |
IntegerClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom ce) |
IntegerClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataExactCardinality ce) |
IntegerClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataHasValue ce) |
IntegerClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality ce) |
IntegerClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataMinCardinality ce) |
IntegerClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom ce) |
IntegerClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom ce) |
IntegerClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectComplementOf ce) |
IntegerClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality ce) |
IntegerClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectHasSelf ce) |
IntegerClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectHasValue ce) |
IntegerClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf ce) |
IntegerClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality ce) |
IntegerClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality ce) |
IntegerClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectOneOf ce) |
IntegerClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom ce) |
IntegerClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectUnionOf ce) |
public ClassExpressionTranslator(ObjectPropertyExpressionTranslator translator)
translator
- object property expression translatorpublic IntegerDataTypeFactory getDataTypeFactory()
public ObjectPropertyExpressionTranslator getObjectPropertyExpressionTranslator()
public TranslationRepository getTranslationRepository()
public Integer translateDataProperty(org.semanticweb.owlapi.model.OWLDataProperty owlDataProperty)
public Integer translateIndividual(org.semanticweb.owlapi.model.OWLIndividual owlIndividual) throws TranslationException
TranslationException
public Integer translateLiteral(org.semanticweb.owlapi.model.OWLLiteral owlLiteral) throws TranslationException
TranslationException
public IntegerClassExpression visit(org.semanticweb.owlapi.model.OWLClass owlClassExpression)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<IntegerClassExpression>
public IntegerClassExpression visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<IntegerClassExpression>
public IntegerClassExpression visit(org.semanticweb.owlapi.model.OWLDataExactCardinality ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<IntegerClassExpression>
public IntegerClassExpression visit(org.semanticweb.owlapi.model.OWLDataHasValue ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<IntegerClassExpression>
public IntegerClassExpression visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<IntegerClassExpression>
public IntegerClassExpression visit(org.semanticweb.owlapi.model.OWLDataMinCardinality ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<IntegerClassExpression>
public IntegerClassExpression visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<IntegerClassExpression>
public IntegerClassExpression visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<IntegerClassExpression>
public IntegerClassExpression visit(org.semanticweb.owlapi.model.OWLObjectComplementOf ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<IntegerClassExpression>
public IntegerClassExpression visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<IntegerClassExpression>
public IntegerClassExpression visit(org.semanticweb.owlapi.model.OWLObjectHasSelf ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<IntegerClassExpression>
public IntegerClassExpression visit(org.semanticweb.owlapi.model.OWLObjectHasValue ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<IntegerClassExpression>
public IntegerClassExpression visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<IntegerClassExpression>
public IntegerClassExpression visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<IntegerClassExpression>
public IntegerClassExpression visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<IntegerClassExpression>
public IntegerClassExpression visit(org.semanticweb.owlapi.model.OWLObjectOneOf ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<IntegerClassExpression>
public IntegerClassExpression visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<IntegerClassExpression>
public IntegerClassExpression visit(org.semanticweb.owlapi.model.OWLObjectUnionOf ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<IntegerClassExpression>
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.