Towards a Simply Typed CALculus for Semantic Knowledge Bases.
Michael MendlerStephan ScheelePublished in: LAM@LICS (2010)
Keyphrases
- knowledge base
- semantic network
- knowledge acquisition
- natural language
- description logics
- lambda calculus
- higher order
- semantic similarity
- knowledge based systems
- semantic web
- domain specific ontologies
- semantically meaningful
- semantic knowledge
- knowledge sources
- knowledge representation
- xml documents
- computer algebra
- semantically equivalent
- search engine
- machine learning