- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Tue, 23 Apr 2002 15:42:38 +0100
- To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>, "Guus Schreiber" <schreiber@swi.psy.uva.nl>, "WebOnt WG" <www-webont-wg@w3.org>
> > 2. How do "unasserted triples" solve this problem? > > (On a different thread). I am sorry, I can't find the thread I was going to put this in. Peter suggested that Instance OIL was a worked out solution showing how dark triples solved the problem. I am not familiar with OIL so I downloaded: "An informal description of Standard OIL and Instance OIL" http://www.ontoknowledge.org/oil/downl/oil-whitepaper.pdf by about half of this WG. The last sentence of this: "Only classes are provided, not meta-classes or individuals" seems to suggest a commitment to dark triples. I noticed that it includes the qualified cardinality constraints. Thus I assume that either: (a) it is possible within OIL to form the Patel-Scheidner paradox or (b) that Instance OIL lacks a comprehension principle In either case I am unclear how dark triples solves the problem. PfPS paradox in OIL class-def PfPSX slot-constraint type max-cardinality 0 (one-of PfPSX) Or maybe type is not a slot in OIL? Jeremy
Received on Tuesday, 23 April 2002 13:55:58 UTC