RE: ACTION: task force unasserted triples

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