diff -r 27cf4287de43 -r 18a61caf5e68 src/Pure/General/rdf.scala
--- a/src/Pure/General/rdf.scala	Mon Mar 11 19:14:21 2019 +0100
+++ b/src/Pure/General/rdf.scala	Mon Mar 11 20:47:04 2019 +0100
@@ -84,4 +84,15 @@
     val date: String = dc("date")
     val description: String = dc("description")
   }
+
+  private val meta_data_table =
+    Map(
+      Markup.META_TITLE -> Property.title,
+      Markup.META_CREATOR -> Property.creator,
+      Markup.META_CONTRIBUTOR -> Property.contributor,
+      Markup.META_DATE -> Property.date,
+      Markup.META_DESCRIPTION -> Property.description)
+
+  def meta_data(props: Properties.T): Properties.T =
+    props.flatMap({ case (a, b) => meta_data_table.get(a).map((_, b)) })
 }