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

DOI10.1016/S0169-023X(96)00012-2MaRDI QIDQ4332087zbMATH OpenFDO

Authors Mike Uschold

Publication date 27 February 1997

Published in Data & Knowledge Engineering (Search for Journal in Brave)

zbMATH Keywords

SimulationOntologyKnowledge RepresentationEcological ModellingInteraction between Part-whole and SpecialisationPart-wholeTyped Lambda Calculus

Mathematics Subject Classification ID

Knowledge representation (68T30) Database theory (68P15)

Recommendations

• Representing Wholes by Structure
• scientific article; zbMATH DE number 38948
• scientific article; zbMATH DE number 1322245
• scientific article; zbMATH DE number 2079019
• scientific article; zbMATH DE number 1342246

Cited in

(3)

• Evaluation of ontologies
• Evolving hypermedia systems: a layered software architecture
• An ontology analysis tool

This page was built for publication: The use of the typed lambda calculus for guiding naive users in the representation and acquisition of part-whole knowledge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4332087)