Share

Laboratory for Applied Ontology

The Laboratory for Applied Ontology (LOA) performs basic and applied research on the ontological foundations of conceptual modeling, exploring the role of ontologies and ontology management in different fields. 

Coordinator: 
Nicola Guarino.

Profile

The Laboratory for Applied Ontology (LOA) performs basic and applied research on the ontological foundations of conceptual modeling, exploring the role of ontologies and ontology management in different fields, such as: knowledge representation, knowledge engineering, database design, information retrieval, natural language processing, and the semantic web. The group is characterized by a strong interdisciplinary approach that combines Computer Science, Philosophy and Linguistics, and relies on logic as a unifying paradigm. On the application side, special emphasis is given to the use of ontologies for e-government, enterprise modeling and integration, natural language processing, and the Semantic Web.

Research

Foundational issues

  • Basic ontological categories and relations 
  • Formal comparison and evaluation of ontologies 

 

Ontology, language, cognition

  • Ontology and natural-language semantics 
  • Formal semantics of discourse and dialogue relations 
  • Ontology and lexical resources 
  • Ontology, visual perception and multimedia 

 

Ontology-driven information systems

  • Methodologies for ontology development 
  • Ontology-driven conceptual modeling 
  • Ontology-driven information integration & retrieval 

 

Application domains

  • Organizations, social reality, law
  • Business services and e-government
  • Industrial artifacts, manufacturing, engineering design
  • Formal models of interaction and cooperation

People

Coordinator

Nicola Guarino
Researcher

Administrative Staff

Researchers

Researcher
Researcher
Researcher
Researcher
Researcher

Student&PhDs

Student&PhD
Student&PhD
Student&PhD
Student&PhD
Student&PhD

Associate Researchers

Associate Researcher
Associate Researcher
Associate Researcher
Associate Researcher

Publications

2014

   Contribution to Book/Monograph
Porcaro C. Semi-blind Functional Source Separation Algorithm from Non-invasive Electrophysiology to Neuroimaging. In: Blind Source Separation. pp. 521 - 551. G. R. Naik, W. Wang (eds.). Berlin: Springer, 2014.  image
   Proceedings
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
Bottazzi E., Masolo C., Porello D. Old and New Riddles on Concept Sharing. In: ECSI2014 - European Conference on Social Intelligence 2014 (Barcelona, Spain, 3-5 November 2014). Proceedings, pp. 16 - 27. A. Herzig, E. Lorini (eds.). (CEUR Workshop Proceedings, vol. 1283). CEUR-WS.org, 2014.  image   image
Botti Benevides A., Masolo C. States, Events, and Truth-makers. In: FOIS 2014 - 8th International Conference on Formal Ontology in Information Systems (Rio de Janeiro, Brazil, 22-25 September 2014). Proceedings, pp. 93 - 102. 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. 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). CEUR-WS.org, 2014.  image   image

2013

   Journal articles
Troquard N. Reasoning about coalitional agency and ability in the logics of "bringing-it-about". In: Autonomous Agents and Multi-Agent Systems, Springer, [Online First 04 June 2013]  image   image   image
   Proceedings
Balbiani P., Herzig A., Troquard N. Dynamic logic of propositional assignments: a well-behaved variant of PDL. In: LICS 2013 - 28th Annual IEEE/ACM Symposium on Logic in Computer Science (New Orleans, LA, USA, 25-28 June 2013). Proceedings, pp. 143 - 152. IEEE/ACM, 2013.  image   image   image
Botti Benevides A., Masolo C. State-based event modeling. In: AIBP 2013 - AI Meets Business Processes. Proceedings of the Workshop AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (Turin, Italy, 6 December 2013). Proceedings, pp. 81 - 90. L. Giordano, S. Montani, D. Theseider Dupré (eds.). (CEUR workshop proceedings, vol. 1101). M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen, 2013.  image   image
Conigliaro D., Setti F., Bassetti C., Ferrario R., Cristani M. ATTENTO: ATTENTion Observed for Automated Spectator Crowd Analysis. In: HBU 2013 - Human Behavior Understanding, 4th International Workshop, HBU 2013. Proceedings (Barcelona (Spain), 22 October 2013). Proceedings, pp. 102 - 111. A. Ali Salah, H. Hung, O. Aran, H. Gunes (eds.). (Lecture Notes in Computer Science, vol. 8212). Springer, 2013.  image   image   image
Conigliaro D., Setti F., Bassetti C., Ferrario R., Cristani M. Viewing the Viewers: A Novel Challenge for Automated Crowd Analysis. In: SBA 2013 - SBA 2013 - International Workshop on Social Behaviour Analysis hosted by ICIAP 2013 International Workshops, Naples, Italy, September 9-13, 2013. Proceedings (Naples (Italy), 9-13 September 2013). Proceedings, pp. 517 - 526. A. Petrosino, L. Maddalena, P. Pala (eds.). (Lecture Notes in Computer Science, vol. 8158). Springer, 2013.  image   image   image
Distinto I., Guarino N., Masolo C. A well-founded ontological framework for modeling personal income tax. In: ICAIL'13 - Fourteenth International Conference on Artificial Intelligence and Law. Proceedings (Rome, Italy, 10-14 June 2013). Proceedings, pp. 33 - 42. ACM, 2013.  image   image   image
Masolo C., Artale A. Entity-from-Relationship Modelling. In: AI*IA 2013 - AI*IA 2013: Advances in Artificial Intelligence. XIIIth International Conference of the Italian Association for Artificial Intelligence. Proceedings (Turin, 4-6 December 2013). Proceedings, pp. 85 - 96. M. Baldoni, C. Baroglio, G. Boella, R. Micalizio (eds.). (Lecture Notes in Computer Science, vol. 8249). Springer Verlag, 2013.  image   image
Setti F., Porello D., Ferrario R., Abdulhak S. A., Cristani M. "Tell me more": how semantic technologies can help refining internet image search. In: VIGTA '13 - International Workshop on Video and Image Ground Truth in Computer Vision Applications (St. Petersburg, Russia, 15 July 2013). Proceedings, pp. 3:1 - 3:6. ACM, 2013.  image   image
Setti F., Hung H., Cristani M. Group detection in still images by F-formation modeling: A comparative study. In: WIAMIS 2013 - 14th International Workshop on Image Analysis for Multimedia Interactive Services (Paris, France, 3-5 July 2013). Proceedings, pp. 1 - 4. IEEE, 2013.  image   image
Setti F., Lanz O., Ferrario R., Murino V., Cristani M. Multi-scale f-formation discovery for group detection. In: ICIP 2013 - 2013 IEEE International Conference on Image Processing ICIP 2013. Proceedings (Melbourne (Australia), 15–18 September 2013). Proceedings, pp. 3547 - 3551. IEEE, 2013.  image   image
Setti F., Cheng D., Abdulhak S. A., Ferrario R., Cristani M. Ontology-Assisted Object Detection: Towards the Automatic Learning with Internet. In: ICIAP 2013 - International Conference on Image Analysis and Processing, 17th International Conference, Proceedings. (Neaples (Italy), 9-13 September 2013). Proceedings, pp. 191 - 200. A. Petrosino (ed.). (Lecture Notes in Computer Science, vol. 8157). Springer, 2013.  image   image
Troquard N. A simple logic of tool manipulation. In: AISB Convention 2013, Symposium the SOCIAL.PATH (Exeter, UK, 3-5 April 2013). Proceedings, pp. 80 - 82. H. Verhagen, P. Noriega, T. Balke, M. de Vos (eds.). The Society for the Study of Artificial Intelligence and the Simulation of Behaviour, 2013.  image   image
van der Hoek W., Troquard N., Wooldridge M. Reasoning about Choice. In: AT-2013 - Agreement Technologies, Second International Conference, 2013. Proceedings (Beijing, China, 1-2 August 2013). Proceedings, pp. 4 - 18. C. I. Chesñevar, E. Onaindia, S. Ossowski, G. Vouros (eds.). (Lecture Notes in Computer Science, vol. 8068). Springer, 2013.  image   image   image
   Abstracts
