org.semanticweb.elk.owl.interfaces
Interface ElkObjectPropertyAxiom

All Superinterfaces:

ElkAxiom, ElkObject

All Known Subinterfaces:

ElkAsymmetricObjectPropertyAxiom, ElkDisjointObjectPropertiesAxiom, ElkEquivalentObjectPropertiesAxiom, ElkFunctionalObjectPropertyAxiom, ElkInverseFunctionalObjectPropertyAxiom, ElkInverseObjectPropertiesAxiom, ElkIrreflexiveObjectPropertyAxiom, ElkObjectPropertyDomainAxiom, ElkObjectPropertyRangeAxiom, ElkReflexiveObjectPropertyAxiom, ElkSubObjectPropertyOfAxiom, ElkSymmetricObjectPropertyAxiom, ElkTransitiveObjectPropertyAxiom

public interface ElkObjectPropertyAxiom
extends ElkAxiom

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

Author:

Markus Kroetzsch

Method Summary

<O> O

accept(ElkObjectPropertyAxiomVisitor<O> visitor) Accept an ElkObjectPropertyAxiomVisitor.

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(ElkObjectPropertyAxiomVisitor<O> visitor)

Accept an ElkObjectPropertyAxiomVisitor.

Parameters:

visitor - the visitor that can work with this axiom type

Returns:

the output of the visitor