org.semanticweb.elk.owl.interfaces
Interface ElkObjectAllValuesFrom

All Superinterfaces:

ElkClassExpression, ElkObject, ElkPropertyRestriction<ElkObjectPropertyExpression>, ElkPropertyRestrictionQualified<ElkObjectPropertyExpression,ElkClassExpression>

public interface ElkObjectAllValuesFrom
extends ElkPropertyRestrictionQualified<ElkObjectPropertyExpression,ElkClassExpression>

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

Author:

Markus Kroetzsch

Method Summary

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