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

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

From: Deborah L. McGuinness <dlm@ksl.stanford.edu>
Date: Wed, 13 Feb 2008 09:57:42 -0500
Message-ID: <47B30566.9090407@ksl.stanford.edu>
To: Jeremy Carroll <jjc@hpl.hp.com>
CC: Ivan Herman <ivan@w3.org>, Michael Schneider <schneid@fzi.de>, Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>, Jim Hendler <hendler@cs.rpi.edu>, "Web Ontology Language ((OWL)) Working Group WG" <public-owl-wg@w3.org>

just as another data point, one of the reasons Richard and I developed 
the axiomatic semantics for DAML+OIL was that we needed a set of axioms 
to put in our FOL reasoner  (JTP was a hybrid KIF-based reasoner that 
supported special purpose axiom sets to be put in to produce special 
purpose reasoners).
we simply needed the axiom set to do our work. 
(and as peter pointed out earlier, we did that work before the RDF 
semantics documents came out so the work required best guesses when we 
were attempting to make some issues precise enough to put into axioms).

after doing the work, we received some number of comments from other 
groups who also needed axiom sets saying they found the work quite useful.


ps.  i will need to call in late today as i have a meeting with the 
provost.  i expect jim to represent rpi on the call today.

Jeremy Carroll wrote:
> Ivan Herman wrote:
>> So if such set of entailement rules were available for OWL Full (even 
>> if informative, even if imprecise in some corner cases) that would be 
>> really good in my view...
>> My 2 cents
> My understanding is that one of Herman's initial motivations for 
> developing the pD* semantics was to provide a large OWL subset that is 
> implementable by entailment rules.
> We seem to be carrying this work forward in OWL Prime.
> I feel that it is with this fragment that we should satisfy the 
> understandable desire of some parts of the community to have a rule 
> driven definition of some substantial part of OWL
> Jeremy
Received on Wednesday, 13 February 2008 14:57:59 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:02 UTC