English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

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 totheir fusion. Though description logics are closely related to modal logics,they are not necessarily normal. In addition, ABox reasoning in descriptionlogics is not covered by the results from modal logics. In this paper, weextend the decidability transfer results from normal modal logics to a largeclass of description logics. To cover different description logics in a uniformway, we introduce abstract description systems, which can be seen as a commongeneralization of description and modal logics, and show the transfer resultsin this general setting.

Fusions of Description Logics and Abstract Description Systems