- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Thu, 12 Dec 2002 12:00:45 -0500
- To: webont <www-webont-wg@w3.org>
All - there has been a conceptual misunderstanding at the heart of my argument with Ian - I had never realized that OWL DL is decidable, but not (in current form) sound and complete (due to oneOf). Therefore OWL Lite as currently formulated really is different, and adding hasValue really makes a difference in terms of soundness and completeness. I had not understood this before - in fact, in talking to a couple of other members of the WG neither had they. We need to make it clearer in our documents what the differences are between these. that said, I am now willing to abstain on the hasValue issue. Sorry it has gotten so loud in here lately, but sometimes people have to yell real loud to get these things through my thick head -JH -- 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, 12 December 2002 12:00:49 UTC