{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T05:41:51Z","timestamp":1750484511105},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642024627"},{"type":"electronic","value":"9783642024634"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02463-4_23","type":"book-chapter","created":{"date-parts":[[2009,7,3]],"date-time":"2009-07-03T04:23:16Z","timestamp":1246594996000},"page":"436-465","source":"Crossref","is-referenced-by-count":4,"title":["\u201cReducing\u201d CLASSIC to Practice: Knowledge Representation Theory Meets Reality"],"prefix":"10.1007","author":[{"given":"Ronald J.","family":"Brachman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Borgida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deborah L.","family":"McGuinness","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter F.","family":"Patel-Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"A\u00eft-Kaci, H.: Type subsumption as a model of computation. In: Kerschberg, L. (ed.) Proceedings of the First International Conference on Expert Database Systems, Kiawah Island, South Carolina, October 1984, pp. 124\u2013150 (1984)"},{"key":"23_CR2","unstructured":"Baader, F., Hollunder, B., Nebel, B., Profitlich, H.-J., Franconi, E.: An empirical analysis of optimization techniques for terminological representation systems, or, making KRIS get a move on. In: Nebel, et al. (eds.) [35], pp. 270\u2013281"},{"issue":"3","key":"23_CR3","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1093\/logcom\/9.3.411","volume":"9","author":"F. Baader","year":"1999","unstructured":"Baader, F., K\u00fcsters, R., Borgida, A., McGuinness, D.: Matching in description logics. Journal of Logic and Computation\u00a09(3), 411\u2013447 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"23_CR4","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1613\/jair.584","volume":"10","author":"A. Borgida","year":"1999","unstructured":"Borgida, A.: Extensible knowledge representation: the case of description reasoners. Journal of Artificial Intelligence Research\u00a010, 399\u2013434 (1999)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"23_CR5","first-page":"59","volume-title":"Proceedings of the 1989 ACM SIGMOD International Conference on Mangement of Data","author":"A. Borgida","year":"1989","unstructured":"Borgida, A., Brachman, R.J., McGuinness, D.L., Resnick, L.A.: CLASSIC: A structural data model for objects. In: Proceedings of the 1989 ACM SIGMOD International Conference on Mangement of Data, June 1989, pp. 59\u201367. Association for Computing Machinery, New York (1989)"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Borgida, A., K\u00fcsters, R.: What\u2019s NOT in a name?: Initial explorations of a structural approach to intgerating large concept knowledge bases. Technical Report DCS-TR-391, Rutgers University, Dept. of Computer Science (August 1999)","DOI":"10.25368\/2022.101"},{"key":"23_CR7","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1613\/jair.56","volume":"1","author":"A. Borgida","year":"1994","unstructured":"Borgida, A., Patel-Schneider, P.F.: A semantics and complete algorithm for subsumption in the Classic description logic. Journal of Artificial Intelligence Research\u00a01, 277\u2013308 (1994)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"23_CR8","first-page":"340","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR 1996)","author":"A. Borgida","year":"1996","unstructured":"Borgida, A., McGuinness, D.L.: Inquiring about frames. In: Aiello, L.C., Doyle, J., Shapiro, S.C. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR 1996), November 1996, pp. 340\u2013349. Morgan Kaufmann Publishers, San Francisco (1996)"},{"key":"#cr-split#-23_CR9.1","unstructured":"Brachman, R.J.: A Structural Paradigm for Representing Knowledge. PhD thesis, Harvard University, Cambridge, MA (1977);"},{"key":"#cr-split#-23_CR9.2","unstructured":"BBN Report No.??3605, Bolt Beranek and Newman, Inc., Cambridge, MA (July 1978) (revised version)"},{"key":"23_CR10","first-page":"31","volume-title":"Proceedings of the Third National Conference on Artificial Intelligence","author":"R.J. Brachman","year":"1983","unstructured":"Brachman, R.J., Fikes, R.E., Levesque, H.J.: KRYPTON: Integrating terminology and assertion. In: Proceedings of the Third National Conference on Artificial Intelligence, Washington, DC, August 1983, pp. 31\u201335. American Association for Artificial Intelligence, Menlo Park (1983)"},{"key":"23_CR11","first-page":"34","volume-title":"Proceedings of the Fourth National Conference on Artificial Intelligence","author":"R.J. Brachman","year":"1984","unstructured":"Brachman, R.J., Levesque, H.J.: The tractability of subsumption in frame-based description languages. In: Proceedings of the Fourth National Conference on Artificial Intelligence, Austin, Texas, August 1984, pp. 34\u201337. American Association for Artificial Intelligence, Menlo Park (1984)"},{"key":"23_CR12","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1016\/B978-1-4832-0771-1.50022-9","volume-title":"Principles of Semantic Networks: Explorations in the representation of knowledge","author":"R.J. Brachman","year":"1991","unstructured":"Brachman, R.J., McGuinness, D.L., Patel-Schneider, P.F., Resnick, L.A., Borgida, A.: Living with CLASSIC: When and how to use a KL-ONE-like language. In: Sowa, J.F. (ed.) Principles of Semantic Networks: Explorations in the representation of knowledge, pp. 401\u2013456. Morgan Kaufmann Publishers, San Francisco (1991)"},{"issue":"2","key":"23_CR13","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"R.J. Brachman","year":"1985","unstructured":"Brachman, R.J., Schmolze, J.G.: An overview of the KL-ONE knowledge representation system. Cognitive Science\u00a09(2), 171\u2013216 (1985)","journal-title":"Cognitive Science"},{"key":"23_CR14","unstructured":"Brachman, R.J., Selfridge, P.G., Terveen, L.G., Altman, B., Borgida, A., Halper, F., Kirk, T., Lazar, A., McGuinness, D.L., Resnick, L.A.: Knowledge representation support for data archaeology. In: First International Conference on Information and Knowledge Management, Baltimore, MD, November 1992, pp. 457\u2013464 (1992)"},{"key":"23_CR15","unstructured":"Bresciani, P., Franconi, E., Tessaris, S.: Implementing and testing expressive description logics: a preliminary report. In: Ellis, G., Levinson, R.A., Fall, A., Dahl, V. (eds.) Knowledge Retrieval, Use and Storage for Efficiency: Proceedings of the First International KRUSE Symposium, pp. 28\u201339 (1995)"},{"key":"23_CR16","unstructured":"Chaudhri, V.K., Farquhar, A., Fikes, R., Karp, P.D.: Open Knowledge Base Connectivity 2.0. Technical report, Technical Report KSL-09-06, Stanford University KSL (1998)"},{"key":"23_CR17","unstructured":"Chaudhri, V.K., Farquhar, A., Fikes, R., Karp, P.D., Rice, J.: The Generic Frame Protocol 2.0. Technical report, Artificial Intelligence Center, SRI International, Menlo Park, CA (July 1997)"},{"issue":"5","key":"23_CR18","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/103167.103172","volume":"34","author":"P. Devanbu","year":"1991","unstructured":"Devanbu, P., Brachman, R.J., Ballard, B., Selfridge, P.G.: LaSSIE: A knowledge-based software information system. Communications of the ACM\u00a034(5), 35\u201349 (1991)","journal-title":"Communications of the ACM"},{"key":"23_CR19","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W.: Tractable concept languages. In: Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. International Joint Committee on Artificial Intelligence, Sydney, Australia, August 1991, pp. 458\u2013453 (1991)"},{"key":"23_CR20","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A., Nutt, W.: Adding epistemic operators to concept languages. In: Nebel et al. (ed.) [35], pp. 342\u2013353"},{"issue":"3","key":"23_CR21","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/0004-3702(91)90029-J","volume":"48","author":"J. Doyle","year":"1991","unstructured":"Doyle, J., Patil, R.: Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services. Artificial Intelligence\u00a048(3), 261\u2013297 (1991)","journal-title":"Artificial Intelligence"},{"key":"23_CR22","first-page":"636","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR 1998)","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I.: Using an expressive description logic: FaCT or fiction? In: Cohn, A.G., Schubert, L., Shapiro, S.C. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR 1998), June 1998, pp. 636\u2013647. Morgan Kaufmann Publishers, San Francisco (1998)"},{"key":"23_CR23","unstructured":"International Joint Committee on Artificial Intelligence. In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (August 1995)"},{"key":"23_CR24","first-page":"403","volume-title":"Proceedings of the Seventh National Conference on Artificial Intelligence","author":"R.M. MacGregor","year":"1988","unstructured":"MacGregor, R.M.: A deductive pattern matcher. In: Proceedings of the Seventh National Conference on Artificial Intelligence, St. Paul, Minnesota, August 1988, pp. 403\u2013408. American Association for Artificial Intelligence, Menlo Park (1988)"},{"key":"23_CR25","unstructured":"McGuinness, D.L.: Explaining Reasoning in Description Logics. PhD thesis, Department of Computer Science, Rutgers University (October 1996); also available as Rutgers Technical Report Number LCSR-TR-277"},{"key":"23_CR26","unstructured":"McGuinness, D.L.: Ontological issues for knowledge-enhanced search. In: Proceedings of Formal Ontology in Information Systems. IOS-Press, Washington (1998); also In: Frontiers in Artificial Intelligence and Applications (to appear)"},{"key":"23_CR27","unstructured":"McGuinness, D.L., Borgida, A.: Explaining subsumption in Description Logics. In: IJCAI 1995 [23], pp. 816\u2013821"},{"key":"23_CR28","doi-asserted-by":"crossref","unstructured":"McGuinness, D.L., Patel-Schneider, P.F., Resnick, L.A., Isbell, C., Parker, M., Welty, C.: A description logic-based configuration for the web. SIGART Bulletin\u00a09(2) (fall, 1998)","DOI":"10.1145\/1056754.1056756"},{"key":"23_CR29","unstructured":"McGuinness, D.L., Resnick, L.A., Isbell, C.: Description Logic in practice: A CLASSIC application. In: IJCAI-1995 [23], pp. 2045\u20132046"},{"key":"23_CR30","doi-asserted-by":"crossref","unstructured":"McGuinness, D.L., Wright, J.R.: Conceptual modeling for configuration: A description logic-based configurator platform. Artificial Intelligence for Engineering Design, Analysis, and Manufacturing Journal - Special Issue on Configuration (1998)","DOI":"10.1017\/S089006049812406X"},{"key":"23_CR31","doi-asserted-by":"crossref","unstructured":"McGuinness, D.L., Wright, J.R.: An industrial strength description logic-based configuration platform. IEEE Intelligent Systems (1998)","DOI":"10.1109\/5254.708435"},{"key":"23_CR32","unstructured":"Moser, M.G.: An overview of NIKL, the new implementation of KL-ONE. Technical Report 5421, BBN Laboratories, 1983. Part of a collection entitled \u201cResearch in Knowledge Representation for Natural Language Understanding\u2014Annual Report (September 1, 1982\u2013August 31, 1983)"},{"issue":"2","key":"23_CR33","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1145\/320141.320150","volume":"5","author":"J. Mylopoulos","year":"1980","unstructured":"Mylopoulos, J., Bernstein, P., Wong, H.K.T.: A language facility for designing database-intensive applications. ACM Transactions on Database Systems\u00a05(2), 185\u2013207 (1980)","journal-title":"ACM Transactions on Database Systems"},{"issue":"2","key":"23_CR34","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0004-3702(90)90087-G","volume":"43","author":"B. Nebel","year":"1990","unstructured":"Nebel, B.: Terminological reasoning is inherently intractable. Artificial Intelligence\u00a043(2), 235\u2013249 (1990)","journal-title":"Artificial Intelligence"},{"volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR 1992)","year":"1992","key":"23_CR35","unstructured":"Nebel, B., Rich, C., Swartout, W. (eds.): Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR 1992). Morgan Kaufmann Publishers, San Francisco (1992)"},{"key":"23_CR36","first-page":"11","volume-title":"Proceedings of the IEEE Workshop on Principles of Knowledge-Based Systems","author":"P.F. Patel-Schneider","year":"1984","unstructured":"Patel-Schneider, P.F.: Small can be beautiful in knowledge representation. In: Proceedings of the IEEE Workshop on Principles of Knowledge-Based Systems, Denver, Colorado, December 1984, pp. 11\u201316. IEEE Computer Society, Los Alamitos (1984)"},{"issue":"2","key":"23_CR37","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(89)90030-1","volume":"39","author":"P.F. Patel-Schneider","year":"1989","unstructured":"Patel-Schneider, P.F.: Undecidability of subsumption in NIKL. Artificial Intelligence\u00a039(2), 263\u2013272 (1989)","journal-title":"Artificial Intelligence"},{"key":"23_CR38","unstructured":"Patel-Schneider, P.F.: DLP system description. In: Franconi, E., De Giacomo, G., MacGregor, R.M., Nutt, W., Welty, C.A. (eds.) Proceedings of the 1998 International Workshop on Description Logics, June 1998, pp. 87\u201389 (1998); available electronically as a CEUR publication at http:\/\/SunSite.Informatik.RWTH-Aachen.DE\/Publications\/CEUR-WS\/Vol-11\/"},{"key":"23_CR39","unstructured":"Peltason, C., von Luck, K., Nebel, B., Schmiedel, A.: The user\u2019s guide to the BACK system. KIT-Report\u00a042, Fachbereich Informatik, Technische Universit\u00e4t Berlin (January 1987)"},{"issue":"2","key":"23_CR40","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0169-023X(94)90002-7","volume":"13","author":"A. Schaerf","year":"1994","unstructured":"Schaerf, A.: Reasoning with individuals in concept languages. Data and Knowledge Engineering\u00a013(2), 141\u2013176 (1994)","journal-title":"Data and Knowledge Engineering"},{"key":"23_CR41","first-page":"421","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the First International Conference (KR 1989)","author":"M. Schmidt-Schauss","year":"1989","unstructured":"Schmidt-Schauss, M.: Subsumption in KL-ONE is undecidable. In: Brachman, R.J., Levesque, H.J., Reiter, R. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the First International Conference (KR 1989), May 1989, pp. 421\u2013431. Morgan Kaufmann Publishers, San Francisco (1989)"},{"key":"23_CR42","doi-asserted-by":"crossref","unstructured":"Selfridge, P.: Knowledge representation support for a software information system. In: IEEE Conference on Artificial Intellingence Applications, Miami, Florida, February 1991, pp. 134\u2013140. The Institute of Electrical and Electronic Engineers (1991)","DOI":"10.1109\/CAIA.1991.120859"},{"key":"23_CR43","first-page":"245","volume-title":"Proceedings of GWAI-1985\u2014the 9th German Workshop on Artificial Intelligence","author":"K. Luck von","year":"1986","unstructured":"von Luck, K., Nebel, B., Peltason, C., Schmiedel, A.: BACK to consistency and incompleteness. In: Stoyan, H. (ed.) Proceedings of GWAI-1985\u2014the 9th German Workshop on Artificial Intelligence, pp. 245\u2013257. Springer, Heidelberg (1986)"},{"key":"23_CR44","first-page":"183","volume-title":"Proceedings of the Innovative Applications of Artificial Intelligence Conference","author":"J.R. Wright","year":"1993","unstructured":"Wright, J.R., Weixelbaum, E.S., Brown, K., Vesonder, G.T., Palmer, S.R., Berman, J.I., Moore, H.H.: A knowledge-based configurator that supports sales, engineering, and manufacturing at AT&T network systems. In: Proceedings of the Innovative Applications of Artificial Intelligence Conference, Washington, July 1993, pp. 183\u2013193. American Association for Artificial Intelligence, Menlo Park (1993)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02463-4_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T21:44:47Z","timestamp":1685051087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02463-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024627","9783642024634"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02463-4_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}