This work is motivated by a real-world case study where it is necessary to integrate and
relate existing ontologies through meta-modelling. For this, we introduce the Description …

In metamodelling we allow concepts and roles to be classified into “meta” concepts and to
be reasoned with as if they were individuals. This is useful in modelling of certain complex …

We investigate reasoning and query answering in expressive domain knowledge bases
(KBs) that are in OWL 2 Full and contain large individual data sets. For this, we introduce Hi …

In this paper we explain how we extended the Web Ontology Language (OWL) with meta-
modelling. In order to express metamodelling, we extended the OWL syntax with a new …

Multilevel modelling is the conceptual modelling problem of having concepts that could be
instances of another concepts. It is a relevant problem for many areas and in particular for …

In this paper we show that the problem of deciding the consistency of a knowledge base in
the Description Logic ALCM is ExpTime-complete. The M stands for meta-modelling as …

We address the problem of encoding meta-modeling in realworld knowledge bases (KBs),
ie, multiple uses of names and especially non-standard uses of rdf: type, in DL-LiteR, and …

Real-world biomedical ontologies like the Foundational Model of Anatomy (FMA) are often
of large size and can fall in the category of OWL 2 Full. Meta-modeling is commonly adopted …

We introduce a notion of extensional metamodeling that can be used to extend knowledge
representation languages, and show that this feature does not increase computational …

Ontologies are broadly used and proved modelling artifacts to conceptualize a domain. In
particular the W3C standard ontology language OWL, based on description logics, allows …