Porello D. Deliberating about voting dimensions. In: AAMAS 2013 - 12th International Conference on Autonomous Agents and Multiagent Systems, AAMAS'13. Proceedings (St.Paul, Minn., USA, 6-10 May 2013). Abstract, pp. 1265 - 1266. T. Ito, C. Jonker, M. Gini, O. Shehory (eds.). ACM, 2013.  image   image

2012

   Journal articles
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
Bottazzi E., Ferrario R. Appearance Counting as Reality? Some Considerations on Stability and Unpredictability in Social Institutions. In: Phenomenology and Mind, vol. 3 pp. 139 - 149. Norms, Values, Society: Phenomenological and Ontological Approaches. E. Caminada, B. Malvestiti (eds.). IUSS Press, 2012.  image   image
Ferrario R., Guarino N. Fondamenti ontologici per una scienza dei servizi. In: Rivista di estetica, vol. 49 pp. 227 - 246. Ontologia analitica. A. Bottani, R. Davies (eds.). Rosenberg & Sellier, 2012.  image
   Books/Monographs
Ferrario R., Schiaffonati V. Formal Methods and Empirical Practices. Conversations with Patrick Suppes. 120 p. Stanford, CA, USA: CSLI Publications, 2012.
   Contribution to Book/Monograph
Ferrario R., Guarino N., Trampus R., Laskey K., Hartman K., Gangadharan G. Service System Approaches. Conceptual Modeling Approaches for Services Science. In: Handbook of Service Description: USDL and Its Methods. pp. 75 - 109. A. Barros, D. Oberle (eds.). New York: Springer, 2012.  image   image
   Proceedings
Bottazzi E., Ferrario R., Masolo C. The Mysterious Appearance of Objects. In: FOIS 2012 - Formal Ontology in Information Systems, Seventh International Conference 2012. Proceedings (Graz, Austria, 24-27 July 2012). Proceedings, pp. 59 - 72. M. Donnelly, G. Guizzardi (eds.). (Frontiers in Artificial Intelligence and Applications, vol. 239). IOS Press, 2012.  image
Ferrario R., Guarino N. Commitment-based Modeling of Service Systems. In: IESS 1.2 - International Conference on Exploring Service Science (Geneva, Switzerland, 15-17/02 2012). Proceedings, pp. ? - ?. Springer Verlag, 2012.  image
Herzig A., de Lima T., Lorini E., Troquard N. A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions. In: DEON'12 - Deontic Logic in Computer Science, 11th International Conference, DEON 2012. Proceedings (Bergen, Norway, 16-18 July 2012). Proceedings, pp. 170 - 183. T. Ågotnes, J. Broersen, D. Elgesem (eds.). (Lecture Notes in Computer Science, vol. 7393). Springer, 2012.  image   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
Troquard N. Coalitional Agency and Evidence-Based Ability. In: AAMAS'12 - 11th International Conference on Autonomous Agents and Multiagent Systems, Proceedings (Valencia, Spain, 4-8 June 2012). Proceedings, vol. 3 pp. 1245 - 1246. (Autonomous Agents and Multi-Agent Systems). International Foundation for Autonomous Agents and Multiagent Systems, 2012.  image   image
Troquard N., Walther D. On satisfiability in ATL with strategy contexts. In: JELIA'12 - Logics in Artificial Intelligence, 13th European Conference, JELIA 2012. Proceedings (Toulouse, 26-28 September 2012). Proceedings, pp. 398 - 410. L. Fariñas del Cerro, A. Herzig, J. Mengin (eds.). (Lecture Notes in Computer Science, vol. 7519). Springer, 2012.  image   image   image
   Editorials
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
   Abstracts
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

