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

[Mills Davis <lmd@xxxxxxxxxxxxxx>]

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. 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.  So, it sounds like you have a full CL inference engine. Also, are you implementing the IKL extensions?

On Aug 6, 2007, at 7:23 PM, Randall R Schulz wrote:

On Monday 06 August 2007 15:37, Mills Davis wrote:

Wow.

So, when will we seeing tooling for (a) CL and (b) the IKL extensions

to it?

Define "tooling."

My firm (H&S Information Systems) has a first-order theorem prover and 

DLP (disjunctive logic programming) solver that has recently been given 

a CLIF (Common Logic Interchange Format) interface (formerly we used a 

KIF subset). CLIF support is still young, but we're now working on a 

Web-based interactive user interface that allows users to submit, store 

and manipulate CLIF content that defines theories and problems and to 

submit conjectures to prove or queries to solve (as classic first-order 

disjunctive logic programs).

Does that count as tooling?

Randall Schulz

_________________________________________________________________

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

Mills Davis

Managing Director

Project10X

202-667-6400

202-255-6655 cel

1-800-713-8049 fax

lmd@xxxxxxxxxxxxxx

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