- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Thu, 18 Jul 2002 12:16:53 -0400
- To: Ian Horrocks <horrocks@cs.man.ac.uk>, "Jeremy Carroll" <jjc@hplb.hpl.hp.com>
- Cc: "webont" <www-webont-wg@w3.org>
<Chair neutrality off> Ian - I must finally confess that I've reached the point where I'm finding your own stances inconsistent and I'm simply unable to guess where the motivation is. When you talk about OWL-Lite you continually say that people will define the subsets they need for what they want to do, but when you talk about full OWL you keep saying we cannot have any language features that break consistent reasoners and the like. These seem inconsistent to me. Why can't you live with your FACT-based, consistent reasoner only working on a proper subset of whatever we publish -- and let us have other features for what we need or want. Why is it right for me to have to say "My RIC tool supports the following OWL features:" but you insist that your reasoners have to be able to support every feature or the language is somehow broken. I could live very happily with a solution that says "My Fact tool supports the following features: " and then defines a subset on which you could be consistent and decidable and efficient. I could then decide for my application if I want to be in your representational So frankly I could see you be a strong advocate for a carefully designed named subset for the sake of interoperability, or defending certain language features because they are useful in your FACT-based work, but I cannot understand why you insist on trying to disallow anything in the full language that you cannot handle. I think we would have much more success in reaching consensus if people would worry more abotu making sure what they need is included, and a little less about keeping out things that other people want. -Jim H, <chair neutrality on> -- Professor James Hendler hendler@cs.umd.edu Director, Semantic Web and Agent Technologies 301-405-2696 Maryland Information and Network Dynamics Lab. 301-405-6707 (Fax) Univ of Maryland, College Park, MD 20742 240-731-3822 (Cell) http://www.cs.umd.edu/users/hendler
Received on Thursday, 18 July 2002 12:20:43 UTC