Menu
CORE: Conceptual and Cognitive Modelling Research Group

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),
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

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)

Lead by

Giancarlo Guizzardi

Members

Alessandro Artale
Enrico Franconi
Pietro Galliani
Maria Hedblom
Oliver Kutz
Marco Montali
Nony Ndefo
Rafael Peñaloza
Daniele Porello
Francesco Sportelli
Sergio Tessaris
Nicolas Troquard
Guohui Xiao

CORE