Stefano Borgo

+ 39 0461 314873
+ 39 0461 314875

Via alla Cascata 56 C - 38123 Povo (TN) - Italy


  • engineering design;
  • information system;
  • knowledge representation;
  • logic;
  • ontology;
  • process modeling;
  • product modeling;
Short profile: 

Stefano Borgo is a researcher at the Laboratory for Applied Ontology (Trento, Italy), part of the Institute of Cognitive Sciences and Technologies (ISTC) of the National Research Council (CNR). He studied at the University of Padua (Laurea, Math), Indiana University (MA, Math; MS, CS) and Free University of Bolzano-Bozen (PhD, CS). His research focuses on ontology, information structuring and modeling methodologies with applications in areas like engineering design, robotics, product and process information, architecture, human anatomy. He authored about 90 publications in international conferences and journals, 5 edited books and 3 journal special issues. He co-authored the DOLCE ontology and has been active in more than 20 national and international projects. He is in the Editorial Board of Applied Ontology journal, member of several research associations including the International Association on Ontology and its Applications (IAOA) where in the past he served as secretary and EC member.


Ontology, Knowledge representation, Space representation, Engineering design, Product lifecycle, Applied logic.


Journal articles

Borgo S., Spagnoletti N., Vieu L., Visalberghi E. Artifact and Artifact Categorization: Comparing Humans and Capuchin Monkeys. In: Review of Philosophy and Psychology, vol. 4 pp. 375 - 389. Springer, 2013.  image   image

Borgo S., Pozza G. Knowledge objects: a formal construct for material, information and role dependences. In: Knowledge Management Research & Practice, vol. 10 (3) pp. 227 - 236. Knowledge as an Object. E. Bolisani, S. Borgo, A. Oltramari (eds.). Palgrave Macmillan, 2012.  image   image   image

Borgo S., Carrara M., Garbacz P., Vermaas P. A Formalization of Functions as Operations on Flows. In: Journal of Computing and Information Science in Engineering, vol. 11 (3) article n. 031007. ASME, 2011.  image   image   image
Garbacz P., Borgo S., Carrara M., Veraas P. E. Two ontology-driven formalisations of functions and their comparison. In: Journal of Engineering Design, vol. 22 (11-12) pp. 733 - 764. Taylor & Francis, 2011.  image   image   image
Vermaas P. E., Carrara M., Borgo S., Garbacz P. The design stance and its artefacts. In: Synthese, Springer, [Online First 11 February 2011]  image   image   image

Borgo S., Masolo C. Full mereogeometries. In: REVIEW OF SYMBOLIC LOGIC, vol. 3 pp. 521 - 567. 2010.
Gaio S., Borgo S., Masolo C., Oltramari A., Guarino N. Un'introduzione all'ontologia DOLCE. In: AIDA Informazioni, vol. 28 pp. 107 - 125. 2010.

Borgo S., Carrara M., Garbacz P. R., Vermaas P. A Formal Ontological Perspective on the Behaviors and Functions of Technical Artifacts. In: AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, vol. 23 pp. 3 - 21. 2009.

Bateman J., Borgo S., Luettich K., Masolo C., Mossakowski T. Ontological Modularity and Spatial Diversity. In: SPATIAL COGNITION AND COMPUTATION, vol. 7 pp. 97 - 128. 2007.
Borgo S., Ferrario R., Masolo C., Oltramari A. Mereogeometry and Pictorial Morphology. In: Image, Journal of Interdisciplinary Image Science, vol. 5 pp. 36 - 49. Herbert von Halem Verlag, 2007.  image

Borgo S., Cristani M., Cuel R. Formal Ontology meets Industry. In: Applied Ontology Journal, vol. 1 pp. 217 - 220. 2006.

Borgo S. Modal Operators with Adaptable Semantics for Multi-agent Systems. In: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, vol. 3673 pp. 186 - 197. 2005.
Borgo S. Quantificational modal logic with sequential Kripke semantics. In: Journal of Applied Non-Classical Logics, vol. 15 pp. 137 - 188. 2005.

Borgo S., Leitao P. The Role of Foundational Ontologies in Manufacturing Domain Applications. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. 3290 pp. 670 - 688. 2004.

