W3C home > Mailing lists > Public > semantic-web@w3.org > June 2007

Re: Is there a way to specify a data format based on RDF ?

From: Tim Berners-Lee <timbl@w3.org>
Date: Fri, 15 Jun 2007 10:38:13 -0400
Message-Id: <0A65107D-4351-4FD1-9C33-78842A2255A3@w3.org>
Cc: semantic-web@w3.org
To: Kjetil Kjernsmo <kjetil@kjernsmo.net>


OWL cardinality might say that a person must have at least one  
passport number, but it can NOT
say that a document about a person contains information about at  
least one passport number.


N3 rules can, with log:semantics  (which related a document to the  
graph you get from parsing it) and log:includes, and nested graphs:

@forAll x, p, g1.
{   x a Person; passport p.
	p log:semantics g1.
         g1 log:notIncludes  { x passportNumber []   }
}
     =>
{  ?p a InvalidPassport  }.


On the semantic web, as anyone can in priciple say anything about  
anything, you  can never make statements about how many  
passportnumber statements there are without specifying the document  
in question.

tim

On 2007-06 -13, at 18:33, Kjetil Kjernsmo wrote:

>
> On Wednesday 13 June 2007, Andrea Splendiani wrote:
>> I want to be able to specify what it should contain, like: a valid
>> document must have at least one address.
>
> For that kind of thing, you would probably want to look into the
> cardinality constraints of OWL. It may do what you want.
>
> Cheers,
>
> Kjetil
> -- 
> Kjetil Kjernsmo
> Programmer / Astrophysicist / Ski-orienteer / Orienteer / Mountaineer
> kjetil@kjernsmo.net
> Homepage: http://www.kjetil.kjernsmo.net/     OpenPGP KeyID: 6A6A0BBC
Received on Friday, 15 June 2007 14:42:14 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 21:45:16 GMT