Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records.
Jonathan GinzburgPublished in: J. Log. Comput. (2005)
Keyphrases
- domain knowledge
- semantic web
- database
- knowledge representation
- domain specific
- databases
- semantic annotation
- high level
- computational model
- answer questions
- domain ontology
- information extraction
- knowledge base
- theoretical framework
- attribute values
- modal logic
- semantic network
- default logic
- conceptual modeling
- information systems
- deductive reasoning