Terminological Default Reasoning about Spatial Information: A First Step
نویسندگان
چکیده
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic language called ALCRP(S2), which is briefly introduced, we discuss algorithms for computing so-called extensions (“possible worlds”) of a world description and a set of defaults. We conclude with an application of the theory to problems in visual query systems and demonstrate the significance of the theory for spatioterminological reasoning in general and spatioterminological default reasoning in particular.
منابع مشابه
On Terminological Default Reasoning about Spatial Information: Extended Abstract
We extend the theory about terminological default reasoning using a logical base language that can be used to represent spatioterminological phenomena. Based on the description logic ALCRP(S2) the paper discusses how to implement an algorithm for computing extensions of a world description consisting of ALCRP(S2) assertions and a set of closed ALCRP(S2) Reiter-style default rules.
متن کاملCombining Classification and Nonmonotonic Inheritance Reasoning: A First Step
The formal analysis of semantic networks and frame systems led to the development of nonmonotonic inheritance networks and termi-nological logics. While nonmonotonic inheritance networks formalize the notion of default inheritance of typical properties, terminological logics formalize the notion of deening concepts and reasoning about deenitions. Although it seems to be desirable to (re-)unify ...
متن کاملCombining Spatial and Terminological Reasoning
The paper presents a method for terminological reasoning about spatial objects on the basis of a KL-ONE-like framework (LOOM). We apply this method to the domain of deductive geographic information systems and parsing of visual languages. In contrast to existing work, which mainly focusseson reasoning about qualitative spatial relations, we integrate quantitative information with conceptual or ...
متن کاملA Terminological Default Logic
Terminological Logics are knowledge representation formalisms of considerable applicative interest, as they are speci cally oriented to the vast class of application domains that are describable by means of taxonomic organizations of complex objects. Although the eld of terminological logics has lately been an active area of investigation, few researchers (if any) have addressed the problem of ...
متن کاملSpatioterminological Reasoning: Subsumption Based on Geometrical Inferences
This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly focuses on reasoning about qualitative spatial relations alone, we integrate quantitative and qualitative information with terminological reasoning. This theory is motivated as basis for knowledge representation and query proc...
متن کامل