W3C home > Mailing lists > Public > www-webont-wg@w3.org > June 2003

Re: Minutes of Web Ontology Working Group teleconference of June 5, 2003

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Thu, 05 Jun 2003 20:15:30 -0400 (EDT)
Message-Id: <20030605.201530.63227432.pfps@research.bell-labs.com>
To: jos.deroo@agfa.com
Cc: www-webont-wg@w3.org

From: "Jos De_Roo" <jos.deroo@agfa.com>
Subject: Re: Minutes of Web Ontology Working Group teleconference of June 5, 2003
Date: Fri, 6 Jun 2003 02:10:41 +0200

> 
> I did a test with just adding
> 
> rdfs:Class rdf:type _:iii.
> _:iii owl:intersectionOf _:lll.
> _:lll rdf:first rdfs:Class.
> _:lll rdf:rest rdf:nil.
> 
> to our owl-comprension-rules premises
> (but in this case we don't need rules
> with skolem ft's in their conclusions)
> and all test cases are then still OK.

I don't understand what you are doing here.  How can you add these triples
to the owl-comprehension-rules premises.

> Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

peter
Received on Thursday, 5 June 2003 20:15:41 GMT

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