A Suggestion for an n-ary Description Logic

From International Center for Computational Logic

"Juli 30 -- August 1" is not in the list (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, ...) of allowed values for the "Month" property.

Toggle side column

A Suggestion for an n-ary Description Logic

Carsten LutzCarsten Lutz,  Ulrike SattlerUlrike Sattler,  Stephan TobiesStephan Tobies
Carsten Lutz, Ulrike Sattler, Stephan Tobies
A Suggestion for an n-ary Description Logic
In Patrick Lambrix and Alex Borgida and Maurizio Lenzerini and Ralf Möller and Peter Patel-Schneider, eds., Proceedings of the International Workshop on Description Logics, CEUR-WS, 81-85,  1999. Linköping University
  • KurzfassungAbstract
    A restriction most Description Logics (DLs) have in common with most Modal Logics is their restriction to unary and binary predicates. To our knowledge, the only DLs that overcome these restrictions and allow for arbitrary n-ary relations are n-ary Kandor and the very expressive DL DLR. In the field of Modal Logics, there are two generalisations that allow for n-ary predicates: Polyadic Modal Logics and the more expressive Guarded Fragment, which was shown to be ExpTime-complete and for which a resolution based decision procedure exists. Unfortunately, when extended by operators that are standard in DLs such as number restrictions, features, or transitive roles, this logic becomes undecidable. In this paper, we present a new DL, GF1-, that was designed to meet three goals: 1. It should allow for n-ary relations; 2. ``concept subsumption and satisfiability should be in PSpace; and 3., it should allow the extension with number restrictions and/or transitive roles (without losing decidability).
  • Bemerkung: Note: Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ LutzSattlerTobies-DL-99,
  address = {Linkoeping, Sweden},
  author = {C. {Lutz} and U. {Sattler} and S. {Tobies}},
  booktitle = {Proceedings of the International Workshop on Description Logics},
  editor = {Patrick {Lambrix} and Alex {Borgida} and Maurizio {Lenzerini} and Ralf {M{\"o}ller} and Peter {Patel-Schneider}},
  month = {July 30 -- August 1},
  note = {Proceedings online available from {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/}},
  number = {22},
  pages = {81--85},
  publisher = {Link{\"o}ping University},
  series = {CEUR-WS},
  title = {A Suggestion for an $n$-ary Description Logic},
  year = {1999},
}