16 citations · 56 across the 25 of their papers we have counts for
5 papers · 1 filter
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…
The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato +2
We present an OWL 2 ontology representing the Saint Gall plan, one of the most ancient documents arrived intact to us, which describes the ideal model of a Benedictine monastic com…
Speeding Up String Matching by Weak Factor Recognition
Domenico Cantone, Simone Faro, Arianna Pavone
String matching is the problem of finding all the substrings of a text which match a given pattern. It is one of the most investigated problems in computer science, mainly due to i…
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…