Mission
The objective of this group is to develop theoretical foundations and engineering tools for advancing a discipline that supports the representation of conceptualizations of reality (i.e., conceptual models) that are both: (i) ontologically and cognitively adequate and truthful to the phenomena being represented; (ii) pragmatic and efficient for supporting human as well as artificial agents in tasks such as domain learning and understanding, semantic interoperability, problem-solving and meaning negotiation.
Relevance
The group and its activities are relevant for:
(a) From a Research perspective, the group aims at developing cutting-edge research in the intersection between Conceptual Modelling, Cognitive Science and Applied Ontology.
(b) From an education point of view, the areas of concern and competence of the group are fundamental for many educational activities not only in computer science but also in areas such as Bioinformatics, Education and Modern Economics.
(c) From a technology transfer point of view, the type of research that is central to this group is fundamental to address semantic interoperability problems in areas ranging from Software Engineering to Robotics, from Finance to Manufacturing, from Life Sciences to Design.
Topics
Conceptual Modeling,
Computational Logic,
Knowledge Representation and Reasoning,
Applied Ontology,
Cognitive Modeling
Key Technologies
Description Logics and other Ontology Representation Languages,
Enterprise Architecture Approaches (e.g., Archimate, DEMO),
Conceptual Modeling Languages (OntoUML, ORM),
Foundational Ontologies (e.g., UFO, DOLCE)
Related Courses
data and process modeling,
IT Service Management,
semantic technologies,
ontologies and database systems,
Integrated Logic Systems
Applications
Semantic Interoperability,
Computational Creativity,
Language Engineering,
Enterprise Modeling (including Service Engineering and Management),
Social and Economic Modeling (including the modeling of Norms, Risk, Trust, Value),
Bioinformatics,
Robotics
Industry Partners
Intergic (Merano),
ORM Solutions LLC (USA),
Menthor (Brazil),
Globosat (Brazil),
Scientific Partners
Nicola Guarino (CNR),
John Mylopoulos (University of Trento),
Aldo Gangemi (University of Paris XIII),
Roel Wieringa (University of Twente),
Marten van Sinderen (University of Twente),
Luís Ferreira Pires (University of Twente),
Gerd Wagner (Brandenburg University of Technology),
Alex Borgida (Rutgers University),
Oscar Pastor (Polytechnic University of Valencia),
Xavier Franch (Polytechnic University of Catalunya),
Heinrich Herre (University of Leipzig),
João Paulo Almeida (Federal University of Espírito Santo),
Ricardo Falbo (Federal University of Espírito Santo),
Frederik Gailly (Ghent University),
Tommie Meyer (University of Cape Town),
Joao Marques-Silva (University of Lisbon),
Uli Sattler (University of Manchester),
Mario Alviano (University of Calabria),
Ernest Teniente (Universitat Politècnica de Catalunya),
Riccardo Rosati (Università di Roma, La Sapienza),
Peter F. Patel-Schneider (Nuance),
Terry Halpin (University of Queensland),
Michael Zakharyaschev and Roman Kontchakov (Birkbeck, University of London), Till Mossakowski (U. of Magdeburg),
John Bateman (U. of Bremen),
Tony Veale (U. of Dublin),
Kai-Uwe Kühnberger (U. of Osnabrück)
Funding
CREED (unibz),
STELLA (unibz),
OCEAN (Startup unibz),
ORMiE (CRC unibz),
ORBE (CRC unibz),
OMTeQ (CRC unibz),
ReQuoTo (CRC unibz),
LOGIS (RTD unibz),
CIAO (unibz),
COCO (CRC unibz),
COINVENT (FP7 FET Open)
NeXON (CRC unibz)
RiskGraph (Accenture)
OntoScape (RTD unibz)
ODIN (Phortos Consulting)
AlpineAnnotation (NOI Techpark)
AlpineBits (NOI Techpark)
Lead by
Giancarlo Guizzardi
Members
Enrico Franconi
Alessandro Artale
Marco Montali
Oliver Kutz
Nicolas Troquard
Tiago Prince Sales
Pietro Galliani
Sergio Tessaris
Guohui Xiao
Cristine Griffo
Mattia Fumagalli
Riccardo Baratella
Pedro Paulo Favato Barcelos
Claudenir M. Fonseca
Nony Ndefo
Francesco Sportelli
Glenda Amaral
Ítalo José da Silva Oliveira
Elena Romanenko
