org.semanticweb.elk.owlapi.wrapper
Class OwlConverter

java.lang.Object
  org.semanticweb.elk.owlapi.wrapper.OwlConverter

public class OwlConverter
extends Object

Author:

Yevgeny Kazakov, Pavel Klinov pavel.klinov@uni-ulm.de

Field Summary

protected static OwlCorrespondingObjectConverterVisitor	CONVERTER
protected static OwlAnnotationAxiomConverterVisitor	OWL_ANNOTATION_AXIOM_CONVERTER
protected static OwlAnnotationSubjectValueVisitor	OWL_ANNOTATION_CONVERTER
protected static OwlAxiomConverterVisitor	OWL_AXIOM_CONVERTER
protected static OwlClassAxiomConverterVisitor	OWL_CLASS_AXIOM_CONVERTER
protected static OwlDataPropertyAxiomConverterVisitor	OWL_DATA_PROPERTY_AXIOM_CONVERTER
protected static OwlIndividualAxiomConverterVisitor	OWL_INDIVIDUAL_AXIOM_CONVERTER
protected static OwlObjectPropertyAxiomConverterVisitor	OWL_OBJECT_PROPERTY_AXIOM_CONVERTER
protected static OwlObjectPropertyExpressionConverterVisitor	OWL_OBJECT_PROPERTY_EXPRESSION_CONVERTER

Method Summary

