Lady’s Gitweb - Vocab/blob - DTD

   1 <?xml encoding="UTF-8"?>
   2 <!--
   3 SPDX-FileCopyrightText: 2024 Lady <https://www.ladys.computer/about/#lady>
   4 SPDX-License-Identifier: CC0-1.0
   5 -->
   6
   7 <!-- Text Markup -->
   8 <!ENTITY % blocks '(list|p|table)+'>
   9 <!ENTITY % inlines 'code|em|ptr|ref|resource|strong|value'>
  10 <!ELEMENT p (#PCDATA|%inlines;|note)*>
  11 <!ELEMENT code (#PCDATA)>
  12 <!ELEMENT em (#PCDATA)>
  13 <!ELEMENT strong (#PCDATA)>
  14
  15 <!-- Notes -->
  16 <!ELEMENT note (%blocks;)>
  17 <!ATTLIST note
  18         n CDATA #REQUIRED
  19 >
  20
  21 <!-- Links -->
  22 <!ELEMENT ptr EMPTY>
  23 <!ATTLIST ptr
  24         target CDATA #REQUIRED
  25         type (class|property|individual) #IMPLIED
  26 >
  27 <!ELEMENT ref (#PCDATA)>
  28 <!ATTLIST ref
  29         target CDATA #REQUIRED
  30         type (class|property|individual) #IMPLIED
  31 >
  32
  33 <!-- Tables -->
  34 <!ELEMENT table (row)+>
  35 <!ELEMENT row (cell)+>
  36 <!ATTLIST row
  37         role (label|data) "data"
  38 >
  39 <!ELEMENT cell (#PCDATA|%inlines;)*>
  40 <!ATTLIST cell
  41         role (label|data) "data"
  42 >
  43
  44 <!-- Lists -->
  45 <!ELEMENT list (item)*>
  46 <!ATTLIST list
  47         rend (bulleted|numbered) "bulleted"
  48 >
  49 <!ELEMENT item (%blocks;)>
  50
  51 <!-- Anno -->
  52 <!ELEMENT SpecificResource EMPTY><!-- this actually becomes anno:ResourceSelection, not anno:SpecificResource, but changing the name to match would require editing a lot of files -->
  53 <!ATTLIST SpecificResource
  54   source CDATA #REQUIRED
  55   fragment CDATA #IMPLIED
  56 >
  57
  58 <!-- Skos -->
  59 <!ELEMENT inScheme (resource)>
  60
  61 <!-- Shacl -->
  62 <!ELEMENT declare (prefix,namespace)>
  63 <!ELEMENT namespace (#PCDATA)>
  64 <!ELEMENT prefix (#PCDATA)>
  65
  66 <!-- Annotations -->
  67 <!ENTITY % annotations '(label*,comment*,isDefinedBy*)'>
  68 <!ELEMENT comment (%blocks;)>
  69 <!ATTLIST comment
  70         xml:lang NMTOKEN #REQUIRED
  71 >
  72 <!ELEMENT isDefinedBy (resource|SpecificResource)>
  73 <!ELEMENT label (#PCDATA)>
  74 <!ATTLIST label
  75         xml:lang NMTOKEN #REQUIRED
  76 >
  77
  78 <!-- Helper Elements -->
  79 <!ELEMENT resource (#PCDATA)>
  80 <!ATTLIST resource
  81         name CDATA #REQUIRED
  82 >
  83 <!ELEMENT value (#PCDATA)>
  84 <!ATTLIST value
  85         datatype CDATA #IMPLIED
  86         xml:lang NMTOKEN #IMPLIED
  87 >
  88
  89 <!-- Axioms -->
  90 <!ELEMENT allValuesFrom (Class|Datatype|Restriction|resource)>
  91 <!ELEMENT assertionProperty (resource)>
  92 <!ELEMENT cardinality (#PCDATA)>
  93 <!ELEMENT complementOf (Class|Datatype|Restriction|resource)>
  94 <!ELEMENT differentFrom (resource)>
  95 <!ELEMENT disjointUnionOf (Class|Restriction|resource)+>
  96 <!ELEMENT disjointWith (Class|Datatype|Restriction|resource)>
  97 <!ELEMENT domain (Class|Restriction|resource)>
  98 <!ELEMENT equivalentClass (Class|Datatype|Restriction|resource)>
  99 <!ELEMENT equivalentProperty (DatatypeProperty|ObjectProperty|resource)>
 100 <!ELEMENT hasKey (DatatypeProperty|ObjectProperty|resource)+>
 101 <!ELEMENT hasSelf EMPTY>
 102 <!ELEMENT hasValue (resource|value)>
 103 <!ELEMENT intersectionOf (Class|Datatype|Restriction|resource)+>
 104 <!ELEMENT inverseOf (Class|Datatype|Restriction|resource)>
 105 <!ELEMENT maxCardinality (#PCDATA)>
 106 <!ELEMENT maxQualifiedCardinality (#PCDATA)>
 107 <!ELEMENT members (Class|Restriction|resource)+>
 108 <!ELEMENT minCardinality (#PCDATA)>
 109 <!ELEMENT minQualifiedCardinality (#PCDATA)>
 110 <!ELEMENT onClass (Class|Restriction|resource)>
 111 <!ELEMENT onDataRange (Datatype|resource)>
 112 <!ELEMENT onDatatype (resource)>
 113 <!ELEMENT onProperty (ObjectProperty|DatatypeProperty|resource)>
 114 <!ELEMENT oneOf (Class|Datatype|Restriction|resource)+>
 115 <!ELEMENT propertyChainAxiom (ObjectProperty|resource)+>
 116 <!ELEMENT propertyDisjointWith (DatatypeProperty|ObjectProperty|resource)>
 117 <!ELEMENT qualifiedCardinality (#PCDATA)>
 118 <!ELEMENT range (Class|Datatype|Restriction|resource)>
 119 <!ELEMENT sameAs (resource)>
 120 <!ELEMENT someValuesFrom (Class|Datatype|Restriction|resource)>
 121 <!ELEMENT sourceIndividual (resource)>
 122 <!ELEMENT subClassOf (Class|Restriction|resource)>
 123 <!ELEMENT subPropertyOf (DatatypeProperty|ObjectProperty|resource)>
 124 <!ELEMENT superClassOf (Class|Restriction)> <!-- inverse subClassOf; only use for anonymous subclasses -->
 125 <!ELEMENT targetIndividual (resource)>
 126 <!ELEMENT type (Class|Restriction|resource)>
 127 <!ELEMENT unionOf (Class|Datatype|Restriction|resource)+>
 128 <!ELEMENT withRestrictions (langRange|length|maxExclusive|maxInclusive|maxLength|minExclusive|minInclusive|minLength|pattern)+>
 129
 130 <!-- Restrictions -->
 131 <!ELEMENT langRange (#PCDATA)>
 132 <!ELEMENT length (#PCDATA)>
 133 <!ELEMENT maxExclusive (#PCDATA)>
 134 <!ATTLIST maxExclusive
 135         datatype CDATA #REQUIRED
 136 >
 137 <!ELEMENT maxInclusive (#PCDATA)>
 138 <!ATTLIST maxInclusive
 139         datatype CDATA #REQUIRED
 140 >
 141 <!ELEMENT maxLength (#PCDATA)>
 142 <!ELEMENT minExclusive (#PCDATA)>
 143 <!ATTLIST minExclusive
 144         datatype CDATA #REQUIRED
 145 >
 146 <!ELEMENT minInclusive (#PCDATA)>
 147 <!ATTLIST minInclusive
 148         datatype CDATA #REQUIRED
 149 >
 150 <!ELEMENT minLength (#PCDATA)>
 151 <!ELEMENT pattern (#PCDATA)>
 152
 153 <!-- Axiom Classes -->
 154 <!ELEMENT AllDifferent (members)>
 155 <!ELEMENT AllDisjointClasses (members)>
 156 <!ELEMENT AllDisjointProperties (members)>
 157 <!ELEMENT NegativeObjectPropertyAssertion (assertionProperty,sourceIndividual,targetIndividual)>
 158
 159 <!-- Restrictions -->
 160 <!ELEMENT Restriction (onProperty,(((minQualifiedCardinality|maxQualifiedCardinality|qualifiedCardinality),(onClass|onDataRange))|allValuesFrom|cardinality|hasValue|hasSelf|minCardinality|maxCardinality|someValuesFrom))>
 161
 162 <!-- Declarations -->
 163 <!ELEMENT Class (%annotations;,((equivalentClass*,subClassOf*,superClassOf*,disjointWith*,hasKey*)|complementOf|disjointUnionOf|intersectionOf|oneOf|unionOf))>
 164 <!ATTLIST Class
 165         name CDATA #IMPLIED
 166         status (plumbing|unstable|testing|stable|archaic) #IMPLIED
 167 >
 168 <!ELEMENT Datatype (%annotations;,(equivalentClass|complementOf|intersectionOf|unionOf|(onDatatype,withRestrictions)))> <!-- oneOf not supported; lists of literals are difficult -->
 169 <!ATTLIST Datatype
 170         name CDATA #IMPLIED
 171         status (plumbing|unstable|testing|stable|archaic) #IMPLIED
 172 >
 173 <!ELEMENT AnnotationProperty (%annotations;,subPropertyOf*,domain*,range*)>
 174 <!ATTLIST AnnotationProperty
 175         name CDATA #IMPLIED
 176         status (plumbing|unstable|testing|stable|archaic) #IMPLIED
 177 >
 178 <!ELEMENT ObjectProperty (%annotations;,equivalentProperty*,subPropertyOf*,inverseOf*,propertyDisjointWith*,propertyChainAxiom*,domain*,range*)>
 179 <!ATTLIST ObjectProperty
 180         asymmetric (no|yes) "no"
 181         functional (no|yes) "no"
 182         inverseFunctional (no|yes) "no"
 183         irreflexive (no|yes) "no"
 184         name CDATA #IMPLIED
 185         reflexive (no|yes) "no"
 186         status (plumbing|unstable|testing|stable|archaic) #IMPLIED
 187         symmetric (no|yes) "no"
 188         transitive (no|yes) "no"
 189 >
 190 <!ELEMENT DatatypeProperty (%annotations;,equivalentProperty*,subPropertyOf*,propertyDisjointWith*,domain*,range*)>
 191 <!ATTLIST DatatypeProperty
 192         functional (no|yes) "no"
 193         name CDATA #IMPLIED
 194         status (plumbing|unstable|testing|stable|archaic) #IMPLIED
 195 >
 196 <!ELEMENT NamedIndividual (%annotations;,type*,sameAs*,differentFrom*,inScheme*)>
 197 <!ATTLIST NamedIndividual
 198         name CDATA #IMPLIED
 199         status (plumbing|unstable|testing|stable|archaic) #IMPLIED
 200 >
 201
 202 <!-- Ontology -->
 203 <!ELEMENT Ontology (%annotations;,declare*)>
 204 <!ATTLIST Ontology
 205         name CDATA #IMPLIED
 206 >