Carsten Lutz, Ulrike Sattler  Home/Search
Context Related
| SunSITE.Informatik.RWT...Lutz213226.ps 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: SunSITE.Informatik.RWTHA...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, we catch up on this and determine the complexity of (i) the extension of ALC with role negation, (ii) the extension of ALC with transitive roles and role negation, and (iii) the extension of ALC with role negation and all possible combinations of boolean constructors of roles (where role negation may either be unrestricted or restricted to role names). This paper is accompanied by a technical report which contains all proofs and technical details [14]. Note that the technical report ... (Update)
Context of citations to this paper: More
.... 18] Union and intersection of modal parameters are also considered in Description Logics and other KR formalisms, as is the window operator [11, 21]. 3. The modal box operator can be thought of as expressing necessity. More precisely, when employing the usual Kripke...
.... parameters are also considered in Description Logics and other KR formalisms, as is the window operator; see Givan et al. 1991, Lutz and Sattler 2000a. Although as we just argued logics involving Boolean operators on modal parameters or the window operator are widely used, to...
Cited by: More
Description Logics and the Two-Variable Fragment - Lutz, Sattler, Wolter (2001) (Correct)
The Complexity of Reasoning with Boolean Modal Logics - Lutz, Sattler (2000) (Correct)
Active bibliography (related documents): More All
0.5: Mary Likes all Cats - Lutz, Sattler (2000) (Correct)
0.3: Modal Logic and the Two-Variable Fragment - Lutz, Sattler, Wolter (2001) (Correct)
0.2: Logic Programming: The Case of Description and Hybrid Logic - Areces (Correct)
Similar documents based on text: More All
0.3: An Overview of Tableau Algorithms for Description Logics - Baader, Sattler (2000) (Correct)
Related documents from co-citation: More All
6: Notre Dame Journal of Formal Logic (context) - Humberstone - 1983
6: A note on Boolean modal logic (context) - Gargov, Passy - 1990
5: The complexity of reasoning with boolean modal logics - Lutz, Sattler - 2000
BibTeX entry: (Update)
C. Lutz and U. Sattler. Mary likes all cats. submitted, 2000. 21 http://citeseer.ist.psu.edu/lutz00mary.html More
@inproceedings{ lutz00mary,
author = "C. Lutz and U. Sattler",
title = "Mary likes all Cats",
booktitle = "Proceedings of the 2000 International Workshop in Description Logics {(DL2000)}",
number = "33",
publisher = "RWTH Aachen",
address = "Aachen, Germany",
editor = "F. Baader and U. Sattler",
pages = "213--226",
year = "2000",
url = "citeseer.ist.psu.edu/lutz00mary.html" }
Citations (may not include all citations):2003 The Art of computer programming (context) - Knuth - 1968
176 A correspondence theory for terminological logics: Prelimina.. - Schild - 1991
162 Automata-theoretic techniques for modal logic of programs (context) - Vardi, Wolper - 1986
148 Practical reasoning for expressive description logics - Horrocks, Sattler et al. - 1999
85 Augmenting concept languages by transitive closure of roles:.. - Baader - 1991
62 An essay in combinatory dynamic logic (context) - Passy, Tinchev - 1991
54 Complexity of Modal Logics (context) - Spaan - 1993
32 Issues of decidability for description logics in the framewo.. - Hustadt, Schmidt - 1996
29 Notre Dame Journal of Formal Logic (context) - Humberstone - 1983
28 Modal environment for Boolean speculations (context) - Gargov, Passy et al. - 1987
27 The undecidability of the dominoe problem (context) - Berger - 1966
26 Perspectives in Mathematical Logic (context) - orger, Gr et al. - 1997
24 The complexity of reasoning with boolean modal logics - Lutz, Sattler - 2000
21 Natural language based inference procedures applied to schub.. - Givan, McAllester et al. - 1991
11 the Decision Problem for Two-Variable FirstOrder Logic - Gr, Kolaitis et al. - 1997
11 Conjunctive query containment in description logics with n-a.. - Calvanese, De Giacomo et al. - 1997
11 Decidability of Class-Based Knowledge Representation Formali.. - De Giacomo - 1995
8 the relative expressivness of description logics and predica.. (context) - Borgida - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS//Vol-33/index.html): More
A DL to describe classes of queries and mapping.. - Bermúdez.. (Correct)
Rewriting Conjunctive Queries Using Views in Description.. - Goasdoue, Rousset (2000) (Correct)
TBox Acquisition and Information Theory - Jordi Alvarez Talp (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