ElkIri	convert(org.semanticweb.owlapi.model.IRI iri)
ElkAnnotationAxiom	convert(org.semanticweb.owlapi.model.OWLAnnotationAxiom owlAnnotationAxiom)
ElkAnnotationProperty	convert(org.semanticweb.owlapi.model.OWLAnnotationProperty owlAnnotationProperty)
ElkAnnotationSubject	convert(org.semanticweb.owlapi.model.OWLAnnotationSubject subject)
ElkAnnotationValue	convert(org.semanticweb.owlapi.model.OWLAnnotationValue value)
ElkAnonymousIndividual	convert(org.semanticweb.owlapi.model.OWLAnonymousIndividual owlAnonymousIndividual)
ElkAsymmetricObjectPropertyAxiom	convert(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom owlAsymmetricObjectPropertyAxiom)
ElkAxiom	convert(org.semanticweb.owlapi.model.OWLAxiom owlAxiom)
ElkClass	convert(org.semanticweb.owlapi.model.OWLClass owlClass)
ElkClassAssertionAxiom	convert(org.semanticweb.owlapi.model.OWLClassAssertionAxiom owlClassAssertionAxiom)
ElkClassAxiom	convert(org.semanticweb.owlapi.model.OWLClassAxiom owlClassAxiom)
ElkClassExpression	convert(org.semanticweb.owlapi.model.OWLClassExpression owlClassExpression)
ElkDataAllValuesFrom	convert(org.semanticweb.owlapi.model.OWLDataAllValuesFrom owlDataAllValuesFrom)
ElkDataComplementOf	convert(org.semanticweb.owlapi.model.OWLDataComplementOf owlDataComplementOf)
ElkDataExactCardinality	convert(org.semanticweb.owlapi.model.OWLDataExactCardinality owlDataExactCardinality)
ElkDataHasValue	convert(org.semanticweb.owlapi.model.OWLDataHasValue owlDataHasValue)
ElkDataIntersectionOf	convert(org.semanticweb.owlapi.model.OWLDataIntersectionOf owlDataIntersectionOf)
ElkDataMaxCardinality	convert(org.semanticweb.owlapi.model.OWLDataMaxCardinality owlDataMaxCardinality)
ElkDataMinCardinality	convert(org.semanticweb.owlapi.model.OWLDataMinCardinality owlDataMinCardinality)
ElkDataOneOf	convert(org.semanticweb.owlapi.model.OWLDataOneOf owlDataOneOf)
ElkDataProperty	convert(org.semanticweb.owlapi.model.OWLDataProperty owlDataProperty)
ElkDataPropertyAssertionAxiom	convert(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom owlDataPropertyAssertionAxiom)
ElkDataPropertyAxiom	convert(org.semanticweb.owlapi.model.OWLDataPropertyAxiom owlDataPropertyAxiom)
ElkDataPropertyDomainAxiom	convert(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom owlDataPropertyDomainAxiom)
ElkDataPropertyExpression	convert(org.semanticweb.owlapi.model.OWLDataPropertyExpression owlDataPropertyExpression)
ElkDataPropertyRangeAxiom	convert(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom owlDataPropertyRangeAxiom)
ElkDataRange	convert(org.semanticweb.owlapi.model.OWLDataRange owlDataRange)
ElkDataSomeValuesFrom	convert(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom owlDataSomeValuesFrom)
ElkDatatype	convert(org.semanticweb.owlapi.model.OWLDatatype owlDatatype)
ElkDatatypeDefinitionAxiom	convert(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom owlDatatypeDefinition)
ElkDatatypeRestriction	convert(org.semanticweb.owlapi.model.OWLDatatypeRestriction owlDatatypeRestriction)
ElkDataUnionOf	convert(org.semanticweb.owlapi.model.OWLDataUnionOf owlDataUnionOf)
ElkDeclarationAxiom	convert(org.semanticweb.owlapi.model.OWLDeclarationAxiom owlDeclarationAxiom)
ElkDifferentIndividualsAxiom	convert(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom owlDifferentIndividualsAxiom)
ElkDisjointClassesAxiom	convert(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom owlDisjointClassesAxiom)
ElkDisjointDataPropertiesAxiom	convert(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom owlDisjointDataPropertiesAxiom)
ElkDisjointObjectPropertiesAxiom	convert(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom owlDisjointObjectPropertiesAxiom)
ElkDisjointUnionAxiom	convert(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom owlDisjointUnionAxiom)
ElkEntity	convert(org.semanticweb.owlapi.model.OWLEntity owlEntity)
ElkEquivalentClassesAxiom	convert(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom owlEquivalentClassesAxiom)
ElkEquivalentDataPropertiesAxiom	convert(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom owlEquivalentDataPropertiesAxiom)
ElkEquivalentObjectPropertiesAxiom	convert(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom owlEquivalentObjectPropertiesAxiom)
ElkFacetRestriction	convert(org.semanticweb.owlapi.model.OWLFacetRestriction owlFacetRestriction)
ElkFunctionalDataPropertyAxiom	convert(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom owlFunctionalDataPropertyAxiom)
ElkFunctionalObjectPropertyAxiom	convert(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom owlFunctionalObjectPropertyAxiom)
ElkHasKeyAxiom	convert(org.semanticweb.owlapi.model.OWLHasKeyAxiom owlHasKey)
ElkIndividual	convert(org.semanticweb.owlapi.model.OWLIndividual owlIndividual)
ElkAssertionAxiom	convert(org.semanticweb.owlapi.model.OWLIndividualAxiom owlIndividualAxiom)
ElkInverseFunctionalObjectPropertyAxiom	convert(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom owlInverseFunctionalObjectPropertyAxiom)
ElkInverseObjectPropertiesAxiom	convert(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom owlInverseObjectPropertiesAxiom)
ElkIrreflexiveObjectPropertyAxiom	convert(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom owlIrreflexiveObjectPropertyAxiom)
ElkLiteral	convert(org.semanticweb.owlapi.model.OWLLiteral owlLiteral)
ElkNamedIndividual	convert(org.semanticweb.owlapi.model.OWLNamedIndividual owlNamedIndividual)
ElkNegativeDataPropertyAssertionAxiom	convert(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom owlNegativeDataPropertyAssertionAxiom)
ElkNegativeObjectPropertyAssertionAxiom	convert(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom owlNegativeObjectPropertyAssertionAxiom)
ElkObjectAllValuesFrom	convert(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom owlObjectAllValuesFrom)
ElkObjectComplementOf	convert(org.semanticweb.owlapi.model.OWLObjectComplementOf owlObjectComplementOf)
ElkObjectExactCardinality	convert(org.semanticweb.owlapi.model.OWLObjectExactCardinality owlObjectExactCardinality)
ElkObjectHasSelf	convert(org.semanticweb.owlapi.model.OWLObjectHasSelf owlObjectHasSelf)
ElkObjectHasValue	convert(org.semanticweb.owlapi.model.OWLObjectHasValue owlObjectHasValue)
ElkObjectIntersectionOf	convert(org.semanticweb.owlapi.model.OWLObjectIntersectionOf owlObjectIntersectionOf)
ElkObjectMaxCardinality	convert(org.semanticweb.owlapi.model.OWLObjectMaxCardinality owlObjectMaxCardinality)
ElkObjectMinCardinality	convert(org.semanticweb.owlapi.model.OWLObjectMinCardinality owlObjectMaxCardinality)
ElkObjectOneOf	convert(org.semanticweb.owlapi.model.OWLObjectOneOf owlObjectOneOf)
ElkObjectProperty	convert(org.semanticweb.owlapi.model.OWLObjectProperty owlObjectProperty)
ElkObjectPropertyAssertionAxiom	convert(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom owlObjectPropertyAssertionAxiom)
ElkObjectPropertyAxiom	convert(org.semanticweb.owlapi.model.OWLObjectPropertyAxiom owlObjectPropertyAxiom)
ElkObjectPropertyDomainAxiom	convert(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom owlObjectPropertyDomainAxiom)
ElkObjectPropertyExpression	convert(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression)
ElkObjectPropertyRangeAxiom	convert(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom owlObjectPropertyRangeAxiom)
ElkObjectSomeValuesFrom	convert(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom owlObjectSomeValuesFrom)
ElkObjectUnionOf	convert(org.semanticweb.owlapi.model.OWLObjectUnionOf owlObjectUnionOf)
ElkReflexiveObjectPropertyAxiom	convert(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom owlReflexiveObjectPropertyAxiom)
ElkSameIndividualAxiom	convert(org.semanticweb.owlapi.model.OWLSameIndividualAxiom owlSameIndividualAxiom)
ElkSubClassOfAxiom	convert(org.semanticweb.owlapi.model.OWLSubClassOfAxiom owlSubClassOfAxiom)
ElkSubDataPropertyOfAxiom	convert(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom owlSubDataPropertyOfAxiom)
ElkSubObjectPropertyOfAxiom	convert(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom owlSubObjectPropertyOfAxiom)
ElkObjectPropertyChain	convert(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom owlSubPropertyChainOfAxiom)
ElkSymmetricObjectPropertyAxiom	convert(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom owlSymmetricObjectPropertyAxiom)
ElkTransitiveObjectPropertyAxiom	convert(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom owlTransitiveObjectPropertyAxiom)
ElkSWRLRule	convert(org.semanticweb.owlapi.model.SWRLRule rule)
static OwlConverter	getInstance()
boolean	isRelevantAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)

