"Reducing" CLASSIC to practice: Knowledge representation theory meets reality

Artificial Intelligence

Volumn 114, Issue 1-2, 1999, Pages 203-237

  Brachman, Ronald J ^a   McGuinness, Deborah L ^b   Patel Schneider, Peter F ^c   Borgida, Alex ^d  

^a AT AND T LABS RESEARCH   (United States)

^b Stanford University   (United States)

^c LUCENT TECHNOLOGIES   (United States)

^d RUTGERS UNIVERSITY   (United States)

Author keywords

AI applications; CLASSIC; Description logics; KL One; Knowledge representation; Technology transfer

Indexed keywords

EID: 0000583708     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(99)00078-8     Document Type: Article

References (45)

1. H. Aït-Kaci, Type subsumption as a model of computation, in: L. Kerschberg (Ed.), Proc. First International Conference on Expert Database Systems, Kiawah Island, South Carolina, 1984, pp. 124-150.
2. F. Baader, B. Hollunder, B. Nebel, H.-J. Profitlich, E. Franconi, An empirical analysis of optimization techniques for terminological representation systems, or, making KRIS get a move on, in: B. Nebel, C. Rich, W. Swartout (Eds.), Principles of Knowledge Representation and Reasoning: Proc. Third International Conference (KR-92), Morgan Kaufmann, San Francisco, CA, 1992, pp. 270-281.
3. F. Baader, R. Küsters, A. Borgida, D. McGuinness, Matching in description logics, J. Logic Comput. 9 (3) (1999) 411-447.
4. A. Borgida, Extensible knowledge representation: The case of description reasoners, J. Artificial Intelligence Res. 10 (1999) 399-434.
5. A. Borgida, R.J. Brachman, D.L. McGuinness, L.A. Resnick, CLASSIC: A structural data model for objects, in: Proc. 1989 ACM SIGMOD International Conference on Management of Data, ACM, New York, 1989, pp. 59-67.
6. A. Borgida, R. Küsters, "What's NOT in a name?": Initial explorations of a structural approach to integrating large concept knowledge bases, Technical Report DCS-TR-391, Rutgers University, Department of Computer Science, Piscataway, NJ, 1999.
7. A. Borgida, P.F. Patel-Schneider, A semantics and complete algorithm for subsumption in the CLASSIC description logic, J. Artificial Intelligence Res. 1 (1994) 277-308.
8. A. Borgida, D.L. McGuinness, Inquiring about frames, in: L.C. Aiello, J. Doyle, S.C. Shapiro (Eds.), Principles of Knowledge Representation and Reasoning: Proc. Fifth International Conference (KR-96), Morgan Kaufmann, San Francisco, CA, 1996, pp. 340-349.
9. R.J. Brachman, A structural paradigm for representing knowledge, Ph.D. Thesis, Harvard University, Cambridge, MA, 1977. Revised version published as BBN Report No. 3605, Bolt Beranek and Newman, Cambridge, MA, 1978.
10. R.J. Brachman, "Reducing" CLASSIC to practice: Knowledge representation theory meets reality, in: B. Nebel, C. Rich, W. Swartout (Eds.), Principles of Knowledge Representation and Reasoning: Proc. Third International Conference (KR-92), Morgan Kaufmann, San Francisco, CA, 1992, pp. 247-258.
11. R.J. Brachman, H.J. Levesque, The tractability of subsumption in frame-based description languages, in: Proc. AAAI-84, Austin, TX, 1984, pp. 34-37.
12. R.J. Brachman, J.G. Schmolze, An overview of the KL-ONE knowledge representation system, Cognitive Sci. 9 (2) (1985) 171-216.
13. R.J. Brachman, R.E. Fikes, H.J. Levesque, KRYPTON: Integrating terminology and assertion, in: Proc. AAAI-83, Washington, DC, 1983, pp. 31-35.
14. R.J. Brachman, D.L. McGuinness, P.F. Patel-Schneider, L.A. Resnick, A. Borgida, Living with CLASSIC: When and how to use a KL-ONE-like language, in: J.F. Sowa (Ed.), Principles of Semantic Networks: Explorations in the Representation of Knowledge, Morgan Kaufmann, San Francisco, CA, 1991, pp. 401-456.
15. R.J. Brachman, P.G. Selfridge, L.G. Terveen, B. Altman, A. Borgida, F. Halper, T. Kirk, A. Lazar, D.L. McGuinness, L.A. Resnick, Knowledge representation support for data archaeology, in: Proc. First International Conference on Information and Knowledge Management, Baltimore, MD, 1992, pp. 457-464.
16. P. Bresciani, E. Franconi, S. Tessaris, Implementing and testing expressive description logics: A preliminary report, in: G. Ellis, R.A. Levinson, A. Fall, V. Dahl (Eds.), Knowledge Retrieval, Use and Storage for Efficiency: Proc. First International KRUSE Symposium, 1995, pp. 28-39.
17. V.K. Chaudhri, A. Farquhar, R. Fikes, P.D. Karp, Open knowledge base connectivity 2.0, Technical Report, Technical Report KSL-09-06, Stanford University KSL, 1998.
18. V.K. Chaudhri, A. Farquhar, R. Fikes, P.D. Karp, J. Rice, The generic frame protocol 2.0, Technical Report, Artificial Intelligence Center, SRI International, Menlo Park, CA, 1997.
19. P. Devanbu, R.J. Brachman, B. Ballard, P.G. Selfridge, LaSSIE: A knowledge-based software information system, Comm. ACM 34 (5) (1991) 35-49.
20. F.M. Donini, M. Lenzerini, D. Nardi, W. Nutt, Tractable concept languages, in: Proc. IJCAI-91, Sydney, Australia, 1991, pp. 453-458.
21. F.M. Donini, M. Lenzerini, D. Nardi, A. Schaerf, W. Nutt, Adding epistemic operators to concept languages, in: B. Nebel, C. Rich, W. Swartout (Eds.), Principles of Knowledge Representation and Reasoning: Proc. Third International Conference (KR-92), Morgan Kaufmann, San Francisco, CA, 1992, pp. 342-353.
22. J. Doyle, R. Patil, Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services, Artificial Intelligence 48 (3) (1991) 261-297.
23. I. Horrocks, Using an expressive description logic: FaCT or fiction?, in: A.G. Cohn, L. Schubert, S.C. Shapiro (Eds.), Principles of Knowledge Representation and Reasoning: Proc. Sixth International Conference (KR-98), Morgan Kaufmann, San Francisco, CA, 1998, pp. 636-647.
24. R.M. MacGregor, A deductive pattern matcher, in: Proc. AAAI-88, St. Paul, MN, 1988, pp. 403-408.
25. D.L. McGuinness, Explaining reasoning in description logics, Ph.D. Thesis, Department of Computer Science, Rutgers University, Piscataway, NJ, 1996; also: Rutgers Technical Report Number LCSR-TR-277.
26. D.L. McGuinness, Ontological issues for knowledge-enhanced search, in: Frontiers in Artificial Intelligence and Applications, IOS Press, Washington, DC, to appear.
27. D.L. McGuinness, A. Borgida, Explaining subsumption in description logics, in: Proc. IJCAI-95, Montreal, Quebec, 1995, pp. 816-821.
28. D.L. McGuinness, P.F. Patel-Schneider, Usability issues in knowledge representation systems, in: Proc. AAAI-98, Madison, WI, 1998, pp. 608-614.
29. D.L. McGuinness, PF. Patel-Schneider, L.A. Resnick, C. Isbell, M. Parker, C. Welty, A description logic-based configuration for the web, SIGART Bulletin 9 (2) (1998).
30. D.L. McGuinness, L.A. Resnick, C. Isbell, Description logic in practice: A CLASSIC application, in: Proc. IJCAI-95, Montreal, Quebec, 1995, pp. 2045-2046.
31. D.L. McGuinness, J.R. Wright, Conceptual modeling for configuration: A description logic-based configurator platform, Artificial Intelligence for Engineering Design, Analysis, and Manufacturing Journal (Special Issue on Configuration) (1998).
32. D.L. McGuinness, J.R. Wright, An industrial strength description logic-based configuration platform, IEEE Intelligent System (1998).
33. M.G. Moser, An overview of NIKL, the new implementation of KL-ONE, Technical Report 5421, BBN Laboratories, Cambridge, MA, 1983, Part of a collection entitled "Research in Knowledge Representation for Natural Language Understanding - Annual Report, 1 September 1982-31 August 1983".
34. J. Mylopoulos, P. Bernstein, H.K.T. Wong, A language facility for designing database-intensive applications, ACM Trans. Database Systems 5 (2) (1980) 185-207.
35. B. Nebel, Terminological reasoning is inherently intractable, Artificial Intelligence 43 (2) (1990) 235-249.
36. B. Nebel, C. Rich, W. Swartout (Eds.), Principles of Knowledge Representation and Reasoning: Proc. Third International Conference (KR-92), Morgan Kaufmann, San Francisco, CA, 1992.
37. P.F. Patel-Schneider, Small can be beautiful in knowledge representation, in: Proc. IEEE Workshop on Principles of Knowledge-Based Systems, Denver, CO, 1984, pp. 11-16.
38. P.F. Patel-Schneider, Undecidability of subsumption in NIKL, Artificial Intelligence 39 (2) (1989) 263-272.
39. P.F. Patel-Schneider, DLP system description, in: E. Franconi, G. De Giacomo, R.M. MacGregor, W. Nutt, C.A. Welty (Eds.), Proc. 1998 International Workshop on Description Logics, 1998, pp. 87-89; available electronically as a CEUR publication at http://SunSite.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-11/.
40. C. Peltason, K. von Luck, B. Nebel, A. Schmiedel, The user's guide to the BACK system, KIT-Report 42, Fachbereich Informatik, Technische Universität Berlin, 1987.
41. A. Schaerf, Reasoning with individuals in concept languages, Data and Knowledge Engineering 13 (2) (1994) 141-176.
42. M. Schmidt-Schauss, Subsumption in KL-ONE is undecidable, in: R.J. Brachman, H.J. Levesque, R. Reiter (Eds.), Principles of Knowledge Representation and Reasoning: Proc. First International Conference (KR-89), Morgan Kaufmann, San Francisco, CA, 1989, pp. 421-431.
43. P. Selfridge, Knowledge representation support for a software information system, in: Proc. IEEE Conference on Artificial Intelligence Applications, Miami, FL, 1991, pp. 134-140.
44. K. von Luck, B. Nebel, C. Peltason, A. Schmiedel, BACK to consistency and incompleteness, in: H. Stoyan (Ed.), Proc. GWAI-85 - The 9th German Workshop on Artificial Intelligence, Springer, Berlin, 1986, pp. 245-257.
45. 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. Innovative Applications of Artificial Intelligence Conference, Washington, DC, 1993, pp. 183-193.