[Top] [All Lists]

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

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Mon, 06 Aug 2007 21:32:10 -0500
Message-id: <05E92E36-BE68-4B6B-80D0-488C090761DD@xxxxxxxx>
On Aug 6, 2007, at 6: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?    (01)

Damn straight.    (02)

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    (03)

<Prev in Thread] Current Thread [Next in Thread>