Methods inherited from class java.lang.Object

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

Field Detail

CONVERTER

protected static OwlCorrespondingObjectConverterVisitor CONVERTER

OWL_AXIOM_CONVERTER

protected static OwlAxiomConverterVisitor OWL_AXIOM_CONVERTER

OWL_ANNOTATION_AXIOM_CONVERTER

protected static OwlAnnotationAxiomConverterVisitor OWL_ANNOTATION_AXIOM_CONVERTER

OWL_CLASS_AXIOM_CONVERTER

protected static OwlClassAxiomConverterVisitor OWL_CLASS_AXIOM_CONVERTER

OWL_OBJECT_PROPERTY_AXIOM_CONVERTER

protected static OwlObjectPropertyAxiomConverterVisitor OWL_OBJECT_PROPERTY_AXIOM_CONVERTER

OWL_DATA_PROPERTY_AXIOM_CONVERTER

protected static OwlDataPropertyAxiomConverterVisitor OWL_DATA_PROPERTY_AXIOM_CONVERTER

OWL_INDIVIDUAL_AXIOM_CONVERTER

protected static OwlIndividualAxiomConverterVisitor OWL_INDIVIDUAL_AXIOM_CONVERTER

OWL_OBJECT_PROPERTY_EXPRESSION_CONVERTER

protected static OwlObjectPropertyExpressionConverterVisitor OWL_OBJECT_PROPERTY_EXPRESSION_CONVERTER

OWL_ANNOTATION_CONVERTER

protected static OwlAnnotationSubjectValueVisitor OWL_ANNOTATION_CONVERTER

Method Detail

getInstance

public static OwlConverter getInstance()

convert

public ElkAnnotationProperty convert(org.semanticweb.owlapi.model.OWLAnnotationProperty owlAnnotationProperty)

convert

public ElkAnonymousIndividual convert(org.semanticweb.owlapi.model.OWLAnonymousIndividual owlAnonymousIndividual)

convert

public ElkAnnotationAxiom convert(org.semanticweb.owlapi.model.OWLAnnotationAxiom owlAnnotationAxiom)

convert

public ElkAssertionAxiom convert(org.semanticweb.owlapi.model.OWLIndividualAxiom owlIndividualAxiom)

convert

public ElkAsymmetricObjectPropertyAxiom convert(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom owlAsymmetricObjectPropertyAxiom)

convert

public ElkAxiom convert(org.semanticweb.owlapi.model.OWLAxiom owlAxiom)

convert

public ElkClassAssertionAxiom convert(org.semanticweb.owlapi.model.OWLClassAssertionAxiom owlClassAssertionAxiom)

convert

public ElkClassAxiom convert(org.semanticweb.owlapi.model.OWLClassAxiom owlClassAxiom)

convert

