This paper is an extension to and revision of Gonzalez and Ahlers' [6] definition of the Context-Based Reasoning Paradigm. Included are rigorous definitions of all terms and ...
Brian S. Stensrud, Gilbert C. Barrett, Avelino J. ...
Abstract. We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communit...
The connections between nonmonotonic reasoning and belief revision are well-known. A central problem in the area of nonmonotonic reasoning is the problem of default entailment, i.e...
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
We discuss description and reasoning over regions. We have proposed a system called SRCC that integrates integration of spatial and semantic data. SRCC can describe and reason abo...