onto commons top and mid level ontology workshop

 

Background

This workshop aims to connect the applied research of the Knowledge Representation and Reasoning (KRR) community with the community of developers and users of Top Level Ontologies (TLOs) and Mid-Level Ontologies (MLOs). This workshop brings together key researchers in these areas from both academia and industry.


Ontologies are conceptual models of a domain of interest (e.g., materials and manufacturing) that can play a key role in the European Industry Digitalisation. TLOs and MLOs define higher level conceptualizations that can be shared and reused across domains. Together they provide a common framework for best modelling practices that, in particular, can be applied to the design of lower level ontologies.
There is a well studied trade-off between, on one hand, the expressiveness of ontologies and, on the other, the reasoning tasks that can be supported. It is well known that satisfiability in First Order Logic (FOL) is undecidable, and that there are fragments within FOL that can express many ontologies and that are still decidable (e.g., Description Logics). It is not so well known that some of the decidable fragments of FOL can be extended with features beyond FOL and still be decidable. Also, there are fragments of FOL that make reasoning particularly feasible in large real-world (industrial) applications.

Participants will take an active role in the discussion and provide valuable feedback to the OntoCommons project in the form of community driven objectives and strategic priorities, together with identification of bottlenecks that prevent further use of ontologies in the EU, and opportunities not yet fully exploited.
Participants are asked to register to the OntoCommons website Then a confirmation email will be sent by the organisers.

 

Who should join?

Top Level and Mid-Level ontology developers that want to:

  • make use of the available reasoning infrastructure
  • participate to the EU coordinated initiative for ontology-based Data Documentation 
  • connect with other relevant stakeholders in the ontology fields
  • find opportunities for the exploitation of their ontology development

Ontology users that want to:

  • understand the opportunities that adopting TLO/MLO together with suitable reasoning support may provide
  • contribute to a strategy for developing new framework and tools to improve their experience with ontologies
  • stay up-to-date with respect to the most recent developments

Researchers that want to:

  • formalise their knowledge into an ontological framework for data documentation and interoperability
  • introduce themselves into the field of ontologies

Knowledge Representation and Reasoning Researchers that want to:

  • understand the challenges when modelling TLO/MLO
  • contribute with solutions and ideas for the application of TLO/MLO in real world applications

Researchers that want to:

  • formalise their knowledge into an ontological framework for data documentation and interoperability
  • introduce themselves into the field of ontologies
  • introduce themselves into the field of Knowledge Representation and Reasoning

Industrial Stakeholders that want to:

  • understand the opportunities that adopting a TLO/MLO together with suitable reasoning support may provide
  • stay updated with the EU initiatives in the field of data digitalisation
  • contribute to include the needs of industry in the field of high level ontologies

 

Overview Agenda

Day 1, Wednesday, May 3rd 2023
 

Time Schedule Title of the session Speaker
13:00 Welcome -
13:15 Challenges in managing FOL theories UNIBO/CNR
14:00 Building better ontology implementations with the help of a foundational ontology João Paulo A. Almeida (Federal University of Espirito Santo, Brazil)
14:30 Ontologies for Applied Science Emanuele Ghedini (UNIBO)
15:00 Coffee Break and Discussion -
15:30 FOL reasoning and consistency of DOLCE and mapping to OWL Oliver Kutz (Free University of Bozen-Bolzano)
16:00 Practical reasoning with ontologies Ian Horrocks (University of Oxford)
16:45 End of Day 1 -

 

Day 2, Thursday, May 4th 2023

Time Schedule Title of the session Speaker
13:45 Welcome -
14:00 Justification of OWL Entailments Uli Sattler (University of Manchester)
14:30 Bridging the language gap between upper level ontologies (FOL) and domain ontologies (OWL) Fabian Neuhaus (Otto-von-Guericke University of Magdeburg)
15:00 Reasoning and Modularization for Ontology Alignment and IC checking Ernesto Jimenez-Ruiz (University of London and SIRIUS)
15:30 Coffee break and Discussion -
16:00 Foundational ontologies in Life Sciences Chris Mungall (Lawrence Berkeley National Laboratory, University of California)
16:45 Polythetic Taxonomies and Natural Kinds Matteo Benocci (HomeX, Cambridge)
17:15 Industrial Data Ontlogy (ISO 15926-14) data model in OWL Dirk Walther (DNV GL AS)
17:45 OBDA in Optique: use case from Statoil/Equinor, Use of OWL 2 QL Evgeny Kharlamov (Bosch Center for Artificial Intelligence, Germany)
18:15 End of the Event -