Franz Baader, Carsten Lutz, Holger Sturm, et al.  Home/Search
Context Related
| lti.informatik.rwt...uWolDL2000.ps.gz SunSITE.Informatik.RWT...Baader2130.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: lti.informatik.rwthaach...Papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: description systems In order to de ne the fusion of DLs and prove general results for fusions of DLs, one needs a formal de nition of what are \Description Logics". Since there exists a wide variety of DLs with very di erent characteristics, we introduce a very general formalization, which should cover all of the DLs considered in the literature, but also includes logics that would usually not be subsumed under the name DL. In this formalization, concept descriptions will be represented by... (Update)
Context of citations to this paper: More
.... ALCF ;ffi;t is undecidable [3] Recently, fusions (or independent joints) have been proposed as a more robust way of combining DLs [5, 4, 33]. But even fusions behave badly if the class of models is not closed under disjoint unions, which is the case when nominals or...
.... works, such as [42] on expressiveness characterization of Description Logics that are not propositionally closed, or [34] that looks at the guarded fragments as a form of Description Logics with n ary relations, or [4] on very general conditions for combining Description...
Cited by: More
Ε-connections of Description Logics - Kutz, Lutz, Wolter, Zakharyaschev (2003) (Correct)
A Note on Concepts and Distances - Kutz, Wolter, Zakharyaschev (2001) (Correct)
of Description Logics - Oliver Kutz Department (2003) (Correct)
Similar documents (at the sentence level):
57.9%: Fusions of Description Logics - Baader, Lutz, Sturm, al. (Correct)
35.8%: Fusions of Description Logics and Abstract Description.. - Baader, Lutz, Sturm, Wolter (2002) (Correct)
Active bibliography (related documents): More All
0.3: A Tableau Algorithm for Reasoning about Concepts and.. - Lutz, Wolter.. (2003) (Correct)
0.3: A Note on Relativised Products of Modal Logics - Kurucz, Zakharyaschev (2003) (Correct)
0.2: Connecting Description Systems - Kutz, Wolter, Zakhariaschev (2002) (Correct)
Similar documents based on text: More All
0.3: A tableau decision algorithm for modalized ALC with.. - Lutz, Sturm.. (2000) (Correct)
0.3: A Tableau Calculus for Temporal Description Logic: The.. - Lutz, Sturm, Wolter, al. (2001) (Correct)
0.3: A Tableau Calculus for Temporal Description Logic.. - Lutz, Sturm.. (2001) (Correct)
Related documents from co-citation: More All
4: A correspondence theory for terminological logics: Preliminary report - Schild - 1991
4: A scheme for integrating concrete domains into concept languages - Baader, Hanschke - 1991
4: Semi-qualitative reasoning about distances: a preliminary report - Sturm, Suzuki et al. - 2000
BibTeX entry: (Update)
F. Baader, C. Lutz, H. Sturm, and F. Wolter. Fusions of description logics. Technical report, forthcoming. http://citeseer.ist.psu.edu/article/baader00fusions.html More
@inproceedings{ baader00fusions,
author = "F. Baader and C. Lutz and H. Sturm and F. Wolter",
title = "Fusions of Description Logics",
booktitle = "Proceedings of the International Workshop in Description Logics 2000 {(DL2000)}",
number = "33",
publisher = "RWTH Aachen",
address = "Aachen, Germany",
editor = "F. Baader and U. Sattler",
pages = "21--30",
year = "2000",
url = "citeseer.ist.psu.edu/article/baader00fusions.html" }
Citations (may not include all citations):176 A correspondence theory for terminological logics: Prelimina.. - Schild - 1991
152 Decidable reasoning in terminological knowledge representati.. - Buchheit, Donini et al. - 1993
113 Cambridge University Press (context) - Chellas - 1980
85 Augmenting concept languages by transitive closure of roles:.. - Baader - 1991
49 Properties of independently axiomatizable bimodal logics (context) - Kracht, Wolter - 1991
31 the expressivity of feature logics with negation (context) - Baader, urckert et al. - 1993
22 Fusions of modal logics revisited - Wolter - 1998
15 Expressive number restrictions in description logics - Baader, Sattler - 1999
13 Department of Mathematics and Computer Science - Spaan, Modal et al. - 1993
10 Nondeterministic propositional dynamic logic with intersecti.. (context) - Danecki - 1984
9 Fusions of description logics - Baader, Lutz et al.
4 Transfer theorems for stratied modal logics (context) - Fine, Schurz - 1996
1 Germany Research Center for Articial Intelligence (context) - Hollunder, Nutt et al. - 1990
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