{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:27:07Z","timestamp":1748071627199},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584872"},{"type":"electronic","value":"9783540490067"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58487-0_11","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:29:10Z","timestamp":1330273750000},"page":"200-225","source":"Crossref","is-referenced-by-count":2,"title":["KARO: An integrated environment for reusing ontologies"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Pirlein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudi","family":"Studer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"11_CR1","volume-title":"Model-based and Incremental Knowledge Engineering: The MIKE approach","author":"J. Angele","year":"1993","unstructured":"J. Angele, D. Fensel, D. Landes, S. Neubert, and R. Studer. Model-based and Incremental Knowledge Engineering: The MIKE approach. In J. Cuena, editor, Proceedings of the IFIP TC12 Workshop on Artificial Intelligence from the Information Processing Perspective (AIFIPP'92), Madrid, Sept. 1993. Elsevier Science Publisher."},{"key":"11_CR2","unstructured":"R. Becker and T. Pirlein. Executable design specifications through the use of knowledge-based technologies. In Proceedings of FLAIRS-94, Pensacola, Florida, May, 4\u20136 1994 (to appear)."},{"key":"11_CR3","unstructured":"C. Beierle. An overview on planning applications in protos-l. In Proceedings 13th IMACS World Congress on Computation and Applied Mathematics, Dublin, Ireland, 1991."},{"key":"11_CR4","first-page":"1082","volume-title":"The future of knowledge representation","author":"R. J. Brachman","year":"1990","unstructured":"R. J. Brachman. The future of knowledge representation. In Proceedings Eighth National Conference on Artificial Intelligence, pages 1082\u20131092, Menlo Park, etc., 1990. AAAI Press \/ The MIT Press."},{"key":"11_CR5","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"2","author":"R. J. Brachman","year":"1985","unstructured":"R. J. Brachman and J. G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, (2):171\u2013216, 1985.","journal-title":"Cognitive Science"},{"key":"11_CR6","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"4","author":"F. P. Brooks","year":"1987","unstructured":"F. P. Brooks. No silver bullet: Essence and accidents of software engineering. IEEE Computer, 4:10\u201319, 1987.","journal-title":"IEEE Computer"},{"key":"11_CR7","unstructured":"S. Buvak and R. Fikes. Semantics of Translation, pages 12\u201316. Chambery, France, August, 28th. 1993."},{"key":"11_CR8","doi-asserted-by":"crossref","first-page":"81","DOI":"10.2307\/jj.13027259.6","volume-title":"The Logic of Decision and Action","author":"D. Davidson","year":"1967","unstructured":"D. Davidson. The logical form of action sentences. In N. Rescher, editor, The Logic of Decision and Action, pages 81\u201395. University of Pittsburgh Press, Pittsburgh, Pennsylvania, 1967."},{"issue":"5","key":"11_CR9","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1145\/103167.103172","volume":"34","author":"P. Devanbu","year":"1991","unstructured":"P. Devanbu, P. Selfridge, B. Ballard, and R. Brachman. Lassie: A knowledge-based software information system. Communications of the ACM, 34(5):249\u2013261, 1991.","journal-title":"Communications of the ACM"},{"key":"11_CR10","volume-title":"volume 93-56 of Medical Computer Science","author":"H. Erikson","year":"1993","unstructured":"H. Erikson, A. Puerta, and M. A. Musen. Generation of Knowledge-Acquisition Tools from Domain Ontologies, volume 93-56 of Medical Computer Science. Knowledge Systems Laboratory, Stanford, University, 1993."},{"key":"11_CR11","unstructured":"J. Gennari. A Brief Guide to MAITRE and MODEL: An Ontology Editor and a Frame-Based Knowledge Representation Language. Number 94305\u20135479. 1993."},{"issue":"2","key":"11_CR12","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T. Gruber","year":"1993","unstructured":"T. Gruber. A translation approach to portable ontology specifications. Knowledge Acquisition, 5(2):199\u2013221, 1993.","journal-title":"Knowledge Acquisition"},{"key":"11_CR13","volume-title":"Formal Ontology in Conceptual Analysis and Knowledge Representation","author":"T. Gruber","year":"1994","unstructured":"T. Gruber. Toward principles for the design of ontologies used for knowledge sharing. In N. Guarino and R. Poli, editors, Formal Ontology in Conceptual Analysis and Knowledge Representation, Dordrecht, Boston, Lancaster, Tokyo, 1994 (to appear). Kluwer Academic Publishers."},{"key":"11_CR14","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0169-023X(92)90025-7","volume":"8","author":"N. Guarino","year":"1992","unstructured":"N. Guarino. Concepts, atrtibutes and arbitrary relations. Data and Knowledge Engineering, 8:249\u2013261, 1992.","journal-title":"Data and Knowledge Engineering"},{"issue":"No.3","key":"11_CR15","first-page":"32","volume":"11","author":"R. V. Guha","year":"1990","unstructured":"R. V. Guha and D. B. Lenat. Cyc: A midterm report. AI Magazine, (11 No. 3):32\u201359, 1990.","journal-title":"AI Magazine"},{"key":"11_CR16","first-page":"243","volume-title":"Expert systems in the micro-electronic age","author":"P. Hayes","year":"1978","unstructured":"P. Hayes. The naive physics manifesto. In D. Michie, editor, Expert systems in the micro-electronic age, pages 243\u2013270. Edinburgh University Press, Edinburgh, Scotland, 1978."},{"key":"11_CR17","series-title":"volume 546 of Lecture Notes in Artificial Intelligence","volume-title":"Text Understanding in LILOG","year":"1991","unstructured":"O. Herzog and C. Rollinger, editors. Text Understanding in LILOG, volume 546 of Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, Heidelberg, New York, 1991."},{"key":"11_CR18","first-page":"61","volume-title":"Ontological promiscuity","author":"J. R. Hobbs","year":"1985","unstructured":"J. R. Hobbs. Ontological promiscuity. In Proceedings of the 23rd annual meeting of the Association for Computational Linguistics, pages 61\u201369, Chicago, Illinois, 1985. Association for Computational Linguistics."},{"key":"11_CR19","series-title":"volume 307 of Informatik-Fachberichte","volume-title":"The Ontology and Axioms of the LILOG knowledge base (in German)","year":"1992","unstructured":"G. Klose, E. Lang, and T. Pirlein, editors. The Ontology and Axioms of the LILOG knowledge base (in German), volume 307 of Informatik-Fachberichte. Springer-Verlag, Berlin, Heidelberg, New York, 1992."},{"key":"11_CR20","unstructured":"A. Kobsa. The SB-ONE knowledge representation workbench. In Preprints of the Workshop on Formal Aspects of Semantic Networks, Two Harbors, Cal., February 1989."},{"key":"11_CR21","volume-title":"Formal Specification of Complex Reasoning Systems","author":"D. Landes","year":"1993","unstructured":"D. Landes, D. Fensel, and J. Angele. Formalizing and operationalizing a design task with KARL. In J. Treur and T. Wetter, editors, Formal Specification of Complex Reasoning Systems. Ellis Horwood, Chicester, 1993."},{"key":"11_CR22","volume-title":"Building Large Knowledge-Based Systems: Representation and Inference in the CYC Project","author":"D. Lenat","year":"1990","unstructured":"D. Lenat and R. Guha. Building Large Knowledge-Based Systems: Representation and Inference in the CYC Project. Addison-Wesley Publishing Company, Menlo Park, CA, 1990."},{"key":"11_CR23","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0004-3702(93)90100-P","volume":"61","author":"D. Lenat","year":"1993","unstructured":"D. Lenat and R. Guha. Re: Cycling paper reviews. Artificial Intelligence, 61:149\u2013174, 1993.","journal-title":"Artificial Intelligence"},{"key":"11_CR24","unstructured":"T. Lipkis. A KL-ONE classifier. In J. Schmolze and R. Brachman, editors, Proceedings of the 1981 KL-ONE workshop, pages 128\u2013145. 1982."},{"key":"11_CR25","unstructured":"J. McCarthy. Programs with common sense. In Proceedings Symposium on Mechanisation of Thought Processes I. London, 1959."},{"key":"11_CR26","unstructured":"I. Monarch and S. Nirenburg. The role of ontology in concept acquisition for KBS. Proceedings of the First European Workshop on Knowledge Acquisition for Knowledge-Based Systems, 1987."},{"key":"11_CR27","volume-title":"Lecture Notes in Computer Science 422","author":"B. Nebel","year":"1990","unstructured":"B. Nebel. Reasoning and Revision in Hybrid Representation Systems. Lecture Notes in Computer Science 422. Springer-Verlag, Berlin, Heidelberg, New York, 1990."},{"key":"11_CR28","series-title":"Artificial Intelligence, 61","volume-title":"Building large knowledgebased systems: Representation and inference in the CYC project","author":"R. Neches","year":"1990","unstructured":"R. Neches. Book review of Lenat, Guha, D.B. and Guha, R.V.: Building large knowledgebased systems: Representation and inference in the CYC project, addison-wesley, reading, MA, 1990. Artificial Intelligence, 61, 1993."},{"key":"11_CR29","volume-title":"Lecture Notes in Artificial Intelligence","author":"S. Neubert","year":"1993","unstructured":"S. Neubert. Model Construction in MIKE. In 7th European Knowledge Acquisition Workshop-93 (Toulouse), Lecture Notes in Artificial Intelligence, Berlin, Heidelberg, 1993. Springer Verlag."},{"issue":"3","key":"11_CR30","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1145\/131736.131739","volume":"1","author":"E. Ostertag","year":"1992","unstructured":"E. Ostertag, J. Hendler, R. Prieto-Diaz, and C. Braun. Computing similarity in a reuse library system: An AI-based approach. ACM Transaction on Software Engineering and Methodology, 1(3):205\u2013228, 1992.","journal-title":"ACM Transaction on Software Engineering and Methodology"},{"key":"11_CR31","volume-title":"volume 75 of KIT Report","author":"C. Peltason","year":"1989","unstructured":"C. Peltason, A. Schmiedel, K. Kindermann, and J. Quantz. The BACK system revisited, volume 75 of KIT Report. Department of Computer Science, Technische Universit\u00e4t Berlin, Berlin, 1989."},{"key":"11_CR32","first-page":"474","volume-title":"Reusing a large domain-independent knowledge base","author":"T. Pirlein","year":"1993","unstructured":"T. Pirlein. Reusing a large domain-independent knowledge base. In C. Chang, editor, Proceedings of Fifth International Conference on Software Engineering and Knowledge Engineering, pages 474\u2013482, San Francisco Bay, CA, June 16\u201318 1993. Knowledge Systems Institute."},{"key":"11_CR33","volume-title":"Formal Ontology in Conceptual Analysis and Knowledge Representation","author":"T. Pirlein","year":"1994","unstructured":"T. Pirlein and R. Studer. An environment for reusing ontologies within a knowledge engineering approach. In N. Guarino and R. Poli, editors, Formal Ontology in Conceptual Analysis and Knowledge Representation. Kluwer Academic Publishers, Dordrecht, Boston, Lancaster, Tokyo, 1994 (to appear)."},{"key":"11_CR34","series-title":"volume 546 of Lecture Notes in Artificial Intelligence","first-page":"357","volume-title":"Text Understanding in LILOG","author":"U. Pletat","year":"1991","unstructured":"U. Pletat. The knowledge representation language L-LILOG. In O. Herzog and C. Rollinger, editors, Text Understanding in LILOG, volume 546 of Lecture Notes in Artificial Intelligence, pages 357\u2013379. Springer-Verlag, Berlin, Heidelberg, New York, 1991."},{"issue":"3","key":"11_CR35","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1006\/knac.1993.1011","volume":"5","author":"D. Skuce","year":"1993","unstructured":"D. Skuce. A multi-functional knowledge management system. Knowledge Acquisition, 5(3):305\u2013346, 1993.","journal-title":"Knowledge Acquisition"},{"key":"11_CR36","unstructured":"L. Terveen and D. Wroblewski. A tool for achieving consensus in knowledge representation. In Proceedings AAAI-91, pages 74\u201379, Anaheim, CA, 1991."},{"issue":"1","key":"11_CR37","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/1042-8143(92)90013-Q","volume":"4","author":"B. Wielinga","year":"1992","unstructured":"B. Wielinga, A. T. Schreiber, and J. Breuker. KADS: A modelling approach to knowledge engineering. Knowledge Acquisition, 4(1):127\u2013161, March 1992.","journal-title":"Knowledge Acquisition"},{"key":"11_CR38","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/3-540-57802-1_10","volume-title":"Management and Processing of Complex Data Structures, volume 777 of LNCS","author":"B. Wielinga","year":"1994","unstructured":"B. Wielinga and T. Schreiber. Conceptual modelling of large reusable knowledge bases. In K. Luck and H. Marburger, editors, Management and Processing of Complex Data Structures, volume 777 of LNCS, pages 181\u2013200. Springer, Berlin, Heidelberg, New York, 1994."},{"key":"11_CR39","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/B978-0-12-108550-6.50007-0","volume-title":"Representation and Understanding: Studies in Cognitive Science","author":"W. A. Woods","year":"1975","unstructured":"W. A. Woods. What's in a link: Foundations for semantic networks. In D. Bobrow and A. Collins, editors, Representation and Understanding: Studies in Cognitive Science, pages 35\u201382. Academic Press, New York, N.Y., 1975."}],"container-title":["Lecture Notes in Computer Science","A Future for Knowledge Acquisition"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58487-0_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T16:10:25Z","timestamp":1713629425000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58487-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584872","9783540490067"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/3-540-58487-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}