public ElkClassExpression convert(org.semanticweb.owlapi.model.OWLClassExpression owlClassExpression)

convert

public ElkClass convert(org.semanticweb.owlapi.model.OWLClass owlClass)

convert

public ElkDataAllValuesFrom convert(org.semanticweb.owlapi.model.OWLDataAllValuesFrom owlDataAllValuesFrom)

convert

public ElkDataComplementOf convert(org.semanticweb.owlapi.model.OWLDataComplementOf owlDataComplementOf)

convert

public ElkDataExactCardinality convert(org.semanticweb.owlapi.model.OWLDataExactCardinality owlDataExactCardinality)

convert

public ElkDataHasValue convert(org.semanticweb.owlapi.model.OWLDataHasValue owlDataHasValue)

convert

public ElkDataIntersectionOf convert(org.semanticweb.owlapi.model.OWLDataIntersectionOf owlDataIntersectionOf)

convert

public ElkDataMaxCardinality convert(org.semanticweb.owlapi.model.OWLDataMaxCardinality owlDataMaxCardinality)

convert

public ElkDataMinCardinality convert(org.semanticweb.owlapi.model.OWLDataMinCardinality owlDataMinCardinality)

convert

public ElkDataOneOf convert(org.semanticweb.owlapi.model.OWLDataOneOf owlDataOneOf)

convert

public ElkDataPropertyAssertionAxiom convert(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom owlDataPropertyAssertionAxiom)

convert

public ElkDataPropertyAxiom convert(org.semanticweb.owlapi.model.OWLDataPropertyAxiom owlDataPropertyAxiom)

convert

public ElkDataPropertyDomainAxiom convert(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom owlDataPropertyDomainAxiom)

convert

public ElkDataPropertyExpression convert(org.semanticweb.owlapi.model.OWLDataPropertyExpression owlDataPropertyExpression)

convert

public ElkDataPropertyRangeAxiom convert(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom owlDataPropertyRangeAxiom)

convert

public ElkDataProperty convert(org.semanticweb.owlapi.model.OWLDataProperty owlDataProperty)

convert

public ElkDataRange convert(org.semanticweb.owlapi.model.OWLDataRange owlDataRange)

convert

public ElkDataSomeValuesFrom convert(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom owlDataSomeValuesFrom)

convert

public ElkDatatypeRestriction convert(org.semanticweb.owlapi.model.OWLDatatypeRestriction owlDatatypeRestriction)

convert

public ElkDatatypeDefinitionAxiom convert(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom owlDatatypeDefinition)

convert

public ElkDatatype convert(org.semanticweb.owlapi.model.OWLDatatype owlDatatype)

convert

public ElkDataUnionOf convert(org.semanticweb.owlapi.model.OWLDataUnionOf owlDataUnionOf)

convert

public ElkDeclarationAxiom convert(org.semanticweb.owlapi.model.OWLDeclarationAxiom owlDeclarationAxiom)

convert

public ElkDifferentIndividualsAxiom convert(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom owlDifferentIndividualsAxiom)

convert

public ElkDisjointClassesAxiom convert(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom owlDisjointClassesAxiom)

convert

public ElkDisjointDataPropertiesAxiom convert(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom owlDisjointDataPropertiesAxiom)

convert

public ElkDisjointObjectPropertiesAxiom convert(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom owlDisjointObjectPropertiesAxiom)

convert

public ElkDisjointUnionAxiom convert(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom owlDisjointUnionAxiom)

convert

public ElkEntity convert(org.semanticweb.owlapi.model.OWLEntity owlEntity)

convert

public ElkEquivalentClassesAxiom convert(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom owlEquivalentClassesAxiom)

convert

public ElkEquivalentDataPropertiesAxiom convert(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom owlEquivalentDataPropertiesAxiom)

convert

public ElkEquivalentObjectPropertiesAxiom convert(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom owlEquivalentObjectPropertiesAxiom)

convert

public ElkFacetRestriction convert(org.semanticweb.owlapi.model.OWLFacetRestriction owlFacetRestriction)

convert

public ElkFunctionalDataPropertyAxiom convert(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom owlFunctionalDataPropertyAxiom)

convert

public ElkFunctionalObjectPropertyAxiom convert(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom owlFunctionalObjectPropertyAxiom)

convert

public ElkIndividual convert(org.semanticweb.owlapi.model.OWLIndividual owlIndividual)

convert

public ElkInverseFunctionalObjectPropertyAxiom convert(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom owlInverseFunctionalObjectPropertyAxiom)

convert

public ElkInverseObjectPropertiesAxiom convert(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom owlInverseObjectPropertiesAxiom)

