Speaking About Wine: Another Case Study in Bridging the Gap Between Formal and Informal Knowledge.
Aarne RantaPublished in: The Logic of Software. A Tasting Menu of Formal Methods (2022)
Keyphrases
- case study
- knowledge management
- knowledge discovery
- prior knowledge
- formal models
- knowledge extraction
- formal model
- databases
- design process
- machine processable
- formal representation
- domain ontology
- knowledge sharing
- human experts
- knowledge acquisition
- collaborative learning
- knowledge level
- knowledge representation
- domain knowledge
- knowledge base