- From: Story Henry <henry.story@bblfish.net>
- Date: Thu, 2 Aug 2007 21:42:25 +0200
- To: "Sandro Hawke" <sandro@w3.org>
- Cc: Lee Feigenbaum <lee@thefigtrees.net>, Richard Cyganiak <richard@cyganiak.de>, Garret Wilson <garret@globalmentor.com>, Tim Berners-Lee <timbl@w3.org>, Semantic Web <semantic-web@w3.org>
On 2 Aug 2007, at 18:24, Sandro Hawke wrote: > Therefore, X is a datatype if and only if X is an > owl:FunctionalProperty > and the rdfs:domain of X contains only Unicode strings. That would be an owl:inverseFunctional property I think and it would be the range. I think you were trying to say something like this . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix xsd: <<http://www.w3.org/2001/XMLSchema#> . { ?r a owl:inverseFunctionalProperty; rdfs:range xsd:string . ?lit ?r ?string . } => { ?lit a rdfs:Literal . } How to then add what I was trying to say about necessity is a bit more difficult. Henry
Received on Thursday, 2 August 2007 19:43:18 UTC