The use of the typed lambda calculus for guiding naive users in the representation and acquisition of part-whole knowledge

Data and Knowledge Engineering

Volumn 20, Issue 3, 1996, Pages 385-404

  Uschold, Mike ^a  

^a Artif Intell Applic Institute   (United Kingdom)

Author keywords

Ecological modelling; Interaction between part whole and specialisation; Knowledge representation; Ontology; Part whole; Simulation; Typed lambda calculus

Indexed keywords

CALCULATIONS; COMPUTER SIMULATION; ECOLOGY; INFORMATION THEORY; KNOWLEDGE BASED SYSTEMS;

ECOLOGICAL MODELING; INTERACTION BETWEEN PART-WHOLE; ONTOLOGY;

KNOWLEDGE REPRESENTATION;

EID: 0030284287     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(96)00012-2     Document Type: Article

References (17)

1. A. Cohn., On the solution of shubert's steamroller in many sorted logic, in Proc. IJCAI-85, Int. Joint Conf. on Artificial Intelligence (1985).
2. J. Bernauer, Modelling formal subsumption and part-whole relation for medical concepts description, in N. Guarino, S. Pribbenow and L. Vieu, (eds.), ECAI'94 Workshop W2 - Parts and Wholes: Conceptual Part-Whole Relations and Formal Mereology, ECCAI (1994) 69-79, Data & Knowledge Engineering, this issue.
3. R.J. Brachman, On the epistemological status of semantic networks, in N.V. Findler, (ed.), Associative Networks: Representation and Use of Knowledge by Computers (Academic Press, 1979).
4. R.J. Brachman, D.L. McGuinnes, P.F. Patel-Schneider, L.A. Resnick and A. Borgida, Living with classic: When and how to use a kl-one-like language, in J. Sowa, (ed.), Principles of Semantic Networks (Morgan Kaufmann, 1990) 401-456.
5. A. Bundy and M. Uschold, The use of typed lambda calculus for requirements capture in the domain of ecological modelling, Research paper RP-446, Dept. of Artificial Intelligence, Edinburgh, 1989.
6. Bunt, The formal representation of (quasi-) continuous concepts, in Formal Theories of the Commonsense World (Norwood Ablex, 1986).
7. Luca Cardelli, The quest language and system. Tracking Draft, August 1989.
8. P. Gerstl and S. Pribbenow, Midwinters, end games, and bodyparts: A classification of part-whole relations, in N. Guarino and R. Poli, (eds.), Formal Ontology in Conceptual Analysis and Knowledge Representation (Kluwer, 1994, to appear).
9. N. Guarino, A concise presentation of itl, in M. Richter, (ed.), Processing Declarative Knowledge (Springer-Verlag, 1991) previously published in ACM SIGART Bulletin, Special Issue on Implemented Knowledge Representation and Reasoning Systems; 2(3) (June 1991).
10. N. Guarino and L. Boldrin, Concepts and relations, Technical Report LADSEB-CNR Int. Rep. 1/92, Institute for System Dynamics and bioengineering, Padova Italy, 1992.
11. N. Guarino, M. Carrara and P. Giaretta, Formalisng ontological commitments, in Proc. National Conf. on Artificial Intelligence (AAAI-94) (1994) 270-280.
12. P. Hors, Description logics to specify the part-whole relation, in N. Guarino, S. Pribbenow and L. Vieu, (eds.), ECAI'94 Workshop W2 - Parts and Wholes: Conceptual Part-Whole Relations and Formal Mereology, ECCAI (1994) 103-109.
13. H.P. Barendregt, The Lambda Calculus (Elsevier, 1985).
14. D. Robertson, A. Bundy, R. Muetzelfeldt, M. Uschold and M. Haggith, Eco-Logic: Logic-based approaches to Ecological Modelling (MIT Press, 1991).
15. P.H. Speel and P. Patel-Schneider, A whole-part extension for description logics, in N. Guarino, S. Pribbenow and L. Vieu, (eds.), ECAI'94 Workshop W2 - Parts and Wholes: Conceptual Part-Whole Relations and Formal Mereology, ECCAI (1994) 111-121.
16. M. Uschold, The Use of Typed Lambda Calculus for Comprehension and Construction of Simulation Models in the Domain of Ecology, PhD thesis, Dept. of Artificial Intelligence, Edinburgh, 1990.
17. M. Uschold, D. Robertson, A. Bundy and R. Muetzelfeldt, Helping inexperienced users to construct simulation programs: An overview of the ECO project, in S. Vadera, (ed.), Expert System Applications (Sigma Press, 1989) 117-132. This is a revised and extended version of a paper published in 'Research and Development in Expert Systems 4', BCSES 1987; Also available as D.A.I. Research paper 338.