org.semanticweb.elk.owl.interfaces

Interface ElkHasKeyAxiom

All Superinterfaces:

ElkAxiom, ElkObject

public interface ElkHasKeyAxiom
extends ElkAxiom

Corresponds to a Keys in the OWL 2 specification.

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Method Summary

Methods

Modifier and Type	Method and Description
ElkClassExpression	getClassExpression()
Set<ElkDataPropertyExpression>	getDataPropertyExpressions()
Set<ElkObjectPropertyExpression>	getObjectPropertyExpressions()

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

accept

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

accept

Method Detail

getClassExpression

ElkClassExpression getClassExpression()

getObjectPropertyExpressions

Set<ElkObjectPropertyExpression> getObjectPropertyExpressions()

getDataPropertyExpressions

Set<ElkDataPropertyExpression> getDataPropertyExpressions()