Fusions of Description Logics

From International Center for Computational Logic

Toggle side column

Fusions of Description Logics

Franz BaaderFranz Baader,  Carsten LutzCarsten Lutz,  Holger SturmHolger Sturm,  Frank WolterFrank Wolter
Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
Fusions of Description Logics
In F. Baader and U. Sattler, eds., Proceedings of the International Workshop in Description Logics 2000 (DL2000), CEUR-WS, 21-30, August 2000. RWTH Aachen
  • KurzfassungAbstract
    One of the major topics in Description Logic (DL) research is investigating the trade-off between the expressivity of a DL and the complexity of its inference problems. The expressiveness of a DL is usually determined by the constructors available for building concepts and roles. Given two DLs, their union is the DL that allows the unrestricted use of the constructors of both DLs. There are well-known examples that show that decidability of DLs usually does not transfer to their union.

    In this paper, we consider the fusion of two DLs, which is more restrictive than the union. Intuitively, in the fusion the role names are partitioned into two sets, and the constructors of the first DL can only use role names of one set, whereas the constructors of the second DL can only use role names of the other set. We show that under certain (rather weak) conditions decidability transfers from given DLs to their fusion. More precisely, the inference problems that we consider are satisfiability/subsumption of concept descriptions as well as satisfiability/subsumption w.r.t. general inclusion axioms.

    These results adapt and generalize known transfer results from modal logic to DL. In order to capture the notion of a DL formally, we introduce the notion of an abstract description system and prove our results within this new formal framework.
  • Bemerkung: Note: Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-33/
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ BaaLutStuWol-DL-2000,
  address = {Aachen, Germany},
  author = {F. {Baader} and C. {Lutz} and H. {Sturm} and F. {Wolter}},
  booktitle = {Proceedings of the International Workshop in Description Logics 2000 {(DL2000)}},
  editor = {F. {Baader} and U. {Sattler}},
  month = {August},
  note = {Proceedings online available from {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-33/}},
  number = {33},
  pages = {21--30},
  publisher = {RWTH Aachen},
  series = {CEUR-WS},
  title = {Fusions of Description Logics},
  year = {2000},