RE: Dark triples motivation from Jeremy Carroll on 2002-04-17 (www-webont-wg@w3.org from April 2002)

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Wed, 17 Apr 2002 09:34:08 +0100
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, <connolly@w3.org>
Cc: <www-webont-wg@w3.org>
Message-ID: <JAEBJCLMIFLKLOJGMELDAELACDAA.jjc@hplb.hpl.hp.com>

Peter
> Here is one of the really bad examples
> 
>    :_2, rdf:type, owl:Restriction .
>    :_2, owl:onProperty, rdf:type .
>    :_2, owl:maxCardinalityQ, "0" .
>    :_2, owl:hasClassQ, :_3 .
>       :_3, owl:oneOf, :_4 . 
>         :_4, owl:first, :_2 .
> 	:_4, owl:rest, owl:nil .
> 



Hmmm, we've solved that one.

owl:maxCardinalityQ is an error.

End.

Jeremy

Received on Wednesday, 17 April 2002 05:10:04 UTC