Borgo S. A Multi-agent Modal Language for Concurrency with Non-communicating Agents. In: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, vol. 2691 pp. 40 - 50. 2003.
Oltramari A., Borgo S., Catenacci C., Ferrario R., Gangemi A., Guarino N., Masolo C., Pisanelli D. M. Il ruolo dell'Ontologia nella disambiguazione del significato. In: Networks, vol. 2 pp. 14 - 24. 2003.
Oltramari A., Borgo S., Catenacci C., Ferrario R., Gangemi A., Guarino N., Masolo C., Pisanelli D. M. Negoziati di significato. In: Sistemi Intelligenti, vol. 3 pp. 419 - 428. 2003.


Borgo S., Lesmo L. Formal Ontologies Meet Industry. Amsterdam: IOS Press, 2008.

Borgo S., Masolo C. Qualities in Possible Worlds. Amsterdam: IOS Press, 2006.

Contribution to Book/Monograph

Borgo S., Carrara M., Garbacz P. R., Vermaas. P. Formalizations of functions within the dolce ontology. Delft University of Technology, 2010.
Borgo S. How ontological categories and domain concepts get together in applied ontology. Monaco: Verlag Dr. Hut, 2010.
Garbacz P. R., Borgo S., Carrara M., Vermaas P. The design and the designer stance. Copenhagen: Danish Design School Press, 2010.
Ovchinnikova E., Vieu L. R., Oltramari A., Borgo S., Alexandrov T. Data- driven and ontological analysis of framenet for natural language reasoning. European Language Resources Association, 2010.

Borgo S., Pozza G. Disentangling knowledge objects. IOS Press, 2009.
Borgo S. Euclidean and mereological qualitative spaces: A study of SCC and DCC. In: Proceedings Int. Joint Conf. of AI (IJCAI). We determine the implicit assumptions and the structure of the Single and Double Cross Calculi within Euclidean geometry, and use these results to guide the construction of analogous calculi in mereogeometry. The systems thus obtained have strong semantic and deductive similarities with the Euclidean-based Cross Calculi although they rely on a different geometry. This fact suggests that putting too much emphasis on usual classification of qualitative spaces may hide important common- alities among spaces living in different classes. 2009.
Borgo S., Masolo C. Foundational choices in DOLCE. Berlin: Springer Verlag, 2009.
Borgo S., Carrara M., Garbacz P. R., Vermaas P. Towards the Ontological Representation of Functional Basis in DOLCE. Tokyo: Keio University, 2009.
Garbacz P. R., Borgo S., Carrara M., Vermaas P. The intentionalist design stance and its objects. Enschede (NL): 2009.
Pozza G., Borgo S., Ravarotto L. From data to knowledge objects, ontological considerations with inputs from the public health domain. Academic Conferences International (ACI), 2009.

Vieu L. R., Borgo S., Masolo C. Artefacts and Roles: Modeling Strategies in a Multiplicative Ontology. Amsterdam: IOS Press, 2008.

Borgo S. Coalitions in Action Logic. In: Proceedings of the Int. Joint Conf. of AI (IJCAI). pages 1822-1827. If modal logics for coalitions need to be applied, one must know how to translate coalition power into agents' actions. To these days, the connec- tion between coalition power and the actions of the agents has not been studied in the literature. This paper fills the gap by presenting a semantic trans- lation from Pauly's Coalition Logic to a (fragment of an) action logic. The interpretation of the empty coalition in Pauly's system and the representation of the notion of ability are discussed. modal logic, coalitions, coordination and cooperation, multiagent systems, concurrency. 2007.
Borgo S., Leitao P. Foundations for a Core Ontology of Manufacturing. Berlino, Germany: Springer, 2007.
Borgo S. How Formal Ontology can help Civil Engineers. Berlin (Germany): Springer Verlag, 2007.
Borgo S. Quantificational Modal Operators and Their Semantics. Amsterdam, The Netherlands: Amsterdam University Press, 2007.

Borgo S., Vieu L. R. From artefacts to products. Amsterdam: IOS Press, 2006.

