Deborah L. McGuinness  Home/Search
Context Related
| rutgers.edu/pub/tech...lcsrtr277.ps.Z 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: att.com/~dlm/dlm_papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Knowledge-based systems, like other software systems, need to be debugged while being developed. In addition, systems providing "expert advice" need to be able to justify their conclusions. Traditionally, developers have been supported during debugging by tools which offer a trace of the operations performed by the system (e.g., a sequence of rule firings in a rule-based expert system) or, more generally by an explanation facility for the reasoner. Description Logics, formal systems developed... (Update)
Cited by: More
Debugging OWL Ontologies - Bijan Parsia Baltimore (2005) (Correct)
Towards Explaining Semantic Matching - McGuinness, Shvaiko, Giunchiglia.. (2004) (Correct)
Temporal Concept Analysis - Wolff (Correct)
Active bibliography (related documents): More All
1.4: Explaining Subsumption in Description Logics - McGuinness, Borgida (1995) (Correct)
1.0: Description Logics in Data Management - Borgida (1995) (Correct)
1.0: Closed Terminologies and Temporal Reasoning in Description Logic.. - Weida (1996) (Correct)
Similar documents based on text: More All
0.3: The Design And Evaluation Of Web Prefetching and Caching Techniques - Davison (2002) (Correct)
0.3: "Reducing" CLASSIC to Practice: Knowledge.. - Brachman.. (1992) (Correct)
0.2: Matching in Description Logics with Existential Restrictions - Baader, Küsters (1999) (Correct)
Related documents from co-citation: More All
11: Explaining ALC subsumption - Borgida, Franconi et al. - 1999
11: McGuinness and Paulo Pinheiro da Silva (context) - Deborah
8: Explaining subsumption in Description Logic - McGuinness, Borgida - 1995
BibTeX entry: (Update)
D.L. McGuinness. Explaining Reasoning in Description Logics. PhD thesis, Department of Computer Science, Rutgers University, October, 1996. http://citeseer.ist.psu.edu/mcguinness96explaining.html More
@phdthesis{ mcguinness96explaining,
author = "Deborah {McGuinness}",
title = "Explaining Reasoning in Description Logics",
address = "New Brunswick, New Jersey",
year = "1996",
url = "citeseer.ist.psu.edu/mcguinness96explaining.html" }
Citations (may not include all citations):1726 Graph-based algorithms for boolean function manipulation - Bryant - 1986
779 Symbolic model checking: 10 20 states and beyond - Burch, Clarke et al. - 1990
363 Programming in Prolog (context) - Clocksin, Mellish - 1981
337 Logic and conversation (context) - Grice - 1975
248 Retrieving and integrating data from multiple information sy.. - Arens, Chee et al. - 1994
231 CLASSIC: A Structural Data Model for Objects - Borgida, Brachman et al. - 1989
207 Attributive concept descriptions with complements (context) - Schmidt-Schauss, Smolka - 1991
197 The Complexity of Concept Languages - Donini, Lenzerini et al. - 1991
189 Living with classic: When and How to Use a kl-one-Like Langu.. - Brachman, McGuinness et al. - 1991
169 Data model and query evaluation in global information system.. - Levy, Srivastava et al. - 1995
152 Decidable Reasoning in Terminological Knowledge Representati.. - Buchheit, Donini et al. - 1993
132 Building large knowledge-based systems : representation and .. (context) - Lenat, Guha - 1990
129 Computer-Based Medical Consultations: MYCIN (context) - Shortliffe - 1976
116 A Semantics and Complete Algorithm for Subsumption in the cl.. - Borgida, Patel-Schneider - 1994
112 The Art of Prolog: Advanced Programming Techniques (context) - Sterling, Shapiro - 1986
111 The Evolving Technology of Classification-based Knowledge Re.. (context) - MacGregor - 1991
92 The Information Manifold - Kirk, Levy et al. - 1995
89 KRIS : Knowledge Representation and Inference System (context) - Baader, Hollunder - 1991
88 Subsumption algorithms for concept description languages - Hollunder, Nutt et al. - 1990
87 Query answering algorithms for information agents - Levy, Rajaraman et al. - 1996
86 A Deductive Pattern Matcher (context) - MacGregor - 1988
74 The loom Knowledge Representation Language (context) - MacGregor, Bates - 1987
72 A fundamental Tradeoff in Knowledge Representation and Reaso.. (context) - Levesque, Brachman - 1985
64 Computing Least Common Subsumers in Description Logics - Cohen, Borgida et al. - 1992
63 Inside the loom Description Classifier (context) - MacGregor - 1991
60 Adding Epistemic Operators to Concept Languages - Donini, Lenzerini et al. - 1992
49 A lattice theoretic approach to computation based on a calcu.. (context) - Ait-Kaci - 1984
49 Learning the CLASSIC Description Logic: Theoretical and Expe.. - Cohen, Hirsh - 1994
48 The epistemology of a rule-based expert system: A framework .. (context) - Clancey - 1983
48 An overview of cooperative answering - Gaasterland, Godfrey et al. - 1992
47 XPLAIN: A system for creating and explaining expert consulti.. (context) - Swartout - 1983
39 From Type Systems to Knowledge Representation: Natural Seman.. (context) - Borgida - 1992
39 Integrated Support for Data Archaeology - Brachman, Selfridge et al. - 1993
39 Understanding the Control Flow of Prolog Programs (context) - Byrd - 1980
36 An execution model and graphical debugger for logic programm.. (context) - Eisenstadt, Brayshaw et al. - 1988
29 Explaining Subsumption in Description Logics - McGuinness, Borgida - 1995
28 Plan-based Terminological Reasoning (context) - Devanbu, Litman - 1991
28 Asking Queries about Frames (context) - Borgida, McGuinness - 1996
28 On automatic reasoning for schema integration (context) - Sheth, Gala et al. - 1993
27 Relaxation as a platform for cooperative answering - Gaasterland, Godfrey et al. - 1992
26 expect: Explicit Representations for Flexible Acquisition - Swartout, Gil - 1995
26 Recent Developments in nikl (context) - Kaczmarek, Bates et al. - 1986
25 Deep versus compiled knowledge approaches to diagnostic prob.. (context) - Chandrasekaran, Mittal - 1982
24 Knowledge Refinement in a Reflective Architecture (context) - Gil - 1994
24 Computers and Mathematics With Applications (context) - Woods, Schmolze et al. - 1992
24 Knowledge mining by imprecise querying: a classification-bas.. (context) - Anwar, Beck et al. - 1992
22 classic description and reference manual for the Common Lisp.. (context) - Resnick, Borgida et al. - 1995
21 Reconstructive expert system explanation (context) - Wick, Thompson - 1992
20 The translation of formal proofs into English (context) - Chester - 1976
20 Presenting Machine-Found Proofs - Huang, Fiedler - 1996
19 Term subsumption languages in knowledge representation (context) - Patel-Schneider, Owsnicki-Klewe et al. - 1990
19 Commitment-Based Software Development - Mark, Tyler et al. - 1992
18 Building a Federated Relational Database System: An Approach.. - Blanco, Illarramendi et al. - 1994
18 Omega-MKRP: A Proof Development Environment - Huang, Kerber et al. - 1994
17 An overview of Life (context) - Ait-Kaci, Podelski - 1990
16 Explanation in Second Generation Expert Systems (context) - Swartout, Moore
16 Cooperative Responses in Deductive Databases - Gal - 1988
14 Recognition Algorithms for the Loom Classifier - MacGregor, Brill - 1992
14 Natural Language Explanation of Natural Deduction Proofs (context) - Edgar, Pelletier - 1993
13 Deriving inference rules for terminological logics (context) - Royer, Quantz - 1992
12 The CLASSIC knowledge representation system (context) - Brachman, Borgida et al. - 1989
12 and Maintainable (context) - Neches, Swartout et al. - 1985
12 Logic for Computer Science (context) - Reeves, Clarke - 1990
12 The CLASSIC knowledge representation system (context) - Brachman, Borgida et al. - 1992
11 The Use of Description Logics in KBSE Systems - Devanbu, Jones - 1994
11 Explanation in bayesian belief networks (context) - Suermondt - 1992
10 A Refined Architecture for Terminological Systems: Terminolo.. - Buchheit, Donini et al. - 1995
9 Knowledge Representation Support for a Software Information .. (context) - Selfridge - 1991
9 Principles of Semantic Networks: Explorations in the represe.. (context) - Sowa - 1991
9 Reasoning with black boxes: Handling test concepts in classi.. (context) - Borgida, Isbell et al. - 1996
8 Computational Logic Inc (context) - An, Reading et al. - 1992
8 Customizable Classification Inference in the ProtoDL Descrip.. (context) - Borgida, Brachman - 1992
8 Towards the Systematic Development of Description Logic Reas.. - Borgida - 1992
8 Studies in the Logic of Explanation (context) - Hempel, Oppenheim - 1960
7 A system which explains its reasoning (context) - blah - 1980
7 Subsumption between queries in object-oriented databases (context) - Buchheit, Jeusfeld et al. - 1994
7 Explaining Program Executions in Deductive Systems - Arora, Ramakrishnan et al. - 1993
6 proverb -- A System Explaining Machine-Found Proofs - Huang - 1994
6 teiresias: Applications of meta-level knowledge (context) - Davis, Lenat - 1982
5 loom reference manual: Version (context) - Brill - 1993
5 Description Logic in Practice: A classic Application - McGuinness, Resnick et al. - 1995
4 amord: a deductive procedure system (context) - De Kleer, Doyle et al. - 1978
4 Natural Semantics Rapport de Recherche No (context) - Kahn
4 Making the Difference: A Subtraction Operation for Descripti.. - Teege - 1994
4 Knowledge Formal Specifications for Formal Verification : A .. (context) - Rousset - 1994
3 International Workshop on Description Logics - Borgida, Lenzerini et al. - 1995
3 Formal Verification of Knowledge Bases Focused on Consistenc.. (context) - Loiseau, Rousset - 1993
3 Making description logic based knowledge represenation syste.. (context) - McGuinness - 1992
3 Closed Terminologies in Description Logic - Weida - 1996
3 classic reference manual: release (context) - Weixelbaum - 1993
3 an and D. L. McGuinness. Knowledge representation, connectio.. (context) - Brachm - 1988
3 Cooperative Explanation in Deductive Databases - Gaasterland - 1992
3 Towards finding the reasons behind -- generating the content.. (context) - Horacek - 1991
2 Consistency of Structured Knowledge: A Formal Framework Base.. (context) - Hors, Rousset - 1995
2 Theo: An Interactive Proof Development System (context) - Despeyroux - 1992
2 Description Logic-based Configuration for Consumers (context) - McGuinness, Resnick - 1995
2 Computational Complexity of Terminologic Reasoning in back (context) - Nebel - 1988
2 The Knowledge Representation Project (context) - Robbins, Manual - 1986
2 An earlier version is Available as Rutgers Tech (context) - Borgida, in et al.
2 An Intelligent Visualization System for Earth Science Data A.. (context) - Ahmed, Wanger et al. - 1994
2 A justification-based theory of explanation (context) - Paek - 1991
1 Where are all the users (context) - McGuinness - 1994
1 Seen as a Design Task: A Case Study (context) - Greboval, Kassel et al. - 1994
1 YAEF: Yet Another Epistemic Formalism (context) - Hanschke - 1994
1 Seen as a Design Task: A Case Study (context) - Horacek, of - 1992
1 German Research Center for Artificial Intelligence (context) - Nebel, Peltason et al. - 1991
1 The CLASSIC knowledge representation system: Implementation (context) - McGuinness - 1991
1 Description Logic-based Knowledge Representation (context) - Patel-Schneider, McGuinness et al. - 1995
1 Oles Scalable and Expressive Medical Terminologies (context) - Mays, Weida et al. - 1996
1 Department of Compter and Information Science School of Engi.. (context) - Felty, Proof et al. - 1988
1 Available by anonymous ftp on pogo (context) - AT
1 Epistemic ALC-Knowledge Bases (context) - Donini, Nardi et al. - 1995
1 Working Notes of the 1994 Description Logic Workshop (context) - Baader, Lenzerini et al. - 1994
1 Conceptual Modeling using Knowledge Representation: Configur.. (context) - Wright, McGuinness et al. - 1995
1 AAAI Fall Symposium Series Symposium: Issues in Description .. (context) - Mays, MacGregor et al. - 1992
1 An Explanation Facility for the rosie Knowledge Engineering .. (context) - Waterman, Paul et al. - 1986
1 Conceptual modeling for configurators (context) - Wright, McGuinness et al. - 1995
1 Knowledge Systems and Prolog: developing expert (context) - Walker, McCord et al. - 1990
1 Swartout Description-Logic Knowledge Representation System S.. (context) - Patel-Schneider - 1993
1 Zabowski THEO: A Framework for Problem Solving and Learning (context) - Mitchell, Cheng et al. - 1995
1 Techniche Universitat Berlin (context) - von Luck, Nebel et al. - 1987
1 An Epistemological evel Interface for cyc (context) - Derthick - 1990
1 Refining the Structure of Terminological SystemsL Terminolog.. (context) - Buchheit, Donini et al. - 1994
1 Eighth National Conference on Artificial Intelligence (context) - Workshop, Explanation - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.research.att.com/~dlm/dlm_papers.html): More
CLASSIC: A Structural Data Model for Objects - Borgida, Brachman, McGuinness, .. (1989) (Correct)
Description Logic in Practice: A classic Application - McGuinness, Resnick, Isbell (1995) (Correct)
Integrated Support For Data Archaeology - Brachman (1993) (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