org.semanticweb.elk.owl.interfaces
Interface ElkDataAllValuesFrom

All Superinterfaces:

ElkClassExpression, ElkDataPropertyListRestrictionQualified, ElkObject

public interface ElkDataAllValuesFrom
extends ElkDataPropertyListRestrictionQualified

Corresponds to an Universal Quantification Data Property Restriction in the OWL 2 specification.

Author:

Markus Kroetzsch

Method Summary

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

getDataPropertyExpressions, getDataRange

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

accept

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

accept