- From: Deborah L. McGuinness <dlm@ksl.Stanford.EDU>
- Date: Fri, 25 Apr 2003 09:21:03 -0700
- To: Enrico Franconi <franconi@inf.unibz.it>, www-rdf-logic@w3.org
- CC: Dlm <Dlm@ksl.Stanford.EDU>
on references, the reference below is a followup to Alex Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, and Peter F. Patel-Schneider. ``Explaining ALC subsumption'' Proceedings of the International Workshop on Description Logics - DL-99, pp 33-36, Linköping, Sweden, July 1999. This was an effort to leverage the work i did on explanation in normalize-compare description logic systems and expand into tableaux systems. my explanation work is detailed in a LOT of detail in my thesis and a small portion of explaining subsumption is in an ijcai paper[2]. The work that Sandro pointed to was an effort to take explanation into the distributed new wild world of the web. deborah [1] Deborah L. McGuinness. ``Explaining Reasoning in Description Logics''. Ph.D. Thesis, Rutgers University, 1996. Technical Report LCSR-TR-277. [2] Deborah L. McGuinness and Alex Borgida . ``Explaining Subsumption in Description Logics.'' In Proceedings of the 14th International Joint Conference on Artificial Intelligence, Montreal, Canada, August, 1995. Enrico Franconi wrote: > >> 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 12:21:15 UTC