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-2zbMATH Open0875.68349MaRDI QIDQ4332087FDOQ4332087

Authors: Mike Uschold 

Publication date: 27 February 1997

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cited In (3)

• Evolving hypermedia systems: a layered software architecture
• Evaluation of ontologies
• 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)