Alon Levy, Marie-Christine Rousset  Home/Search
Context Related
| att.com/~levy/aaai96vvt.ps csd.abdn.ac.uk/pub/apreece/EC...Levy.ps washington.edu/homes/al...aaai96vvt.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: att.com/~levy/A...age_const_OID34 (more) From: washington.edu/...arPage_C2815453 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Building complex knowledge based applications requires encoding large amounts of domain knowledge. After acquiring knowledge from domain experts, much of the effort in building a knowledge base goes into verifying that the knowledge is encoded correctly. We consider the problem of verifying hybrid knowledge bases that contain both Horn rules and a terminology in a description logic. Our approach to the verification problem is based on showing a close relationship to the problem of query... (Update)
Similar documents based on text: More All
0.1: International Workshop on Description Logics - Borgida, Lenzerini, Nardi, Nebel (1995) (Correct)
0.1: The Limits on Combining Recursive Horn Rules with Description.. - Levy, Rousset (1996) (Correct)
0.1: CARIN: A Representation Language Combining Horn Rules and.. - Levy, Rousset (1996) (Correct)
Related documents from co-citation: More All
2: Checking an expert system knowledge base for consistency and completeness (context) - Nguyen, Pekins et al. - 1985
2: Loiseau. Refinement of Knowledge Bases Based on Consistency. ECAI, p. 845849 (1992).
2: Inconsistency and redundancy checking for quasifirst -order-logic knowledge base.. (context) - Ginsberg, Williamson - 1993
BibTeX entry: (Update)
Levy, A., and Rousset., M. 1996. Verification of knowledge bases based on containment checking. In Proceedings of the Thirteen National Conference on Artificial Intelligence, 585--591. AAAI Press. http://citeseer.ist.psu.edu/article/levy96verification.html More
@inproceedings{ levy96verification,
author = "Alon Y. Levy and Marie-Christine Rousset",
title = "Verification of Knowledge Bases Based on Containment Checking",
booktitle = "{AAAI}/{IAAI}, Vol. 1",
pages = "585-591",
year = "1996",
url = "citeseer.ist.psu.edu/article/levy96verification.html" }
Citations (may not include all citations):981 Principles of Database and Knowledge-base Systems (context) - Jeffrey - 1989
480 An overview of the KL-ONE knowledge representation system (context) - Ronald, Schmolze - 1985
100 Equivalence among relational expressions with the union and .. (context) - Sagiv, Yannakakis - 1981
96 On conjunctive queries containing inequalities (context) - Klug - 1988
86 A terminological knowledge representation system with comple.. - Baader, Hollunder - 1991
53 Decidability and expressiveness aspects of logic queries (context) - Oded - 1987
48 the equivalence of recursive and nonrecursive datalog progra.. - Surajit, Moshe - 1992
41 Horn clauses and database dependencies (context) - Fagin - 1982
34 A proof procedure for data dependencies (context) - Catriel, Moshe - 1984
31 Semantic query optimization in datalog programs (context) - Alon, Sagiv - 1995
22 the consistency of knowledge bases: the COVADIS system (context) - Marie-Christine - 1988
21 Knowledge base reduction: A new approach to checking knowled.. (context) - Allen - 1988
6 The inference problem for template dependencies (context) - Gurevich, Lewis - 1982
4 Knowledge formal specifications for formal verification: a p.. (context) - Marie-Christine - 1994
2 Knowledge base reduction for verifying rule bases containing.. (context) - Keith, Mark - 1993
1 Algebric dependencies (context) - Yannakakis, Papadimitriou - 1980
1 Inconsistency and redundancy checking for quasi-first-order-.. (context) - the, -- et al. - 1993
1 Marie-Christine 1996a (context) - the, -- et al.
1 Modeling and verifying complex objects: A declarative approa.. (context) - of, focused et al. - 1996
1 Decidable reasoning in terminological knowledge representati.. (context) - Science, Buchheit et al. - 1993
1 A tool for testing confluence of production rules (context) - ACM, Schmolze et al. - 1995
1 The implication and finite implication problems for typed te.. (context) - Information, Recursion et al. - 1984
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.research.att.com/~levy/AbstractsPage_const_OID34.html): More
A Query Language for a Web-Site Management System - Fernandez, Florescu, Levy.. (1997) (Correct)
Creating Abstractions Using Relevance Reasoning - Levy (1994) (Correct)
P-CLASSIC: A tractable probabilistic description logic - Koller, Levy, Pfeffer (1997) (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