concrete predicates from "Dublin Core";
authorwenzelm
Sun Mar 03 19:30:17 2019 +0100 (6 weeks ago ago)
changeset 700393d0f27273aa1
parent 70038 a4b430ad848a
child 70040 e18ba60a1cf8
concrete predicates from "Dublin Core";
src/Pure/General/rdf.scala
     1.1 --- a/src/Pure/General/rdf.scala	Sun Mar 03 19:12:28 2019 +0100
     1.2 +++ b/src/Pure/General/rdf.scala	Sun Mar 03 19:30:17 2019 +0100
     1.3 @@ -67,4 +67,16 @@
     1.4    def double(x: Double): XML.Body = string(Value.Double(x))
     1.5    def seconds(x: Time): XML.Body = double(x.seconds)
     1.6    def date_time_stamp(x: Date): XML.Body = string(Date.Format("uuuu-MM-dd'T'HH:mm:ss.SSSxxx")(x))
     1.7 +
     1.8 +
     1.9 +  /* predicates */
    1.10 +
    1.11 +  object Property  // binary relation with plain value
    1.12 +  {
    1.13 +    val title: String = dc("title")
    1.14 +    val creator: String = dc("creator")
    1.15 +    val contributor: String = dc("contributor")
    1.16 +    val date: String = dc("date")
    1.17 +    val description: String = dc("description")
    1.18 +  }
    1.19  }