W3C home > Mailing lists > Public > public-semweb-lifesci@w3.org > June 2008

Re: [ontolog-forum] Fwd: Ontolog invited speaker session - Dr. Mark Greaves on the Halo Project - Thu 2008.06.19

From: Adrian Walker <adriandwalker@gmail.com>
Date: Wed, 25 Jun 2008 20:37:57 -0400
Message-ID: <1e89d6a40806251737l757065c1k204ff984a8a12442@mail.gmail.com>
To: "[ontolog-forum]" <ontolog-forum@ontolog.cim3.net>, "John F. Sowa" <sowa@bestweb.net>
Cc: welty@watson.ibm.com, semantic_web@googlegroups.com, "public-semweb-lifesci hcls" <public-semweb-lifesci@w3.org>, semanticweb@yahoogroups.com, "Pat Hayes" <phayes@ihmc.us>
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@bestweb.net> 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@ontolog.cim3.net
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To Post: mailto:ontolog-forum@ontolog.cim3.net
>
>
Received on Thursday, 26 June 2008 00:38:36 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 18:00:52 GMT