org.semanticweb.elk.owl.interfaces
Interface ElkDisjointDataPropertiesAxiom

All Superinterfaces:

ElkAxiom, ElkDataPropertyAxiom, ElkObject

public interface ElkDisjointDataPropertiesAxiom
extends ElkDataPropertyAxiom

Corresponds to an Disjoint Data Properties Axiom in the OWL 2 specification.

Author:

Markus Kroetzsch

Method Summary

List<? extends ElkDataPropertyExpression>

getDataPropertyExpressions() Get the list of disjoint data property expressions that this axiom refers to.

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

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

getDataPropertyExpressions

List<? extends ElkDataPropertyExpression> getDataPropertyExpressions()

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

Returns:

list of disjoint data property expressions