- From: Tim Berners-Lee <timbl@w3.org>
- Date: Fri, 15 Jun 2007 10:38:13 -0400
- To: Kjetil Kjernsmo <kjetil@kjernsmo.net>
- Cc: semantic-web@w3.org
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 UTC