Re: "explanations" in cwm, vocabulary for proof exchange

>    I know McGuinness et al have done some work in this area [1], and 
> I'm
>    hoping to coordinate with them more.  Is anyone else working in this
>    area?

Try:
Alex Borgida, Enrico Franconi, Ian Horrocks (2000).
Explaining ALC Subsumption.
Proc. of the 14th European Conference on Artificial Intelligence 
(ECAI'00), Berlin, Germany.
http://www.cs.man.ac.uk/~franconi/papers/ecai-00.ps.gz

cheers
-e.

Enrico Franconi                  - franconi@inf.unibz.it
Free University of Bozen-Bolzano - http://www.inf.unibz.it/~franconi/
Faculty of Computer Science      - Phone: (+39) 0471-315-642
I-39100 Bozen-Bolzano BZ, Italy  - Fax:   (+39) 0471-315-649

Received on Friday, 25 April 2003 11:38:10 UTC