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

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

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Wed, 13 Feb 2008 14:46:00 +0000
Message-ID: <47B302A8.50402@hpl.hp.com>
To: Ivan Herman <ivan@w3.org>
CC: 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>

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

Received on Wednesday, 13 February 2008 14:46:26 UTC

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