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-2zbMath0875.68349MaRDI QIDQ4332087

Mike Uschold

Publication date: 27 February 1997

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items

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