A Formal Investigation of Mapping Language for Terminological Knowledge.
Luciano SerafiniHeiner StuckenschmidtHolger WachePublished in: IJCAI (2005)
Keyphrases
- terminological knowledge
- description logics
- knowledge base
- operational semantics
- highly expressive
- semantic mapping
- formal language
- visual languages
- programming language
- mathematical theory
- formal languages
- databases
- language learning
- language processing
- database
- model theoretic
- natural language
- ontology mapping
- object oriented programming
- real time