Ensuring Assertions are identified

Hi folks,

it seems that there is nothing in OWL, RDFS or RDF that lets us enforce a  
constraint that an Assertion is identifiable.

We can find Assertions that don't have an identifier by using a SPARQL  
query with the filter isBlank(). Then there is a question of how to deal  
with this.

It may be possible in OWL to say that the class of ValidAssertions is  
disjoint with the class of things that can be found by a SPARQL query, by  
defining our own terms. We could also perhaps use the log:uri property  
developed by TimBL for CWM

[[
uri
 This allows one to look at the actual string of the URI which identifies  
this. (Cwm can get the URI of a resource or get the resource from the  
URI.) This is a level breaker, breaking the rule of not looking inside a  
URI. Use (eg with string:match) to replace RDF's old "aboutEach"  
functionality. Use to implement the URI spec and protocol specs, etc.
]] - http://www.w3.org/2000/10/swap/doc/CwmBuiltins

I think that we should just suggest that doing this is a best practice,  
and tools MAY provide a warning (for example something like the  
interoperability analyser of Libby's that Jim pointed to last week.

cheers

Chaals

-- 
Charles McCathieNevile                              chaals@opera.com
                  se habla español - nous parlons français
   Here's one we prepared earlier:   http://www.opera.com/download

Received on Tuesday, 10 May 2005 12:20:39 UTC