Combining Horn rules and description logics in CARIN

Artificial Intelligence

Volumn 104, Issue 1-2, 1998, Pages 165-209

  Levy, Alon Y ^a,c   Rousset, Marie Christine ^b  

^a University of Washington   (United States)

^b CNRS   (France)

^c AT AND T LABS RESEARCH   (United States)

Author keywords

Description logics; Horn rules; Hybrid languages; Knowledge representation; Query containment

Indexed keywords

ALGORITHMS; FORMAL LANGUAGES; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS;

DESCRIPTION LOGICS; HORN RULES;

KNOWLEDGE REPRESENTATION;

EID: 0032156942     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(98)00048-4     Document Type: Article

References (39)

1. A. Abecker, H. Wache, A layer architecture for the integration of rules, inheritance, and constraints, in: Proc. ICLP-94 Post Conference Workshop on the Integration of Declarative Paradigms, 1994.
2. H. Aït-Kaci, A. Podelski, Towards the meaning of LIFE, in: J. Maluszyński and M. Wirsing (Eds.), Proc. 3rd International Symposium on Programming Language Implementation and Logic Programming (Passau, Germany), Springer, Berlin, 1991, pp. 255-274.
3. Y. Arens, C.A. Knoblock, Wei-Min Shen, Query reformulation for dynamic information integration, International Journal on Intelligent and Cooperative Information Systems 6 (2-3) (1996) 99-130.
4. F. Baader, M. Buchheit, B. Hollunder, Cardinality restrictions on concepts, Artificial Intelligence 88 (1-2) (1996) 195-213.
5. F. Baader, B. Hollunder, A terminological knowledge representation system with complete inference algorithm, in: Proc. Workshop on Processing Declarative Knowledge, PDK-91, Lecture Notes in Artificial Intelligence, Springer, Berlin, 1991, pp. 67-86.
6. C. Beeri, A.Y. Levy, M.-C. Rousset, Rewriting queries using views in description logics, in: Proc. 16th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Tucson, AZ, 1997.
7. A. Borgida, On the relationship between description logic and predicate logic, in: Proc. 3rd International Conference on Information and Knowledge Management (CIKM-94), 1994.
8. R.J. Brachman, A. Borgida, D.L. McGuinness, P.F. Patel-Schneider, L.A. Resnick, Living with CLASSIC: When and how to use a KL-ONE-like language, in: J. Sowa (Ed.), Principles of Semantic Networks, Morgan Kaufmann, San Mateo, CA, 1991, pp. 401-456.
9. R.J. Brachman, V.P. Gilbert, H.J. Levesque, An essential hybrid reasoning system: knowledge and symbol level accounts of krypton, in: Proc. 9th International Joint Conference on Artificial Intelligence (IJCAI-85), Los Angeles, CA, 1985.
10. M. Buchheit, M. Jeusfeld, W. Nutt, M. Staudt, Subsumption between queries to object-oriented databases, Information Systems 19 (1) (1994) 33-54.
11. M. Buchheit, F.M. Donini, A. Schaerf, Decidable reasoning in terminological knowledge representation systems, Journal of Artificial Intelligence Research 1 (1993) 109-138.
12. H.-J. Burckert, A resolution principle for constrained logics, Artificial Intelligence 66 (1994) 235-271.
13. M. Cadoli, L. Palopoli, M. Lenzerini, Datalog and description logics: expressive power, in: Proc. International Workshop on Database Programming Languages, 1997.
14. F.M. Donini, M. Lenzerini, D. Nardi, A. Schaerf, A hybrid system with datalog and concept languages, in: E. Ardizzone, S. Gaglio, F. Sorbello (Eds.), Trends in Artificial Intelligence, Lecture Notes in Artificial Intelligence, Vol. 549, Springer, Berlin, 1991, pp. 88-97.
15. F.M. Donini, M. Lenzerini, D. Nardi, W. Nutt, The complexity of concept languages, in: Proc. Second International Conference on Principles of Knowledge Representation and Reasoning (KR-91), Cambridge, MA, 1991.
16. M. Friedman, D. Weld, Efficient execution of information gathering plans, in: Proc. International Joint Conference on Artificial Intelligence (IJCAI-97), Nagoya, Japan, 1997.
17. A. Frisch (Ed.), Working Notes of the AAAI Fall Symposium on Principles of Hybrid Reasoning, American Association for Artificial Intelligence, 1991.
18. Y. Gurevich, H.R. Lewis, The inference problem for template dependencies, in: Proc. First ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1982, pp. 221-229.
19. P. Hanschke, K. Hinkelman, Combining terminological and rule-based reasoning for abstraction processes, DFKI Research Report, 1992.
20. B. Hollunder, F. Baader, Qualifying number restrictions in concept languages, in: Proc. Second International Conference on Principles of Knowledge Representation and Reasoning (KR-91), Cambridge, MA, 1991.
21. A.Y. Levy, A.O. Mendelzon, Y. Sagiv, D. Srivastava, Answering queries using views, in: Proc. 14th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, San Jose, CA, 1995.
22. A.Y. Levy, A. Rajaraman, J.J. Ordille, Query answering algorithms for information agents, in: Proc. AAAI-96, Portland, OR, 1996.
23. A.Y. Levy, M.-C. Rousset, CARIN: a representation language integrating rules and description logics, in: Proc. European Conference on Artificial Intelligence, Budapest, Hungary, 1996.
24. A.Y. Levy, M.-C. Rousset, The limits on combining recursive horn rules and description logics, in: Proc. AAAI-96, Portland, OR, 1996.
25. A.Y. Levy, M.-C. Rousset, Verification of knowledge bases based on containment checking, Artificial Intelligence 101 (1-2) (1998) 227-250.
26. A.Y. Levy, Y. Sagiv, Queries independent of updates, in: Proc. 19th VLDB Conference, Dublin, Ireland, 1993, pp. 171-181.
27. A.Y. Levy, Y. Sagiv, Semantic query optimization in datalog programs, in: Proc. 14th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, San Jose, CA, 1995, pp. 163-173.
28. R.M. MacGregor, A deductive pattern matcher, in: Proc. AAAI-88, St. Paul, MN, 1988, pp. 403-408.
29. R.M. MacGregor, A description classifier for the predicate calculus, in: Proc. AAAI-94, Seattle, WA, 1994, pp. 213-220.
30. M. Mamede, L. Monteiro, A constraint logic programming scheme for taxonomic reasoning, in: Proc. International Conference on Logic Programming, 1992.
31. C. Petalson, The BACK system: an overview, in: Proc. SIGART Bull. 2 (3) (1991) 114-119.
32. Y. Sagiv, Optimizing datalog programs, in: J. Minker, (Ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, Los Altos, CA, 1988, pp. 659-698.
33. M. Schmidt-Schauß, G. Smolka, Attributive concept descriptions with complements, Artificial Intelligence 48 (1) (1991) 1-26.
34. G. Smolka, Feature constraint logics for unification grammars, Journal of Logic Programming 12 (1992) 51-87.
35. J.D. Ullman, Principles of Database and Knowledge-base Systems, Vol. I, II. Computer Science Press, Rockville, MD, 1989.
36. M. Vardi, The implication and finite implication problems for typed template dependencies, Journal of Computer and System Sciences 28 (1) (1984) 3-28.
37. W. Wahlster, E. Andre, W. Finkler, H.J. Profitlich, T. Rist, Plan-based integration of natural language and graphics generation, Artificial Intelligence 63 (1-2) (1993) 387-428.
38. J.R Wright, E.S. Weixelbaum, K. Brown, G.T. Vesonder, S.R. Palmer, J.I. Berman, H.H. Moore, A knowledge-based configurator that supports sales, engineering and manufacturing at AT&T network systems, in: Proc. Conference on Innovative Applications of Artificial Intelligence Conference, 1993, pp. 183-193.
39. J. Yen, A principled approach to reasoning about the specificity of rules, in: Proc. AAAI-90, Boston, MA, 1990, pp. 701-707.