Lehmann J., Borgo S., Masolo C., Gangemi A. Causality and Causation in DOLCE. Amsterdam: IOS Press, 2004.


Borgo S., Cesta A., Orlandini A., Rasconi R., Suriano M., Umbrico A. Towards a cooperative knowledge-based control agent for a reconfigurable manufacturing plant. In: ETFA 2014 - 19th IEEE International Conference on Emergency Technologies and Factory Automation (Barcellona, 16-19 September 2014). Proceedings, pp. 1 - 8. (Proceedings of the IEEE). IEEE, 2014.  image   image   image
Sanfilippo E. M., Borgo S., Masolo C. Events and Activities: Is there an Ontology behind BPMN?. In: FOIS 2014 - 8th International Conference on Formal Ontology in Information Systems (Rio de Janeiro, Brasil, 22-25 September 2014). Proceedings, pp. 147 - 156. P. Garbacz, O. Kutz (eds.). (Frontiers in Artificial Intelligence and Applications, vol. 267). IOS Press, 2014.  image   image
Sanfilippo E. M., Borgo S., Masolo C. Towards an ontological analysis of BPMN. In: KESE2014 - 10th Workshop on Knowledge Engineering and Software Engineering (Prague, Czech Republic, 19 August 2014). Proceedings, pp. 1 - 6. G. J. Nalepa, J. Baumeister (eds.). (CEUR Workshop Proceedings, vol. 1289)., 2014.  image   image

Mizoguchi R., Kitamura Y., Borgo S. Towards A Unified Definition of Function. In: FOIS 2012 - Formal Ontology in Information Systems, Seventh International Conference 2012. Proceedings (Graz, Austria, 24-27 July 2012). Proceedings, pp. 103 - 116. M. Donnelly, G. Guizzardi (eds.). (Frontiers in Artificial Intelligence and Applications, vol. 239). IOS Press, 2012.  image   image

Borgo S., Kutz O. A general framework for shape similarity. In: Shape - Shape 1.0 - The Shape of Things 2011. Proceedings of the First Interdisciplinary Workshop on SHAPES (Karlsruhe, Germ, 27 settembre 2011). Proceedings, article n. 5. J. Hastings, O. Kutz, M. Bhatt, S. Borgo (eds.). (CEUR Workshop Proceedings, vol. 812)., 2011.  image   image
Borgo S. Goals of Modularity: A Voice from the Foundational Viewpoint. In: WoMO 2011 - Modular Ontologies. Proceedings of the Fifth International Workshop, 2011 (Ljubljana, Slovenia, 8-12 August 2011). Proceedings, pp. 1 - 6. O. Kutz, T. Schneider (eds.). (Frontiers in Artificial Intelligence and Applications, vol. 230). IOS Press, 2011.  image   image
Borgo S., Franssen M., Garbacz P., Kitamura Y., Mizoguchi R., Vermaas P. E. Technical artifact: An integrated perspective. In: FOMI 2011 - The fifth international workshop Formal Ontologies Meet Industry, 2011 (Delft, the Netherlands, 7-8 July 2011). Proceedings, pp. 3 - 15. P.E. Vermaas, V. Dignum (eds.). (Frontiers in Artificial Intelligence and Applications, vol. 229). IOS Press, 2011.  image   image   image

Borgo S., Lesmo L. The Attractiveness of Foundational Ontologies in Industry. In: Formal Ontologies Meet Industry (FOMI 2008) (Torino, ). Proceedings, 2008.

