- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Wed, 13 Feb 2008 14:46:00 +0000
- 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 Jeremy
Received on Wednesday, 13 February 2008 14:46:26 UTC