Re: [ontolog-forum] Fwd: Ontolog invited speaker session - Dr. Mark Grea

["Adrian Walker" <adriandwalker@xxxxxxxxx>]

Hi John --

You wrote...

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
Web notations.

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 [1], 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 [2]. 

Thanks for your thought about this.

                                       -- Adrian

[1]  http://ontolog.cim3.net/file/resource/presentation/ChrisWelty_20080612/W3C-Rules-Interchange-Format--ChrisWelty_20080612.ppt

[2]  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

Adrian Walker
Reengineering

On Mon, Jun 23, 2008 at 10:54 PM, John F. Sowa <sowa@xxxxxxxxxxx> wrote:

Peter,

Thanks for posting the audio for Mark Greaves talk.  I wasn't
able to log in for the talk, but I read the slides.  The audio
covers some important points that are not in the slides:

http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2008_06_19

The Semantic MediaWiki is very important work, and since it is
available as open source, we should use it.

But one important point that Mark mentioned is that the reasoning
capabilities of current Semantic Web technology is very weak.
RDF(S), OWL, SPARQL, and RuleML are useful, but weak subsets
of Common Logic.

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
Web notations.

We should position CL as the foundation for Semantic Web 3.0.

John

_________________________________________________________________
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

_________________________________________________________________
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)