Ricerc@Sapienza

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 Logics, in this paper we present a new semantics for OWL 2 QL ontologies, called Metamodeling Semantics (MS), and show that, in contrast to the official Direct Semantics (DS) for OWL 2, it allows exploiting the metamodeling capabilities natively offered by the OWL 2 punning.

Metamodeling and metaquerying are gaining momentum in the context of both conceptual modeling and semantic web. Indeed it has been largely recognized that metamodeling represents a very useful tool to formalize complex patterns involving elements of the domain of interest, that otherwise are forced to be excluded from the modeling process, and a number of languages equipped with a spectrum of metamodeling features have been studied.