# HG changeset patch
# User wenzelm
# Date 1551637817 -3600
# Node ID 3d0f27273aa1c1d3489eb5c569e77cabb1e2c24f
# Parent  a4b430ad848a37f9e812fbccea506a80a438f2d7
concrete predicates from "Dublin Core";

diff -r a4b430ad848a -r 3d0f27273aa1 src/Pure/General/rdf.scala
--- a/src/Pure/General/rdf.scala	Sun Mar 03 19:12:28 2019 +0100
+++ b/src/Pure/General/rdf.scala	Sun Mar 03 19:30:17 2019 +0100
@@ -67,4 +67,16 @@
   def double(x: Double): XML.Body = string(Value.Double(x))
   def seconds(x: Time): XML.Body = double(x.seconds)
   def date_time_stamp(x: Date): XML.Body = string(Date.Format("uuuu-MM-dd'T'HH:mm:ss.SSSxxx")(x))
+
+
+  /* predicates */
+
+  object Property  // binary relation with plain value
+  {
+    val title: String = dc("title")
+    val creator: String = dc("creator")
+    val contributor: String = dc("contributor")
+    val date: String = dc("date")
+    val description: String = dc("description")
+  }
 }