„Juli 30 -- August 1“ befindet sich nicht in der Liste (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, ...) zulässiger Werte für das Attribut „Month“.

A Suggestion for an n-ary Description Logic

Carsten LutzCarsten Lutz, Ulrike SattlerUlrike Sattler, Stephan TobiesStephan Tobies

Datei:LutzSattlerTobies-DL-99.ps.gz

Download

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

Details
Bibtex

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},
}