org.semanticweb.elk.owl.interfaces
Interface ElkEquivalentDataPropertiesAxiom

All Superinterfaces:
ElkAxiom, ElkDataPropertyAxiom, ElkObject

public interface ElkEquivalentDataPropertiesAxiom
extends ElkDataPropertyAxiom

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

Author:
Markus Kroetzsch

Method Summary
 List<? extends ElkDataPropertyExpression> getDataPropertyExpressions()
          Get the list of equivalent 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 equivalent 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 equivalent data property expressions


Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.