Bijan,
Thanks for your recent item on the relationship between OWL 1.1
and RDF...
http://clarkparsia.com/weblog/2006/11/13/not-so-alternate-a-view-of-owl-11/I it addresses many of the concerns I have that Jim and Ora expressed
http://www.mindswap.org/blog/2006/11/11/an-alternative-view-for-owl-11/http://www.lassila.org/blog/archive/2006/11/more_on_rdf.htmlBetween the 3 of those posts, I feel the urgency to finish my own
has gone down to the point where I can collect my thoughts
on OWL 1.1 without rushing too much. I'm still thinking about how
to reconcile punning, in particular...
Oh... and I have been doing some relevant work...
Using ACL2 with Semantic Web Data
http://dig.csail.mit.edu/2006/Papers/owl-acl2/doc20I hope to look at the axiomatic semantics Jim mentions
in that light.
--
Dan Connolly, W3C
http://www.w3.org/People/Connolly/D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29E
