|To:||"[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>, "John F. Sowa" <sowa@xxxxxxxxxxx>|
|Cc:||semanticweb@xxxxxxxxxxxxxxx, public-semweb-lifesci hcls <public-semweb-lifesci@xxxxxx>, semantic_web@xxxxxxxxxxxxxxxx, welty@xxxxxxxxxxxxxx|
|From:||"Adrian Walker" <adriandwalker@xxxxxxxxx>|
|Date:||Wed, 25 Jun 2008 20:37:57 -0400|
Hi John --|
It's important for us to develop Common Logic as the growth path
for ontologies and to incorporate CL in the Semantic MediaWiki.
Anything currently represented in either the Semantic Web notations
or relational databases can be mapped to Common Logic. And the
more compact CL notation is vastly more efficient in storage space,
transmission time, and computation time than the current Semantic
We should position CL as the foundation for Semantic Web 3.0.
You may like therefore to address Chris Welty's point that CL appears infeasible for the W3C rule interchange project. In slide 11 of , Chris says:
The CL and IKL approach [is] deprecated: infeasible for this group [W3C Rule Interchange], as major differences appeared irreconcilable (e.g. non-mon vs. mon)
The fundamental difficulty seems to be that CL and IKL have chosen a theoretical semantics for negation from before the computer era, whereas SQL and most logic based programming languages use a different meaning for negation -- one that can also be formalized, e.g. as in .
Thanks for your thought about this.
 Backchain Iteration: Towards a Practical Inference Method that is Simple
Enough to be Proved Terminating, Sound and Complete. Journal of Automated Reasoning, 11:1-22
Internet Business Logic
A Wiki and SOA Endpoint for Executable Open Vocabulary English over SQL and RDF
Online at www.reengineeringllc.com Shared use is free
On Mon, Jun 23, 2008 at 10:54 PM, John F. Sowa <sowa@xxxxxxxxxxx> wrote:
_________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] Curation view of Ontologies, ravi sharma|
|Next by Date:|
|Previous by Thread:|
|Next by Thread:|
|Indexes:||[Date] [Thread] [Top] [All Lists]|