Abstract
Ontologies provide a common conceptualisation that can be shared by all stakeholders in an engineering development process. They provide a good means to analyse the domain, allowing to separate descriptive from problem–solving knowledge. Our research programme on autonomous systems considered an ontology as the adequate mechanism to conceptualise the autonomous systems domain, and the software engineering techniques applied to such systems. This paper describes the ontological engineering process of such an ontology: OASys (Ontology for Autonomous Systems). Its development considered different stages: the specification of the requirements to be fulfilled by the ontology; the extraction of the actual features needed to implement the desired requirements; the conceptualisation phase with the design decisions to integrate the different domains, theories and techniques addressed by the ontological elements; and finally, the implementation of the ontology, which integrates both ontology engineering and software engineering approaches by using UML as the implementation language.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Abran, A., Cuadrado, J., García-Barriocanala, E., Mendes, O., Sánchez-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–121. Springer, Heidelberg (2006)
ASLab Team: Core mental terminology: from an autonomous system perspective. Technical Report R-2006-XXX, Autonomous Systems Laboratory (ASLab) (2006)
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 1, 142–156 (2002)
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 49, 67–78 (2004)
Bermejo-Alonso, J., Sanz, R., Rodríguez, M., Hernández, C.: An Ontological Framework for Autonomous Systems Modelling. International Journal on Advances in Intelligent Systems 3, 4, 211–225 (2010)
Bermejo-Alonso, J., Sanz, R., Rodríguez, M., Hernández, C.: An Ontology–Based Approach for Autonomous Systems’ Description and Engineering: The OASys Framework. In: Setchi, R., Jordanov, I., Howlett, R.J., Jain, L.C. (eds.) KES 2010, Part I. LNCS, vol. 6276, pp. 522–531. Springer, Heidelberg (2010)
Bermejo-Alonso, J.: OASys: ontology for Autonomous Systems. PhD thesis, Universidad Politécnica de Madrid (2010)
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–21 (1995)
Borst, P., Akkermans, H., Top, J.: Engineering ontologies. International Journal of Human-Computer Studies 46, 365–406 (1997)
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)
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)
Brank, J., Grobelnik, M., Mladenic, D.: A survey of ontology evaluation techniques. In: Conference on Data Mining and Data Warehouses, SiKDD (2005)
Corcho, O., Fernández-López, M., Gómez-Pérez, A.: Methodologies, tools and languages for building ontologies. where is their meeting point? Data and Knowledge Engineering 46, 41–64 (2003)
de la Mata, J.L.: CSTR overall specification: The main PCT testbed. Technical Report R-2009-001, Autonomous Systems Laboratory, ASLab (2009)
Douglass, B.P.: Real Time UML: advances in the UML for real–time systems, 3rd edn. The Addison–Wesley object technological. Addison-Wesley (2004)
Eberhart, A.: Ontology-Based Infrastructure for Intelligent Applications. Phd thesis, University of Saarbrücken (2003)
Estefan, J.A.: Survey of model–based 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)
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–156 (2005)
Fernández-López, M., Gómez-Pérez, A., Juristo, N.: METHONTOLOGY: from ontological art towards ontological engineering. In: Farquhar, A., Grüninger, M., Gómez-Pérez, A., Uschold, M., van der Vet, P. (eds.) AAAI 1997 Spring Symposium on Ontological Engineering, Stanford University, CA, U.S.A, pp. 33–40 (1997)
Friedenthal, S., Moore, A., Steiner, R.: A practical guide to SysML: The Systems Modeling Language. Morgan Kaufmann and OMG Press (2008)
Gasevic, D., Djuric, D., Devedzic, V.: Model Driven Architecture and Ontology Development. Springer, Heidelberg (2006)
Gómez Pérez, A., Fernández López, 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–197. Springer (2004)
Gómez Pérez, A., Fernández López, 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)
Gómez Pérez, A.: Ontology Evaluation. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, pp. 251–274. Springer (2004)
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)
Grüninger, 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–6.10 (1995)
Guizzardi, G.: Ontological Foundations for Structural Conceptual Models. Phd thesis, University of Twente, The Netherlands (2005)
Hallam, J., Bruynickx, H.: An ontology of robotics science. In: Christensen, H.I. (ed.) European Robotics Symposium 2006 (STAR 22), pp. 1–14. Springer, Heidelberg (2006)
Hernández, C., Hernando, A.: RCT overall specification: Higgs platform. Technical Report R-2008-XXX, Autonomous Systems Laboratory, ASLab (2008)
Hernández, C., Sanz, R., López, I.: Consciousness in cognitive architectures: a principled analysis of RCS, Soar and ACT–R. Technical Report R–2008–004, Autonomous Systems Laboratory, ASLab (2008)
Hesse, W.: Ontologies in the software engineering process. In: Lenz, R. (ed.) Tagungsband Workshop on Enterprise Application Integration (EAI 2005), GITO–Verlag, Berlin (2005)
Hruby, P.: Ontology–based domain–driven design. In: Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2005), San Diego, California, U.S.A (2005)
IEEE: IEEE Standard Glossary of Software Engineering Terminology. IEEE Computer Society, New York, IEEE std 610.12 1990 edition (1990)
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)
Keet, C., Artale, A.: Representing and reasoning over a taxonomy of part–whole relations. Applied Ontology (1), 1–17 (2007)
Klir, G.J.: Approach to General Systems Theory. Van Norstrand Reinhold, New York (1969)
Klir, G.J.: Facets of Systems Science. Plenum Press (1991)
Klir, G.J., Elias, D.: Architecture of Systems Problem Solving. IFSR International Series on Systems Science and Engineering, vol. 21. Kluwer Academic Publishers (2003)
Klir, G.J.K.: The emergence of two–dimensional science in the information society. Systems Research 2(1), 33–41 (1985)
Lehtihet, E., Strassner, J., Agoulmine, N., Foghlú, M.Ó.: Ontology-Based Knowledge Representation for Self-governing Systems. In: State, R., van der Meer, S., O’Sullivan, D., Pfeifer, T. (eds.) DSOM 2006. LNCS, vol. 4269, pp. 74–85. Springer, Heidelberg (2006)
López, I.: A Foundation for Perception in Autonomous Systems. Phd thesis, Universidad Politécnica de Madrid (2007)
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–35. IEEE Computer Society (2005)
Mizoguchi, R.: Tutorial on ontological engineering - part 2: ontology development, tools and languages. New Generation Computing 22(1), 61–96 (2004)
Morbach, J., Bayer, B., Wiesner, A., Yang, A., Marquardt, W.: OntoCAPE 2.0: the upper level. Technical Report LPT–2008–25, RWTH Aachen University (2008)
Morbach, J., Wiesner, A., Marquardt, W.: A meta model for the design of domain ontologies. Technical Report LPT-2008-24, RWTH Aachen University (2007)
Noy, N., McGuinness, D.: Ontology development 101: A guide to creating your first ontology. Technical Report KSL–01–05, Stanford Knowledge Systems Laboratory (2001)
OMG: MDA Guide Version 1.0.1. Object Management Group (2003)
Pinto, H.S., Martins, J.P.: Ontologies: How can they be built. Knowledge and Information Systems 6(4), 441–464 (2004)
OMG: OMG SysML Specification. Object Management Group, v 1.1 edition (2008)
OMG: Software and systems process engineering meta–model specification version 2.0. OMG Formal Specification 2008–04–01, Object Management Group, Inc. (2008)
OMG: OMG Unified Modeling Language (OMG UML) Infrastructure and Superstructure Version 2.2 (2009)
OMG: Ontology Definition Metamodel Version 1.0. Object Management Group (2009)
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)
Ruiz, F., Hilera, J.: Ontologies for Software Engineering and Software Technology. Springer, Heidelberg (2006)
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Object Technology. Addison-Wesley (2004)
Sanz, R., Hernández, C., Gómez, J., Bermejo-Alonso, J., Rodríguez, M., Hernando, A., Sánchez, G.: Systems, models and self–awareness: towards architectural models of consciousness. International Journal of Machine Consciousness 1(2), 255–279 (2009)
Sanz, R., Hernández, C., Rodríguez, M.: ASys models: Model–driven engineering in ASys. Technical Report R–2007–016, Autonomous Systems Laboratory, ASLab (2007)
Sanz, R., López, I., Bermejo, J.: A rationale and vision for machine consciousness in complex controllers. In: Artificial Consciousness, pp. 141–155. Imprint Academic, Exeter (2007)
Sanz, R., López, I., Bermejo, J., Chinchilla, R., Conde, R.: Self-X: The control within. In: 16th IFAC World Congress. IFAC, Praga (2005)
Sanz, R., Matia, F., Puente, E.A.: The ICa approach to intelligent autonomous systems. In: Microprocessor–based and Intelligent Systems Engineering. Kluwer Academic Publishers (1999)
Sanz, R., Rodríguez, M.: The ASys vision: Engineering any-x autonomous system. Technical Report R-2007-001, Autonomous Systems Laboratory, ASLab (2008)
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–34. ACM Press, Budapest (2005)
Scrapper, C., Balakirsky, S.: Knowledge representation for on–road driving. In: 2004 AAAI Spring Symposium on Knowledge Representation and Ontologies for Autonomous Systems, Stanford, California (2004)
Segarra, M.J.: CORBA control systems. PhD thesis, Universidad Politécnica de Madrid (2005)
Stahl, T., Völter, M.: Model-Driven Software Development: technology, engineering, management. John Wiley and Sons, Ltd. (2006)
Stojanovic, L., Abecker, A., Stojanovic, N., Studer, R.: Ontology–based correlation engines. In: International Conference on Autonomic Computing (ICAC 2004), pp. 304–305 (2004a)
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 43(3), 598–616 (2004b)
Tamma, V., Cranefield, S., Finin, T., Willmott, S.: Ontologies for Agents: Theory and Experiences. Whitestein Series in Software Agent Technologies and Autonomic Computing. Birkhäuser (2005)
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–680, Prague, Czech Republic (2003)
University of Toronto: GRL ontology (2004)
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)
UPM-ICEA-Team: ICEA glossary: integration, cognition, emotion, autonomy. Technical Report ASLab-ICEA-R-2006-014, Autonomous Systems Laboratory (ASLab) (2006)
UPM-ICEA-Team: A vision of general autonomous systems. Technical Report ASLab-ICEA-R-2006-018, 1.0 Final, Autonomous Systems Laboratory (ASLab) (2006)
UPM-ICEA-Team: A vision of perception in autonomous systems. Technical Report ASLab-ICEA-R-2006-017, Autonomous Systems Laboratory (ASLab) (2006)
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–6.10 (1995)
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)
van Lamsweerde, A.: From System Goals to Software Architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 25–43. Springer, Heidelberg (2003)
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)
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–365 (2005)
Yu, E.: Towards modelling and reasoning support for early–phase requirements engineering. In: 3rd IEEE International Symposium on Requirements Engineering (RE 1997), Washington, D.C., USA, pp. 226–235 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bermejo–Alonso, J., Sanz, R., Rodríguez, M., Hernández, C. (2013). Ontology Engineering for the Autonomous Systems Domain. In: Fred, A., Dietz, J.L.G., Liu, K., Filipe, J. (eds) Knowledge Discovery, Knowledge Engineering and Knowledge Management. IC3K 2011. Communications in Computer and Information Science, vol 348. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37186-8_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-37186-8_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-37185-1
Online ISBN: 978-3-642-37186-8
eBook Packages: Computer ScienceComputer Science (R0)