Carsten Lutz  Home/Search
Context Related
Links: ACM DBLP | lti.informatik.rwth...LutzIJCAR.ps.gz cantor.informatik.rwth...ijcar01b.ps.gz 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: lti.informatik.rwthaach...Papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Concrete domains are an extension of Description Logics (Update)
Cited by: More
Towards a Fuzzy Description Logic for the Semantic Web - Straccia (2005) (Correct)
A Fuzzy Description Logic for the Semantic Web - Umberto Straccia Isti-Cnr (2005) (Correct)
Reasoning about Entity Relationship Diagrams - With Complex Attribute (Correct)
Similar documents (at the sentence level):
8.8%: NExpTime-complete Description Logics with Concrete Domains - Lutz (2000) (Correct)
7.1%: Proceedings of the ESSLLI-2000 Student Session - (ed.) (2000) (Correct)
Active bibliography (related documents): More All
0.3: Description Logics with Concrete Domains - A Survey - Lutz (2003) (Correct)
0.2: Keys, Nominals, and Concrete Domains - Lutz, Areces, Horrocks, Sattler (2002) (Correct)
0.2: Connecting Description Systems - Kutz, Wolter, Zakhariaschev (2002) (Correct)
Similar documents based on text: More All
0.4: On the Complexity of Terminological Reasoning - Lutz (1999) (Correct)
0.3: Complexity of Terminological Reasoning Revisited - Lutz (1999) (Correct)
0.3: Interval-based Temporal Reasoning with General TBoxes - Lutz (2001) (Correct)
Related documents from co-citation: More All
17: A scheme for integrating concrete domains into concept languages - Baader, Hanschke - 1991
11: Practical reasoning for expressive description logics - Horrocks, Sattler et al. - 1999
8: Extensions of concept languages for a mechanical engineering application (context) - Baader, Hanschke - 1993
BibTeX entry: (Update)
C. Lutz. NExpTime-complete description logics with concrete domains. LTCS-Report 00-01, LuFG Theoretical Computer Science, RWTH Aachen, Germany, 2000. See http://www-lti.informatik.rwthaachen. de/Forschung/Reports.html. http://citeseer.ist.psu.edu/lutz01nexptimecomplete.html More
@inproceedings{ lutz01nexptimecomplete,
author = "C. Lutz",
title = "{NExpTime}-complete Description Logics with Concrete Domains",
booktitle = "Proceedings of the International Joint Conference on Automated Reasoning",
number = "2083",
publisher = "Springer Verlag",
address = "Siena, Italy",
editor = "Rajeev Gor\'e and Alexander Leitsch and Tobias Nipkow",
pages = "45--60",
year = "2001",
url = "citeseer.ist.psu.edu/lutz01nexptimecomplete.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
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
72 A description logic with transitive and inverse roles and ro.. - Horrocks, Sattler - 1999 DBLP
67 A variant of a recursively unsolvable problem (context) - Post - 1946
38 Reasoning in expressive description logics - Calvanese, De Giacomo et al. - 1998 ACM DBLP
31 Extensions of concept languages for a mechanical engineering.. (context) - Baader, Hanschke - 1993 ACM DBLP
28 A description logic with concrete domains and role-forming p.. - Haarslev, Lutz et al. - 1999
26 Perspectives in Mathematical Logic (context) - orger, Gr et al. - 1997
23 Description logics with concrete domains and aggregation - Baader, Sattler - 1998 DBLP
19 NExpTime-complete description logics with concrete domains - Lutz - 2000 ACM DBLP
15 Complexity of terminological reasoning revisited - Lutz - 1999 ACM DBLP
14 Reasoning with concrete domains - Lutz - 1999 ACM DBLP
12 CTL - a description logic with expressive concrete domains - Kamp, Wache - 1996
11 Interval-based temporal reasoning with general TBoxes - Lutz - 2001 DBLP
1 Dened topological relations in description logics (context) - Haarslev, Lutz et al. - 1998
1 German Research Center for Articial Intelligence (context) - Donini, Lenzerini et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html): More
Unification Theory - Baader, Snyder (1999) (Correct)
Planning Mathematical Proofs with Methods - Huang, Kerber, Richts, Sehn (1994) (Correct)
KEIM: A Toolkit for Automated Deduction - Huang, Kerber, Kohlhase, Melis.. (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