Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler  Home/Search
Context
Related
| cs.man.ac.uk/~horrocks/Pub...LAHS02.pdf Cached: PS.gz PS 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.
Image Update HelpPS.gz PS PDF From: 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 with built-in predicates such as <, +, and prefix-of. These hybrid DLs have turned out to be quite 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... (Update)
Active bibliography (related documents): More All
1.8: Description Logics with Concrete Domains - A Survey - Lutz (2003) (Correct)
0.8: Keys, Nominals, and Concrete Domains - Lutz, Areces, Horrocks, Sattler (2003) (Correct)
0.4: Web Ontology Reasoning with Datatype Groups - Pan, Horrocks (2003) (Correct)
Similar documents based on text: More All
0.5: NExpTime-complete Description Logics with Concrete Domains - Lutz (2001) (Correct)
0.4: Interval-based Temporal Reasoning with General TBoxes - Lutz (2001) (Correct)
0.4: The Complexity of 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/lutz02keys.html" }
Citations (may not include all citations):2003 The Art of Computer Programming (context) - Knuth - 1968
1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
442 Concrete Mathematics (context) - Graham, Knuth et al. - 1990 ACM
318 Scientific American (context) - Berners-Lee, Hendler et al. - 2001
240 A guide to completeness and complexity for modal logics of k.. (context) - Halpern, Moses - 1992 ACM DBLP
176 A correspondence theory for terminological logics: Prelimina.. - Schild - 1991 DBLP
148 Practical reasoning for expressive description logics - Horrocks, Sattler et al. - 1999 ACM DBLP
130 A scheme for integrating concrete domains into concept langu.. - Baader, Hanschke - 1991 DBLP
118 Using an expressive description logic: Fact or fiction - Horrocks - 1998
116 A semantics and complete algorithm for subsumption in the cl.. - Borgida, Patel-Schneider - 1994 DBLP
109 the decidability of query containment under constraints - Calvanese, De Giacomo et al. - 1998
103 The Description Logic Handbook: Theory (context) - Baader, McGuiness et al. - 2002
89 Description logics for conceptual data modeling - Calvanese, Lenzerini et al. - 1998 ACM DBLP
82 RACER system description - Haarslev, Moller - 2083 ACM DBLP
71 OIL: An ontology infrastructure for the semantic web - Fensel, van Harmelen et al. - 2001 DBLP
67 A variant of a recursively unsolvable problem (context) - Post - 1946
57 Qualifying number restrictions in concept languages (context) - Hollunder, Baader - 1991 DBLP
32 A road-map on complexity for hybrid logics - Areces, Blackburn et al. - 1999 ACM 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
23 Description logics with concrete domains and aggregation - Baader, Sattler - 1998 DBLP
22 Fusions of description logics and abstract description syste.. - Baader, Lutz et al. - 2002 DBLP
22 Foundations of spatioterminological reasoning with descripti.. - Haarslev, Lutz et al. - 1998 DBLP
21 Perspectives in Mathematical Logic (context) - Borger, Gradel et al. - 1997
21 Memoirs of the American Mathematical Society (context) - Berger, of et al. - 1966
19 The Complexity of Reasoning with Concrete Domains - Lutz - 2002
19 NExpTime-complete description logics with concrete domains - Lutz - 2002 ACM DBLP
17 Reviewing the design of DAML+OIL: An ontology language for t.. (context) - Horrocks, Patel-Schneider et al. - 2002 DBLP
13 Web ontology language (context) - Dean, Connolly et al. - 2002
12 Tableau algorithms for description logics - Baader, Sattler - 2000 ACM DBLP
12 CTL - a description logic with expressive concrete domains - Kamp, Wache - 1996
11 Adding uniqueness constraints to description logics - Borgida, Weddell - 1997
9 On decidability and complexity of description logics with un.. - Khizder, Toman et al. DBLP
9 Logic-based knowledge representation - Baader - 1999 DBLP
9 Description logics with concrete domains---a survey - Lutz - 2002
7 Description logics for the semantic web - Baader, Horrocks et al. - 2002 DBLP
5 Keys for free in description logics - Calvanese, De Giacomo et al. - 2000 DBLP
5 Reasoning about entity relationship diagrams with complex at.. - Lutz - 2002
4 Ontology reasoning in the description logic (context) - Horrocks, Sattler - 2001
4 Reasoning with expressive description logics: Theory and pra.. - Horrocks - 2002 DBLP
3 PSpace reasoning with the description logic ALCF (context) - Lutz - 2002
3 in Description Logics (context) - Pan, Horrocks et al. - 2002
1 The description logic ALCNH + extended with concrete domains.. (context) - Haarslev, Moller et al. - 2083
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