Hi Jim -- At 05:59 PM 6/16/04 -0400, you wrote: >In short, I realize what I am really arguing for is some sort of >operational semantics of this stuff that makes some sense to us as humans, >works well enough in practice for us to build systems out of, and someday >can perhaps be formalized as an interesting new means of human-machine >interaction We have taken a stab at this in the Internet Business Logic system. There's an underlying highly declarative semantics at the technical level, but at the all-important human level we attach English sentences to predicates so that non-technical folks can have some idea of their "operational" meaning in the real world. The system is live, online at the site listed below. On can us a browser to run (and change) the examples RDFQueryLangComparison1 and SemanticResolution1 to see how this can work. There's also a "Semantic Web Presentation" with some motivation for the approach. Is that the kind of thing you are looking for? Cheers, -- Adrian INTERNET BUSINESS LOGIC www.reengineeringllc.com Dr. Adrian Walker Reengineering LLC PO Box 1412 Bristol CT 06011-1412 USA Phone: USA 860 583 9677 Cell: USA 860 830 2085 Fax: USA 860 314 1029Received on Thursday, 17 June 2004 07:45:29 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:42:16 GMT