2011

   Journal articles
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
Ferrario R. Fondamenti ontologici per una scienza dei servizi. In: Rivista di Estetica, vol. 48 pp. ? - ?. Elena Casetta, Pietro Kobau, Ivan Mosca (eds.). Rosenberg & Sellier, 2011.  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
   Contribution to Book/Monograph
Ferrario R., Guarino N., Fernandez-Barrera M. Ontological Foundations for Services Science: the Legal Perspective. In: Approaches to Legal Ontologies. pp. 235 - 258. G. Sartor, P. Casanovas, M. A. Biasiotti, M. Fernandez Barrera (eds.). (Law, Governance and Technology Series, vol. 1). Berlin: Springer, 2011.  image
Ferrario R., Guarino N., Fernandez Barrera M. Ontological Foundations for Services Science: the Legal Perspective. In: Approaches to Legal Ontologies. Law, Governance and Technology Series ed. vol. 1 pp. 235 - 258. G. Sartor, P. Casanovas, M. Biasiotti, M. Ferna ́ndez Barrera (eds.). Berlino: Springer Verlag, 2011.
Ferrario R., Guarino N., Trampus R., Laskey K., Hartman A., Gangadharan G. Service System Approaches. Conceptual Modeling Approaches for Services Science. In: The Unified Service Description Language. pp. 75 - 109. D. Oberle, A. Barros, N. Weissenberg, B. Zarov (eds.). Berlin Heidelberg: Springer Verlag, 2011.  image
   Proceedings
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). CEUR-WS.org, 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
Bottazzi E., Ferrario R. Faulty Institutional Objects. A threat for the Infallibilist (and the Fallibilist as well). In: ECAP 7, Seventh European Conference of Analytic Philosophy (Milano, ). Proceedings, 2011.
Ferrario R., Guarino N., Janiesch C., Kiemes T., Oberle D., Probst F. Towards an Ontological Foundation of Services Science: The General Service Model. In: 10. Internationale Tagung Wirtschaftsinformatik (WI) (Zurich, ). Proceedings, 2011.
Guarino N., Bottazzi E., Ferrario R., Sartor G. Ontology-Driven Sociotechnical Systems: Transparency as a Key for Business Resiliency. In: itAIS2011, Information Systems (Roma, 07-08/10 2011). Proceedings, pp. ? - ?. ?, 2011.  image
Masolo C. Levels for Conceptual Modeling. In: Onto.Com 2011 held in the context of ER 2011 - Advances in Conceptual Modeling. Recent Developments and New Directions. ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, 2011. Proceedings (Brussels, Belgium, 31 October-03 November 2011). Proceedings, pp. 173 - 182. O. De Troyer, C. Bauzer Medeiros, R. Billen, P. Hallot, A. Simitsis, H. Van Mingroot. (Lecture Notes in Computer Science, vol. 6999). Springer, 2011.  image   image   image
Masolo C., Vieu L., Kitamura Y., Kozaki K., Mizoguchi R. The Counting Problem in the Light of Role Kinds. In: CommonSense 2011 - Commonsense-2011, the Tenth International Symposium on Logical Formalization on Commonsense Reasoning (Stanford, USA, 21-23 March 2011). Proceedings, article n. 24. E. Davis, P. Doherty, E. Erdem (eds.). AAAI Press, 2011.  image
   Editorials
Borgo S., Mizoguchi R., Smith B. On The Ontology of Functions. vol. 6 (2) pp. 99 - 104. IOS Press, 2011.  image   image   image
Troquard N. Learning and Practice of the Property Specification Language. vol. 28 (5) pp. 110 - 111. IEEE Computer Society Press, 2011.  image   image   image
   Abstracts
Bottazzi E., Ferrario R. Critical situations from spontaneous to sophisticated social interactions. In: New Trends in the Philosophy of the Social Sciences (Madrid, 28-29/09 2011).   image
Bottazzi E., Ferrario R. How Sophisticated Our Interaction Can Get. In: ENSO 2011 - Second Conference of the European Network of Social Ontology (Luiss Guido Carli University, Roma, 21-23/09 2011).   image
Bottazzi E., Ferrario R. Introducing Perspectiles in Organizations. In: EuroCog 2011 - European Conference on Cognitive Science (New Bulgarian University, Sofia, 21-24/05 2011).   image
Ferrario R., Guarino N. Generic Commitments, Specific Contracts and Quality Criteria in Service Systems: an Ontological Analysis. In: Understanding Complex Service Systems Through Different Lenses (University of Cambridge, 21-23/09 2011).   image

2010

   Journal articles
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.
   Books/Monographs
Huang C., Calzolari N., Gangemi A., Lenci A., Oltramari A., Prevot L. Ontology and the Lexicon. Cambridge: Cambridge University Press, 2010.
   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.
Gangemi A., Guarino N., Masolo C., O. A. Interfacing WordNet with DOLCE: towards OntoWordNet. Cambridge: Cambridge University Press, 2010.
Garbacz P. R., Borgo S., Carrara M., Vermaas P. The design and the designer stance. Copenhagen: Danish Design School Press, 2010.
Masolo C. A note on the relationship between perception and measurement. Trento: Università  degli studi di Trento, 2010.
Masolo C. Founding Properties on Measurement. Amsterdam: IOS Press, 2010.
Masolo C. Understanding Ontological Levels. AAAI Press, 2010.
Oltramari A., Gangemi A., Guarino N., Masolo C. Restructuring WordNet's Top-Level: the OntoClean Approach. London: Cambridge University Press, 2010.
Oltramari A., Gangemi A., Huang C., Calzolari N., Lenci A., P. L. Synergizing ontologies and the lexicon: a roadmap, Ontologies and the Lexicon. Cambridge: Cambridge University 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.
   Proceedings
