An Experiment on the Connection between the DLs' Family DL<ForAllPiZero> and the Real World

TL;DR

This paper analyzes Semantic Web ontologies to identify those compatible with the description logic DL<ForAllPiZero>, highlighting potential for expanding OWL(2) with more real-world ontologies through temporalization.

Contribution

It demonstrates the connection between a subset of ontologies and the DL<ForAllPiZero> logic, suggesting future integration of temporal aspects to enhance OWL(2).

Findings

A significant number of ontologies are expressible in DL<ForAllPiZero>

Temporalization of description logics could expand OWL(2)'s expressiveness

Potential for broader inclusion of real-world ontologies in OWL(2)

Abstract

This paper describes the analysis of a selected testbed of Semantic Web ontologies, by a SPARQL query, which determines those ontologies that can be related to the description logic DL<ForAllPiZero>, introduced in [4] and studied in [9]. We will see that a reasonable number of them is expressible within such computationally efficient language. We expect that, in a long-term view, a temporalization of description logics, and consequently, of OWL(2), can open new perspectives for the inclusion in this language of a greater number of ontologies of the testbed and, hopefully, of the "real world".