OWL 2 QL is a standard profile of the OWL 2 ontology language, specifically tailored to
Ontology-Based Data Management. Inspired by recent work on higher-order Description …

Metamodeling and metaquerying are gaining momentum in the context of both conceptual
modeling and semantic web. Indeed it has been largely recognized that metamodeling …

We investigate a higher-order extension of the description logic (DL) SROIQ that provides a
fixedly interpreted role semantically coupled with instantiation. It is useful to express …

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 the last decades, the multilevel problem has received increasing attention in the
conceptual modelling and semantic web communities. Recently, we proposed a solution to …

There are two expressive sub-languages in OWL 2, where OWL 2 Full is of the highest
expressivity compared with OWL 2 DL, so that its reasoning has turned undecidable. The …

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 …