[OEP] FW: discussion on part note

I am forwarding this discussion to the list, to be archived.
 
Mike
 
-----Original Message-----
From: Deborah L. McGuinness [mailto:dlm@ksl.stanford.edu] 
Sent: Thursday, February 17, 2005 1:47 PM
To: Christopher Welty
Cc: a.gangemi@istc.cnr.it; ewallace@cme.nist.gov; Uschold, Michael F; noy@SMI.Stanford.EDU; phayes@ihmc.us; rector@cs.man.ac.uk; ekendall@sandsoft.com
Subject: Re: discussion on part note


a few references:  (am i supposed to send this to the full oep list or just us?  if just us, things are not archived....)

these show bill of materials work using description logics:


Deborah L. McGuinness <http://www.ksl.stanford.edu/people/dlm> , Lori Alperin Resnick, and Charles Isbell. ``Description Logic in Practice: A CLASSIC: Application.'' In Proceedings of the 14th International Joint Conference on Artificial Intelligence, Montreal, Canada, August, 1995. The published version is available <http://www.ksl.stanford.edu/people/dlm/papers/ijcai1995-configuration.ps> . An extended version of this with examples is available <http://www.research.att.com/sw/tools/classic/tm/ijcai-95-with-scenario.html> .
(note the extended version is the best one to look at if anyone is looking for content)



Deborah L. McGuinness <http://www.ksl.stanford.edu/people/dlm>  and Jon Wright. ``An Industrial Strength Description Logic-based Configurator Platform''. IEEE Intelligent Systems, Vol. 13, No. 4, July/August 1998, pp. 69-77. 

Deborah L. McGuinness <http://www.ksl.stanford.edu/people/dlm>  and Jon Wright. ``Conceptual Modeling for Configuration: A Description Logic-based Approach.'' In the Artificial Intelligence for Engineering Design, Analysis, and Manufacturing Journal - special issue on Configuration, 1998. 


patrick's thesis  (this is what i used for the part-of reasoning that we added into our high performance knowledge base project at stanford)


*	Lambrix, P., Part-Whole Reasoning in Description Logics, Ph.D. Thesis 448, Department of Computer and Information Science, Linköpings universitet, 1996. 

*	Lambrix, P., Part-Whole Reasoning in an Object-Centered Framework, Lecture  <http://www.springer.de/cgi-bin/search_book.pl?isbn=3-540-67225-7> Notes in Artificial Intelligence 1771, Springer Verlag, 2000. Online at Springer's German  <http://link.springer.de/link/service/series/0558/tocs/t1771.htm> site and US  <http://link.springer-ny.com/link/service/series/0558/tocs/t1771.htm> site. 



Christopher Welty wrote:



We had an OEP telecon today and had some lively discussion on the part note. 

First of all we all agreed it is a good start.  Despite numerous philosophical/ontological issues creeping into the discussion, we reached a consensus that for the simple note we shouldn't change it too much, and consider deeper issues for the longer note. 

We discussed for a while specific criticisms to the example, its general usefulness and correctness (wrt reality).  I suggested a change to a medical example, for which these criticisms had ready answers and in particular lay in Alan's expertise - even more, we could take the examples from actual usage.  In the end we convinced ourselves that this example was a good place to start because of its familiarity and general reusability.  Evan took the action to work on a corrected version of the example that is accurate wrt the anatomy of cars.  (Evan, be sure to include the critical issue of unsprung weight). 

Some specific comments: 

- It woudl be very useful to mention in this note the limitations on transivity in OWL DL (no cardinality restrictions) and perhaps exemplify it. 
- Brush up the introduction section.  Rephrase "the key thing to represent about PW relations is that they are transitive", which seems to strong .  Add a brief discussion to the point that there are many "kinds" of PW relations and try to describe which one this note deals with. 

Also, Deb and perhaps others will send suggested references to add. 

I am willing to take a pass on it to address these issues.  Is the editor's draft the latest version? 

-Chris 


Dr. Christopher A. Welty, Knowledge Structures Group
IBM Watson Research Center, 19 Skyline Dr., Hawthorne, NY  10532     USA              
Voice: +1 914.784.7055,  IBM T/L: 863.7055, Fax: +1 914.784.7455
Email: welty@watson.ibm.com, Web: http://www.research.ibm.com/people/w/welty/ 


-- 

 Deborah L. McGuinness 

 Knowledge Systems Laboratory 

 353 Serra Mall

 Gates Computer Science Building, 2A Room 241 

 Stanford University, Stanford, CA 94305-9020 

 email: dlm@ksl.stanford.edu

 URL: http://ksl.stanford.edu/people/dlm/index.html 

 (voice) 650 723 9770    (stanford fax) 650 725 5850   (computer fax)  801 705 0941