ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Current Semantic Web Layer Cake

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Mills Davis <lmd@xxxxxxxxxxxxxx>
Date: Tue, 7 Aug 2007 09:15:10 -0400
Message-id: <37FCF4D4-D9B5-41EF-811A-4F430C286987@xxxxxxxxxxxxxx>
Randall,

A follow-up question about CL front-end or modeling tools for the three CL notations plus controlled natural language for CL.  What is the status of creation/editing software tools?

Mills
On Aug 7, 2007, at 12:05 AM, Randall R Schulz wrote:

On Monday 06 August 2007 19:23, Mills Davis wrote:
Thanks Randall.

Yes. Most of what we have been working with are separate description
logic inference engines, rules engines, and SQL engines linked to
separate applications, so we find ourselves talking about hybrid
reasoning solution. So, by tooling (and independent of performance
considerations), I'm envisioning software solutions that would enable
us to bring these different formalisms, or subsets of FOL under one
environment.

As a very generic statement, that could characterize our approach, as 
well. Surely the use of relational database content (interpreted as 
ground assertions) and description logic are both subsets of FOL that 
interest us.


My understanding is that your support of CLIF lets you 
express whatever it is that the originating applications are working
with in a CL interchangeable way.

I think CL interchangeability is ill-defined, at this point. Just as 
reliable interoperability of the TCP / IP protocols took several years 
to iron out, I expect the same to be true of Common Logic. The 
specification is (apparently intentionally) loose and minimally 
specified, and unless it is tightened up, there will be, at best, 
bilateral interchangeability of content. By that I mean that pairs of 
particular CL applications will be able to successfully exchange CL 
content (probably by prior arrangement), but generic, arbitrary 
exchange is unlikely to succeed unless the standard is made more 
explicit.


So, it sounds like you have a full 
CL inference engine. Also, are you implementing the IKL extensions?

We have full, first-order logic with identity (often called "equality") 
and an ever-growing complement of specialized optimizations, some of 
which are generic, in the sense that they do not compromise 
completeness of first-order predicate calculus, and others that are 
only valid for restrictions or special cases of FOL (e.g., the unique 
names assumption).

IKL interests us, to be sure. We are studying it and contemplate 
implementing it.


Randall Schulz

_________________________________________________________________



Mills Davis
Managing Director
Project10X
202-667-6400
202-255-6655 cel
1-800-713-8049 fax




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