Lady’s Gitweb - Vocab/blob - data/annotation_properties/rdf¦rest

   1 <?xml version="1.0"?>
   2 <!--
   3 SPDX-FileCopyrightText: 2024 Lady <https://www.ladys.computer/about/#lady>
   4 SPDX-License-Identifier: CC0-1.0
   5 -->
   6 <!DOCTYPE AnnotationProperty SYSTEM "../../DTD">
   7 <AnnotationProperty>
   8         <label xml:lang="en">rest</label>
   9         <comment xml:lang="en">
  10                 <p>
  11                         The remaining elements in this <ref target="rdf:List">List</ref>, as another List.
  12                 </p>
  13                 <p>
  14                         <ptr target="rdf:first"/> and <ptr target="rdf:rest"/> are defined as annotation properties; they cannot be reasoned about.
  15                         This is because <ptr target="rdf:List"/>s are themselves used for ontology definition, and assigning them semantics beyond this is, at the very least, conceptually murky.
  16                         It is better to use other mechanisms of conveying ordered lists when the contents of those lists need to be accessible to reasoners.
  17                 </p>
  18         </comment>
  19         <isDefinedBy>
  20                 <SpecificResource source="(RDF11-SCHEMA)" fragment="ch_rest"/>
  21         </isDefinedBy>
  22         <domain>
  23                 <resource name="rdf:List"/>
  24         </domain>
  25         <range>
  26                 <resource name="rdf:List"/>
  27         </range>
  28 </AnnotationProperty>