Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology.
Torsten HahmannMichael GruningerPublished in: KR (2008)
Keyphrases
- model theoretic
- reasoning mechanism
- deductive databases
- description logics
- operational semantics
- proof theoretic
- decision procedures
- default reasoning
- logic programs
- fixpoint
- knowledge base
- knowledge representation
- probabilistic reasoning
- domain ontology
- domain knowledge
- logic programming
- integrity constraints
- artificial intelligence
- reasoning problems
- theorem proving
- finite state machines
- semantic information
- constraint logic programming
- linear logic