Uses of Interface
org.semanticweb.elk.owl.interfaces.ElkPropertyRestriction

Packages that use ElkPropertyRestriction

Package	Description
org.semanticweb.elk.owl.interfaces

Uses of ElkPropertyRestriction in org.semanticweb.elk.owl.interfaces

Subinterfaces of ElkPropertyRestriction in org.semanticweb.elk.owl.interfaces

Modifier and Type	Interface and Description
interface	ElkCardinalityRestriction<P> A generic interface on property restrictions with cardinality constraints.
interface	ElkCardinalityRestrictionQualified<P,F> A generic interface for restrictions on properties with fillers (qualifiers) and cardinality constraints.
interface	ElkDataExactCardinality Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified data range is empty.
interface	ElkDataExactCardinalityQualified Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified data range is not empty.
interface	ElkDataHasValue Corresponds to an Literal Value Restriction for Data Properties in the OWL 2 specification.
interface	ElkDataMaxCardinality Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified data range is empty.
interface	ElkDataMaxCardinalityQualified Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified data range is not empty.
interface	ElkDataMinCardinality Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified data range is empty.
interface	ElkDataMinCardinalityQualified Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified data range is not empty.
interface	ElkObjectAllValuesFrom Corresponds to an Universal Quantification Object Property Restriction in the OWL 2 specification.
interface	ElkObjectExactCardinality Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified class expression is not specified.
interface	ElkObjectExactCardinalityQualified Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified class expression is specified.
interface	ElkObjectHasSelf Corresponds to a Self-Restriction in the OWL 2 specification.
interface	ElkObjectHasValue Corresponds to an Individual Value Restriction for Object Properties in the OWL 2 specification.
interface	ElkObjectMaxCardinality Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified class expression is not specified.
interface	ElkObjectMaxCardinalityQualified Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified class expression is specified.
interface	ElkObjectMinCardinality Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified class expression is not specified.
interface	ElkObjectMinCardinalityQualified Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified class expression is specified.
interface	ElkObjectSomeValuesFrom Corresponds to an Existential Quantification Object Property Restriction in the OWL 2 specification.
interface	ElkPropertyRestrictionQualified<P,F> A generic interface for restrictions on properties with fillers (qualifiers).