•  13
    The ideal Benedictine Monastery: From the Saint Gall map to ontologies
    with Claudia Cantale, Manuela Lupica Rinato, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria, and Maria Rosaria Stufano Melone
    Applied ontology 16 (2): 137-160. 2021.
    We present an OWL 2 ontology, called SaintGall, representing the Saint Gall plan, one of the most ancient documents arrived intact to us. The Saint Gall plan describes the ideal model of a Benedictine monastic complex that inspired the design of many European monasteries. The structural, functional, and architectural specification of an ideal Benedectine monastery is modeled by the SaintGall ontology, which allows one to analyse and model the Monastery architectural type. This work started with …Read more
  • Dual Tableau-Based Decision Procedures for Fragments of the Logic of Binary Relations
    with Marianna Nicolosi-Asmundo
    In Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science, Springer Verlag. pp. 169-202. 2018.
    In this paper, written to honor the career of Ewa Orłowska, we survey the main results on dual tableau-based decision procedures for fragments of the logic of binary relations. Specifically, we shall review relational fragments representing well known classes of first-order logic, of modal and multi-modal logics, and of description logics. We shall also examine a relational fragment admitting the use of a simple form of entailment within dual tableau decision procedures.
  •  14
    Dual tableau-based decision procedures for relational logics with restricted composition operator
    with Marianna Nicolosi Asmundo and Ewa Orlowska
    Journal of Applied Non-Classical Logics 21 (2): 177-200. 2011.
    We consider fragments of the relational logic RL(1) obtained by posing various constraints on the relational terms involving the operator of composition of relations. These fragments allow to express several non classical logics including modal and description logics. We show how relational dual tableaux can be employed to provide decision procedures for each of them.