Representing and reasoning over a taxonomy of part-whole relations.
C. Maria KeetAlessandro ArtalePublished in: Appl. Ontology (2008)
Keyphrases
- knowledge representation
- knowledge base
- formal models
- graphical representation
- automated reasoning
- temporal knowledge
- semantic relations
- temporal reasoning
- reasoning process
- model based reasoning
- reasoning problems
- inconsistent information
- reasoning tasks
- qualitative spatial reasoning
- topological relations
- point algebra
- deductive reasoning
- genetic algorithm
- formal representation
- computational properties
- probabilistic logic
- qualitative reasoning
- spatial relations
- data model
- decision making