Tightly coupled fuzzy rough description logic programs under the answer set semantics for the semantic web

Abstract

The Semantic Web is an extension of the current World Wide Web, and aims to help computers to understand and process web information automatically. In recent years, the integration ontologies and rules has become a central topic in the Semantic Web. Therefore, significant research efforts have focused on integration description logic programs. However, description logic programs cannot well model a great deal of real-world problems because of the restriction of represented formalism. To address this problem, we further extend description logic programs such that they can deal with imprecise information, uncertain information and non monotonie reasoning at the same time. In this paper, we propose tightly coupled fuzzy rough description logic programs (or simply fuzzy rough dl-program) under the answer set semantics, which are tightly integrates fuzzy rough disjunctive programs under the answer set semantics with fuzzy rough description logics. To our knowledge, this is the first such approach. First of all, we define the syntax and semantics of fuzzy rough disjunctive logic programs, which is the rough extension of fuzzy disjunctive logic programs based on rough set theory. Then, we define the syntax and semantics of fuzzy rough dl-program. Finally, we show some semantic properties of fuzzy rough dl-program under the answer set semantics.