Carsten Lutz, Frank Wolter, Michael Zakharyaschev  Home/Search
Context Related
| dcs.kcl.ac.uk/staff/mz/m4.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: dcs.kcl.ac.uk/staff/mz/papers1 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a tableau-based decision procedure for the fusion (independent join) of the expressive description logic ALCQO and the logic MS for reasoning about distances and similarities. The resulting `hybrid' logic allows both precise and approximate representation of and reasoning about concepts. The tableau algorithm combines the existing tableaux for the components and shows that the tableau technique can be fruitfully applied to fusions of logics with nominals|the case in which no... (Update)
Cited by: More
Uncertainty and Description Logic Programs over Lattices - Straccia (2005) (Correct)
Towards a Fuzzy Description Logic for the Semantic Web - Straccia (2005) (Correct)
Uncertainty in Description Logics: a Lattice-based Approach - Straccia (2004) (Correct)
Active bibliography (related documents): More All
0.6: Reasoning about Concepts and Similarity - Lutz, Wolter, Zakharyaschev (Correct)
0.4: A Logic for Metric and Topology - Wolter, Zakharyaschev (Correct)
0.4: A Note on Relativised Products of Modal Logics - Kurucz, Zakharyaschev (2003) (Correct)
Similar documents based on text: More All
0.5: Temporalising Tableaux - Kontchakov, Lutz, Wolter.. (Correct)
0.5: A Tableau Calculus for Temporal Description Logic.. - Lutz, Sturm.. (2001) (Correct)
0.5: A Tableau Calculus for Temporal Description Logics: .. - Lutz, Sturm.. (2001) (Correct)
Related documents from co-citation: More All
4: Attributive concept descriptions with complements (context) - ss, Smolka - 1991
3: Computational Molecular Biology (context) - Clote, Backofen - 2000
3: Description Logic Handbook: Theory (context) - Baader, Calvanese et al. - 2002
BibTeX entry: (Update)
C. Lutz, F. Wolter, and M. Zakharyaschev. A tableau algorithm for reasoning about concepts and similarity. In M. C. Mayer and F. Pirri, editors, Automated Reasoning with Analytic Tableaux and Related Methods, volume 2796 of LNCS. Springer, 2003. http://citeseer.ist.psu.edu/lutz03tableau.html More
@misc{ lutz03tableau,
author = "C. Lutz and F. Wolter and M. Zakharyaschev",
title = "A tableau algorithm for reasoning about concepts and similarity",
text = "C. Lutz, F. Wolter, and M. Zakharyaschev. A tableau algorithm for reasoning
about concepts and similarity. In M. C. Mayer and F. Pirri, editors, Automated
Reasoning with Analytic Tableaux and Related Methods, volume 2796 of LNCS.
Springer, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/lutz03tableau.html" }
Citations (may not include all citations):75 Attributive concept descriptions with complements (context) - Schmidt-Schau, Smolka - 1991
65 The Description Logic Handbook (context) - Baader, Calvanese et al. - 2003
49 Properties of independently axiomatizable bimodal logics (context) - Kracht, Wolter - 1991
40 Ontology reasoning in the SHOQ (context) - Horrocks, Sattler - 2001
28 Reasoning with individuals for the description logic SHIQ - Horrocks, Sattler et al. - 2000
22 Fusions of description logics and abstract description syste.. - Baader, Lutz et al. - 2002
22 Fusions of modal logics revisited - Wolter - 1997
21 Department of Mathematics and Computer Science (context) - Spaan, Modal et al. - 1993
18 The generation of DAML+OIL (context) - Horrocks, Patel-Schneider - 2001
17 Reviewing the design of DAML+OIL: An ontology language for t.. (context) - Horrocks, Patel-Schneider et al. - 2002
5 ACM Transactions on Computational Logic (context) - Kutz, Sturm et al. - 2003
5 Reasoning about distances (context) - Wolter, Zakharyaschev - 2003
4 Transfer theorems for strati ed modal logics (context) - Fine, Schurz - 1996
Documents on the same site (http://www.dcs.kcl.ac.uk/staff/mz/papers1.html): More
Multi-Dimensional Modal Logic as a Framework for.. - Bennett, Cohn, Wolter, .. (2000) (Correct)
Decidable Fragments of First-Order Modal Logics - Wolter, Zakharyaschev (1999) (Correct)
Spatio-temporal representation and reasoning based on RCC-8 - Wolter, Zakharyaschev (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