IntegerClassExpression |
AxiomTranslator.translate(org.semanticweb.owlapi.model.OWLClassExpression owlClassExpression) |
Integer |
ClassExpressionTranslator.translateIndividual(org.semanticweb.owlapi.model.OWLIndividual owlIndividual) |
Integer |
ClassExpressionTranslator.translateLiteral(org.semanticweb.owlapi.model.OWLLiteral owlLiteral) |
IntegerObjectPropertyExpression |
AxiomTranslator.translateObjectPropertyExpression(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpr) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom) |