W3C home > Mailing lists > Public > public-owl-wg@w3.org > February 2008

Re: OWL Full proposal (sort of) - addressing my Action

From: Jim Hendler <hendler@cs.rpi.edu>
Date: Thu, 7 Feb 2008 00:50:43 -0500
Cc: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, <public-owl-wg@w3.org>
Message-Id: <F474D694-45A8-487A-A667-499196CBCAA8@cs.rpi.edu>
To: Michael Schneider <schneid@fzi.de>

Mike - that's easy - there's the semantics document the Webbies  
preferred and the one the formal KR folks preferred - can you guess  
which is which?

Seriously, the real answer is that these were developed in tandem, the  
axiomatic one under DARPA support.  When we moved to the W3C, there  
wasn't anyone who wanted to update the axiomatic (KIF) version and we  
decided to have only one - since more people on the committee liked  
model theory, that's the way we went.

  -JH
p.s. also, interestingly, there were divergences between the two - I  
forget the details - it would be a good piece of work to bring the  
rule-based one up to snuff with OWL 1.0 or 1.1...

On Feb 7, 2008, at 12:40 AM, Michael Schneider wrote:

> Peter F. Patel-Schneider wrote:
>
>> I'm wondering what would be the differences between this proposal and
>> the DAML+OIL situation.  Recall that DAML+OIL has a reference  
>> document
>> http://www.daml.org/2001/03/reference, which provides an informal
>> description of what DAML+OIL means and covers all RDF graphs, and a
>> semantics document,
>> http://www.daml.org/2001/03/model-theoretic-semantics, which provides
>> the DAML+OIL formal meaning (which is about half-way between OWL 1.1
>> semantics and OWL Full semantics).
>
> I can see that DAML+OIL actually had /two/ semantics documents. Here  
> is the
> other one:
>
>  <http://www.w3.org/TR/daml+oil-axioms>
>
> What was the relationship between these two documents?
>
> Cheers,
> Michael
>
> --
> Dipl.-Inform. Michael Schneider
> FZI Forschungszentrum Informatik Karlsruhe
> Abtl. Information Process Engineering (IPE)
> Tel  : +49-721-9654-726
> Fax  : +49-721-9654-727
> Email: Michael.Schneider@fzi.de
> Web  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555
>
> FZI Forschungszentrum Informatik an der Universität Karlsruhe
> Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
> Tel.: +49-721-9654-0, Fax: +49-721-9654-959
> Stiftung des bürgerlichen Rechts
> Az: 14-0563.1 Regierungspräsidium Karlsruhe
> Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi  
> Studer
> Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus

"If we knew what we were doing, it wouldn't be called research, would  
it?." - Albert Einstein

Prof James Hendler				http://www.cs.rpi.edu/~hendler
Tetherless World Constellation Chair
Computer Science Dept
Rensselaer Polytechnic Institute, Troy NY 12180
Received on Thursday, 7 February 2008 05:51:23 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 7 February 2008 05:51:24 GMT