[Top] [All Lists]

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

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Randall R Schulz <rschulz@xxxxxxxxx>
Date: Mon, 6 Aug 2007 16:23:11 -0700
Message-id: <200708061623.11980.rschulz@xxxxxxxxx>
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?    (01)

Define "tooling."    (02)

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

Does that count as tooling?    (04)

Randall Schulz    (05)

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

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