Randall:  (01)
Very cool. Would you consider showcasing this during our next Ontology
Applications & Implementations session? We have done two and if there is
interest, I would like to ask Peter for another.  (02)
I would also like to invite you to add your product under this page:  (03)
 http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologyDrivenApplications  (04)
Please be sure to note the IPR terms and rules.  (05)
Questions:  (06)
Why did you use CLIF and not KIF?  (07)
What sort of GUI are you considering building?  (08)
Duane  (09)
On 8/6/07 4:23 PM, "Randall R Schulz" <rschulz@xxxxxxxxx> wrote:  (010)
> 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
>  (011) 
-- 
**********************************************************************
"Speaking only for myself"
Blog - http://technoracle.blogspot.com
Community Music - http://www.mix2r.com
My Band - http://www.myspace.com/22ndcentury
MAX 2007 - http://technoracle.blogspot.com/2007/07/adobe-max-2007.html
**********************************************************************  (012)
_________________________________________________________________
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  (013)