org.dllearner.utilities.owl
Class OWLAPIAxiomConvertVisitor

java.lang.Object
  org.dllearner.utilities.owl.OWLAPIAxiomConvertVisitor

All Implemented Interfaces:

AssertionalAxiomVisitor, AxiomVisitor, PropertyAxiomVisitor, TerminologicalAxiomVisitor

public class OWLAPIAxiomConvertVisitor
extends Object
implements AxiomVisitor

A converter from DL-Learner axioms to OWL API axioms based on the visitor pattern. TODO: Investigate whether OWLOntologyManager and OWLOntology should be removed as parameters. It would be natural to have a DL-Learner KB as input and an OWL API OWLOntology as output.

Author:

Jens Lehmann

Constructor Summary

OWLAPIAxiomConvertVisitor()
Creates a default visitor with ontology URI "http://example.com" and default ontology manager.

OWLAPIAxiomConvertVisitor(org.semanticweb.owl.model.OWLOntologyManager manager, org.semanticweb.owl.model.OWLOntology ontology)

Method Summary

static org.semanticweb.owl.model.OWLAxiom	convertAxiom(Axiom axiom)
static void	fillOWLOntology(org.semanticweb.owl.model.OWLOntologyManager manager, org.semanticweb.owl.model.OWLOntology ontology, KB kb)
void	visit(BooleanDatatypePropertyAssertion axiom)
void	visit(ClassAssertionAxiom axiom)
void	visit(DatatypePropertyDomainAxiom datatypePropertyDomainAxiom)
void	visit(DatatypePropertyRangeAxiom axiom)
void	visit(DifferentIndividualsAxiom axiom)
void	visit(DisjointClassesAxiom axiom)
void	visit(DoubleDatatypePropertyAssertion axiom)
void	visit(EquivalentClassesAxiom axiom)
void	visit(FunctionalObjectPropertyAxiom axiom)
void	visit(InverseObjectPropertyAxiom axiom)
void	visit(ObjectPropertyAssertion axiom)
void	visit(ObjectPropertyDomainAxiom objectPropertyDomainAxiom)
void	visit(ObjectPropertyRangeAxiom axiom)
void	visit(SubClassAxiom axiom)
void	visit(SubObjectPropertyAxiom axiom)
void	visit(SymmetricObjectPropertyAxiom axiom)
void	visit(TransitiveObjectPropertyAxiom axiom)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OWLAPIAxiomConvertVisitor

public OWLAPIAxiomConvertVisitor()

Creates a default visitor with ontology URI "http://example.com" and default ontology manager.

OWLAPIAxiomConvertVisitor

public OWLAPIAxiomConvertVisitor(org.semanticweb.owl.model.OWLOntologyManager manager,
                                 org.semanticweb.owl.model.OWLOntology ontology)

Method Detail

fillOWLOntology

public static void fillOWLOntology(org.semanticweb.owl.model.OWLOntologyManager manager,
                                   org.semanticweb.owl.model.OWLOntology ontology,
                                   KB kb)

convertAxiom

public static org.semanticweb.owl.model.OWLAxiom convertAxiom(Axiom axiom)

visit

public void visit(ObjectPropertyAssertion axiom)

Specified by:

visit in interface AssertionalAxiomVisitor

visit

public void visit(ClassAssertionAxiom axiom)

Specified by:

visit in interface AssertionalAxiomVisitor

visit

public void visit(DoubleDatatypePropertyAssertion axiom)

Specified by:

visit in interface AssertionalAxiomVisitor

visit

public void visit(BooleanDatatypePropertyAssertion axiom)

Specified by:

visit in interface AssertionalAxiomVisitor

visit

public void visit(FunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface PropertyAxiomVisitor

visit

public void visit(InverseObjectPropertyAxiom axiom)

Specified by:

visit in interface PropertyAxiomVisitor

visit

public void visit(SymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface PropertyAxiomVisitor

visit

public void visit(TransitiveObjectPropertyAxiom axiom)

Specified by:

visit in interface PropertyAxiomVisitor

visit

public void visit(SubObjectPropertyAxiom axiom)

Specified by:

visit in interface PropertyAxiomVisitor

visit

public void visit(EquivalentClassesAxiom axiom)

Specified by:

visit in interface TerminologicalAxiomVisitor

visit

public void visit(SubClassAxiom axiom)

Specified by:

visit in interface TerminologicalAxiomVisitor

visit

public void visit(DatatypePropertyDomainAxiom datatypePropertyDomainAxiom)

Specified by:

visit in interface PropertyAxiomVisitor

visit

public void visit(ObjectPropertyDomainAxiom objectPropertyDomainAxiom)

Specified by:

visit in interface PropertyAxiomVisitor

visit

public void visit(DatatypePropertyRangeAxiom axiom)

Specified by:

visit in interface PropertyAxiomVisitor

visit

public void visit(ObjectPropertyRangeAxiom axiom)

Specified by:

visit in interface PropertyAxiomVisitor

visit

public void visit(DifferentIndividualsAxiom axiom)

Specified by:

visit in interface AssertionalAxiomVisitor

visit

public void visit(DisjointClassesAxiom axiom)

Specified by:

visit in interface TerminologicalAxiomVisitor