[Top] [All Lists]

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

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Mills Davis <lmd@xxxxxxxxxxxxxx>
Date: Mon, 6 Aug 2007 22:23:46 -0400
Message-id: <6FA1A1F8-FCFE-49C7-A0C8-83507999FB0A@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:
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


Mills Davis
Managing Director
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>