Bottazzi E., Ferrario R. Facing the inevitable? The dynamics of impasse in collective contexts. In: Collective Intentionality VII (Basel, Switzerland, ). Proceedings, 2010.
Bottazzi E., Ferrario R. Oggetti sociali e prospettive. In: VII Convegno dell'Associazione Italiana di Scienze Cognitive (Trento, ). Atti, 2010.
Bottazzi E. State of exception and impasse dynamics. In: Democracy Today (Braga, Portogallo, ). Proceedings, 2010.
Oltramari A., Vetere G., Lenzerini M., Gangemi A., Guarino N. Senso Comune. In: LREC 2010, 7th International Conference on Language Resources and Evaluation (Valletta, Malta, ). Proceedings, 2010.
   Abstracts
Bottazzi E., Ferrario R. The role of computational ontologies and failure-based systems in the social. In: Conference of the European Association for the Study of Science and Technology (EASST 2010) (Trento, Abstract, 2010.

2009

   Journal articles
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.
Bottazzi E., Ferrario R. Preliminaries to a DOLCE ontology of organisations. In: INTERNATIONAL JOURNAL OF BUSINESS PROCESS INTEGRATION AND MANAGEMENT, vol. 4 pp. 225 - 238. 2009.
Bryl V., Dalpiaz F., Ferrario R., Mattioli A., Villafiorita A. Evaluating Procedural Alternatives. A Case Study in e-Voting. In: Electronic Government, an International Journal, pp. 213 - 231. Inderscience Publishers, 2009.
   Books/Monographs
Ferrario R., Oltramari A. Formal Ontologies Meet Industry. 1-250 p. Amsterdam, Berlin, Tokyo, Washington DC: IOS Press, 2009.
   Contribution to Book/Monograph
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.
Cuel R., Ferrario R. The Impact of Technology in Organizational Communication Processes. In: Nursing and Clinical Informatics: Socio-Technical Approaches. vol. Chapter 13 pp. 198 - 217. B. Staudinger, V. Hoess , H. Ostermann (eds.). IGI Global, 2009.
Garbacz P. R., Borgo S., Carrara M., Vermaas P. The intentionalist design stance and its objects. Enschede (NL): 2009.
Guarino N., Welty C. An Introduction to OntoClean (revised version). Dordrecht: Springer Verlag, 2009.
Guarino N. The Ontological Level: Revisiting 30 Years of Knowledge Representation. Dordrecht: Springer Verlag, 2009.
Guarino N., Oberle D., Staab S. What is an ontology. Dordrecht: Springer Verlag, 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.
   Proceedings
Bottazzi E., Ferrario R. Arbitral functions and constitutive rules. In: Inaugural Meeting of the European Network on Social Ontology (Konstanz (Germany), ). Proceedings, 2009.
Ferrario R., Guarino N. Towards an Ontological Foundation for Services Science. In: FIS 2008 - Future Internet – FIS 2008, First Future Internet Symposium, 2008 (Vienna, 29-30 September 2008). Proceedings, pp. 152 - 169. J. Domingue, D. Fensel, P. Traverso (eds.). (Lecture Notes in Computer Science, vol. 5468). Springer Verlag, 2009.  image   image
Masolo C. Parthood Simpliciter vs. Temporary Parthood. In: Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009) (Toronto, Canada, ). Proceedings, 2009.

2008

   Journal articles
Arrighi C., Ferrario R. Abductive Reasoning, Interpretation and Collaborative Processes. In: Foundations of Science, vol. 13 pp. 75 - 87. 2008.
   Books/Monographs
Borgo S., Lesmo L. Formal Ontologies Meet Industry. Amsterdam: IOS Press, 2008.
Huang C., Calzolari N., Gangemi A., Lenci A., Oltramari A., Prevot L. Ontologies and the Lexicon. Cambridge, UK: Cambridge University Press, 2008.
   Contribution to Book/Monograph
Artale A., Guarino N., Keet M. Formalizing Temporal Constraints on Part-Whole Relations. Menlo Park, CA: AAAI Press,, 2008.
Prà©vot L., Vieu L. R. The moving right frontier. Amsterdam: John Benjamins, 2008.
Vieu L. R., Borgo S., Masolo C. Artefacts and Roles: Modeling Strategies in a Multiplicative Ontology. Amsterdam: IOS Press, 2008.
   Proceedings
Borgo S., Lesmo L. The Attractiveness of Foundational Ontologies in Industry. In: Formal Ontologies Meet Industry (FOMI 2008) (Torino, ). Proceedings, 2008.
Ferrario R., Guarino N. A New Ontological Perspective for Social Services. In: MeTTeG08, 2nd International Conference on Methodologies, Technologies and Tools Enabling e-Government (Camerino (MC), June 2007). Proceedings, pp. 41 - 51. F. Corradini, A. Polzonetti, 2008.  image

2007

   Journal articles
Asher N., Prevot L., V., L. Setting the Background in Discourse. In: Discours, vol. 1 2007.
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
Bottazzi E., Ferrario R. Problemi filosofici emergenti dalla modellazione delle organizzazioni sociali. In: Rivista di Estetica, vol. 36 pp. 43 - 58. 2007.
   Books/Monographs
