{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:40:22Z","timestamp":1725518422974},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540776215"},{"type":"electronic","value":"9783540776239"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-77623-9_16","type":"book-chapter","created":{"date-parts":[[2008,9,3]],"date-time":"2008-09-03T01:04:33Z","timestamp":1220403873000},"page":"279-289","source":"Crossref","is-referenced-by-count":0,"title":["Formal Method for Aligning Goal Ontologies"],"prefix":"10.1007","author":[{"given":"Nacima","family":"Mellal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Dapoigny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Foulloy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1_1","unstructured":"Bailin S, Truszkowski W (2001) Ontology Negotiation between Agents Supporting Intelligent Information Management. In: Workshop on Ontologies in Agent Systems"},{"issue":"6","key":"16_CR2_1","doi-asserted-by":"publisher","first-page":"1718","DOI":"10.1109\/21.257765","volume":"23","author":"L Chittaro","year":"1993","unstructured":"Chittaro L, Guida G, Tasso G, Toppano E (1993) Functional and teleological knowledge in the multi modeling approach for reasoning about physical systems: A case study in diagnosis. IEEE Transactions on Systems, Man, and Cybernetics, 23(6): 1718\u20131751","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"16_CR3_1","doi-asserted-by":"crossref","unstructured":"Dapoigny R, Benoit E, Foulloy L (2003) Functional Ontology for Intelligent Instruments. In: Foundations of Intelligent Systems. LNAI2871, pp 88\u201392","DOI":"10.1007\/978-3-540-39592-8_13"},{"key":"16_CR4_1","unstructured":"Dapoigny R, Barlatier P, Mellal N, Benoit E, Foulloy L (2005) Inferential Knowledge Sharing with Goal Hierarchies in Distributed Engineering Systems. In: IIAI05, Pune (India), pp 590\u2013608"},{"key":"16_CR5_1","doi-asserted-by":"crossref","unstructured":"Dapoigny R, Mellal N, Benoit E, Foulloy L (2004) Service Integration in Distributed Control Systems: an approach based on fusion of mereologies. In: IEEE Conf. on Cybernetics and Intelligent Systems (CIS\u201904), Singapour, December 2004, pp 1282\u20131287","DOI":"10.1109\/ICCIS.2004.1460776"},{"key":"16_CR6_1","doi-asserted-by":"crossref","unstructured":"Dapoigny R, Barlatier P, Benoit E, Foulloy L (2005) Formal Goal generation for Intelligent Control systems. In: 18th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems LNAI 3533, Springer, pp 712\u2013721","DOI":"10.1007\/11504894_99"},{"key":"16_CR7_1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A Dardenne","year":"1993","unstructured":"Dardenne A, Lamsweerde A, Fickas S (1993) Goal-directed requirements acquisition. Science of Computer Programming, 20: 3\u201350","journal-title":"Science of Computer Programming"},{"issue":"4","key":"16_CR8_1","doi-asserted-by":"crossref","first-page":"281","DOI":"10.3233\/HSM-1998-17407","volume":"17","author":"K Dooley","year":"1998","unstructured":"Dooley K, Skilton P, Anderson J (1998) Process knowledge bases: Facilitating reasoning through cause and effect thinking. Human Systems Management, 17(4): 281\u2013298","journal-title":"Human Systems Management"},{"key":"16_CR9_1","unstructured":"Fikes R (1996) Ontologies: What are they, and where\u2019s the research? Principles of Knowledge Representation and Reasoning, 652\u2013654"},{"key":"16_CR10_1","unstructured":"Gorton I, Haack J, McGee D, Cowell J, Kuchar O, Thomson J (2003) Evaluating Agent Architectures: Cougaar, Aglets and AAA. In: SELMAS, pp 264\u2013278"},{"issue":"2","key":"16_CR11_1","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T Gruber","year":"1993","unstructured":"Gruber T (1993) A translation approach to portable ontology specifications. Knowledge Acquisition, 5(2): 199\u2013220","journal-title":"Knowledge Acquisition"},{"key":"16_CR12_1","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1093\/logcom\/4.5.617","volume":"4","author":"J Hertzberg","year":"1994","unstructured":"Hertzberg J, Thiebaux S (1994) Turning an action formalism into a alanner: A case study. Journal of Logic and Computation, 4: 617\u2013654","journal-title":"Journal of Logic and Computation"},{"key":"16_CR13_1","doi-asserted-by":"crossref","unstructured":"Huber M (1999) A BDI-Theoretic Mobile Agent Architecture. In AGENTS 99 Proceedinf. of the Third Annual Conference on Autonomous Agents (1999) Seattle, WA, USA ACM, pp 236\u2013243","DOI":"10.1145\/301136.301202"},{"key":"16_CR14_1","volume-title":"Proceedings 1st International Conference on Ontologies, Databases and Applications of Semantics(ODBASE\u201902)","author":"Y Kalfoglou","year":"2002","unstructured":"Kalfoglou Y, Schorlemmer M (2002) Information Flow based ontology mapping. In: Proceedings 1st International Conference on Ontologies, Databases and Applications of Semantics(ODBASE\u201902), Irvine, CA, USA"},{"key":"16_CR15_1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0269888903000651","volume":"18","author":"Y Kalfoglou","year":"2003","unstructured":"Kalfoglou Y, Schorlemmer M (2003) Ontology mapping: the state of the art. The Knowledge Engineering Review, 18:1\u201331","journal-title":"The Knowledge Engineering Review"},{"key":"16_CR16_1","volume-title":"Journal of Data Semantics","author":"Y Kalfoglou","year":"2003","unstructured":"Kalfoglou Y, Schorlemmer M (2003) IF-Map: An ontology mapping method based on information flow theory. Journal of Data Semantics, S. Spaccapietra et al. (eds.), vol. 11, Springer, Berlin Heidelberg New York"},{"key":"16_CR17_1","doi-asserted-by":"crossref","unstructured":"Kalfoglou Y, Schorlemmer M (2004) Formal Support for Representing and Automating Semantic Interoperability. In: Proceedings of the 1st European Semantic Web Symposium (ESWS\u201904), Heraklion, Crete","DOI":"10.1007\/978-3-540-25956-5_4"},{"key":"16_CR18_1","unstructured":"Kalfoglou Y, Hu B, Reynolds D (2005) On Interoperability of Ontologies for Web-based Educational Systems. In: WWW 2005 workshop on Web-based educational systems, Chiba city, Japan"},{"key":"16_CR19_1","unstructured":"Kent RE (2000) The information flow foundation for conceptual knowledge. In: Dynamism and Stability in Knowledge Organization. Proceedings of the Sixth International ISKO Conference. Advances in Knowledge Organization, 7: 111\u2013117"},{"key":"16_CR20_1","unstructured":"Kitamura Y, Mizoguchi R (1998) Functional Ontology for Functional Understanding. In: 12th International Workshop on Qualitative Reasoning AAAI Press, pp 77\u201387"},{"key":"16_CR21_1","unstructured":"Lifschitz V (1993) A Theory of Actions. In: 9th International Joint Conference on Artificial Intelligence, M. Kaufmann (ed.), pp 432\u2013437"},{"key":"16_CR22_1","doi-asserted-by":"crossref","unstructured":"Lind M (1994) Modeling goals and functions of complex industrial plant. Journal of Applied Artificial Intelligence, 259\u2013283","DOI":"10.1080\/08839519408945442"},{"key":"16_CR23_1","unstructured":"Mellal N, Dapoigny R, Foulloy L (2006) The Fusion Process of Goal Ontologies using Intelligent Agents in Distributed Systems. In: International IEEE Conference on Intelligent Systems, London, UK, September, pp. 42\u201347"},{"key":"16_CR24_1","unstructured":"Myers K (1996) A Procedural Knowledge Approach to Task-Level Control. In: Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, pp 158\u2013165"},{"key":"16_CR25_1","unstructured":"Rao AS, Georgeff MP (1995) BDI Agents: From Theory to Practice. In: First International Conference on Multi-Agent Systems (ICMAS-95), SanFranciso, USA, pp 312\u2013319"},{"key":"16_CR26_1","volume-title":"Artificial Intelligence, A Modern Approach","author":"S Russel","year":"1995","unstructured":"Russel S, Norvig P (1995) Artificial Intelligence, A Modern Approach, Prentice Hall, Englewood Cliffs, NJ"},{"key":"16_CR27_1","unstructured":"Schorlemmer M, Kalfoglou Y (2003) Using Information-Flow Theory to enable Semantic Interoperability, Technical report EDI-INF-RR-0161 University of Edinburgh"},{"key":"16_CR28_1","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1111\/j.1746-8361.2000.tb00286.x","volume":"54","author":"A Varzi","year":"2000","unstructured":"Varzi A (2000) Mereological commitments. Dialectica, 54: 283\u2013305","journal-title":"Dialectica"},{"issue":"3","key":"16_CR29_1","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1145\/958961.958963","volume":"12","author":"F Zambonelli","year":"2003","unstructured":"Zambonelli F, Jennings NR, Wooldridge M (2003) Developing MultiAgent systems: The Gaia methodology. Journal of ACM Transactions on Software Engineering and Methodology, 12(3): 317\u2013370","journal-title":"Journal of ACM Transactions on Software Engineering and Methodology"}],"container-title":["Studies in Computational Intelligence","Intelligent Techniques and Tools for Novel System Architectures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77623-9_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,15]],"date-time":"2021-09-15T23:26:18Z","timestamp":1631748378000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77623-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540776215","9783540776239"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77623-9_16","relation":{},"ISSN":["1860-949X"],"issn-type":[{"type":"print","value":"1860-949X"}],"subject":[],"published":{"date-parts":[[2008]]}}}