Klaus Schild  Home/Search
Context Related
| sunsite.informatik.rwt...schildlong.ps mnemosyne.itc.it:1...schildtract.ps.gz dfki.unisb.de/pub/t...dl94klaus.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: sunsite.informatik.rwthaachen... (more) From: dfki.de/~tacos/...OSPublications (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Klaus Schild German Research Center for Artificial Intelligence Stuhlsatzenhausweg 3, D-66123 Saarbrucken, FRG e-mail: schild@dfki.uni-sb.de 1 Introduction Description logics (also called terminological logics or concept languages) have been designed for the logical reconstruction and specification of knowledge representation systems descending from Kl-One such as Back, Classic, KRIS, and Loom. 1 These systems are used to make the terminology of an application domain explicit and then to... (Update)
Context of citations to this paper: More
...introduction, is committed to the traditional approach to knowledge representation rather than to the model checking approach. In [ Schild, 1994b ] we investigated the consequences of adapting Halpern and Vardi s model checking approach to terminological reasoning. It turned...
Cited by: More
Tractable Reasoning in a Universal Description Logic (Extended.. - Schild (1994) (Correct)
Active bibliography (related documents): More All
0.2: Approximate Reasoning about Combined Knowledge - Koriche (1998) (Correct)
0.2: An Attempt to Automate NP-Hardness Reductions via SO∃ Logic - Nijjar (2004) (Correct)
0.2: Basic Quantifier Theory - van der Does, van Eijck (Correct)
Similar documents based on text: More All
0.1: Stationary generalized Kerr-Schild spacetimes - Sopuerta (1998) (Correct)
0.1: An Empirical Analysis of Optimization Techniques.. - Baader.. (1992) (Correct)
0.1: An Empirical Analysis of Optimization Techniques.. - Baader.. (1992) (Correct)
Related documents from co-citation: More All
2: Terminological cycles and the propositional ¯-calculus (context) - Schild - 1994
BibTeX entry: (Update)
Klaus Schild. Tractable reasoning in a universal description logic. DFKI Research Report, German Research Center for Artificial Intelligence (DFKI), Saarbrucken, FRG, 1994. Forthcoming. http://citeseer.ist.psu.edu/schild94tractable.html More
@inproceedings{ schild94tractable,
author = "Klaus Schild",
title = "Tractable Reasoning in a Universal Description Logic",
booktitle = "Knowledge Representation Meets Databases",
year = "1994",
url = "citeseer.ist.psu.edu/schild94tractable.html" }
Citations (may not include all citations):480 An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985
232 Optimal implementation of conjunctive queries in relational .. (context) - Chandra, Merlin - 1977
207 Attributive concept descriptions with complements (context) - Schmidt-Schauss, Smolka - 1991
160 Programs with common sense - McCarthy - 1968
132 Towards a logical reconstruction of relational database theo.. (context) - Reiter - 1984
130 Efficient model checking in fragments of the propositional m.. (context) - Emerson, Lei - 1986
112 Terminological Reasoning is Inherently Intractable - Nebel - 1990
101 The KL-ONE family (context) - Woods, Schmolze - 1992
89 Terminological cycles: Semantics and computational propertie.. - Nebel - 1991
69 Subsumption in KL-ONE is undecidable (context) - Schmidt-Schauss - 1989
53 theorem proving: A manifesto (context) - Halpern, Vardi et al. - 1991
50 An unsolvable problem of elementary number theory (context) - Church - 1936
22 Terminological cycles and the propositional ¯-calculus (context) - Schild - 1993
22 Terminological cycles and the propositional ¯-calculus (context) - Schild - 1994
15 Technische Universitat Berlin (context) - Schild, subsumption et al. - 1988
12 Logic-Based Knowledge Representation (context) - Patel-Schneider - 1987
4 Impossibility of an algorithm for the decision problem in fi.. (context) - Trahtenbrot - 1963
1 Tractable reasoning in a universal description logic - Schild - 1994
Documents on the same site (http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-1/): More
Terminological Systems Revisited: Terminology = Schema +.. - Buchheit, Donini, Nutt.. (1994) (Correct)
Semantic Indexing Based on Description Logics - Schmiedel (1994) (Correct)
Uniformly Querying Knowledge Bases and Data Bases - Bresciani (1994) (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