Re: issue 5.10: a position statement

From: Dan Connolly <connolly@w3.org>
Subject: Re: issue 5.10: a position statement
Date: 19 Jul 2002 11:00:01 -0500

> On Fri, 2002-07-19 at 06:16, Peter F. Patel-Schneider wrote:
> [...]
> > There are already lots of test cases that have been brought forward to show
> > what is needed in the higher levels of the Semantic Web.  On the ontology
> > level John belonging to Student and Employee entailing John belongs to
> > Employee and Student is a good example,
[...]
> > but there are many others.
> 
> Really? I don't recall any others from our
> discussions. I'm interested in things that I can
> add to the test repository.

Well, I have generated numerous posts that contain entailments that I think
should hold, including the ones in
  http://lists.w3.org/Archives/Public/www-webont-wg/2002Jan/0038.html
and
  http://lists.w3.org/Archives/Public/www-webont-wg/2002Jan/0039.html


> >  On the
> > logic level A or B entailing B or A is a good example.
> 
> I don't understand how to write "A or B" in OWL/DAML+OIL.

Neither do I.  However, I do worry about work that closes off possibilities
at the next level, even if the next level is out of scope.  I realize that
there may be problems at the next level that we do not recognize, but let's
try not to make known problems for the next level.

[...]

> -- 
> Dan Connolly, W3C http://www.w3.org/People/Connolly/

peter

Received on Friday, 19 July 2002 13:23:25 UTC