Abstract:Metamodeling is a general approach to expressing knowledge about classes and properties in an ontology. It is a desirable modeling feature in multiple applications that simplifies the extension and reuse of ontologies. Nevertheless, allowing metamodeling without restrictions is problematic for several reasons, mainly due to undecidability issues. Practical languages, therefore, forbid classes to occur as instances of other classes or treat such occurrences as semantically different objects. Specifically, meta-querying in SPARQL under the Direct Semantic Entailment Regime uses the latter approach, thereby effectively not supporting meta-queries. However, several extensions enabling different metamodeling features have been proposed over the last decade. This paper deals with the Metamodeling Semantics (MS) over OWL 2 QL and the Metamodeling Semantic Entailment Regime (MSER), as proposed in Lenzerini et al. (2015, Description Logics) and Lenzerini et al. (2020, Information Systems 88, 101294), Cima et al. (2017, Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics, 1–6). A reduction from OWL 2 QL to Datalog for meta-querying was proposed in Cima et al. (2017, Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics, 1–6). In this paper, we experiment with various logic programming tools that support Datalog querying to determine their suitability as back-ends to MSER query answering. These tools stem from different logic programming paradigms (Prolog, pure Datalog, Answer Set Programming, Hybrid Knowledge Bases). Our work shows that the Datalog approach to MSER querying is practical also for sizeable ontologies with limited resources (time and memory). This paper significantly extends Qureshi and Faber (2021, International Joint Conference on Rules and Reasoning, Springer, 218–233.) by a more detailed experimental analysis and more background.

A Logic Level Specification of the NQTHM Simplification Process

Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems

The expressive language ALCNHR+K(D) for knowledge reasoning

The Control Component of Open Mechanized Reasoning Systems11We especially thank Paolo Pecchiari for his initial contributions to this work, and Carolyn Talcott for contributing to the technical development of the theory.

Reasoning Theories

Toward an Architecture for Open Mechanized Reasoning Systems

Mechanized Reasoning Systems : a Preliminary Report ?

Reasoning with Higher-Order Abstract Syntax in a Logical Framework

The OMRS Project: State of the Art

A two-level logic approach to reasoning about computations

The Axiomatization For 0-Level Universal Logic

The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics

Composing And Controlling Search In Reasoning Theories Using Mappings

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL

Description Logic-Based Representation and Reasoning for ODMG Data Model

Hierarchical Meta-Logics - Intuitions, Proof Theory And Semantics

Reasoning about Theory Adequacy. A New Solution to the Qualification Problem

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning

An Applied Quantum Hoare Logic

Z-module reasoning: an equality-oriented proving method with built-in ring axioms