- 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>
> 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 UTC