@techreport{R-94-30,
PSURL = {/publications/cgi-bin/tr-fetch.pl?r-94-30+ps},
ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-94-30+abstr},
ABSTRACT = {
There is a growing recognition that part-whole hierarchies are a very
general form of representation, widely used by humans in commonsense
reasoning.  This paper develops a terminological logic, and related
inference mechanisms for representing and reasoning about composite
concepts and individuals. A basic terminological logic language is
extended with constructs for describing composite concepts in terms of
their parts and the relationships between them.  A part-of hierarchy
is defined, based on the relationship of compositional inclusion. This part-of 
hierarchy is analogous to, but different from, the "is-a" hierarchy.
Compositional inferencing is defined as a process which infers the
existence of a whole, based on the existence of the required parts,
where the parts are in the necessary relationship to each other.
Three stable states are defined with respect to compositional
inferencing -  compositional extensions, credulous compositional
extensions and skeptical compositional conclusions.
This framework significantly enhances and is complementary to,
knowledge representation and reasoning based on is-a hierarchies.
},
TITLE = {A Framework for Part-of Hierarchies in Terminological Logics},
AUTHOR = {Lin Padgham and Patrick Lambrix},
EMAIL = {patla@ida.liu.se},
YEAR = {1994},
NUMBER = {R-94-30},
INSTITUTION = ida,
ADDRESS = idaaddr,
IDANR = {LiTH-IDA-R-94-30},
NOTE = {Accepted to Principles of Knowledge Representation and Reasoning, Proceedings of the Fourth International Conference, Eds. Doyle, Sandewall, Torasso, pages:485-496 Bonn, Germany, May 24-27, 1994}