org.semanticweb.elk.owl.interfaces

Interface ElkEquivalentObjectPropertiesAxiom

All Superinterfaces:

ElkAxiom, ElkObject, ElkObjectPropertyAxiom

public interface ElkEquivalentObjectPropertiesAxiom
extends ElkObjectPropertyAxiom

Corresponds to an Equivalent Object Properties Axiom in the OWL 2 specification.

Author:

Markus Kroetzsch

Method Summary

Methods

Modifier and Type	Method and Description
List<? extends ElkObjectPropertyExpression>	getObjectPropertyExpressions() Get the list of equivalent object property expressions that this axiom refers to.

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

accept

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

accept

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

accept

Method Detail

getObjectPropertyExpressions

List<? extends ElkObjectPropertyExpression> getObjectPropertyExpressions()

Get the list of equivalent object property expressions that this axiom refers to. The order of object property expressions does not affect the semantics but it is relevant to the syntax of OWL.

Returns:

list of equivalent object property expressions