Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler  Home/Search
Context
Related
| cs.man.ac.uk/~horrocks/Pu...LAHS03a.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: cs.man.ac.uk/~horr...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 NEX- PTIME complexity bounds. (Update)
Similar documents (at the sentence level):
12.8%: Keys, Nominals, and Concrete Domains - Lutz, Areces, Horrocks, Sattler (2002) (Correct)
Active bibliography (related documents): More All
0.9: Description Logics with Concrete Domains - A Survey - Lutz (2003) (Correct)
0.3: On Integrating Scientific Resources through Semantic.. - Shawn Bowers Kai (2004) (Correct)
0.2: From SHIQ and RDF to OWL: The Making of a Web.. - Horrocks.. (2003) (Correct)
Similar documents based on text: More All
0.5: NExpTime-complete Description Logics with Concrete Domains - Lutz (2000) (Correct)
0.4: The Complexity of Reasoning with Concrete Domains - Lutz (1999) (Correct)
0.4: Reasoning with Concrete Domains - Lutz (1999) (Correct)
BibTeX entry: (Update)
@misc{ lutz-keys,
author = "Carsten Lutz and Carlos Areces and Ian Horrocks and Ulrike Sattler",
title = "Keys, Nominals, and Concrete Domains",
url = "citeseer.ist.psu.edu/579835.html" }
Citations (may not include all citations):2003 The Art of Computer Programming (context) - Knuth - 1968
130 A scheme for integrating concrete domains into concept langu.. - Baader, Hanschke - 1991 DBLP
67 A variant of a recursively unsolvable problem (context) - Post - 1946
57 Qualifying number restrictions in concept languages (context) - Hollunder, Baader - 1991 DBLP
31 Extensions of concept languages for a mechanical engineering.. (context) - Baader, Hanschke - 1992 ACM DBLP
31 Practical reasoning for very expressive description logics - Horrocks, Sattler et al. - 2000 DBLP
19 NExpTime-complete description logics with concrete domains - Lutz - 2003 ACM DBLP
11 Adding uniqueness constraints to description logics - Borgida, Weddell - 1997
4 Ontology reasoning in the description logic (context) - Horrocks, Sattler - 2001
3 and concrete domains (context) - Lutz, Areces et al. - 2002
3 PSPACE reasoning with the description logic ALCF (context) - Lutz - 2002
Documents on the same site (http://www.cs.man.ac.uk/~horrocks/Publications/publications.html): More
FaCT and DLP - Horrocks, Patel-Schneider (Correct)
Practical Reasoning for Description Logics with.. - Horrocks, Sattler.. (1999) (Correct)
Knowledge Representation on the Web - Decker, Fensel, van Harmelen.. (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC