2 citations · 5 across the 5 of their papers we have counts for
Showing 2012Show all
3 papers · 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…
cs.LO2012★ 2 cited
A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions
Domenico Cantone, Cristiano Longo
In this paper we address the decision problem for a fragment of set theory with restricted quantification which extends the language studied in [4] with pair related quantifiers an…
cs.LO2012★ 1 cited
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (extended version)
Domenico Cantone, Marianna Nicolosi Asmundo
We introduce a multi-sorted stratified syllogistic, called 4LQSR, admitting variables of four sorts and a restricted form of quantification over variables of the first three sorts,…