owl:DisjointUnion
Complex type information
Namespace: http://www.w3.org/2002/07/owl#
Schema document: owl2-xml.xsd
Content
- Sequence [1..1]
- owl:Annotation [0..*]
- owl:Class [1..1]
- Choice [2..*]
- 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 type owl:Axiomfrom group owl:axiomAnnotationsfrom 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 by
- Element owl:DisjointUnion
Type inheritance chain
- owl:Axiom
- owl:ClassAxiom
- owl:DisjointUnion
- owl:ClassAxiom