3 citations · 8 across the 11 of their papers we have counts for
12 papers
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
Alessandro Artale, Christopher Hampson, Roman Kontchakov +2
While modal extensions of decidable fragments of first-order logic are usually undecidable, their monodic counterparts, in which formulas in the scope of modal operators have at mo…
Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)
Alessandro Artale, Roman Kontchakov, Andrea Mazzullo +1
Definite descriptions, such as 'the General Chair of KR 2024', are a semantically transparent device for object identification in knowledge representation. In first-order modal log…
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Version)
Alessandro Artale, Andrea Mazzullo
Definite descriptions, such as 'the smallest planet in the Solar System', have been recently recognised as semantically transparent devices for object identification in knowledge r…
Non-Normal Modal Description Logics (Extended Version)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki +1
Modal logics are widely used in multi-agent systems to reason about actions, abilities, norms, or epistemic states. Combined with description logic languages, they are also a power…
Complexity of Safety and coSafety Fragments of Linear Temporal Logic
Alessandro Artale, Luca Geatti, Nicola Gigante +2
Linear Temporal Logic (LTL) is the de-facto standard temporal logic for system specification, whose foundational properties have been studied for over five decades. Safety and cosa…
An Ontology for Defect Detection in Metal Additive Manufacturing
Massimo Carraturo, Andrea Mazzullo
A key challenge for Industry 4.0 applications is to develop control systems for automated manufacturing services that are capable of addressing both data integration and semantic i…
Reasoning in Non-normal Modal Description Logics
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
Non-normal modal logics, interpreted on neighbourhood models which generalise the usual relational semantics, have found application in several areas, such as epistemic, deontic, a…
First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
Formalisms based on temporal logics interpreted over finite strict linear orders, known in the literature as finite traces, have been used for temporal specification in automated p…
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)
Diego Calvanese, Alessandro Gianola, Andrea Mazzullo +1
In the context of verification of data-aware processes (DAPs), a formal approach based on satisfiability modulo theories (SMT) has been considered to verify parameterised safety pr…
On Free Description Logics with Definite Descriptions
Alessandro Artale, Andrea Mazzullo, Ana Ozaki +1
Definite descriptions are phrases of the form 'the such that ', used to refer to single entities in a context. They are often more meaningful to users than individual names…
Living Without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo +2
The Craig interpolation property (CIP) states that an interpolant for an implication exists iff it is valid. The projective Beth definability property (PBDP) states that an explici…
Learning Query Inseparable ELH Ontologies
Ana Ozaki, Cosimo Persia, Andrea Mazzullo
We investigate the complexity of learning query inseparable ELH ontologies in a variant of Angluin's exact learning model. Given a fixed data instance A* and a query language Q, we…