Keys, Nominals, and Concrete Domains

Lutz, Carsten; Areces, Carlos; Horrocks, Ian; Sattler, Ulrike

Keys, Nominals, and Concrete Domains

Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler

Download BibTeX Cite

Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Pages 349-353.

Abstract

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 NExPTrME complexity bounds.

Carsten Lutz, Carlos Areces, Ian Horrocks, and Ulrike Sattler. 2003. Keys, Nominals, and Concrete Domains. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03. IJCAI, 349–353. https://ijcai.org/proceedings/2003/52

@inproceedings{ijcai2003p52,
  title     = {Keys, Nominals, and Concrete Domains},
  author    = {Lutz, Carsten and Areces, Carlos and Horrocks, Ian and Sattler, Ulrike},
  booktitle = {Proceedings of the Eighteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-03}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Georg Gottlob},
  pages     = {349--353},
  year      = {2003},
  url       = {https://ijcai.org/proceedings/2003/52},
}

TY  - CPAPER
TI  - Keys, Nominals, and Concrete Domains
AU  - Lutz, Carsten
AU  - Areces, Carlos
AU  - Horrocks, Ian
AU  - Sattler, Ulrike
T2  - Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2003
SP  - 349
EP  - 353
UR  - https://ijcai.org/proceedings/2003/52
ER  -