%0 Journal Article
%T An Experiment on the Connection between the DLs' Family DL<ForAllPiZero> and the Real World
%A Antonio Pisasale
%A Domenico Cantone
%J Computer Science
%D 2012
%I arXiv
%X 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".
%U http://arxiv.org/abs/1211.4957v2