Sciweavers

Share
IJCAI
2003

Keys, Nominals, and Concrete Domains

11 years 1 months ago
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.
Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2003
Where IJCAI
Authors Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
Comments (0)
books