See this document in CiteSeerX!

Keys, Nominals, and Concrete Domains (2003)  (Make Corrections)  
Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler



  Home/Search   Context   Related

 
View or download:
cs.man.ac.uk/~horrocks/Pu...LAHS03a.pdf
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  cs.man.ac.uk/~horr...publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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