org.semanticweb.elk.owl.interfaces

Interface ElkDataExactCardinalityQualified

All Superinterfaces:

ElkCardinalityRestriction<ElkDataPropertyExpression>, ElkCardinalityRestrictionQualified<ElkDataPropertyExpression,ElkDataRange>, ElkClassExpression, ElkDataExactCardinality, ElkObject, ElkPropertyRestriction<ElkDataPropertyExpression>, ElkPropertyRestrictionQualified<ElkDataPropertyExpression,ElkDataRange>

public interface ElkDataExactCardinalityQualified
extends ElkDataExactCardinality, ElkCardinalityRestrictionQualified<ElkDataPropertyExpression,ElkDataRange>

Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified data range is not empty.

Author:

Markus Kroetzsch

Method Summary

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

getCardinality

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

getFiller

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

getProperty

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

accept

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

accept