<> a . # Ugly! @prefix dc: . @prefix daml: . @prefix rdf: . @prefix u: . @prefix rcs: . @prefix : . @prefix dt: . @prefix inet: <../02pd/rfc65#>. <> dc:title "An RDF specification of MIME"; dc:source , ; rcs:id "$Id: mime.n3,v 1.2 2001/03/30 07:36:57 connolly Exp $". inet:rfc "2045"; dc:date "1996-11"; dc:title """Multipurpose Internet Mail Extensions (MIME) Part One: Format of Internet Message Bodies""". :body a daml:UniqueProperty; u:label "body"; u:range dt:hexBinary. # or should it be [ is dt:valueSpace of dt:hexBinary ?] :bodyText a daml:UniqueProperty; u:label "bodyText"; u:range dt:string. :content-type u:subPropertyOf rdf:type; u:range :MediaType. :MediaType u:label "Media type". :typeName a daml:UnambiguousProperty; u:subPropertyOf u:label; u:domain :MediaType; u:range :token. :token u:subClassOf dt:string; #@@ convert to xml schema pattern u:comment "1*". :Text :typeName "text". :Image :typeName "image". :Audio :typeName "audio". :Video :typeName "video". :Application :typeName "application". :PlainText u:subClassOf :Text; :subTypeName "plain". @prefix l: . @prefix v: <#>. # variables. <> l:forAll v:e, v:octets, v:enc, v:chars. { v:e :body v:octets. v:e :charset v:enc. v:octets v:enc v:chars } l:implies { v:e :bodyText v:chars }.