public class Translator extends Object
OWLAxiom
s into a
set of integer axioms.OWLAxiom
Constructor and Description |
---|
Translator(org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
IntegerOntologyObjectFactory factory) |
Modifier and Type | Method and Description |
---|---|
AxiomTranslator |
getAxiomTranslator() |
IntegerOntologyObjectFactory |
getOntologyObjectFactory()
Returns the ontology object factory.
|
TranslationRepository |
getTranslationRepository() |
org.semanticweb.owlapi.model.OWLClass |
translateC(IntegerClass integerObject) |
IntegerClass |
translateC(org.semanticweb.owlapi.model.OWLClass owlObject) |
IntegerClassExpression |
translateCE(org.semanticweb.owlapi.model.OWLClassExpression owlObject) |
org.semanticweb.owlapi.model.OWLNamedIndividual |
translateI(IntegerNamedIndividual integerObject) |
IntegerNamedIndividual |
translateI(org.semanticweb.owlapi.model.OWLNamedIndividual owlObject) |
org.semanticweb.owlapi.model.OWLObjectPropertyExpression |
translateOPE(IntegerObjectPropertyExpression integerObject) |
IntegerObjectPropertyExpression |
translateOPE(org.semanticweb.owlapi.model.OWLObjectPropertyExpression owlObject) |
Set<ComplexIntegerAxiom> |
translateSA(Set<org.semanticweb.owlapi.model.OWLAxiom> owlObject) |
Set<IntegerClass> |
translateSC(org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> owlObject) |
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> |
translateSC(Set<IntegerClass> integerObject) |
Set<IntegerNamedIndividual> |
translateSI(org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual> owlObject) |
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual> |
translateSI(Set<IntegerNamedIndividual> integerObject) |
Set<IntegerObjectPropertyExpression> |
translateSOPE(org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> owlObject) |
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
translateSOPE(Set<IntegerObjectPropertyExpression> integerObject) |
Set<Set<IntegerClass>> |
translateSSC(org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> owlObject) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> |
translateSSC(Set<Set<IntegerClass>> integerObject) |
Set<Set<IntegerNamedIndividual>> |
translateSSI(org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> owlObject) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> |
translateSSI(Set<Set<IntegerNamedIndividual>> integerObject) |
Set<Set<IntegerObjectPropertyExpression>> |
translateSSOPE(org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> owlObject) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
translateSSOPE(Set<Set<IntegerObjectPropertyExpression>> integerObject) |
public Translator(org.semanticweb.owlapi.model.OWLDataFactory dataFactory, IntegerOntologyObjectFactory factory)
public AxiomTranslator getAxiomTranslator()
public IntegerOntologyObjectFactory getOntologyObjectFactory()
public TranslationRepository getTranslationRepository()
public org.semanticweb.owlapi.model.OWLClass translateC(IntegerClass integerObject)
public IntegerClass translateC(org.semanticweb.owlapi.model.OWLClass owlObject)
public IntegerClassExpression translateCE(org.semanticweb.owlapi.model.OWLClassExpression owlObject)
public org.semanticweb.owlapi.model.OWLNamedIndividual translateI(IntegerNamedIndividual integerObject)
public IntegerNamedIndividual translateI(org.semanticweb.owlapi.model.OWLNamedIndividual owlObject)
public org.semanticweb.owlapi.model.OWLObjectPropertyExpression translateOPE(IntegerObjectPropertyExpression integerObject)
public IntegerObjectPropertyExpression translateOPE(org.semanticweb.owlapi.model.OWLObjectPropertyExpression owlObject)
public Set<ComplexIntegerAxiom> translateSA(Set<org.semanticweb.owlapi.model.OWLAxiom> owlObject)
public Set<IntegerClass> translateSC(org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> owlObject)
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> translateSC(Set<IntegerClass> integerObject)
public Set<IntegerNamedIndividual> translateSI(org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual> owlObject)
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual> translateSI(Set<IntegerNamedIndividual> integerObject)
public Set<IntegerObjectPropertyExpression> translateSOPE(org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> owlObject)
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> translateSOPE(Set<IntegerObjectPropertyExpression> integerObject)
public Set<Set<IntegerClass>> translateSSC(org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> owlObject)
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> translateSSC(Set<Set<IntegerClass>> integerObject)
public Set<Set<IntegerNamedIndividual>> translateSSI(org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> owlObject)
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> translateSSI(Set<Set<IntegerNamedIndividual>> integerObject)
public Set<Set<IntegerObjectPropertyExpression>> translateSSOPE(org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> owlObject)
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> translateSSOPE(Set<Set<IntegerObjectPropertyExpression>> integerObject)
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.