Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: 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.#R##N##R##N#,  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,  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.
['Franz Baader', 'Carsten Lutz', 'Holger Sturm', 'Frank Wolter']
I am writing a research paper on a idea Fusions of description logics and abstract description systems
[{"from": "human", "value": "I am writing a research paper on a idea Fusions of description logics and abstract description systems"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: 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.#R##N##R##N#,  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,  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."}]