Re: DAML+OIL Expressivity Question

From: Deborah McGuinness (
Date: 11/08/01

agreed that we want to have some smart reasoning backend do more work for us (and
generate at least the daml code and possibly some abstraction as well).
that said, that is job security.... no small design or programming task.

One could imagine however a JARGON or TELI like interface - Jargon was Bill Wood's
limited english translator of KL-ONE from the early 80s and TELI[1] was the bruce
ballard's  transportable english language interface also from the mid 80s (We used
it as a front end to kandor in 1985 to have what I viewed as a "database ease" query
language to a DL.  We generated a cute demonstration system called kandi that
appeared quite usable to those who understood the limitations of the english front
neither were rocket science but convenient.

Today, one could make them much more usable with web interface tools.
one could imagine the ability to have nice web guis that help one form classes out
of english-like templates and then have a backend system generate the daml+oil code.

as i said, this is no small design or implementation effort however and
unfortunately, in my opinion, the most useful ones would have a fair amount of user
modeling information in them so as to help present more useful options to users (and
not overwhelm them with the breadth of options in the language).


[1]  B. W. Ballard and D. E. Stumberger
Semantic Acquisition in TELI: A Transportable, User-Customized Natural Language
  AUTHOR = {B. W. Ballard and D. E. Stumberger},
  TITLE = {Semantic Acquisition in TELI: A Transportable, User-Customized Natural
Language Processor},
  YEAR = 1986,
  BOOKTITLE = "Proc. of the 24th ACL",
  ADDRESS = "New York",
  PAGES = {20-29}

Jim Hendler wrote:

> At 9:08 AM -0800 11/8/01, Deborah McGuinness wrote:
> >I am willing to collect such idioms.
> >Please send me
> >1 - english of a statement you want to make
> >2 - a daml solution (if it is tricky, an english paraphrase first is useful).
> >
> >I have a start at such a collection since I wrote the "tricks of the
> >trade" section
> >of the "how and when to live with a kl-one-like language" [1] paper
> >many moons ago.
> >I generated that from working with users of classic and seeing how
> >and when they
> >were confused in their modeling tasks.
> >That was for a mostly less expressive language than daml+oil
> >(although interestingly
> >enough would have happily been able to say the thing that jeff
> >wanted to say since
> >it did have same-as as a constructor).
> >
> >[1]
> >
> >
> >d
> while I think this is useful, I think a human-readable solution isn't
> going to get very far -- we need to figure out new and better ways to
> do this (example, come up with simpler language features and make the
> logic reasoners work a little harder) - just a thought
>   -JH
> --
> Professor James Hendler                 
> Director, Semantic Web and Agent Technologies     301-405-2696
> Maryland Information and Network Dynamics Lab.    301-405-6707 (Fax)
> AV Williams Building, Univ of Maryland            College Park, MD 20742

 Deborah L. McGuinness
 Knowledge Systems Laboratory
 Gates Computer Science Building, 2A Room 241
 Stanford University, Stanford, CA 94305-9020
 (voice) 650 723 9770    (stanford fax) 650 725 5850   (computer fax)  801 705 0941

This archive was generated by hypermail 2.1.4 : 04/02/02 EST