Experts often disagree about the organization of biological taxa. The shifting definitions of taxonomic names complicate otherwise simple queries concerning these taxa. For examp...
In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we describe how the reasoning in one very well known property law case...
Katie Atkinson, Trevor J. M. Bench-Capon, Peter Mc...
Inconsistencies frequently occur in knowledge about the real-world. Some of these inconsistencies may be more significant than others, and some knowledgebases (sets of formulae) m...
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...
Ontology management and maintenance are considered cornerstone issues in current Semantic Web applications in which semantic integration and ontological reasoning play a fundament...
Giorgos Flouris, Zhisheng Huang, Jeff Z. Pan, Dimi...