Franz Baader, Werner Nutt  Home/Search
Context Related
Links: ACM DBLP | dis.uniroma1.it/~degi...1DLHB02.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: dis.uniroma1.it/~degiacom/dida... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. (Update)
Cited by: More
Verifying DAML+OIL and Beyond in Z/EVES - Jin Song Dong (Correct)
Logic-Based Natural Language Understanding in Intelligent.. - Popescu (2005) (Correct)
Wearable Computing for Aircraft Maintenance: - Simplifying The User (Correct)
Active bibliography (related documents): More All
0.9: Tableau Algorithms for Description Logics - Baader, Sattler (2000) (Correct)
0.7: Logic-based Knowledge Representation - Baader (1997) (Correct)
0.6: Logic Programming: The Case of Description and Hybrid Logic - Areces (Correct)
Similar documents based on text: More All
0.4: Combination Problems for Commutative/Monoidal Theories or How.. - Baader, Nutt (1996) (Correct)
0.3: International Workshop on Description Logics - Baader, Lenzerini, Nutt.. (1994) (Correct)
0.3: Case study in coalgebraic specification: Memory management in the.. - Tews (2000) (Correct)
Related documents from co-citation: More All
5: Scientific American (context) - Berners-Lee, Handler et al. - 2001
3: Resource description framework (context) - Brickley, Guha - 1999
3: Distributed description logics: Directed domain correspondences in federated inf.. - Borgida, Serafini - 2002
BibTeX entry: (Update)
Franz Baader and Werner Nutt. Basic description logics. In F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P.F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003. http://citeseer.ist.psu.edu/baader03basic.html More
@misc{ baader03basic,
author = "F. Baader and W. Nutt",
title = "Basic description logics",
text = "Franz Baader and Werner Nutt. Basic description logics. In F. Baader, D.
Calvanese, D. McGuinness, D. Nardi, and P.F. Patel-Schneider, editors, The
Description Logic Handbook: Theory, Implementation, and Applications. Cambridge
University Press, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/baader03basic.html" }
Citations (may not include all citations):480 An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985 DBLP
195 Propositional dynamic logic of regular programs (context) - Fischer, Ladner - 1979 DBLP
189 Living with CLASSIC: When and how to use a KL-ONE-like langu.. - Brachman, McGuinness et al. - 1991
176 A correspondence theory for terminological logics: Prelimina.. - Schild - 1991
162 Automata-theoretic techniques for modal logics of programs (context) - Vardi, Wolper - 1986 ACM DBLP
152 Decidable reasoning in terminological knowledge representati.. - Buchheit, Donini et al. - 1993 DBLP
132 Relationship between nondeterministic and deterministic tape.. (context) - Savitch - 1970
126 Computers and Intractability | A guide to NP-completeness (context) - Garey, Johnson - 1979 ACM
116 A semantics and complete algorithm for subsumption in the CL.. - Borgida, Patel-Schneider - 1994 DBLP
112 Terminological reasoning is inherently intractable - Nebel - 1990
94 Expressiveness and tractability in knowledge representation .. (context) - Levesque, Brachman - 1987 DBLP
89 Terminological cycles: Semantics and computational propertie.. - Nebel - 1991
88 Subsumption algorithms for concept description languages - Hollunder, Nutt et al. - 1990 DBLP
86 A terminological knowledge representation system with comple.. - Baader, Hollunder - 1991
85 Augmenting concept languages by transitive closure of roles:.. - Baader - 1991 DBLP
82 RACER system description - Haarslev, oller - 2001 ACM DBLP
77 Tractable concept languages (context) - Donini, Lenzerini et al. - 1991
75 Attributive concept descriptions with complements (context) - Schmidt-Schau, Smolka - 1991 ACM DBLP
72 A description logic with transitive and inverse roles and ro.. - Horrocks, Sattler - 1999 DBLP
72 Computational complexity of terminological reasoning in BACK - Nebel - 1988
62 A feature logic with subsorts - Smolka - 1988
62 the relative expressiveness of description logics and predic.. - Borgida - 1996
60 Adding epistemic operators to concept languages - Donini, Lenzerini et al. - 1992 DBLP
59 Models of program logic (context) - Pratt - 1979
57 Qualifying number restrictions in concept languages (context) - Hollunder, Baader - 1991
56 Basic modal logic (context) - Fitting - 1993 ACM DBLP
55 Combining terminological logics with tense logic (context) - Schild - 1993 ACM DBLP
50 Reasoning with individuals in concept languages - Schaerf - 1994
49 Subsumption algorithms for concept languages - Hollunder, Nutt - 1990
43 Implementing and testing expressive description logics: Prel.. - Bresciani, Franconi et al. - 1995
39 A schema for integrating concrete domains into concept langu.. (context) - Baader, Hanschke - 1991
36 Cardinality restrictions on concepts - Baader, Buchheit et al. - 1996
34 Using an expressive description logic: FaCT or ction - Horrocks - 1998
34 Deduction in concept languages: From subsumption to instance.. - Donini, Lenzerini et al. - 1997 DBLP
34 High performance reasoning with very large knowledge bases: .. - Haarslev, oller - 2001 DBLP
33 What's in a concept: Structural foundations for semantic net.. (context) - Brachman - 1977 DBLP
31 the expressivity of feature logics with negation (context) - Baader, urgen et al. - 1993
30 Expressive ABox reasoning with number restrictions - Haarslev, oller - 2000
29 A lattice-theoretical xpoint theorem and its applications (context) - Tarski - 1955
29 Using automata theory for characterizing the semantics of te.. (context) - Baader - 1996 DBLP
29 Hybrid inferences in KL-ONE-based knowledge representation s.. (context) - Hollunder - 1990 ACM DBLP
28 A near-optimal method for reasoning about action (context) - Pratt - 1980 DBLP
28 A description logic with concrete domains and role-forming p.. - Haarslev, Lutz et al. - 1999
26 Number restrictions on complex roles in description logics: .. - Baader, Sattler - 1996 DBLP
24 The complexity of reasoning with boolean modal logic - Lutz, Sattler - 2000
22 Optimizing description logic subsumption - Horrocks, Patel-Schneider - 1999 DBLP
22 Boosting the correspondence between description logics and p.. - De Giacomo, Lenzerini - 1994 ACM DBLP
22 Complexity of two-variable logic with counting (context) - Pacholski, Szwast et al. - 1997 ACM DBLP
19 Specifying role interaction in concept languages (context) - Hanschke - 1992 DBLP
17 A PSPACE algorithm for graded modal logic - Tobies - 1999 ACM DBLP
17 An empirical analysis of optimization techniques for termino.. (context) - Baader, Franconi et al. - 1994
15 Complexity of terminological reasoning revisited - Lutz - 1999 ACM DBLP
15 Expressive number restrictions in description logics - Baader, Sattler - 1999 DBLP
14 Two-variable logic with counting is decidable (context) - Gr, Martin et al. - 1997 ACM DBLP
13 The taming of converse: Reasoning about two-way computations (context) - Vardi - 1985 DBLP
13 ur Mathematische Logik und Grundlagen der Mathematik (context) - Mortimer, with et al. - 1975
11 Decidability of Class-Based Knowledge Representation Formali.. - De Giacomo - 1995
11 Terminological cycles and the propositional -calculus (context) - Schild - 1994
10 Description logics with symbolic number restrictions - Baader, Sattler - 1996 ACM DBLP
10 A concept language extended with di erent kinds of transitiv.. (context) - Sattler - 1996
8 An epistemic operator for description logics (context) - Donini, Lenzerini et al. - 1998
7 Subsumption in KL-ONE is undecidable (context) - Schmidt-Schau - 1989 ACM DBLP
6 Structural subsumption considered from an automata theoretic.. - Baader, usters et al. - 1998
6 Uni cation of concept terms in description logics (context) - Baader, Narendran - 1998
6 PSPACE reasoning for graded modal logics - Tobies - 2001 DBLP
5 The evolving technology of classi cation-based knowledge rep.. (context) - MacGregor - 1991
4 Patel-Schneider (context) - Peter - 1999
4 Undecidability of subsumption in NIKL (context) - Patel-Schneider - 1989 DBLP
3 Structured inheritance networks (context) - Brachman - 1978
3 Craig's interpolation theorem for modal logics (context) - Gabbay - 1972
3 Concept language with number restrictions and xpoints (context) - De Giacomo, Lenzerini - 1994
2 Arti cial Intelligence (context) - Donini, Massacci et al. - 2000
1 Characterizing the semantics of terminological cycles in ALN.. - usters - 1998
1 A uniform framework for concept de nitions in description lo.. (context) - De Giacomo, Lenzerini - 1997
1 Consistency checking reduced to satis ability of concepts in.. (context) - Hollunder - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dis.uniroma1.it/~degiacom/didattica/esslli03/):
Reasoning on UML Class Diagrams - Daniela Berardi Andrea (2003) (Correct)
Description Logics For Conceptual Data Modeling - Calvanese, Lenzerini, Nardi (1998) (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