16 citations · 56 across the 25 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations
Domenico Cantone, Marianna Nicolosi-Asmundo
We solve the satisfiability problem for a three-sorted fragment of set theory (denoted ), which admits a restricted form of quantification over individual and set variab…
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…