{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T04:07:36Z","timestamp":1746072456681,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":80,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642371851"},{"type":"electronic","value":"9783642371868"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37186-8_17","type":"book-chapter","created":{"date-parts":[[2013,4,10]],"date-time":"2013-04-10T03:01:39Z","timestamp":1365562899000},"page":"263-277","source":"Crossref","is-referenced-by-count":1,"title":["Ontology Engineering for the Autonomous Systems Domain"],"prefix":"10.1007","author":[{"given":"Julita","family":"Bermejo\u2013Alonso","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo","family":"Sanz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Rodr\u00edguez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Hern\u00e1ndez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/3-540-34518-3_3","volume-title":"Ontologies for Software Engineering and Software Technology","author":"A. Abran","year":"2006","unstructured":"Abran, A., Cuadrado, J., Garc\u00eda-Barriocanala, E., Mendes, O., S\u00e1nchez-Alonso, S., Sicilia, M.: Engineering the ontology for the SWEBOK: Issues and techniques. In: Calero, C., Ruiz, F., Piattini, M. (eds.) Ontologies for Software Engineering and Software Technology, pp. 103\u2013121. Springer, Heidelberg (2006)"},{"key":"17_CR2","unstructured":"ASLab Team: Core mental terminology: from an autonomous system perspective. Technical Report R-2006-XXX, Autonomous Systems Laboratory (ASLab) (2006)"},{"key":"17_CR3","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/s10270-002-0008-4","volume":"1","author":"K. Baclawski","year":"2002","unstructured":"Baclawski, K., Kokar, M., Kogut, P., Hart, L., Smith, J., Letkowski, J., Emery, P.: Extending the unified modeling language for ontology development. Software Systems Modeling\u00a01, 142\u2013156 (2002)","journal-title":"Software Systems Modeling"},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.robot.2004.07.017","volume":"49","author":"T. Barbera","year":"2004","unstructured":"Barbera, T., Albus, J., Messina, E., Schlenoff, C., Horst, J.: How task analysis can be used to derive and organize the knowledge for the control of autonomous vehicles. Robotics and Autonomous Systems\u00a049, 67\u201378 (2004)","journal-title":"Robotics and Autonomous Systems"},{"key":"17_CR5","first-page":"211","volume":"3","author":"J. Bermejo-Alonso","year":"2010","unstructured":"Bermejo-Alonso, J., Sanz, R., Rodr\u00edguez, M., Hern\u00e1ndez, C.: An Ontological Framework for Autonomous Systems Modelling. International Journal on Advances in Intelligent Systems\u00a03, 4, 211\u2013225 (2010)","journal-title":"International Journal on Advances in Intelligent Systems"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1007\/978-3-642-15387-7_56","volume-title":"Knowledge-Based and Intelligent Information and Engineering Systems","author":"J. Bermejo-Alonso","year":"2010","unstructured":"Bermejo-Alonso, J., Sanz, R., Rodr\u00edguez, M., Hern\u00e1ndez, C.: An Ontology\u2013Based Approach for Autonomous Systems\u2019 Description and Engineering: The OASys Framework. In: Setchi, R., Jordanov, I., Howlett, R.J., Jain, L.C. (eds.) KES 2010, Part I. LNCS, vol.\u00a06276, pp. 522\u2013531. Springer, Heidelberg (2010)"},{"key":"17_CR7","unstructured":"Bermejo-Alonso, J.: OASys: ontology for Autonomous Systems. PhD thesis, Universidad Polit\u00e9cnica de Madrid (2010)"},{"key":"17_CR8","unstructured":"Borst, P., Akkermans, H., Top, J.: The PhysSys ontology for physical systems. In: Ninth International Workshop Ninth International Workshop on Qualitative Reasoning. Department of Social Science Informatics (S.W.I.) University of Amsterdam, Amsterdam, The Netherlands, pp. 11\u201321 (1995)"},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1006\/ijhc.1996.0096","volume":"46","author":"P. Borst","year":"1997","unstructured":"Borst, P., Akkermans, H., Top, J.: Engineering ontologies. International Journal of Human-Computer Studies\u00a046, 365\u2013406 (1997)","journal-title":"International Journal of Human-Computer Studies"},{"key":"17_CR10","unstructured":"Borst, W.N.: Construction of Engineering Ontologies for Knowledge Sharing and Reuse. PhD thesis, Centre for Telematics and Information Technology, University of Tweenty, Enschede, The Netherlands (1997)"},{"key":"17_CR11","unstructured":"Obrst, L., Ashpole, B., Ceusters, W., Mani, I., Ray, S.R., Smith, B.: The Evaluation of Ontologies. In: Baker, C.J.O., Cheung, K.-H. (eds.) Semantic Web: Revolutionizing Knowledge Discovery in the Life Sciences, 1st edn. Springer (2006)"},{"key":"17_CR12","unstructured":"Brank, J., Grobelnik, M., Mladenic, D.: A survey of ontology evaluation techniques. In: Conference on Data Mining and Data Warehouses, SiKDD (2005)"},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/S0169-023X(02)00195-7","volume":"46","author":"O. Corcho","year":"2003","unstructured":"Corcho, O., Fern\u00e1ndez-L\u00f3pez, M., G\u00f3mez-P\u00e9rez, A.: Methodologies, tools and languages for building ontologies. where is their meeting point? Data and Knowledge Engineering\u00a046, 41\u201364 (2003)","journal-title":"Data and Knowledge Engineering"},{"key":"17_CR14","unstructured":"de la Mata, J.L.: CSTR overall specification: The main PCT testbed. Technical Report R-2009-001, Autonomous Systems Laboratory, ASLab (2009)"},{"key":"17_CR15","unstructured":"Douglass, B.P.: Real Time UML: advances in the UML for real\u2013time systems, 3rd edn. The Addison\u2013Wesley object technological. Addison-Wesley (2004)"},{"key":"17_CR16","unstructured":"Eberhart, A.: Ontology-Based Infrastructure for Intelligent Applications. Phd thesis, University of Saarbr\u00fccken (2003)"},{"key":"17_CR17","unstructured":"Estefan, J.A.: Survey of model\u2013based systems engineering (MBSE) methodologies. Technical Report INCOSE-TD-2007-003-01 (Rev. B), Model Based Systems Engineering (MBSE) Initiative, International Council on Systems Engineering (INCOSE) (2008)"},{"key":"17_CR18","unstructured":"Falbo, R., Ruy, F., Moro, R.: Using ontologies to add semantics to a software engineering environment. In: 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), Taipei, China, pp. 151\u2013156 (2005)"},{"key":"17_CR19","unstructured":"Fern\u00e1ndez-L\u00f3pez, M., G\u00f3mez-P\u00e9rez, A., Juristo, N.: METHONTOLOGY: from ontological art towards ontological engineering. In: Farquhar, A., Gr\u00fcninger, M., G\u00f3mez-P\u00e9rez, A., Uschold, M., van der Vet, P. (eds.) AAAI 1997 Spring Symposium on Ontological Engineering, Stanford University, CA, U.S.A, pp. 33\u201340 (1997)"},{"key":"17_CR20","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A practical guide to SysML: The Systems Modeling Language. Morgan Kaufmann and OMG Press (2008)"},{"key":"17_CR21","volume-title":"Model Driven Architecture and Ontology Development","author":"D. Gasevic","year":"2006","unstructured":"Gasevic, D., Djuric, D., Devedzic, V.: Model Driven Architecture and Ontology Development. Springer, Heidelberg (2006)"},{"key":"17_CR22","unstructured":"G\u00f3mez P\u00e9rez, A., Fern\u00e1ndez L\u00f3pez, M., Corcho, M.: Methodologies and methods for building ontologies. In: Ontological Engineering: with examples from the Areas of Knowledge Management, e-Commerce and the Semantic Web. Advanced Information and Knowledge Processing, pp. 107\u2013197. Springer (2004)"},{"key":"17_CR23","unstructured":"G\u00f3mez P\u00e9rez, A., Fern\u00e1ndez L\u00f3pez, M., Corcho, M.: Ontological Engineering: with examples from the areas of Knowledge Management, e-Commerce and the Semantic Web. Advanced Information and Knowledge Processing. Springer (2004)"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"G\u00f3mez P\u00e9rez, A.: Ontology Evaluation. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, pp. 251\u2013274. Springer (2004)","DOI":"10.1007\/978-3-540-24750-0_13"},{"key":"17_CR25","unstructured":"Gruber, T.: Toward principles for the design of ontologies used for knowledge sharing. In: Guarino, N., Poli, R. (eds.) International Workshop on Formal Ontology in Conceptual Analysis and Knowledge Representation, Padova, Italy. Kluwer Academic Publishers (1993)"},{"key":"17_CR26","unstructured":"Gr\u00fcninger, M., Fox, M.: Methodology for the design and evaluation of ontologies. In: Skuce, D. (ed.) IJCAI 1995 Workshop on Basic Ontological Issues in Knowledge Sharing, Montreal, Canada, pp. 6.1\u20136.10 (1995)"},{"key":"17_CR27","unstructured":"Guizzardi, G.: Ontological Foundations for Structural Conceptual Models. Phd thesis, University of Twente, The Netherlands (2005)"},{"key":"17_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11681120_1","volume-title":"European Robotics Symposium 2006 (STAR 22)","author":"J. Hallam","year":"2006","unstructured":"Hallam, J., Bruynickx, H.: An ontology of robotics science. In: Christensen, H.I. (ed.) European Robotics Symposium 2006 (STAR 22), pp. 1\u201314. Springer, Heidelberg (2006)"},{"key":"17_CR29","unstructured":"Hern\u00e1ndez, C., Hernando, A.: RCT overall specification: Higgs platform. Technical Report R-2008-XXX, Autonomous Systems Laboratory, ASLab (2008)"},{"key":"17_CR30","unstructured":"Hern\u00e1ndez, C., Sanz, R., L\u00f3pez, I.: Consciousness in cognitive architectures: a principled analysis of RCS, Soar and ACT\u2013R. Technical Report R\u20132008\u2013004, Autonomous Systems Laboratory, ASLab (2008)"},{"key":"17_CR31","volume-title":"Tagungsband Workshop on Enterprise Application Integration (EAI 2005)","author":"W. Hesse","year":"2005","unstructured":"Hesse, W.: Ontologies in the software engineering process. In: Lenz, R. (ed.) Tagungsband Workshop on Enterprise Application Integration (EAI 2005), GITO\u2013Verlag, Berlin (2005)"},{"key":"17_CR32","unstructured":"Hruby, P.: Ontology\u2013based domain\u2013driven design. In: Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2005), San Diego, California, U.S.A (2005)"},{"key":"17_CR33","unstructured":"IEEE: IEEE Standard Glossary of Software Engineering Terminology. IEEE Computer Society, New York, IEEE std 610.12 1990 edition (1990)"},{"key":"17_CR34","unstructured":"IEEE: IEEE Recommended Practice for Architectural Description for Software- Intensive Systems. Institute for Electrical and Electronics Engineering, New York, IEEE std 1471-2000 edition (2000)"},{"key":"17_CR35","doi-asserted-by":"crossref","unstructured":"Keet, C., Artale, A.: Representing and reasoning over a taxonomy of part\u2013whole relations. Applied Ontology\u00a0(1), 1\u201317 (2007)","DOI":"10.3233\/AO-2008-0044"},{"key":"17_CR36","volume-title":"Approach to General Systems Theory","author":"G.J. Klir","year":"1969","unstructured":"Klir, G.J.: Approach to General Systems Theory. Van Norstrand Reinhold, New York (1969)"},{"key":"17_CR37","doi-asserted-by":"crossref","unstructured":"Klir, G.J.: Facets of Systems Science. Plenum Press (1991)","DOI":"10.1007\/978-1-4899-0718-9"},{"key":"17_CR38","doi-asserted-by":"crossref","unstructured":"Klir, G.J., Elias, D.: Architecture of Systems Problem Solving. IFSR International Series on Systems Science and Engineering, vol.\u00a021. Kluwer Academic Publishers (2003)","DOI":"10.1007\/978-1-4419-9224-6"},{"issue":"1","key":"17_CR39","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1002\/sres.3850020107","volume":"2","author":"G.J.K. Klir","year":"1985","unstructured":"Klir, G.J.K.: The emergence of two\u2013dimensional science in the information society. Systems Research\u00a02(1), 33\u201341 (1985)","journal-title":"Systems Research"},{"key":"17_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/11907466_7","volume-title":"Large Scale Management of Distributed Systems","author":"E. Lehtihet","year":"2006","unstructured":"Lehtihet, E., Strassner, J., Agoulmine, N., Foghl\u00fa, M.\u00d3.: Ontology-Based Knowledge Representation for Self-governing Systems. In: State, R., van der Meer, S., O\u2019Sullivan, D., Pfeifer, T. (eds.) DSOM 2006. LNCS, vol.\u00a04269, pp. 74\u201385. Springer, Heidelberg (2006)"},{"key":"17_CR41","unstructured":"L\u00f3pez, I.: A Foundation for Perception in Autonomous Systems. Phd thesis, Universidad Polit\u00e9cnica de Madrid (2007)"},{"key":"17_CR42","doi-asserted-by":"crossref","unstructured":"Malucelli, A., Palzer, D., Oliveira, E.: Combining ontologies and agents to help in solving the heterogeneous problem in e-commerce negotiations. In: International Workshop on Data Engineering Issues in E-Commerce (DEEC 2005), Tokyo, Japan, pp. 26\u201335. IEEE Computer Society (2005)","DOI":"10.1109\/DEEC.2005.6"},{"issue":"1","key":"17_CR43","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF03037281","volume":"22","author":"R. Mizoguchi","year":"2004","unstructured":"Mizoguchi, R.: Tutorial on ontological engineering - part 2: ontology development, tools and languages. New Generation Computing\u00a022(1), 61\u201396 (2004)","journal-title":"New Generation Computing"},{"key":"17_CR44","unstructured":"Morbach, J., Bayer, B., Wiesner, A., Yang, A., Marquardt, W.: OntoCAPE 2.0: the upper level. Technical Report LPT\u20132008\u201325, RWTH Aachen University (2008)"},{"key":"17_CR45","unstructured":"Morbach, J., Wiesner, A., Marquardt, W.: A meta model for the design of domain ontologies. Technical Report LPT-2008-24, RWTH Aachen University (2007)"},{"key":"17_CR46","unstructured":"Noy, N., McGuinness, D.: Ontology development 101: A guide to creating your first ontology. Technical Report KSL\u201301\u201305, Stanford Knowledge Systems Laboratory (2001)"},{"key":"17_CR47","unstructured":"OMG: MDA Guide Version 1.0.1. Object Management Group (2003)"},{"issue":"4","key":"17_CR48","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/s10115-003-0138-1","volume":"6","author":"H.S. Pinto","year":"2004","unstructured":"Pinto, H.S., Martins, J.P.: Ontologies: How can they be built. Knowledge and Information Systems\u00a06(4), 441\u2013464 (2004)","journal-title":"Knowledge and Information Systems"},{"key":"17_CR49","unstructured":"OMG: OMG SysML Specification. Object Management Group, v 1.1 edition (2008)"},{"key":"17_CR50","unstructured":"OMG: Software and systems process engineering meta\u2013model specification version 2.0. OMG Formal Specification 2008\u201304\u201301, Object Management Group, Inc. (2008)"},{"key":"17_CR51","unstructured":"OMG: OMG Unified Modeling Language (OMG UML) Infrastructure and Superstructure Version 2.2 (2009)"},{"key":"17_CR52","unstructured":"OMG: Ontology Definition Metamodel Version 1.0. Object Management Group (2009)"},{"key":"17_CR53","unstructured":"Provine, R., Uschold, M., Smith, S.: Observations on the use of ontologies for autonomous vehicle navigation planning. In: 2004 AAAI Spring Symposium on Knowledge Representation and Ontologies for Autonomous Systems, Stanford, California (2004)"},{"key":"17_CR54","volume-title":"Ontologies for Software Engineering and Software Technology","author":"F. Ruiz","year":"2006","unstructured":"Ruiz, F., Hilera, J.: Ontologies for Software Engineering and Software Technology. Springer, Heidelberg (2006)"},{"key":"17_CR55","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Object Technology. Addison-Wesley (2004)"},{"issue":"2","key":"17_CR56","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1142\/S1793843009000359","volume":"1","author":"R. Sanz","year":"2009","unstructured":"Sanz, R., Hern\u00e1ndez, C., G\u00f3mez, J., Bermejo-Alonso, J., Rodr\u00edguez, M., Hernando, A., S\u00e1nchez, G.: Systems, models and self\u2013awareness: towards architectural models of consciousness. International Journal of Machine Consciousness\u00a01(2), 255\u2013279 (2009)","journal-title":"International Journal of Machine Consciousness"},{"key":"17_CR57","unstructured":"Sanz, R., Hern\u00e1ndez, C., Rodr\u00edguez, M.: ASys models: Model\u2013driven engineering in ASys. Technical Report R\u20132007\u2013016, Autonomous Systems Laboratory, ASLab (2007)"},{"key":"17_CR58","first-page":"141","volume-title":"Artificial Consciousness","author":"R. Sanz","year":"2007","unstructured":"Sanz, R., L\u00f3pez, I., Bermejo, J.: A rationale and vision for machine consciousness in complex controllers. In: Artificial Consciousness, pp. 141\u2013155. Imprint Academic, Exeter (2007)"},{"key":"17_CR59","volume-title":"16th IFAC World Congress","author":"R. Sanz","year":"2005","unstructured":"Sanz, R., L\u00f3pez, I., Bermejo, J., Chinchilla, R., Conde, R.: Self-X: The control within. In: 16th IFAC World Congress. IFAC, Praga (2005)"},{"key":"17_CR60","doi-asserted-by":"crossref","unstructured":"Sanz, R., Matia, F., Puente, E.A.: The ICa approach to intelligent autonomous systems. In: Microprocessor\u2013based and Intelligent Systems Engineering. Kluwer Academic Publishers (1999)","DOI":"10.1007\/978-94-011-4790-3_4"},{"key":"17_CR61","unstructured":"Sanz, R., Rodr\u00edguez, M.: The ASys vision: Engineering any-x autonomous system. Technical Report R-2007-001, Autonomous Systems Laboratory, ASLab (2008)"},{"key":"17_CR62","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/1096961.1096965","volume-title":"2005 ACM Workshop on Research in Knowledge Representation for Autonomous Systems","author":"C. Schlenoff","year":"2005","unstructured":"Schlenoff, C., Messina, E.: A robot ontology for urban search and rescue. In: 2005 ACM Workshop on Research in Knowledge Representation for Autonomous Systems, pp. 27\u201334. ACM Press, Budapest (2005)"},{"key":"17_CR63","doi-asserted-by":"crossref","unstructured":"Scrapper, C., Balakirsky, S.: Knowledge representation for on\u2013road driving. In: 2004 AAAI Spring Symposium on Knowledge Representation and Ontologies for Autonomous Systems, Stanford, California (2004)","DOI":"10.1016\/j.robot.2004.07.016"},{"key":"17_CR64","unstructured":"Segarra, M.J.: CORBA control systems. PhD thesis, Universidad Polit\u00e9cnica de Madrid (2005)"},{"key":"17_CR65","unstructured":"Stahl, T., V\u00f6lter, M.: Model-Driven Software Development: technology, engineering, management. John Wiley and Sons, Ltd. (2006)"},{"key":"17_CR66","doi-asserted-by":"crossref","unstructured":"Stojanovic, L., Abecker, A., Stojanovic, N., Studer, R.: Ontology\u2013based correlation engines. In: International Conference on Autonomic Computing (ICAC 2004), pp. 304\u2013305 (2004a)","DOI":"10.1109\/ICAC.2004.1301388"},{"issue":"3","key":"17_CR67","doi-asserted-by":"publisher","first-page":"598","DOI":"10.1147\/sj.433.0598","volume":"43","author":"L. Stojanovic","year":"2004","unstructured":"Stojanovic, L., Schneider, J., Maedche, A., Libischer, S., Studer, R., Lumpp, T., Abecker, A., Breiter, G., Dinger, J.: The role of ontologies in autonomic computing systems. IBM Systems Journal\u00a043(3), 598\u2013616 (2004b)","journal-title":"IBM Systems Journal"},{"key":"17_CR68","doi-asserted-by":"crossref","unstructured":"Tamma, V., Cranefield, S., Finin, T., Willmott, S.: Ontologies for Agents: Theory and Experiences. Whitestein Series in Software Agent Technologies and Autonomic Computing. Birkh\u00e4user (2005)","DOI":"10.1007\/3-7643-7361-X"},{"key":"17_CR69","doi-asserted-by":"crossref","unstructured":"Tziallas, G., Theodoulidis, B.: Building autonomic computing systems based on ontological component models and a controller synthesis algorithm. In: 14th International Workshop on Database and Expert Systems Applications (DEXA 2003), pp. 674\u2013680, Prague, Czech Republic (2003)","DOI":"10.1109\/DEXA.2003.1232099"},{"key":"17_CR70","unstructured":"University of Toronto: GRL ontology (2004)"},{"key":"17_CR71","unstructured":"UPM-ICEA-Team: Case studies of perception and system analysis. Technical Report ASLab-ICEA-R-2006-015, 1.0 Final, Autonomous Systems Laboratory (ASLab) (2006)"},{"key":"17_CR72","unstructured":"UPM-ICEA-Team: ICEA glossary: integration, cognition, emotion, autonomy. Technical Report ASLab-ICEA-R-2006-014, Autonomous Systems Laboratory (ASLab) (2006)"},{"key":"17_CR73","unstructured":"UPM-ICEA-Team: A vision of general autonomous systems. Technical Report ASLab-ICEA-R-2006-018, 1.0 Final, Autonomous Systems Laboratory (ASLab) (2006)"},{"key":"17_CR74","unstructured":"UPM-ICEA-Team: A vision of perception in autonomous systems. Technical Report ASLab-ICEA-R-2006-017, Autonomous Systems Laboratory (ASLab) (2006)"},{"key":"17_CR75","unstructured":"Uschold, M., King, M.: Towards a methodology for builiding ontologies. In: Skuce, D. (ed.) IJCAI 1995 Workshop on Basic Ontological Issues in Knowledge Sharing, Montreal, Canada, pp. 6.1\u20136.10 (1995)"},{"key":"17_CR76","unstructured":"Uschold, M., Provine, R., Smith, S., Schlenoff, C., Balikirsky, S.: Ontologies for world modeling in autonomous vehicles. In: 18th International Joint Conference on Artificial Intelligence, IJCAI 2003 (2003)"},{"key":"17_CR77","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-39800-4_2","volume-title":"Formal Methods for Software Architectures","author":"A. Lamsweerde van","year":"2003","unstructured":"van Lamsweerde, A.: From System Goals to Software Architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 25\u201343. Springer, Heidelberg (2003)"},{"key":"17_CR78","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Requirements engineering: From craft to discipline. In: FSE 2008: 16th ACM Sigsoft International Symposium on the Foundations of Software Engineering, Atlanta, U.S.A (2008)","DOI":"10.1145\/1453101.1453133"},{"key":"17_CR79","doi-asserted-by":"crossref","unstructured":"Wongthongtham, P., Chang, E., Dillon, T.: Towards ontology-based software engineering for multi-site software development. In: 3rd IEEE International Conference on Industrial Informatics (INDIN), Perth, Australia, pp. 362\u2013365 (2005)","DOI":"10.1109\/INDIN.2005.1560403"},{"key":"17_CR80","doi-asserted-by":"crossref","unstructured":"Yu, E.: Towards modelling and reasoning support for early\u2013phase requirements engineering. In: 3rd IEEE International Symposium on Requirements Engineering (RE 1997), Washington, D.C., USA, pp. 226\u2013235 (1997)","DOI":"10.1109\/ISRE.1997.566873"}],"container-title":["Communications in Computer and Information Science","Knowledge Discovery, Knowledge Engineering and Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37186-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T03:55:13Z","timestamp":1745985313000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37186-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642371851","9783642371868"],"references-count":80,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37186-8_17","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}