10 citations · 17 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2015★ 5 cited
Web ontology representation and reasoning via fragments of set theory
Domenico Cantone, Cristiano Longo, Marianna Nicolosi-Asmundo +1
In this paper we use results from Computable Set Theory as a means to represent and reason about description logics and rule languages for the semantic web. Specifically, we introd…
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…