Keys, Nominals, and Concrete Domains

C. LutzC. Lutz, C. ArecesC. Areces, I. HorrocksI. Horrocks, U. SattlerU. Sattler

Datei:LuAcHoSa-IJCAI.ps.gz

Download

C. Lutz, C. Areces, I. Horrocks, U. Sattler
Keys, Nominals, and Concrete Domains
Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence {IJCAI-03}, 2003. Morgan-Kaufmann Publishers

Details
Bibtex

KurzfassungAbstract
Many description logics (DLs) combine knowledge representation on an
abstract, logical level with an interface to "concrete" domains such as numbers and strings. We propose to extend such DLs with key constraints that allow the expression of statements like "US citizens are uniquely identified by their social security number". Based on this idea, we introduce a number of natural description logics and
present (un)decidability results and tight NExpTime complexity bounds.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ LuAcHoSa-IJCAI-03,
  address = {Acapulco, Mexico},
  author = {C. {Lutz} and C. {Areces} and I. {Horrocks} and U. {Sattler}},
  booktitle = {Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence {IJCAI-03}},
  publisher = {Morgan-Kaufmann Publishers},
  title = {Keys, Nominals, and Concrete Domains},
  year = {2003},
}