convert

public ElkIrreflexiveObjectPropertyAxiom convert(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom owlIrreflexiveObjectPropertyAxiom)

convert

public ElkLiteral convert(org.semanticweb.owlapi.model.OWLLiteral owlLiteral)

convert

public ElkNamedIndividual convert(org.semanticweb.owlapi.model.OWLNamedIndividual owlNamedIndividual)

convert

public ElkNegativeDataPropertyAssertionAxiom convert(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom owlNegativeDataPropertyAssertionAxiom)

convert

public ElkNegativeObjectPropertyAssertionAxiom convert(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom owlNegativeObjectPropertyAssertionAxiom)

convert

public ElkObjectAllValuesFrom convert(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom owlObjectAllValuesFrom)

convert

public ElkObjectComplementOf convert(org.semanticweb.owlapi.model.OWLObjectComplementOf owlObjectComplementOf)

convert

public ElkObjectExactCardinality convert(org.semanticweb.owlapi.model.OWLObjectExactCardinality owlObjectExactCardinality)

convert

public ElkObjectHasSelf convert(org.semanticweb.owlapi.model.OWLObjectHasSelf owlObjectHasSelf)

convert

public ElkObjectHasValue convert(org.semanticweb.owlapi.model.OWLObjectHasValue owlObjectHasValue)

convert

public ElkObjectIntersectionOf convert(org.semanticweb.owlapi.model.OWLObjectIntersectionOf owlObjectIntersectionOf)

convert

public ElkObjectMaxCardinality convert(org.semanticweb.owlapi.model.OWLObjectMaxCardinality owlObjectMaxCardinality)

convert

public ElkObjectMinCardinality convert(org.semanticweb.owlapi.model.OWLObjectMinCardinality owlObjectMaxCardinality)

convert

public ElkObjectOneOf convert(org.semanticweb.owlapi.model.OWLObjectOneOf owlObjectOneOf)

convert

public ElkObjectPropertyAssertionAxiom convert(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom owlObjectPropertyAssertionAxiom)

convert

public ElkObjectPropertyAxiom convert(org.semanticweb.owlapi.model.OWLObjectPropertyAxiom owlObjectPropertyAxiom)

convert

public ElkObjectPropertyChain convert(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom owlSubPropertyChainOfAxiom)

convert

public ElkObjectPropertyDomainAxiom convert(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom owlObjectPropertyDomainAxiom)

convert

public ElkObjectPropertyExpression convert(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression)

convert

public ElkObjectPropertyRangeAxiom convert(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom owlObjectPropertyRangeAxiom)

convert

public ElkObjectProperty convert(org.semanticweb.owlapi.model.OWLObjectProperty owlObjectProperty)

convert

public ElkObjectSomeValuesFrom convert(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom owlObjectSomeValuesFrom)

convert

public ElkObjectUnionOf convert(org.semanticweb.owlapi.model.OWLObjectUnionOf owlObjectUnionOf)

convert

public ElkReflexiveObjectPropertyAxiom convert(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom owlReflexiveObjectPropertyAxiom)

convert

public ElkSameIndividualAxiom convert(org.semanticweb.owlapi.model.OWLSameIndividualAxiom owlSameIndividualAxiom)

convert

public ElkSubClassOfAxiom convert(org.semanticweb.owlapi.model.OWLSubClassOfAxiom owlSubClassOfAxiom)

convert

public ElkSubDataPropertyOfAxiom convert(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom owlSubDataPropertyOfAxiom)

convert

public ElkSubObjectPropertyOfAxiom convert(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom owlSubObjectPropertyOfAxiom)

convert

public ElkSymmetricObjectPropertyAxiom convert(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom owlSymmetricObjectPropertyAxiom)

convert

public ElkTransitiveObjectPropertyAxiom convert(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom owlTransitiveObjectPropertyAxiom)

convert

public ElkHasKeyAxiom convert(org.semanticweb.owlapi.model.OWLHasKeyAxiom owlHasKey)

convert

public ElkAnnotationSubject convert(org.semanticweb.owlapi.model.OWLAnnotationSubject subject)

convert

public ElkAnnotationValue convert(org.semanticweb.owlapi.model.OWLAnnotationValue value)

convert

public ElkIri convert(org.semanticweb.owlapi.model.IRI iri)

isRelevantAxiom

public boolean isRelevantAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)

Parameters:

axiom - the owl axiom to test

Returns:

true if the owl axiom can be converted to ELK axiom

convert

public ElkSWRLRule convert(org.semanticweb.owlapi.model.SWRLRule rule)