Fusions of Description Logics.
Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter · 2000
description systems In order to define the fusion of DLs and prove general results for fusions of DLs, one needs a formal definition of what are "Description Logics". Since there exists a wide variety of DLs with very different characteristics, we introduce a very general formalization, which should cover all of the DLs considered in the literature, but also includes logics that would usually not be subsumed under the name DL. In this formalization, concept descriptions will be represented by terms that are built using an abstract description language. Definition 1. An abstract description language (ADL) is determined by a countably infinite set V of variables and a (possibly infinite) sequence (f i ) i2I of functions symbols, which are equipped with arities (n i ) i2I . The terms t j of this ADL are built using the follow syntax rules: t j \\Gamma! x; :t 1 ; t 1 t 2 ; t 1 t 2 ; f i (t 1 ; : : : ; t n i ); where x 2 V and the Boolean operators :; ; are different from all f i . ...