{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:45Z","timestamp":1761611145719},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1994,5,1]],"date-time":"1994-05-01T00:00:00Z","timestamp":767750400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[1994,5]]},"DOI":"10.1007\/bf00872105","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T14:10:02Z","timestamp":1104156602000},"page":"109-132","source":"Crossref","is-referenced-by-count":34,"title":["Am empirical analysis of optimization techniques for terminological representation systems"],"prefix":"10.1007","volume":"4","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Hollunder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Nebel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-J\ufffdrgen","family":"Profitlich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Franconi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"CR1","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"R. J. Brachman","year":"1985","unstructured":"R. J. Brachman and J. G. Schmolze, ?An overview of the KL-ONE knowledge representation system,?Cogn. Sci. vol. 9, no. 2, pp. 171?216, April 1985.","journal-title":"Cogn. Sci."},{"key":"CR2","unstructured":"R. J. Brachman,A Structural Paradigm for Representing Knowledge, Ph.D. thesis, Harvard University, 1977."},{"issue":"3","key":"CR3","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/122296.122314","volume":"2","author":"C. Peltason","year":"1991","unstructured":"C. Peltason, ?The BACK system?an overview,?SIGART Bull. vol. 2, no. 3, pp. 114?119, June 1991.","journal-title":"SIGART Bull."},{"issue":"3","key":"CR4","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1145\/122296.122313","volume":"2","author":"P. F. Patel-Schneider","year":"1991","unstructured":"P. F. Patel-Schneider, D. L. McGuinness, R. J. Brachman, L. Alperin Resnick, and A. Borgida, ?The CLASSIC knowledge representation system: Guiding principles and implementation rational,?SIGART Bull. vol. 2, no. 3, pp. 108?113, June 1991.","journal-title":"SIGART Bull."},{"key":"CR5","series-title":"An extended version including a KANDOR system description is available as AI Technical Report","first-page":"11","volume-title":"Proc. IEEE Workshop on Principles of Knowledge-Based Syst., Denver, CO, 1984","author":"P. F. Patel-Schneider","year":"1984","unstructured":"P. F. Patel-Schneider, ?Small can be beautiful in knowledge representation,? inProc. IEEE Workshop on Principles of Knowledge-Based Syst., Denver, CO, 1984, pp. 11?16. (An extended version including a KANDOR system description is available as AI Technical Report No. 37, Palo Alto, CA, Schlumberger Palo Alto Research, October 1984.)"},{"key":"CR6","unstructured":"M. B. Vilain, ?The restricted language architecture of a hybrid representation system,? inProc. 9th Int. Joint Conf. Artif. Intell., Los Angeles, CA, August 1985, pp. 547?551."},{"issue":"3","key":"CR7","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/122296.122310","volume":"2","author":"E. Mays","year":"1991","unstructured":"E. Mays, R. Dionne, and R. Weida, ?K-Rep system overview,?SIGART Bull. vol. 2, no. 3, pp. 93?97, June 1991.","journal-title":"SIGART Bull."},{"key":"CR8","unstructured":"R. J. Brachman, V. Pigman Gilbert, and H. J. Levesque, ?An essential hybrid reasoning system: Knowledge and symbol level accounts in KRYPTON,? inProc. 9th Int. Joint Conf. Artif. Intell., Los Angeles, CA, August 1985, pp. 532?539."},{"issue":"3","key":"CR9","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/122296.122298","volume":"2","author":"F. Baader","year":"1991","unstructured":"F. Baader and B. Hollunder, ?KRIS: Knowledge representation and inference system,?SIGART Bull. vol. 2, no. 3, pp. 8?14, June 1991.","journal-title":"SIGART Bull."},{"issue":"3","key":"CR10","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1145\/122296.122309","volume":"2","author":"R. MacGregor","year":"1991","unstructured":"R. MacGregor, ?Inside the LOOM description classifier,?SIGART Bull. vol. 2, no. 3, pp. 88?92, June 1991.","journal-title":"SIGART Bull."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-3-642-71385-9_7","volume-title":"GWAI-86 und 2. \u00d6sterreichische Artificial-Intelligence-Tagung","author":"J. Edelmann","year":"1986","unstructured":"J. Edelmann and B. Owsnicki, ?Data models in knowledge representation systems: A case study,? inGWAI-86 und 2. \u00d6sterreichische Artificial-Intelligence-Tagung edited by C.-R. Rollinger and W. Horn, Ottenstein, Austria, September 1986, pp. 69?74. Springer-Verlag: Berlin."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1111\/j.1467-8640.1991.tb00334.x","volume":"6","author":"J. G. Schmolze","year":"1991","unstructured":"J. G. Schmolze and W. S. Mark, ?The NIKL experience,?Comput. Intell. vol. 6, pp. 48?69, 1991.","journal-title":"Comput. Intell."},{"issue":"3","key":"CR13","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/122296.122306","volume":"2","author":"A. Kobsa","year":"1991","unstructured":"A. Kobsa, ?First experiences with the SB-ONE knowledge representation workbench in natural-language applications,?SIGART Bull. vol. 2, no. 3, pp. 70?76, June 1991.","journal-title":"SIGART Bull."},{"key":"CR14","unstructured":"R. Cattoni and E. Franconi, ?Walking through the semantics of frame-based description languages: A case study,? inProc. Fifth Int. Symp. Methodol. Intell. Syst., Knoxville, TN, October 1990. North-Holland: Amsterdam, pp. 234?241."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","volume":"3","author":"H. J. Levesque","year":"1987","unstructured":"H. J. Levesque and R. J. Brachman, ?Expressiveness and tractability in knowledge representation and reasoning,?Comput. Intell. vol. 3, pp. 78?93, 1987.","journal-title":"Comput. Intell."},{"issue":"3","key":"CR16","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/0004-3702(88)90066-5","volume":"34","author":"B. Nebel","year":"1988","unstructured":"B. Nebel, ?Computational complexity of terminological reasoning in BACK,?Artif. Intell. vol. 34, no. 3, pp. 371?383, April 1988.","journal-title":"Artif. Intell."},{"key":"CR17","first-page":"421","volume-title":"Principles of Knowledge Representation and Reasoning: Proc. 1st Int. Conf.","author":"M. Schmidt-Schau\u00df","year":"1989","unstructured":"M. Schmidt-Schau\u00df, ?Subsumption in KL-ONE is undecidable,? inPrinciples of Knowledge Representation and Reasoning: Proc. 1st Int. Conf. edited by R. Brachman, H. J. Levesque, and R. Reiter, Toronto, Ontario, May 1989, pp. 421?431. Morgan Kaufmann: San Mateo, CA."},{"issue":"2","key":"CR18","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(89)90030-1","volume":"39","author":"P. F. Patel-Schneider","year":"1989","unstructured":"P. F. Patel-Schneider, ?Undecidability of subsumption in NIKL,?Artif. Intell. vol. 39, no. 2, pp. 263?272, June 1989.","journal-title":"Artif. Intell."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0004-3702(90)90087-G","volume":"43","author":"B. Nebel","year":"1990","unstructured":"B. Nebel, ?Terminological reasoning is inherently intractable,?Artif. Intell. vol. 43, pp. 235?249, 1990.","journal-title":"Artif. Intell."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"M. Schmidt-Schau\u00df and G. Smolka, ?Attributive concept descriptions with complements,?Artif. Intell. vol. 48, pp. 1?26, 1991.","journal-title":"Artif. Intell."},{"key":"CR21","first-page":"151","volume-title":"Principles of Knowledge Representation and Reasoning: Proc. 2nd Int. Conf.","author":"F. M. Donini","year":"1991","unstructured":"F. M. Donini, M. Lenzerini, D. Nardi, and W. Nutt, ?The complexity of concept languages,? inPrinciples of Knowledge Representation and Reasoning: Proc. 2nd Int. Conf. edited by J. A. Allen, R. Fikes, and E. Sandewall, Cambridge, MA, April 1991, pp. 151?162. Morgan Kaufmann: San Mateo, CA."},{"key":"CR22","unstructured":"F. M. Donini, M. Lenzerini, D. Nardi, and W. Nutt, ?Tractable concept languages,? inProc. 12th Int. Joint Conf. Artif. Intell., Sydney, Australia, August 1991, pp. 458?465. Morgan Kaufmann: San Mateo, CA."},{"key":"CR23","unstructured":"J. Heinsohn, D. Kudenko, B. Nebel, and H.-J. Profitlich, ?An empirical analysis of terminological representation systems,? inProc. 10th Nat. Conf. AAAI, San Jose, CA, July 1992, pp. 767?773. MIT Press: Cambridge, MA."},{"key":"CR24","unstructured":"J. Heinsohn, D. Kudenko, B. Nebel, and H.-J. Profitlich, ?An empirical analysis of terminological representation systems,?Artif. Intell., 1993. To appear. (A preliminary version is available as DFKI Research Report RR-92-16.)"},{"key":"CR25","unstructured":"T. Lipkis, ?A KL-ONE classifier,? inProc. 1981 KL-ONE Workshop, edited by J. G. Schmolze and R. J. Brachman, Cambridge, MA, 1982, pp. 128?145. (The proceedings have been published as BBN Report No. 4842 and Fairchild Technical Report No. 618.)"},{"key":"CR26","unstructured":"R. MacGregor, ?A deductive pattern matcher,? inProc. 7th Nat. Conf. AAAI, Saint Paul, MI, August 1988, pp. 403?408."},{"key":"CR27","series-title":"KIT Report","volume-title":"The BACK system revisited","author":"C. Peltason","year":"1989","unstructured":"C. Peltason, A. Schmiedel, C. Kindermann, and J. Quantz, ?The BACK system revisited.? Department of Computer Science, Technische Universit\u00e4t Berlin, Berlin, Germany, KIT Report 75, September 1989."},{"key":"CR28","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/B978-1-4832-0771-1.50007-2","volume-title":"Principles of Semantic Networks","author":"W. A. Woods","year":"1991","unstructured":"W. A. Woods, ?Understanding subsumption and taxonomy: A framework for progress,? inPrinciples of Semantic Networks edited by J. F. Sowa, Morgan Kaufmann: San Mateo, CA, 1991, pp. 45?94."},{"key":"CR29","unstructured":"R. A. Levinson, ?A self-organizing pattern retrieval system for graphs,? inProc. 4th Nat. Conf. AAAI, Austin, TX, 1984, pp. 203?206."},{"key":"CR30","unstructured":"G. Ellis, ?Compiled hierarchical retrieval.? In6th Annual Conceptual Graphs Workshop, 1991."},{"issue":"6?9","key":"CR31","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1016\/0898-1221(92)90125-2","volume":"23","author":"R. A. Levinson","year":"1992","unstructured":"R. A. Levinson, ?Pattern associativity and the retrieval of semantic networks,?J Comput. Math. Appl. vol. 23, no. 6?9, pp. 573?600, 1992.","journal-title":"J Comput. Math. Appl."},{"key":"CR32","doi-asserted-by":"crossref","unstructured":"G. Ellis and R. A. Levinson, ?The birth of PEIRCE: A conceptual graphs workbench,? inProc. Seventh Annu. Concept. Graphs Workshop, Las Cruces, NM, July 1992.","DOI":"10.1007\/3-540-57454-9_17"},{"key":"CR33","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"International Workshop on Processing-Declaractive Knowledge","author":"F. Baader","year":"1991","unstructured":"F. Baader and B. Hollunder, ?A terminological knowledge representation system with complete inference algorithms,? inInternational Workshop on Processing-Declaractive Knowledge edited by M. Richter and H. Boley, volume 567 ofLecture Notes in Artificial Intelligence Springer-Verlag: Berlin, 1991."},{"key":"CR34","volume-title":"Reasoning and Revision in Hybrid Representation Systems, volume 422 ofLecture Notes in Artificial Intelligence,","author":"B. Nebel","year":"1990","unstructured":"B. Nebel,Reasoning and Revision in Hybrid Representation Systems, volume 422 ofLecture Notes in Artificial Intelligence, Springer-Verlage: Berlin, Heidelberg, New York, 1990."},{"key":"CR35","unstructured":"B. Hollunder, W. Nutt, and M. Schmidt-Schau\u00df, ?Subsumption algorithms for concept description languages,? inProc. 9th Eur. Conf. Artif. Intell., Stockholm, Sweden, August 1990, pp. 348?353, Pitman: New York."},{"key":"CR36","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/BF00582738","volume":"1","author":"P. Winkler","year":"1985","unstructured":"P. Winkler, ?Random order,?Order vol. 1, pp. 317?331, 1985.","journal-title":"Order"},{"issue":"1","key":"CR37","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1137\/0217007","volume":"17","author":"U. Faigle","year":"1988","unstructured":"U. Faigle and G. Tur\u00e0n, ?Sorting and recognition problems for ordered sets,?SIAM J. Comput. vol. 17, no. 1, pp. 100?113, 1988.","journal-title":"SIAM J. Comput."},{"key":"CR38","volume-title":"Combinatorical Search","author":"M. Aigner","year":"1988","unstructured":"M. Aigner,Combinatorical Search Teubner: Stuttgart, Germany, 1988."},{"key":"CR39","volume-title":"Graphen, Netzwerke und Algorithmen","author":"D. Jungnickel","year":"1990","unstructured":"D. Jungnickel,Graphen, Netzwerke und Algorithmen 2nd edition, Bl Wissenschaftsverlag: Mannheim, Germany, 1990.","edition":"2nd edition"},{"key":"CR40","first-page":"423","volume-title":"Expert Database Systems?Proc. 2nd Int. Conf.","author":"H. V. Jagadish","year":"1989","unstructured":"H. V. Jagadish, ?A compressed transitive closure technique for efficient fixed-point query processing,? inExpert Database Systems?Proc. 2nd Int. Conf. edited by L. Kerschberg, Menlo Park, CA, 1989, pp. 423?446. Benjamin\/Cummings: Redwood City, CA."},{"key":"CR41","volume-title":"Proceedings of Extended Database Technology","author":"T. L. Anderson","year":"1990","unstructured":"T. L. Anderson, A. J. Berre, M. Mallison, H. H. Porter, III, and B. Schneider, ?The hypermodel benchmark,? inProceedings of Extended Database Technology Springer-Verlag, Berlin, 1990."},{"issue":"1","key":"CR42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/128765.128766","volume":"17","author":"R. G. G. Cattell","year":"1992","unstructured":"R. G. G. Cattell and J. Skeen, ?Object operations benchmark,?ACM Trans. Database Syst. vol. 17, no. 1, pp. 1?31, March 1992.","journal-title":"ACM Trans. Database Syst."},{"key":"CR43","unstructured":"M. J. Carey, D. J. DeWitt, and J. F. Naughton, ?The OO7 benchmark,? inProc. 1993 ACM SIGMOD Int. Conf. Management Data, Washington, DC, May 1993, pp. 12?21."}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00872105.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00872105\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00872105","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T23:59:13Z","timestamp":1586044753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00872105"}},"subtitle":["Or: Making KRIS get a move on"],"short-title":[],"issued":{"date-parts":[[1994,5]]},"references-count":43,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,5]]}},"alternative-id":["BF00872105"],"URL":"https:\/\/doi.org\/10.1007\/bf00872105","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,5]]}}}