org.semanticweb.elk.owl.interfaces

Interface ElkDataPropertyAxiom

All Superinterfaces:

ElkAxiom, ElkObject

All Known Subinterfaces:

ElkDataPropertyDomainAxiom, ElkDataPropertyRangeAxiom, ElkDisjointDataPropertiesAxiom, ElkEquivalentDataPropertiesAxiom, ElkFunctionalDataPropertyAxiom, ElkSubDataPropertyOfAxiom

public interface ElkDataPropertyAxiom
extends ElkAxiom

Corresponds to an Data Property Axiom in the OWL 2 specification.

Author:

Markus Kroetzsch

Method Summary

Methods

Modifier and Type	Method and Description
<O> O	accept(ElkDataPropertyAxiomVisitor<O> visitor) Accept an ElkDataPropertyAxiomVisitor.

Methods inherited from interface org.semanticweb.elk.owl.interfaces.ElkAxiom

accept

Methods inherited from interface org.semanticweb.elk.owl.interfaces.ElkObject

accept

Method Detail

accept

<O> O accept(ElkDataPropertyAxiomVisitor<O> visitor)

Accept an ElkDataPropertyAxiomVisitor.

Parameters:

visitor - the visitor that can work with this axiom type

Returns:

the output of the visitor