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

["Adrian Walker" <adriandwalker@xxxxxxxxx>]

Hi John --

You wrote...

As E. W. Dijstra pointed out over 40 years ago, testing the
behavior of programs can only prove the presence of errors,
it can never prove their absence.

Logic can prove both.

I think this misses the point that Chris and Sean were making (if I understand them correctly) about real use in the real world.

Sure, logic is great for reliably deriving consequences from
collections of clauses, in  a way that our culture has agreed to
be correct.

The stick y part is how to know that you have written 'the right'
clauses -- ones that will actually produce the consequences that you
want.  The problem is worse if your notation is Java rather than
logical clauses, but logic alone does not solve this problem.

Our approach is to link  English and clauses computationally in
both directions.  I believe you do this too, with your NL-to-logic
work, albeit with different technology.  

Our approach additionally produces English explanations, so that what
one intends and the clauses that one writes can be more easily aligned
in a very tight experimental loop.

                                                      
Cheers,  -- Adrian

Internet Business Logic (R)
A Wiki for Executable Open Vocabulary English
Online at www.reengineeringllc.com    Shared use is free

Adrian Walker
Reengineering

On 8/6/07, Randall R Schulz <rschulz@xxxxxxxxx> wrote:

Hi, Duane,

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.

Showcasing? Aw, shucks... Well, if you twist my arm, I suppose I'll have
to comply.

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.


> 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.

I cannot find the link to the IPR terms and rules page.


> Questions:
>
> Why did you use CLIF and not KIF?

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.

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.


> What sort of GUI are you considering building?

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.

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...

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.


> Duane


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

_________________________________________________________________
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)