Aurnague M., Maya H., Vieu L. R. Categorization of Spatial Entities in Language and Cognition. Amsterdam, The Netherlands: John Benjamins, 2007.
Guizzardi G., Farias C. Proceedings of the Second Brazilian Workshop on Ontologies and Metamodels for Software and Data Engineering (WOMSDE'07). Joà£o Pessoa, Brazil: 2007.
Kokinov B., Richardson D., Roth-Berghoferand T., Vieu L. R. Proceedings of the 6th international and interdisciplinary conference (CONTEXT 2007): Modeling and Using Context. Berlino, Germany: Springer - Verlag, 2007.
   Contribution to Book/Monograph
Aurnague M., Champagne M., Vieu L. R., Borillo A., Muller P. Categorizing Spatial Entities with Frontal Orientation: the Role of Function, Motion and Saliency in the Processing of the French Internal Localization Nouns avant/devant. Amsterdam, The Netherlands: John Benjamins Publishing Company, 2007.
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.
Cuel R., Ferrario R., Camussone P. Gli effetti dei sistemi informativi sui processi di comunicazione: un caso di studio. In: Relazioni di lavoro e forme organizzative. Nuovi modelli di progettazione. pp. 268 - 284. Fabbri, T.M., Golzio, L.E (eds.). Roma: Carocci, 2007.  image
Guizzardi G. On Ontology, ontologies, Conceptualizations, Modeling Languages, and (Meta)Models. Amsterdam, The Netherlands: IOS Press, 2007.
Guizzardi R. S., Guizzardi G., Perini A., Mylopoulos J. Towards an Ontological Account of Agent-Oriented Goals. In: Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications. pp. 148 - 164. R. Choren, A. Garcia, C. Lucena, A. Romanovsky (eds.). (Lecture Notes in Computer Science, vol. 4408). Berlin: Springer, 2007.  image   image   image
Trypuz R., Vieu L. R. An ontology of the aspectual classes of actions. Donostia (Spain): The University of the Basque Country Press, 2007.
Trypuz R., Lorini E., Vieu L. R. Solving bratman's video game puzzle in two formalisms. Donostia (Spain): The University of the Basque Country Press, 2007.
Vieu L. R. On Blocking: The Rhetorical Aspects of Content-Level Discourse Relations and Their Semantics. Bilbao: University of Basque Country Press, 2007.
Vieu L. R., Aurnague M. Part-of Relations, Functionality and Dependence. Amsterdam, The Netherlands: John Benjamins Publishing Company, 2007.
   Proceedings
Almeida J. P. A., Guizzardi G. On the Foundation for Roles in RM-ODP: Contributions from Conceptual Modelling. In: 4th International Workshop on ODP for Enterprise Computing (WODPEC 2007), IEEE International EDOC Conference (EDOC 2007) (Maryland, USA, ). Proceedings, 2007.
Arantes L. O., Falbo R. A., Guizzardi G. Evolving a Software Configuration Ontology. In: Second Brazilian Workshop on Ontologies and Metamodels for Software and Data Engineering (WOMSDE'07), 22nd Brazilian Symposium on Databases (SBBD)/21st Brazilian Symposium on Software Engineering (SBES) (Joà£o Pessoa, Brazil, ). Proceedings, 2007.
Asher N., Prà©vot L., Vieu L. R. Setting the Background in Discourse. In: Journà©es Sà©mantique et Modà©lisation (Paris, France, ). Proceedings, 2007.
Bottazzi E., Ferrario R., Masolo C., Trypuz R. Designing Organizations: Towards a Model. In: Normative Multi-agent Systems, Dagstuhl Seminar (Dagstuhl, Germany, 18-23/03 2007). Proceedings, pp. 237 - 244. Boella, G., van der Torre, L., Verhagen, H (eds.). IBFI, 2007.
Bryl V., Dalpiaz F., Ferrario R., Mattioli A., Villafiorita A. Evaluating Procedural Alternatives. A Case Study in e-Voting. In: MeTTeG07. 1st International Conference on Methodologies, Technologies and Tools Enabling e-Government, Halley (Matelica (MC), Italy, ). Proceedings, pp. 125 - 138. 2007.
Costa A. C., Guizzardi R. S. S., Guizzardi G., Filho J. G. P. COReS: Context-aware, Ontology-based Recommender system for Service recommendation. In: Workshop on Ubiquitous Mobile Information and Collaboration Systems (UMICS'07), 19th International Conference on Advanced Information Systems Engineering (CAISE'07) (Trondheim, Norway, ). Proceedings, 2007.
Nunes B. G., Guizzardi G., Filho J. G. P. An Electrocardiogram (ECG) Domain Ontology. In: Second Brazilian Workshop on Ontologies and Metamodels for Software and Data Engineering (WOMSDE'07), 22nd Brazilian Symposium on Databases (SBBD)/21st Brazilian Symposium on Software Engineering (SBES) (Joà£o Pessoa, Brazil, ). Proceedings, 2007.
Oltramari A. The Cognitive Matrix: an hybrid perspective on mind. In: International Conference Towards a Science of Consciousness (TSC2007) (Budapest, Ungheria, ). Proceedings, 2007.
Souza V. E. S., Falbo R., Guizzardi G. A Language for Modeling Framework-based Web Information Systems. In: International EMMSAD Workshop, 19th International Conference on Advanced Information Systems Engineering (CAISE'07) (Trondheim, Norway, ). Proceedings, 2007.
Souza V. E. S., Lourenà§o T. W., Falbo R., Guizzardi G. FrameWeb and S-FrameWeb: a Framework Based Design Method for Web Engineering with Semantic Web Support. In: International Workshop on Web Information Systems Modeling (WISM), 19th International Conference on Advanced Information Systems Engineering (CAISE'07) (Trondheim, Norway, ). Proceedings, 2007.
Trypuz R., Vieu L. R. An Ontology of the Aspectual Classes of Actions. In: ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-07) (Donostia, Spain, ). Proceedings, 2007.
Trypuz R., Oltramari A., Vieu L. R. Ontology of Actions and Mental Entities. In: Workshop on Concepts, Actions and Objects: Functional and Neural Perspectives (Rovereto (TN), Italy, ). Atti, 2007.
Trypuz R., Lorini E., Vieu L. R. Solving Bratman's Video Game Puzzle in Two Formalisms. In: ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-07) (Donostia, Spain, ). Proceedings, 2007.
   Editorials
Artstein R., Vieu L. R. Proceedings of the 11th Workshop on the Semantics and Pragmatics of Dialogue (Decalog 2007). Artstein, R., Vieu, L (eds.). 2007.
Ferrario R., Prevot L. Special issue: Formal Ontologies for Communicating Agents. In: Applied Ontology (special issue). Editorial, vol. 2 (3-4) pp. 209 - 216. Ferrario R., Prevot L (eds.). 2007.
Guarino N., Musen M. Applied Ontology - An interdisciplinary journal on ontological analysis and conceptual modelling. Guarino N., Musen M (eds.). 2007.
   Abstracts
Bottazzi E., Catenacci C., Ferrario R., Trypuz R. Non Mediated Collective Intentions. In: Narrative Alternatives to Theories of Mind (University of Hertfordshire, Abstract, 2007.

2006

   Journal articles
Borgo S., Cristani M., Cuel R. Formal Ontology meets Industry. In: Applied Ontology Journal, vol. 1 pp. 217 - 220. 2006.
Bottazzi E., Catenacci C., Gangemi A., Lehmann J. From Collective Intentionality to Intentional Collectives. In: COGNITIVE SYSTEMS RESEARCH, vol. 7/2-3 pp. 192 - 208. 2006.
Bottazzi E., Catenacci C., Gangemi A., Lehmann J. From Collective Intentionality to Intentional Collectives: an Ontological Perspective. In: Cognitive System Research, vol. 7 pp. 192 - 208. 2006.
Bottazzi E., Ferrario R. Primi ingredienti di una DOLCE ontologia delle organizzazioni. In: Networks, vol. 6 pp. 36 - 63. 2006.
Broersen J., Herzig A., Troquard N. From Coalition Logic to STIT. In: Electronic Notes in Theoretical Computer Science, vol. 157 (4) pp. 23 - 35. Elsevier, 2006.  image   image   image
Calvanese D., Guarino N. Ontologies and description logics. In: Intelligenza Artificiale, vol. 3 pp. 19 - 25. 2006.
Ferrario R. Pensieri e rappresentazioni di Elisabetta Sacchi. In: 2R, vol. 2 pp. 95 - 105. 2006.
Ferrario R. Who Cares about Axiomatization? Representation, Invariance, and Formal Ontologies. In: Epistemologia, vol. 2 pp. 323 - 342. 2006.
Guarino N., Guizzardi G. In Defense of Ontological Foundations for Conceptual Modeling. In: Scandinavian Journal of Information Systems, vol. 18(1) pp. 115 - 126. 2006.
Vieu L. R. On the transitivity of functional parthood. In: Applied Ontology, vol. 1 pp. 147 - 155. 2006.
   Books/Monographs
Borgo S., Masolo C. Qualities in Possible Worlds. Amsterdam: IOS Press, 2006.
Guizzardi G., Farias C. Proceedings of the First Brazilian Workshop on Ontologies and Metamodels for Software and Data Engineering (WOMSDE'06), Florianopolis, Brazil. In: , 2006.
   Contribution to Book/Monograph
Borgo S., Vieu L. R. From artefacts to products. Amsterdam: IOS Press, 2006.
Guizzardi G. Agent Roles, Qua Individuals and The Counting Problem. In: Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications. pp. 143 - 163. A. Garcia, R. Choren, C. Lucena, P. Giorgini, T. Holvoet, A. Romanovsky (eds.). (Lecture Notes in Computer Science, vol. 3914). Berlin: Springer, 2006.  image
Guizzardi G. On Ontology, ontologies, Conceptualizations, Modeling Languages, and (Meta)Models. Amsterdam: IOS Press, 2006.
Markert K., Nissim M. Metonymic Proper Names: A Corpus-based Account. Berlin - New York: Mouton de Gruyter, 2006.
Troquard N., Vieu L. R. Towards a logic of agency and actions with duration. Amsterdam: IOS Press, 2006.
Troquard N., Trypuz R., Vieu L. R. Towards an ontology of agency and action. From STIT to OntoSTIT+. Amsterdam: IOS Press, 2006.
   Proceedings
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.
Bos J., Nissim M. An Empirical Approach to the Interpretation of Superlatives. In: Empirical Methods in Natural Language Processing (Sydney, Australia, ). Proceedings, 2006.
Bos J., Nissim M. Cross-Lingual Question Answering by Answer Translation. In: CLEF 2006 (Alicante, Spagna, ). Proceedings, 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.
Nissim M. Learning Information Status of Discourse Entities. In: Empirical Methods in Natural Language Processing (Sydney, Australia, ). Proceedings, 2006.
Ognibene D., Baldassarre G. Apprendimento per rinforzo e codifica tramite popolazione neurale: un modello per il reaching applicato a due task. In: WIVA 3 - Terzo Workshop Italiano di Vita Artificiale 2006 (Siena, 13-15 Settembre 2006). Atti, A. Acerbi, S. Giansante, D. Marocco (eds.). Centro Sistemi Complessi, 2006.  image
Oltramari A. LexiPass methodology: a conceptual path from frames to senses and back. In: LREC - International Conference on Language Resources and Evaluation (Genova, ). Proceedings, 2006.
Troquard N., Trypuz R., Vieu L. R. Ontology of Agency. From modal logics to first-order theories. In: Studia Logica International Conference - Towards Mathematical Philosophy - Trends in Logic IV (Torun, Poland, ). Proceedings, 2006.
Vieu L. R., Bras M., Le Draoulec A., Asher N. Adverbiaux de localisation comme introducteurs de topiques de discours. In: Journà©es de Sà©mantique et Modà©lisation (Bordeaux, ). Proceedings, 2006.
   Editorials
Benzi M., Ferrario R. Ontologia. vol. 6 pp. 1 - 4. SWIF, 2006.  image
Borgo S., Cristani M., Cuel R. Formal Ontology meets Industry (Special Issue). Borgo S, Cristani M, Cuel R (eds.). 2006.
   Abstracts
Bottazzi E., Catenacci C., Ferrario R., Trypuz R. Intenzioni collettive non mediate. In: AISC (Associazione Italiana di Scienze Cognitive) (Genova, 26-27 October 2006). Abstract, pp. 136 - 138. A. Greco, C. Penco, G. Sandini, R. Zaccaria, 2006.  image

2005

   Journal articles
Asher N., Vieu L. R. Subordinating and Coordinating Discourse Relations. In: LINGUA, vol. 115 pp. 591 - 610. 2005.
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.
Eccher C., Purin B., Pisanelli D. M., Battaglia M., Apolloni I., Forti S. Ontologies supporting continuity of care: The case of heart failure. In: Computers in Biology and Medicine, 2005.
Guarino N., Musen M. Applied Ontology: Focusing on Content. In: Applied Ontology, vol. 1 pp. 1 - 5. 2005.
Vieu L. R., Bras M., Asher N., Aurnague M. Locating Adverbials in Discourse. In: Journal of French Language Studies, vol. 15 pp. 173 - 193. 2005.
   Contribution to Book/Monograph
Arrighi C., Ferrario R. The Dynamic Nature of Meaning. In: Computing, Philosophy, And Cognition. pp. 295 - 312. L. Magnani, R. Dossena (eds.). London: College Publications, 2005.
Aurnague M., Hickmann M., Vieu L. R. Les entità©s spatiales dans la langue: à©tude descriptive, formelle et expà©rimentale de la catà©gorisation. Paris: Editions de la Maison des sciences de l'homme, 2005.
Masolo C., Guizzardi G., Vieu L. R., Bottazzi E., Ferrario R. Relational Roles and Qua-individuals. In: Proceedings of the AAAI Symposium on Roles, an interdisciplinary perspective. pp. 103 - 112. G. Boella, J. Odell, L. van der Torre, H. Verhagen (eds.). Arlington, Virginia (USA): AAAI Press, 2005.
   Proceedings
Bottazzi E., Ferrario R. A Path to an Ontology of Organizations. In: EDOC International Workshop on Vocabularies, Ontologies and Rules for The Enterprise (VORTE 2005) (Enschede, The Netherlands, ). Proceedings, 2005.
Bottazzi E., Catenacci C., Gangemi A., L., J. Collective Intentionality: An Ontological Perspective. In: The Intl. Conf. on Collective Intentionality2005.
Masolo C., Borgo S. Qualities in Formal Ontology. In: Ws Foundational Aspects of Ontologies (FOnt 2005) (Koblenz, Germany, ). Proceedings, 2005.
Maudet N., Muller P., Prevot L. Speech, Acts, Discourse Structure and Public Commitments. In: Ninth International Pragmatic Conference (Riva del Garda (TN), Italy, ). Proceedings, 2005.
Muller P., Prevot L., S., L. The discourse function of final rises in French dialogues. In: Ninth Workshop on Semantics and Pragmatics of Dialogue (DIALOR) (Nancy, France, ). Proceedings, 2005.
Oltramari A. Representation, Presentation and conceptual schemas. In: XIII Trieste Sumposium on Perception and Cognition (Trieste, Italy, ). 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.
Prevot L., Vieu L. R. The Moving Right Frontier. In: Workshop on Constraints in Discourse (Dortmund, Germany, Universitae, ). Proceedings, 2005.
   Editorials
Aurnague M., Bras M., Le Draoulec A., Vieu L. R. First International Symposium on the Exploration and Modelling of Meaning (SEM'05) - Connectives, Discourse Framing and Discourse Structure: From corpus-based and experimental analyses to discourse theories. Aurnague, M.; Bras, M.; Le Draoulec, A.; Vieu, L (eds.). 2005.

2004

   Journal articles
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.
Guarino N. Toward a Formal Evaluation of Ontology Quality. In: IEEE INTELLIGENT SYSTEMS, vol. 19(4) pp. 78 - 79. 2004.
Guizzardi G., Wagner G., Guarino N., van Sinderen M. An Ontologically Well-Founded Profile for UML Conceptual Models. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. 2577 pp. 29 - 38. 2004.
   Books/Monographs
Varzi A., Vieu L. R. Formal Ontology in Information Systems, Proceedings of the Third International Conference (FOIS 2004). Amsterdam: IOS Press, 2004.
   Contribution to Book/Monograph
Borillo A., Bras M., Le Draoulec A., Vieu L. R., Molendijk A., De Swart H., Verkyul H., Vet C., Vetters C. Tense, Connectives and Discourse Structure. Stanford: CSLI Publications, 2004.
Ferrario R., Oltramari A. Towards a Computational Ontology of Mind. In: Formal Ontology in Information Systems, Proceedings of the International Conference FOIS 2004. pp. 287 - 297. A. C. Varzi, L. Vieu (eds.). Amsterdam, The Netherlands: IOS Press, 2004.
Guarino N., Welty C. An Overview of OntoClean. Berlin: Springer Verlag, 2004.
Lehmann J., Borgo S., Masolo C., Gangemi A. Causality and Causation in DOLCE. Amsterdam: IOS Press, 2004.
Masolo C., Vieu L. R., Bottazzi E., Catenacci C., Ferrario R., Gangemi A., Guarino N. Social Roles and their Descriptions. In: Principles of Knowledge Representation and Reasoning. pp. 267 - 277. D. Dubois, C. Welty, M.A. Williams (eds.). Menlo Park, California: AAAI Press, 2004.
Molendijk A., De Swart H., Vetters C., Borillo A., Bras M., Le Draoulec A., Vieu L. R., Verkyul H., Vet C. Meaning and Use of Past Tenses in Discourse. Stanford: CSLI Publications, 2004.
Verkyul H., Vet C., Borillo A., Bras M., Le Draoulec A., Molendijk A., De Swart H., Vetters C., Vieu L. R. Tense and Aspect in Sentences. Stanford: CSLI Publications, 2004.
   Proceedings
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.
Ferrario R., Oltramari A. The COM Perspective on Intentional Agents. In: 1st Italian Semantic Web Workshop SWAP 2004 (Semantic Web Applications and Perspectives) (Ancona, ). Atti, 2004.
Vieu L. R., Prà©vot L. Background in Segmented Discourse Representation Theory. In: Workshop on Segmented Discourse Representation Theory, 11th conference on Natural Language Processing (TALN)2004.
   Editorials
Gangemi A., Borgo S. Proceedings of the Workshop on Core Ontologies in Ontology Engineering. Gangemi A, Borgo S (eds.). 2004.
   Abstracts
Ferrario R., Oltramari A. COME (Computational Ontology of Mental Entities). In: II Conference of the Italian Association of Cognitive Sciences (AISC) (Ivrea, Abstract, 2004.

2003

   Journal articles
Bonifacio M., Bouquet P., Ferrario R., Ponte D. Rationality, Autonomy and Coordination: the Sunk Costs Perspective. In: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, vol. 2577 pp. 29 - 38. 2003.
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.
Bras M., Le Draoulec A., Vieu L. R. Connecteurs et temps verbaux dans l'interprà©tation temporelle du discours: le cas de puis en interaction avec l'imparfait et le passà© simple. In: Cahiers Chronos, vol. 11 pp. 71 - 97. 2003.
Gangemi A., Guarino N., Masolo C., Oltramari A. Sweetening WordNet with DOLCE. In: AI MAGAZINE, vol. 24 pp. 13 - 24. 2003.
Masolo C., Gangemi A., Guarino N., Oltramari A., Vieu L. R. La prospettiva dell'Ontologia Applicata. In: Rivista di Estetica 2003, pp. 170 - 183. 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.
   Contribution to Book/Monograph
Pisanelli D. M., Gangemi A., Steve G. An Ontology of Descriptions and Situations for Lyee's Hypothetical World. Amsterdam: Fujita, H., Johanneson, P., 2003.
   Proceedings
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.
Gangemi A., Prisco A., Sagri M., Steve G., Tiscornia D. Some ontological tools to support legal regulatory compliance, with a case study. In: OTM 2003 - On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops. Proceedigs (Catania, 3-7 November 2003). Proceedings, pp. 607 - 620. R. Meersman, Z. Tari (eds.). (Lecture Notes in Computer Science, vol. 2889). Springer, 2003.
Vieu L. R. Part-of Relations, Functionality and Dependence. In: First Vasconian Meeting on Semantics and Pragmatics (Bayonne, ). Proceedings, 2003.
Vieu L. R. Structure du dialogue: hià©rarchisation, subordination et toicalità©. In: Journà©es Scientifiques Sà©mantique et Modà©lisation (Paris, ). Proceedings, 2003.
   Editorials
Bouquet P., Ferrario R. Il Semantic Web. vol. 2 pp. 1 - 8. SWIF, 2003.  image
   Technical reports
Masolo C., Borgo S., Gangemi A., Guarino N., Oltramari A. WonderWeb Deliverable D18 - Ontology Library (Final Version). Altro. Working paper, 2003.

2002

   Journal articles
Guarino N., Welty C. Evaluating Ontological Decisions with ontoclean. In: COMMUNICATIONS OF THE ACM, vol. 45 pp. 61 - 65. 2002.
Pisanelli D. M., Gangemi A., Steve G., Battaglia M. Ontological Analysis for the Unification of Biology. In: JOURNAL OF THE AMERICAN MEDICAL INFORMATICS ASSOCIATION, vol. S4 2002.
   Books/Monographs
Guarino N., Welty C. Identity and subsumption. Amsterdam: Kluwer, 2002.
   Technical reports
Ferrario R. Il Ragionamento Controfattuale. Un modello e la sua applicazione al Ragionamento Pratico. Altro. 2002.
   Abstracts
Bonifacio M., Bouquet P., Ferrario R., Ponte D. Towards a Model of Goal Autonomous Agents. In: AOIS '02 - Agent-Oriented Information Systems (Madrid, ? 2002). Abstract, pp. ? - ?. P. Giorgini, Y. Lesprance, G. Wagner, E. S. K. Yu (eds.). EUR-WS.org, 2002.  image

2001

   Journal articles
Ferrario R. Counterfactual Reasoning. In: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, vol. 2116 pp. 170 - 183. 2001.
Welty C., Guarino N. Supporting Ontological Analysis of Taxonomic Relationships. In: DATA & KNOWLEDGE ENGINEERING, vol. 39 pp. 51 - 74. 2001.

Projects

Tue, 15/01/2013 - Wed, 14/01/2015
Wed, 01/06/2011 - Sat, 31/05/2014
Mon, 16/05/2011 - Thu, 15/05/2014
Tue, 15/01/2013 - Sat, 30/11/2013
Tue, 01/12/2009 - Mon, 19/03/2012
Mon, 15/03/2010 - Wed, 14/03/2012
Wed, 01/09/2010 - Thu, 30/06/2011
Mon, 01/02/2010 - Sat, 31/07/2010
Mon, 16/07/2007 - Thu, 15/07/2010
Fri, 04/07/2008 - Thu, 30/10/2008
Fri, 01/10/2004 - Sun, 30/09/2007
Wed, 10/03/2004 - Fri, 09/03/2007
Tue, 01/02/2005 - Tue, 31/01/2006
Thu, 01/01/2004 - Thu, 30/06/2005