owl:ObjectAllValuesFrom
Element information
Namespace: http://www.w3.org/2002/07/owl#
Schema document: owl2-xml.xsd
Type: owl:ObjectAllValuesFrom
Properties: Global, Qualified
Content
- Choice [1..1]
- Choice [1..1]
- owl:Class
- owl:ObjectIntersectionOf
- owl:ObjectUnionOf
- owl:ObjectComplementOf
- owl:ObjectOneOf
- owl:ObjectSomeValuesFrom
- owl:ObjectAllValuesFrom
- owl:ObjectHasValue
- owl:ObjectHasSelf
- owl:ObjectMinCardinality
- owl:ObjectMaxCardinality
- owl:ObjectExactCardinality
- owl:DataSomeValuesFrom
- owl:DataAllValuesFrom
- owl:DataHasValue
- owl:DataMinCardinality
- owl:DataMaxCardinality
- owl:DataExactCardinality
from group owl:ObjectPropertyExpression
from group owl:ClassExpression
Attributes
| Name | Occ | Type | Description | Notes |
|---|---|---|---|---|
| xml:base | [0..1] | xsd:anyURI | denotes an attribute whose value provides a URI to be used as the base for interpreting any relative URIs in the scope of the element on which it appears; its value is inherited. This name is reserved by virtue of its definition in the XML Base specification. | from group xml:specialAttrs |
| xml:lang | [0..1] | Anonymous | denotes an attribute whose value is a language code for the natural language of the content of any element; its value is inherited. | from group xml:specialAttrs |
| xml:space | [0..1] | Anonymous | denotes an attribute whose value is a keyword indicating what whitespace processing discipline is intended for the content of the element; its value is inherited. | from group xml:specialAttrs |
| xml:id | [0..1] | xsd:ID | denotes an attribute whose value should be interpreted as if declared to be of type ID. This name is reserved by virtue of its definition in the xml:id specification. | from group xml:specialAttrs |
Used in
- Group owl:ClassExpression
- Type owl:ClassAssertion via reference to owl:ClassExpression (Element owl:ClassAssertion)
- Type owl:DataPropertyDomain via reference to owl:ClassExpression (Element owl:DataPropertyDomain)
- Type owl:DisjointClasses via reference to owl:ClassExpression (Element owl:DisjointClasses)
- Type owl:DisjointUnion via reference to owl:ClassExpression (Element owl:DisjointUnion)
- Type owl:EquivalentClasses via reference to owl:ClassExpression (Element owl:EquivalentClasses)
- Type owl:HasKey via reference to owl:ClassExpression (Element owl:HasKey)
- Type owl:ObjectAllValuesFrom via reference to owl:ClassExpression (Element owl:ObjectAllValuesFrom)
- Type owl:ObjectComplementOf via reference to owl:ClassExpression (Element owl:ObjectComplementOf)
- Type owl:ObjectExactCardinality via reference to owl:ClassExpression (Element owl:ObjectExactCardinality)
- Type owl:ObjectIntersectionOf via reference to owl:ClassExpression (Element owl:ObjectIntersectionOf)
- Type owl:ObjectMaxCardinality via reference to owl:ClassExpression (Element owl:ObjectMaxCardinality)
- Type owl:ObjectMinCardinality via reference to owl:ClassExpression (Element owl:ObjectMinCardinality)
- Type owl:ObjectPropertyDomain via reference to owl:ClassExpression (Element owl:ObjectPropertyDomain)
- Type owl:ObjectPropertyRange via reference to owl:ClassExpression (Element owl:ObjectPropertyRange)
- Type owl:ObjectSomeValuesFrom via reference to owl:ClassExpression (Element owl:ObjectSomeValuesFrom)
- Type owl:ObjectUnionOf via reference to owl:ClassExpression (Element owl:ObjectUnionOf)
- Type owl:SubClassOf via reference to owl:ClassExpression (Element owl:SubClassOf)
Sample instance
<owl:ObjectAllValuesFrom> <owl:ObjectProperty IRI="http://www.example.com/"/> <owl:Class IRI="http://www.example.com/"/> </owl:ObjectAllValuesFrom>