Hi, Duane, (01)
On Monday 06 August 2007 16:37, Duane Nickull wrote:
> Randall:
>
> 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)
Showcasing? Aw, shucks... Well, if you twist my arm, I suppose I'll have
to comply. (03)
But I'm reluctant to demonstrate the old UI, which is very unsatisfying
even to me, the guy who wrote it. The new one will be much more
functional and usable, but it's still a couple of weeks from even being
demonstrateable. (04)
> I would also like to invite you to add your product under this page:
>
> http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologyDrivenApplications
>
> Please be sure to note the IPR terms and rules. (05)
I cannot find the link to the IPR terms and rules page. (06)
> Questions:
>
> Why did you use CLIF and not KIF? (07)
We've been using primarily KIF since the project's inception, in 2001.
CLIF looks like the future to us and also directly incorporates some
capabilities (especially modularization and an inherently
network-enabled content model) that we would otherwise have had to
invent ourselves, so when the CL / CLIF spec finally settled down, we
decided it was the best approach. (08)
Also, we're taking the opportunity of adding CLIF support to relax some
of the strict first-order requirements we enforced in our KIF dialect,
namely that symbols name a single entity (i.e., a individual constant,
function or predicate name, but not more than one of these) and that
functions and predicates have fixed arities. (09)
> What sort of GUI are you considering building? (010)
We're going Web-based. A federated content model plus a service-oriented
architecture seem the best way to handle the requirements of an
extensible prover / solver system. In particular, since first-order
reasoning can be pretty CPU- and memory-intensive, it's useful to be
able to separate the user interface from the processor(s) that do the
inference processing. (011)
Our current development emphasizes the user interface, since we've
started to acquire users besides ourselves. To date, the best way to
use the system was via its CLI, and that required one to be rather
motivated, something that really only described its authors... (012)
After this, we'll turn back to improving the prover / solver's
capabilities and performance. We're currently emphasizing
representation and problem-solving for PSL. (013)
> Duane (014)
Randall Schulz (015)
_________________________________________________________________
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 (016)
|