OntoCommons Workshop on Practical reasoning for top-level and mid-level ontologies

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
 

Day 2, Thursday, May 4th 2023