W3C home > Mailing lists > Public > www-webont-wg@w3.org > August 2002

Re: summary of current position with respect to semantics proposals (was Re: WOWG: agenda Aug 15 telecon)

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Thu, 15 Aug 2002 09:24:00 -0400
To: jos.deroo.jd@belgium.agfa.com
Cc: www-webont-wg@w3.org
Message-Id: <20020815092400P.pfps@research.bell-labs.com>

From: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
Subject: Re: summary of current position with respect to semantics proposals 		(was  Re: WOWG: agenda Aug 15 telecon)
Date: Thu, 15 Aug 2002 13:41:36 +0200

[...]

> I've actually redone above testcase to better reflect
> that particular aspect of more than one ontology (*)
> 
>   http://www.w3.org/2002/03owlt/intersectionOfP
>   http://www.w3.org/2002/03owlt/intersectionOfX
> OWL-entails
>   http://www.w3.org/2002/03owlt/intersectionOfC

How?  What definition of OWL entailment did you use?  What system did you
use for the test?

> using a resolution based algorithm we have
> found the proof of that as part of the proof
>   http://www.agfa.com/w3c/euler/etc5-proof.n3
> (actually at the end of that file)

Ahh.  You are saying that you have a system that (conceptually) takes two
sorts of input, 

1/ control input in the form of n3 statements
2/ a problem description in the form of n3 statements plus some other
   information 

and returns a trace showing whether the problem description is a
consequence of the control input.

The question here is what relationships the system has to the various
proposals for OWL entailment.  I'm not asking for a proof that the system
is sound and complete wrt some proposal for OWL entailment.  A reasonable
argument that the system was correct for some portions of
some version of OWL entailment would be very useful.   

To take an easy example, and one that should be the same for all the
proposals for OWL entailment, is there a reasonable argument to show that
the system is correct, i.e., both sound and complete, for "type"
entailments, i.e., entailments of the form 
	KB |= Q
where KB is an OWL KB that corresponds to the abstract syntax
and Q is a query of the form 
	i rdf:type c .
where i appears in the KB, but not as a class or property, 
and c appears in the KB as a class.

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

Peter F. Patel-Schneider
Bell Labs Research
Received on Thursday, 15 August 2002 09:24:12 GMT

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