org.semanticweb.elk.owl.interfaces

Interface ElkObjectMinCardinalityQualified

All Superinterfaces:

ElkCardinalityRestriction<ElkObjectPropertyExpression>, ElkCardinalityRestrictionQualified<ElkObjectPropertyExpression,ElkClassExpression>, ElkClassExpression, ElkObject, ElkObjectMinCardinality, ElkPropertyRestriction<ElkObjectPropertyExpression>, ElkPropertyRestrictionQualified<ElkObjectPropertyExpression,ElkClassExpression>

public interface ElkObjectMinCardinalityQualified
extends ElkObjectMinCardinality, ElkCardinalityRestrictionQualified<ElkObjectPropertyExpression,ElkClassExpression>

Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified class expression is specified.

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