HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

# Keys, Nominals, and Concrete Domains

1 LANGUE ET DIALOGUE - Human-machine dialogue with a significant language component
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Many description logics (DLs) combine knowledge representation on an abstract, logical level with an interface to concrete'' domains such as numbers and strings with built-in predicates such as <, +, and prefix-of. These hybrid DLs have turned out to be useful for reasoning about conceptual models of information systems, and as the basis for expressive ontology languages. We propose to further 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 perform a detailed analyses of their decidability and computational complexity. It turns out that naive extensions with key constraints easily lead to undecidability, whereas more careful extensions yield NExpTime-complete DLs for a variety of useful concrete domains.
Mots-clés :
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00000341
Contributor : Areces Carlos Connect in order to contact the contributor
Submitted on : Monday, September 26, 2005 - 5:16:19 PM
Last modification on : Friday, February 4, 2022 - 3:32:27 AM

### Identifiers

• HAL Id : inria-00000341, version 1

### Citation

Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler. Keys, Nominals, and Concrete Domains. Eighteenth International Joint Conference on Artificial Intelligence - IJCAI'03, 2003, Acapulco, Mexico, pp.349-354. ⟨inria-00000341⟩

Record views