org.semanticweb.elk.owl.interfaces
Interface ElkInverseObjectPropertiesAxiom

All Superinterfaces:

ElkAxiom, ElkObject, ElkObjectPropertyAxiom

public interface ElkInverseObjectPropertiesAxiom
extends ElkObjectPropertyAxiom

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

Author:

Markus Kroetzsch

Method Summary

ElkObjectPropertyExpression	getFirstObjectPropertyExpression() Get the first object property that this axiom refers to.
ElkObjectPropertyExpression	getSecondObjectPropertyExpression() Get the second object property 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

getFirstObjectPropertyExpression

ElkObjectPropertyExpression getFirstObjectPropertyExpression()

Get the first object property that this axiom refers to.

Returns:

the first object property

getSecondObjectPropertyExpression

ElkObjectPropertyExpression getSecondObjectPropertyExpression()

Get the second object property that this axiom refers to.

Returns:

the second object property