Fusions of Description Logics and Abstract Description Systems

Details Fusions of Description Logics and Abstract Description Systems Fusions of Description Logics and Abstract Description Systems

2011-06-09

arxiv.org/abs/1106.1802v1

Journal Of Artificial Intelligence Research, Volume 16, pages 1-58, 2002

Computer Science

Artificial Intelligence

Scientific paper

10.1613/jair.919

Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail. In particular, it is known that, under certain conditions, decidability transfers from the component logics to their fusion. Though description logics are closely related to modal logics, they are not necessarily normal. In addition, ABox reasoning in description logics is not covered by the results from modal logics. In this paper, we extend the decidability transfer results from normal modal logics to a large class of description logics. To cover different description logics in a uniform way, we introduce abstract description systems, which can be seen as a common generalization of description and modal logics, and show the transfer results in this general setting.

Affiliated with

Also associated with

No associations

Rating

Fusions of Description Logics and Abstract Description Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Fusions of Description Logics and Abstract Description Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Fusions of Description Logics and Abstract Description Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-580273