activity
20102023
most citedA set-theoretical approach for ABox reasoning services (Extended Version)

16 citations · 56 across the 25 of their papers we have counts for

collaborators
Showing 2012 · cs.AIShow all

1 paper · 2 filters

cs.AI2012

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

Antonio Pisasale, Domenico Cantone

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 logi…