Relativizing Concept Descriptions to Comparison Classes

Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge has been brought up in the research on the Semantic Web. In this paper we introduce a conservative extension to the Description Logic ALC which supports representation of ontologies containing relative terms, such as `big' or `tall', whose meaning depends on the reference to a particular comparison class (context). We specify the syntax and semantics of the language and present a sound and complete tableau decision procedure.

• Type: Journal
• Year: 2009
• Where: DLOG
• Authors: Szymon Klarman, Stefan Schlobach
• Keywords: Automated Reasoning, Description Logic Alc, DLOG 2009, Particular Comparison Class, Tableau Decision Procedure