org.semanticweb.elk.owl.interfaces

Interface ElkSubObjectPropertyOfAxiom

All Superinterfaces:

ElkAxiom, ElkObject, ElkObjectPropertyAxiom

public interface ElkSubObjectPropertyOfAxiom
extends ElkObjectPropertyAxiom

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

Author:

Markus Kroetzsch

Method Summary

Methods

Modifier and Type	Method and Description
ElkSubObjectPropertyExpression	getSubObjectPropertyExpression() Get the sub object property expression of this axiom.
ElkObjectPropertyExpression	getSuperObjectPropertyExpression() Get the super object property expression of this axiom.

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

getSubObjectPropertyExpression

ElkSubObjectPropertyExpression getSubObjectPropertyExpression()

Get the sub object property expression of this axiom.

Returns:

sub object property expression

getSuperObjectPropertyExpression

ElkObjectPropertyExpression getSuperObjectPropertyExpression()

Get the super object property expression of this axiom.

Returns:

super object property expression