org.semanticweb.elk.owl.interfaces

Interface ElkSubDataPropertyOfAxiom

All Superinterfaces:

ElkAxiom, ElkDataPropertyAxiom, ElkObject

public interface ElkSubDataPropertyOfAxiom
extends ElkDataPropertyAxiom

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

Author:

Markus Kroetzsch

Method Summary

Methods

Modifier and Type	Method and Description
ElkDataPropertyExpression	getSubDataPropertyExpression() Get the sub data property expression of this axiom.
ElkDataPropertyExpression	getSuperDataPropertyExpression() Get the super data property expression of this axiom.

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

getSubDataPropertyExpression

ElkDataPropertyExpression getSubDataPropertyExpression()

Get the sub data property expression of this axiom.

Returns:

sub data property expression

getSuperDataPropertyExpression

ElkDataPropertyExpression getSuperDataPropertyExpression()

Get the super data property expression of this axiom.

Returns:

super data property expression