Searching Contexts in Rough Description Logics

In this paper, we present a method to obtain optimized query refinements of assertion axioms in the Rough Description Logic ALC. This method is based on the notion of discernibility matrix commonly used in the process of attributes reduction in the rough set theory. It consists of finding sets of concepts which satisfy the rough set approximation operations in assertion axioms. Consequently, these sets of concepts can be used to restrict or relax queries in this logic. We propose two algorithms to settle this problem of query refinement and show their complexity results.

[1]  Andrzej Skowron,et al.  The Discernibility Matrices and Functions in Information Systems , 1992, Intelligent Decision Support.

[2]  Michel C. A. Klein,et al.  Description Logics with Approximate Definitions - Precise Modeling of Vague Concepts , 2007, IJCAI.

[3]  Marco Schaerf,et al.  Tractable Reasoning via Approximation , 1995, Artif. Intell..

[4]  Chris Cornelis,et al.  Fuzzy Rough Sets: from Theory into Practice , 2008, GrC 2008.

[5]  Heiner Stuckenschmidt.  Partial Matchmaking using Approximate Subsumption , 2007, AAAI.

[6]  Suqin Tang,et al.  Reasoning with rough description logics: An approximate concepts approach , 2008, Information Sciences.

[7]  Hung Son Nguyen,et al.  Approximate Boolean Reasoning: Foundations and Applications in Data Mining , 2006, Trans. Rough Sets.

[8]  Henrique Viana,et al.  Paraconsistent Rough Description Logic , 2011, Description Logics.

[9]  Wei-Zhi Wu,et al.  Neighborhood operator systems and approximations , 2002, Inf. Sci..

[10]  C. Maria Keet,et al.  On the feasibility of Description Logic knowledge bases with rough concepts and vague instances , 2010, Description Logics.

[11]  Jerzy W. Grzymala-Busse,et al.  A Rough Set Approach to Data with Missing Attribute Values , 2006, RSKT.

[12]  Andrzej Skowron,et al.  Rough Sets: A Tutorial , 1998 .

[13]  J. Stepaniuk.  Approximation Spaces, Reducts and Representatives , 1998 .

[14]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[15]  Peter Bro Miltersen,et al.  On converting CNF to DNF , 2005, Theor. Comput. Sci..

[16]  Thomas Lukasiewicz,et al.  Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations , 2008, URSW.