W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2002

Re: LANG: compliance levels

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 2 May 2002 10:39:50 +0200
To: "Frank van Harmelen <Frank.van.Harmelen" <Frank.van.Harmelen@cs.vu.nl>
Cc: "www-webont-wg" <www-webont-wg@w3.org>
Message-ID: <OFCF7C38DD.A836A973-ONC1256BAD.002DF1FE@agfa.be>

> Universal restrictions are exactly what is found in many OO languages:
> "if slot S has a value, then it is of type X"

OK (the ``if'' is indeed important), so I remember this as

{ ?s ?p ?o . ?s a [ owl:restrictionOf ( ?p ?C ) ] }
  log:implies
    { ?o a ?C } .

Now what if I say

:ClassX
   rdfs:subClassOf
     [ owl:restrictionOf (:child [ owl:unionOf (:Doctor :Lawyer :Person) ]
) ] .

then wouldn't that be some kind of existential restriction?

--
Jos
Received on Thursday, 2 May 2002 04:41:20 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:49 GMT