Keys, Nominals, and Concrete Domains

Many description logics (DLs) combine knowledge tation 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.

• Type: Conference
• Year: 2003
• Where: IJCAI
• Authors: Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
• Keywords: Description Logics, IJCAI 2003, IJCAI 2007, Many Description Logics, Natural Description Logics