public class AxiomTranslator extends Object implements org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
Constructor and Description |
---|
AxiomTranslator(ClassExpressionTranslator translator,
IntegerOntologyObjectFactory factory) |
Modifier and Type | Method and Description |
---|---|
ClassExpressionTranslator |
getClassExpressionTranslator() |
TranslationRepository |
getTranslationRepository() |
IntegerClassExpression |
translate(org.semanticweb.owlapi.model.OWLClassExpression owlClassExpression) |
Annotation |
translateAnnotation(org.semanticweb.owlapi.model.OWLAnnotation owlAnnotation) |
Set<Annotation> |
translateAnnotations(Set<org.semanticweb.owlapi.model.OWLAnnotation> owlAnnotations) |
IntegerObjectPropertyExpression |
translateObjectPropertyExpression(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpr) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom) |
Set<ComplexIntegerAxiom> |
visit(org.semanticweb.owlapi.model.SWRLRule axiom) |
public AxiomTranslator(ClassExpressionTranslator translator, IntegerOntologyObjectFactory factory)
public ClassExpressionTranslator getClassExpressionTranslator()
public TranslationRepository getTranslationRepository()
public IntegerClassExpression translate(org.semanticweb.owlapi.model.OWLClassExpression owlClassExpression) throws TranslationException
TranslationException
public Annotation translateAnnotation(org.semanticweb.owlapi.model.OWLAnnotation owlAnnotation)
public Set<Annotation> translateAnnotations(Set<org.semanticweb.owlapi.model.OWLAnnotation> owlAnnotations)
public IntegerObjectPropertyExpression translateObjectPropertyExpression(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpr) throws TranslationException
TranslationException
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<Set<ComplexIntegerAxiom>>
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom) throws TranslationException
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
TranslationException
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom) throws TranslationException
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
TranslationException
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom) throws TranslationException
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
TranslationException
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom) throws TranslationException
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
TranslationException
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom) throws TranslationException
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
TranslationException
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom) throws TranslationException
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
TranslationException
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom) throws TranslationException
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
TranslationException
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom) throws TranslationException
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
TranslationException
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom) throws TranslationException
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
TranslationException
public Set<ComplexIntegerAxiom> visit(org.semanticweb.owlapi.model.SWRLRule axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<ComplexIntegerAxiom>>
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.