16 citations · 56 across the 25 of their papers we have counts for
3 papers · 2 filters
The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence
Domenico Cantone, Alfio Giarlotta, Stephen Watson
Given a set U of alternatives, a choice (correspondence) on U is a contractive map c defined on a family Omega of nonempty subsets of U. Semantically, a choice c associates to each…
A C++ reasoner for the description logic (Extended Version)
Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
We present an ongoing implementation of a KE-tableau based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic $\mathcal{DL}\lang…
A set-theoretical approach for ABox reasoning services (Extended Version)
Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
In this paper we consider the most common ABox reasoning services for the description logic ($\mathcal{DL}_{\mat…