activity
20102013
most citedA decidable quantified fragment of set theory with ordered pairs and some undecidable extensions

2 citations · 5 across the 5 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

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…