[UCR] Rich KR Use Case

I objected at the beginning to the way this was going, I object now 
to how it sounds.  The problems are that (1) this implies that Rich 
KR is somehow better and more valuable on the web (largely unproven), 
(2) it takes an unflattering approach to describing OWL in its 
emphasis, and (3) it doesn't emphasize the important point it is 
trying to make (that sometimes extending OWL with rules is a good 
thing, but the rules syntax needs to be commensurate with the syntax 
OWL is in, (4) The syntax used in the example is not the normative 
exchange syntax for OWL  and this further obfuscates the point being 
made.

I do not object to having a section (Renamed "extending OWL") which
  1 - shows how rules can extend something in OWL (I think the uncle 
example is very misleading, by the way, unless you want to get into a 
discussion of safe grounding - seems odd to have to insist on 
including the "person(?y) and person(?x) in the rules when the WG 
hasn't even addressed this issue)
  2 - that does not have any italics nor use the incorrect word 
impossible  (btw, it is more than possible to do this in OWL,, where 
I can extend syntax, it is not possible to do this in OWL DL as 
written)
  3 - makes the last sentence, which is more important than all the 
rest of the example, more evident
  4 - is retitled to emphasize that this is about the standard format 
for extending, not about the extending per se (there are many other 
ways to consider extending languages w/or w/o rules)

btw, less anyone wishes to claim my objections here are more 
political than technical, I confess you are absolutely right.  THe WG 
process is inherently political, and that is why I pay to belong to 
the W3C so I can help get the politics right.

  -JH


-- 
Professor James Hendler			  Director
Joint Institute for Knowledge Discovery	  	  301-405-2696
UMIACS, Univ of Maryland			  301-314-9734 (Fax)
College Park, MD 20742	 		  http://www.cs.umd.edu/~hendler
Web Log: http://www.mindswap.org/blog/author/hendler

Received on Monday, 20 February 2006 17:58:51 UTC