This is a comment on: http://www.w3.org/TR/2003/CR-owl-semantics-20030818/ sections 2 and 4. I had assumed that the following is not legal OWL DL eg:prop rdf:type owl:DatatypeProperty . _:a rdf:type owl:Thing . _:a eg:prop "foo"^^<http://www.example.org/some/uri>. because the URI used in the typed literal is not a datatypeIDs (either xsd:XXX rdfs:XMLLiteral or maybe a user datatype declared as such - I have lost the plot on the resolution of the last possibility). However I can't see how S&AS rules out the above graph. Have I misread this, or is it intended, or is it a bug? JeremyReceived on Monday, 15 September 2003 09:12:39 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT