Book Open access

Multi-Level Modeling Pressure in the FSL Ontology: When OWL Punning Is Not Enough

R. Lämmel Friedrich Steimann

Oct 2026 · Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems · 0 citations · 21 references

TL;DR

OWL 2 punning is used as a pragmatic encoding for dual roles in the FSL ontology, thereby serving as a case study for a domain ontology that could benefit from proper multi-level modelling support.

Abstract

The ‘Foundations of Software Languages’ (FSL) ontology integrates software languages, tools, artifacts, concepts, technological spaces, and engineering activities. FSL features types of resources that must be treated both as objects of discourse and as classifiers, for example, when modelling artifact kinds or language concepts. FSL leverages OWL 2 punning as a pragmatic encoding for such dual roles, thereby serving as a case study for a domain ontology that could benefit from proper multi-level modelling support.

DOI Semantic Scholar

Read PDF

Similar papers

Scaling Ontology Engineering with LLMs: Semantic Alignment and Coverage Evaluation

Sebastian Neumaier, Tobias Dam, Fabian Kovac · 0 citations

Ontology for Meaning-Driven AI: Grounding, Interpretability, and Trust

This panel brings together researchers and practitioners to examine how ontology practices are evolving, focusing on design strategies, human–AI collaboration, validation, and the role of ontologies in supporting reliable, interpretable, and reusable knowledge in an AI-driven environment.

M. Han, J. Falconer, Sumin Leem et al. · 0 citations

Open access Aug 2026

From Rule Engines to Ontologies: An OWL 2 DL Approach for Domain-Specific Evaluation Information Systems

The results support the feasibility of ontology-driven generation for static-classification systems, whereas arithmetic risk computation and temporal event processing remain better suited to complementary procedural technologies.

Borivoj Bogdanović, S. Nikolić · Computers · 0 citations

Matching in the Description Logic E L without the Top Concept

Puneetha Jangir, Oliver Fernández Gil · 0 citations

#artificial intelligence Preprint Oct 2026

Ontology Refinement with Embeddings and LLMs: A Case Study on CASTON

Ontologies are widely used to represent and organize complex knowledge in domains such as biomedicine and healthcare. However, constructing reliable ontologies remains challenging, as class hierarchies, whether manually or automatically constructed, may contain subtle subsumption errors that require careful refinement....

Hui Yang, Zi-Yu Li, Xuan Liu et al. · 0 citations

Conference Open access Aug 2026

Assessing Knowledge Provenance Quality for CEO Decision Support: An OWL-DL Ontological Framework

The ontology demonstrates approaches to enhancing the precision of knowledge provenance and outlines the systematic engineering of a knowledge provenance ontology designed to improve its reliability for executive decision-making. Utilizing architectural principles, we propose a formal model that evaluates knowledge pro...

Carolina de Oliveira, Fernando Alvaro Ostuni Gauthier · European Conference on Knowl... · 0 citations