Borgo S., Carrara M., Vermaas P. E., Garbacz P. Behavior of a Technical Artifact: An Ontological Perspective in Engineering. In: FOIS 2006 - Formal Ontology in Information Systems: Proceedings of the Fourth International Conference, 2006 (Baltimore, Maryland, 9-11 November 2006). Proceedings, pp. 214 - 225. B. Bennett, C. Fellbaum (eds.). IOS Press, 2006.  image
Borgo S. How may a coalition do what it can possibly do?. In: Workshop on actions (Toulouse (FR), ). Proceedings, 2006.
Borgo S., Masolo C. Semantics and ontology in quantified modal logic. In: Trends in Logic: Towards mathematical philosophy (Torun (PL), ). Proceedings, 2006.
Borgo S., Vieu L. R. Verso un'ontologia degli artefatti. In: LE ONTOLOGIE IN CAMPO UMANISTICO: ARCHEOLOGIA, ARCHITETTURA E BENI CULTURALI (Firenze, ). Atti, 2006.
Guizzardi G., Masolo C., Borgo S. In Defense of a Trope-Based Ontology for Conceptual Modeling: An Example with the Foundations of Attributes, Weak Entities and Datatypes. In: ER 2006 - Conceptual Modeling - ER 2006, 25th International Conference on Conceptual Modeling, 2006. Proceedings (Tucson, AZ, USA, 6-9 November 2006). Proceedings, pp. 112 - 125. D. W. Embley, A. Olivé, S. Ram (eds.). (Lecture Notes in Computer Science, vol. 4215). Springer, 2006.  image   image   image
Luettich K., Masolo C., Borgo S. Development of Modular Ontologies in CASL. In: International Workshop on Modular Ontologies (Athens, Georgia, USA, ). Proceedings, 2006.

Masolo C., Borgo S. Qualities in Formal Ontology. In: Ws Foundational Aspects of Ontologies (FOnt 2005) (Koblenz, Germany, ). Proceedings, 2005.
Oltramari A., Prevot L., Borgo S. Theoretical and practical aspects of interfacing ontologies and lexical resources. In: SWAP2005: Semantic Web Applications and Perspectives (Trento, Italy, ). Proceedings, 2005.
Prevot L., Borgo S., Oltramari A. Interfacing Ontologies and Lexical Resources. In: OntoLex2005 - Ontologies and Lexical resources: IJCNLP-05 Workshop (Jeju, South Korea, ). Proceedings, 2005.

Borgo S., Gangemi A. At the core of Core Ontologies. In: Workshop on Core Ontologies in Ontology Engineering (Northamptonshire (UK), ). Proceedings, 2004.
Borgo S. The Semantics of Ontologies. In: 2K* symposium (Madonna di Campiglio (IT), ). Atti, 2004.

Borgo S. Concurrency with Partial Information. In: Int. Conf. on Computational Intelligence for Modelling, Control and Automation (CIMCA) (Vienna, ). Proceedings, 2003.
Borgo S. Modal logics for concurrency and information (in)dependence. In: Workshop "Towards a Joint European Laboratory on Interacting Knowledge Systems" (Trento (IT), ). Proceedings, 2003.


Bolisani E., Borgo S., Oltramari A. Using knowledge as an object: challenges and implications. vol. 10 (3) pp. 202 - 205. Knowledge as an Object. E. Bolisani, S. Borgo, A. Oltramari (eds.). Palgrave Macmillan, 2012.  image   image

Borgo S., Mizoguchi R., Smith B. On The Ontology of Functions. vol. 6 (2) pp. 99 - 104. IOS Press, 2011.  image   image   image
Kutz O., Bhatt M., Borgo S. Introduction: SHAPES 1.0 - The Shape of Things. pp. 1 - 3. J. Hastings, O. Kutz, M. Bhatt, S. Borgo (eds.)., 2011.  image   image

Borgo S., Cristani M., Cuel R. Formal Ontology meets Industry (Special Issue). Borgo S, Cristani M, Cuel R (eds.). 2006.

Gangemi A., Borgo S. Proceedings of the Workshop on Core Ontologies in Ontology Engineering. Gangemi A, Borgo S (eds.). 2004.

Technical reports

Masolo C., Borgo S., Gangemi A., Guarino N., Oltramari A. WonderWeb Deliverable D18 - Ontology Library (Final Version). Altro. Working paper, 2003.


Contalbrigo L., Borgo S., Pozza G., Ravarotto L. "No caring without data sharing": an ontological approach to improve the data management system of a research animal facility in a public veterinary institute. In: BCLAS / ESLAV / ECLAM SYMPOSIUM 2012 (Liege, 15-16 october 2012).   image



Mon, 21/06/2010 - Wed, 20/06/2012
Ministero del Lavoro, della Salute e delle Politiche Sociali
Mon, 15/03/2010 - Wed, 14/03/2012

Taking part in