- From: John F. Sowa <sowa@bestweb.net>
- Date: Fri, 26 Jun 2009 13:03:09 -0400
- To: Pat Hayes <phayes@ihmc.us>
- CC: Danny Ayers <danny.ayers@gmail.com>, SW-forum <semantic-web@w3.org>, "Manola, Frank" <fmanola@acm.org>, Azamat <abdoul@cytanet.com.cy>
Pat, I want to emphasize that my proposal is *upward compatible* with the methodologies and practices developed by the Semantic Web community. PH> John and Danny, you are both right :-) John is right that > the SWeb should be based on FOL, and Danny is right that names, > and the processes of designing, agreeing on, and using names > are critically important (and traditional logic hasn't paid > any attention to this stuff.) There is not a single methodology, practice, or technique that anyone uses today that they can't continue to use with my proposal. The only thing that I suggest that people *stop* doing is turning human eyeballs on the raw notations for RDF and OWL. All the current tools are being designed to make those notations as invisible as possible to humans. I am just proposing the next obvious step: make the XML-based notations for RDF and OWL *optional* for document exchange as well: 1. The recommended exchange form for RDF will become JSON. Any JSON documents that are limited to triples can use the old XML-based RDF form, but they can also use the more compact and more general full JSON. 2. Development tools such as Protege can generate *either* the current XML-based notation for OWL or they can generate a new notation for OWL based on Common Logic. 3. Programs that use XSLT to manipulate RDF and OWL will have to use the old XML-based notations. But newer programs can take advantage of more powerful methodologies. Among the newer, more powerful methodologies are -- surprise! -- *all* the old methodologies for software development such as UML. The goal of my proposal is nothing less than a total *integration* of the Semantic Web methodologies with the methodologies that have been used in the traditional software development community. That integration will also support an open-ended flowering of new logic-based methodologies in which the boundaries between relational DBs, object-oriented DBs, and web-based documents vanish, disappear, and become *irrelevant* for everything except the lowest level of tweaks and optimizations that are performed by automated or at least semi-automated means. PH> Take a look at the last slide of http://is.gd/1ehQK I recommend that slide and the full talk by Pat. I strongly endorse a logic-based vision in which the Semantic Web, the Semantic DBs, the Knowledge Bases, and the rule-based systems merge in a seamless *Semantic System* in which the boundaries and distinguishing labels vanish. John
Received on Friday, 26 June 2009 17:09:27 UTC