{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:48:49Z","timestamp":1766065729117},"publisher-location":"Berlin, Heidelberg","reference-count":66,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540706632"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70664-9_2","type":"book-chapter","created":{"date-parts":[[2007,3,19]],"date-time":"2007-03-19T14:03:30Z","timestamp":1174313010000},"page":"26-56","source":"Crossref","is-referenced-by-count":24,"title":["Context Dependency Management in Ontology Engineering: A Formal Approach"],"prefix":"10.1007","author":[{"given":"Pieter","family":"Leenheer","sequence":"first","affiliation":[]},{"given":"Aldo","family":"Moor","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Meersman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"2_CR1","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T. Gruber","year":"1993","unstructured":"Gruber, T.: Cyc: a translation approach to portable ontologies. Knowledge Acquisition\u00a05(2), 199\u2013220 (1993)","journal-title":"Knowledge Acquisition"},{"key":"2_CR2","first-page":"3","volume-title":"Formal Ontologies in Information Systems (FOIS98)","author":"N. Guarino","year":"1998","unstructured":"Guarino, N.: Formal ontology and information systems. In: Formal Ontologies in Information Systems (FOIS98). 1st Int\u2019l Conf, pp. 3\u201315. IOS Press, Trento, Italy (1998)"},{"key":"2_CR3","first-page":"1","volume-title":"Proc. of the Conf. on Cooperative Database Systems (CODAS 99)","author":"R. Meersman","year":"1999","unstructured":"Meersman, R.: The use of lexicons and other computer-linguistic tools in semantics, design and cooperation of database systems. In: Proc. of the Conf. on Cooperative Database Systems (CODAS 99), pp. 1\u201314. Springer, Singapore Berlin Heidelberg New York (1999)"},{"issue":"2","key":"2_CR4","first-page":"93","volume":"11","author":"M. Ushold","year":"1996","unstructured":"Ushold, M., Gruninger, M.: Ontologies: Principles, methods and applications. The Knowledge Engineering Review\u00a011(2), 93\u2013136 (1996)","journal-title":"Principles, methods and applications"},{"issue":"6","key":"2_CR5","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1006\/ijhc.1996.0121","volume":"46","author":"A. Farquhar","year":"1997","unstructured":"Farquhar, A., Fikes, R., Rice, J.: The ontolingua server: a tool for collaborative ontology construction. Int\u2019l Journal of Human-computer Studies\u00a046(6), 707\u2013727 (1997)","journal-title":"Int\u2019l Journal of Human-computer Studies"},{"key":"2_CR6","unstructured":"de Moor, A.: Ontology-guided meaning negotiation in communities of practice. In: Mambrey, P., Gr\u00e4ther, W., (eds.): Proc. of the Workshop on the Design for Large-Scale Digital Communities at the 2nd International Conference on Communities and Technologies. C&T 2005, Milano, Italy. (2005)"},{"key":"2_CR7","first-page":"555","volume-title":"Proc. of the 15th Int. Joint Conf. Artificial Intelligence (IJCAI93)","author":"J. McCarthy","year":"1993","unstructured":"McCarthy, J.: Notes on formalizing context. In: Proc. of the 15th Int. Joint Conf. Artificial Intelligence (IJCAI93), pp. 555\u2013560. Morgan Kaufmann, Chamb\u00e9ry, France (1993)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BFb0027899","volume-title":"Conceptual Structures: Fulfilling Peirce\u2019s Dream","author":"J. Sowa","year":"1997","unstructured":"Sowa, J.: Peircean foundations for a theory of context. In: Delugach, H.S., Keeler, M.A., Searle, L., Lukose, D., Sowa, J.F. (eds.) ICCS 1997. LNCS, vol.\u00a01257, pp. 41\u201364. Springer, Berlin Heidelberg (1997)"},{"key":"2_CR9","unstructured":"Farquhar, A., Dappert, A., Fikes, R., Pratt, W.: Integrating information sources using context logic. In: Knoblock, C., Levy, A. (eds.): Information Gathering from Heterogeneous, Distributed Environments, Stanford University, Stanford, California (1995)"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Buva\u010d, S., Fikes, R.: A declarative formalization of knowledge translation. In: Proc. of 4th Int\u2019l Conf. on Information and Knowledge Management (ACM CIKM 95). (1995)","DOI":"10.1145\/221270.221610"},{"key":"2_CR11","first-page":"345","volume":"XVI","author":"F. Giunchiglia","year":"1993","unstructured":"Giunchiglia, F.: Contextual reasoning. Special issue on I Linguaggi e le Macchine\u00a0XVI, 345\u2013364 (1993)","journal-title":"Special issue on I. Linguaggi e le Macchine"},{"key":"2_CR12","unstructured":"Nayak, P.: Representing multiple theories. In: Proc. of the 12 Nat\u2019l Conf. on Artificial Intelligence (AAAI94), Seattle, Washington. AAAI Press (1994)"},{"key":"2_CR13","unstructured":"McCarthy, J., Buva\u010d, S.: Formalizing context (expanded notes). Technical Report STAN-CS-TN-94-13, Stanford University (1994)"},{"key":"2_CR14","volume-title":"Semantic Ambiguity and Underspecification","author":"S. Buva\u010d","year":"1996","unstructured":"Buva\u010d, S.: Resolving lexical ambiguity using a formal theory of context. In: Van Deemter, K., Peters, S. (eds.) Semantic Ambiguity and Underspecification, CSLI Publications, Stanford, CA (1996)"},{"key":"2_CR15","unstructured":"Meersman, R.: Reusing certain database design principles, methods and techniques for ontology theory, construction and methodology. Technical report, VUB STAR Lab, Brussels (2001)"},{"key":"2_CR16","unstructured":"De\u00a0Leenheer, P., de\u00a0Moor, A.: Context-driven disambiguation in ontology elicitation. In: Shvaiko, P., Euzenat, J. (eds.) Context and Ontologies: Theory, Practice, and Applications. Proc. of the 1st Context and Ontologies Workshop, AAAI\/IAAI 2005, Pittsburgh, USA, July 9, 2005. pp. 17\u201324 (2005)"},{"issue":"3","key":"2_CR17","first-page":"32","volume":"11","author":"R.D.L. Guha","year":"1990","unstructured":"Guha, R.D.L.: Cyc: a midterm report. AI Magazine\u00a011(3), 32\u201359 (1990)","journal-title":"AI Magazine"},{"key":"2_CR18","unstructured":"Guha, R.: Contexts: A formalization and some applications. Technical Report STAN-CS-91-1399, Stanford Computer Science Department, Stanford, California (1991)"},{"key":"2_CR19","unstructured":"Theodorakis, M.: Contextualization: An Abstraction Mechanism for Information Modeling. PhD thesis, University of Crete, Greece (1999)"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Guha, R., McCarthy, J.: Varieties of contexts. In: CONTEXT 2003. pp. 164\u2013177 (2003)","DOI":"10.1007\/3-540-44958-2_14"},{"key":"2_CR21","unstructured":"Berners-Lee, T.: Weaving the Web. Harper (1999)"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"R. Guha","year":"2004","unstructured":"Guha, R., McCool, R., Fikes, R.: Contexts for the semantic web. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, Springer, Berlin Heidelberg New York (2004)"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/978-3-540-39718-2_11","volume-title":"The Semantic Web - ISWC 2003","author":"P. Bouquet","year":"2003","unstructured":"Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: C-owl: Contextualizing ontologies. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 164\u2013179. Springer, Berlin Heidelberg New York (2003)"},{"key":"2_CR24","unstructured":"Singh, M.: The pragmatic web: Preliminary thoughts. In: Proc. of the NSF-OntoWeb Workshop on Database and Information Systems Research for Semantic Web and Enterprises. pp. 82\u201390 (2002)"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Schoop, M.: de\u00a0Moor, A., Dietz, J.: The pragmatic web: A manifesto. Communications of the ACM 49(5) (2006)","DOI":"10.1145\/1125944.1125979"},{"key":"2_CR26","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/3-540-45810-7_14","volume-title":"Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web","author":"B. Bachimont","year":"2002","unstructured":"Bachimont, B., Troncy, R., Isaac, A.: Semantic commitment for designing ontologies: a proposal. In: G\u00f3mez-P\u00e9rez, A., Benjamins, V.R. (eds.) EKAW 2002. LNAI (LNCS), vol.\u00a02473, pp. 114\u2013121. Springer, Berlin Heidelberg New York (2002)"},{"key":"2_CR27","unstructured":"Euzenat, J.: Le\u00a0Bach, T., Barrasa, J., et\u00a0al.: State of the art on ontology alignment. Knowledge web deliverable KWEB\/2004\/d2.2.3\/v1.2 (2004)"},{"key":"2_CR28","unstructured":"Kalfoglou, Y., Schorlemmer, M.: Ontology mapping: The state of the art. In: Proc. of the Dagstuhl Seminar on Semantic Interoperability and Integration (Dagstuhl, Germany). (2005)"},{"key":"2_CR29","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web","author":"M. Klein","year":"2002","unstructured":"Klein, M., Fensel, D., Kiryakov, A., Ognyanov, D.: Ontology versioning and change detection on the web. In: G\u00f3mez-P\u00e9rez, A., Benjamins, V.R. (eds.) EKAW 2002. LNAI (LNCS), vol.\u00a02473, Springer, Berlin Heidelberg (2002)"},{"key":"2_CR30","unstructured":"De\u00a0Leenheer, P., Kopecky, J., Sharf, E., de\u00a0Moor, A.: A versioning tool for ontologies EU IP DIP (FP6-507483) Deliverable D2.4 (2006)"},{"key":"2_CR31","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/11787181_14","volume-title":"Conceptual Structures: Inspiration and Application","author":"A. Moor de","year":"2006","unstructured":"de Moor, A., De Leenheer, P., Meersman, R.: DOGMA-MESS: A meaning evolution support system for interorganizational ontology engineering. In: Sch\u00e4rfe, H., Hitzler, P., \u00d8hrstr\u00f8m, P. (eds.) ICCS 2006. LNAI (LNCS), vol.\u00a04068, pp. 189\u2013203. Springer, Berlin Heidelberg New York (2006)"},{"key":"2_CR32","unstructured":"Ding, Y., Fensel, D.: Ontology library systems: The key to succesful ontology re-use. In: Proc. of the 1st Semantic Web Symposium (SWWS01) (Stanford, California). (2001)"},{"issue":"4","key":"2_CR33","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/637411.637413","volume":"31","author":"P. Spyns","year":"2002","unstructured":"Spyns, P., Meersman, R., Jarrar, M.: Data modelling versus ontology engineering. SIGMOD Record\u00a031(4), 12\u201317 (2002)","journal-title":"SIGMOD Record"},{"key":"2_CR34","unstructured":"Sowa, J.: Knowledge Representation - Logical, Philosophical and Computational Foundations. Brooks\/Cole Publishing Co. (2000)"},{"key":"2_CR35","unstructured":"G\u00f3mez-P\u00e9rez, A., Manzano-Macho, D.: A survey of ontology learning methods and techniques. OntoWeb Deliverable D1.5 (2003)"},{"key":"2_CR36","volume-title":"Ontology Learning and Population","author":"M.L. Reinberger","year":"2005","unstructured":"Reinberger, M.L., Spyns, P.: Unsupervised text mining for the learning of DOGMA-inspired ontologies. In: Buitelaar, P., Handschuh, S., Magnini, B. (eds.) Ontology Learning and Population, IOS Press, Trento, Italy (2005)"},{"key":"2_CR37","unstructured":"Verheijen, G. Van\u00a0Bekkum, J.: NIAM, an information analysis method. In: Proc. of the IFIP TC-8 Conference on Comparative Review of Information System Methodologies (CRIS 82), North-Holland (1982)"},{"key":"2_CR38","volume-title":"Information Modeling and Relational Databases (From Conceptual Analysis to Logical Design)","author":"T. Halpin","year":"2001","unstructured":"Halpin, T.: Information Modeling and Relational Databases (From Conceptual Analysis to Logical Design). Morgan Kauffman, Washington, USA (2001)"},{"key":"2_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/978-3-540-31839-2_9","volume-title":"Semantic Web and Databases","author":"P. Verheyden","year":"2005","unstructured":"Verheyden, P., De Bo, J., Meersman, R.: Semantically unlocking database content through ontology-based mediation. In: Bussler, C.J., Tannen, V., Fundulaki, I. (eds.) SWDB 2004. LNCS, vol.\u00a03372, pp. 109\u2013126. Springer, Berlin Heidelberg (2005)"},{"key":"2_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/978-3-540-39733-5_8","volume-title":"Journal on Data Semantics I","author":"M. Jarrar","year":"2003","unstructured":"Jarrar, M., Demey, J., Meersman, R.: On reusing conceptual data modeling for ontology engineering. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol.\u00a02800, pp. 185\u2013207. Springer, Berlin Heidelberg (2003)"},{"key":"2_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/3-540-46439-5_6","volume-title":"Advances in Database Technology - EDBT 2000","author":"P. Mitra","year":"2000","unstructured":"Mitra, P., Wiederhold, G., Kersten, M.: A graph-oriented model for articulation of ontology interdependencies. In: Zaniolo, C., Grust, T., Scholl, M.H., Lockemann, P.C. (eds.) EDBT 2000. LNCS, vol.\u00a01777, pp. 86\u2013100. Springer, Berlin Heidelberg New York (2000)"},{"key":"2_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"801","DOI":"10.1007\/978-3-540-30468-5_51","volume-title":"OTM 2004","author":"J.. De Bo","year":"2004","unstructured":"De Bo, J., Spyns, P., Meersman, R.: Assisting ontology integration with existing thesauri. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol.\u00a03290, pp. 801\u2013818. Springer, Berlin Heidelberg (2004)"},{"key":"2_CR43","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7287.001.0001","volume-title":"Wordnet, an Electronic Lexical Database.","author":"C. Fellbaum","year":"1998","unstructured":"Fellbaum, C. (ed.): Wordnet, an Electronic Lexical Database. MIT Press, Cambridge, MA (1998)"},{"key":"2_CR44","volume-title":"Mind, Language, and Reality","author":"H. Putnam","year":"1962","unstructured":"Putnam, H.: Mind, Language, and Reality. Cambridge University Press, Cambridge (1962)"},{"key":"2_CR45","volume-title":"Conceptual Structures: Information Processing in Mind and Machine","author":"J. Sowa","year":"1984","unstructured":"Sowa, J.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, London, UK (1984)"},{"key":"2_CR46","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/B978-1-4832-0771-1.50022-9","volume-title":"Principles of Semantic Networks","author":"R. Brachman","year":"1991","unstructured":"Brachman, R., McGuiness, D., Patel-Schneider, P., Resnik, L., Borgida, A.: Living with classic: When and how to use a KL-ONE-like language. In: Sowa, J. (ed.) Principles of Semantic Networks, pp. 401\u2013456. Morgan Kaufmann, Washington, USA (1991)"},{"key":"2_CR47","unstructured":"Rastier, F., Cavazza, M., Abeill\u00e9, A.: S\u00e9mantique pour L\u2019analyse. Masson, Paris (1994)"},{"key":"2_CR48","doi-asserted-by":"crossref","unstructured":"Banerjee, J., Kim, W.: Semantics and implementation of schema evolution in object-oriented databases. In: ACM SIGMOD Conf. SIGMOD Record. pp. 311\u2013322 (1987)","DOI":"10.1145\/38714.38748"},{"issue":"4","key":"2_CR49","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/s10115-003-0137-2","volume":"6","author":"N. Noy","year":"2004","unstructured":"Noy, N., Klein, M.: Ontology evolution: Not the same as schema evolution. Knowledge and Information Systems\u00a06(4), 428\u2013440 (2004)","journal-title":"Knowledge and Information Systems"},{"key":"2_CR50","first-page":"148","volume-title":"Very Large Data Bases","author":"W. Kim","year":"1988","unstructured":"Kim, W., Chou, H.: Versions of schema for object-oriented databases. In: Very Large Data Bases. 14th Int\u2019l Conf. (VLDB88), pp. 148\u2013159. Morgan Kaufmann, L.A., CA (1988)"},{"issue":"7","key":"2_CR51","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1016\/0950-5849(95)91494-K","volume":"37","author":"J. Roddick","year":"1995","unstructured":"Roddick, J.: A survey of schema versioning issues for database systems. Information and Software Technology\u00a037(7), 383\u2013393 (1995)","journal-title":"Information and Software Technology"},{"issue":"1","key":"2_CR52","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/352958.352983","volume":"25","author":"B. Lerner","year":"2000","unstructured":"Lerner, B.: A model for compound type changes encountered in schema evolution. ACM Transactions on Database Systems (TODS)\u00a025(1), 83\u2013127 (2000)","journal-title":"ACM Transactions on Database Systems (TODS)"},{"key":"2_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"798","DOI":"10.1007\/978-3-540-30470-8_94","volume-title":"OTM 2004 Workshops","author":"P. Leenheer De","year":"2004","unstructured":"De Leenheer, P.: Revising and managing multiple ontology versions in a possible worlds setting. In: Meersman, R., Tari, Z., Corsaro, A. (eds.) OTM 2004 Workshops. LNCS, vol.\u00a03292, pp. 798\u2013818. Springer Verlag, Berlin Heidelberg New York (2004)"},{"issue":"1","key":"2_CR54","first-page":"53","volume":"15","author":"D. Oliver","year":"1999","unstructured":"Oliver, D., Shahar, Y., Musen, M., Shortliffe, E.: Representation of change in controlled medical terminologies. AI in Medicine\u00a015(1), 53\u201376 (1999)","journal-title":"AI in Medicine"},{"key":"2_CR55","unstructured":"Heflin, J.: Towards the Semantic Web: Knowledge Representation in a Dynamic, Distributed Environment. PhD thesis, University of Maryland, Collega Park, MD, USA (2001)"},{"key":"2_CR56","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web","author":"L.. Stojanovic","year":"2002","unstructured":"Stojanovic, L., Maedche, A., Motik, B., Stojanovic, N.: User-driven ontology evolution management. In: G\u00f3mez-P\u00e9rez, A., Benjamins, V.R. (eds.) EKAW 2002. LNAI (LNCS), vol.\u00a02473, Springer, Berlin Heidelberg (2002)"},{"issue":"5","key":"2_CR57","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1109\/TSE.2002.1000449","volume":"28","author":"T. Mens","year":"2002","unstructured":"Mens, T.: A state-of-the-art survey on software merging. IEEE Transactions on Software Engineering\u00a028(5), 449\u2013462 (2002)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR58","doi-asserted-by":"crossref","unstructured":"Edwards, W., Igarashi, T., LaMarca, A., Mynatt, E.: A temporal model for multi-level undo and redo. In: Press, A., (ed.): Proc. of the 13th annual ACM symposium on User interface software and technology (San Diego, CA). pp. 31\u201340 (2000)","DOI":"10.1145\/354401.354409"},{"key":"2_CR59","doi-asserted-by":"crossref","unstructured":"Berlage, T., Genau, A.: A framework for shared applications with a replicated architecture. In: Press, A., (ed.): Proc. of the 6th annual ACM symposium on User interface software and technology (Atlanta, GA). pp. 249\u2013257 (1993)","DOI":"10.1145\/168642.168668"},{"key":"2_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/3-540-45104-8_10","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"T. Mens","year":"2000","unstructured":"Mens, T.: Conditional graph rewriting as a domain-independent formalism for software evolution. In: M\u00fcnch, M., Nagl, M. (eds.) AGTIVE 1999. LNCS, vol.\u00a01779, pp. 127\u2013143. Springer, Berlin Heidelberg New York (2000)"},{"key":"2_CR61","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M. L\u00f6we","year":"1993","unstructured":"L\u00f6we, M.: Algebraic approach to single-pushout graph transformations. Theoretical Computer Science\u00a0109, 181\u2013224 (1993)","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"2_CR62","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1017\/S0269888903000687","volume":"18","author":"M. Shamsfard","year":"2003","unstructured":"Shamsfard, M., Barforoush, A.: The state of the art in ontology learning: a framework for comparison. the Knowledge Engineering Review\u00a018(4), 293\u2013316 (2003)","journal-title":"the Knowledge Engineering Review"},{"key":"2_CR63","unstructured":"Beale, S., Nirenburg, S., Mahesh, K.: Semantic analysis in the MikroKosmos machine translation project. In: Proc. of the 2nd Symposium on Natural Language Processing, (Bangkok, Thailand). pp. 297\u2013307 (1995)"},{"key":"2_CR64","unstructured":"(OpenCyc) http:\/\/www.opencyc.org"},{"key":"2_CR65","unstructured":"Lenat, D.: The dimensions of context-space. Cycorp technical report (1998)"},{"key":"2_CR66","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Proc. of Int\u2019l Conf. on Semantics of a Networked World (Munich, Germany)","author":"M. Jarrar","year":"2006","unstructured":"Jarrar, M., Heymans, S.: Unsatisfiability reasoning in orm conceptual schemes. In: Proc. of Int\u2019l Conf. on Semantics of a Networked World (Munich, Germany). Lecture Notes in Artificial Intelligence, Springer, Berlin Heidelberg New York (2006)"}],"container-title":["Lecture Notes in Computer Science","Journal on Data Semantics VIII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70664-9_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:26:35Z","timestamp":1620015995000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70664-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540706632"],"references-count":66,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70664-9_2","relation":{},"subject":[]}}