A Proposal for a Description Logic Interface. - Sean Bechhofer; Ian Horrocks 001; Peter F. Patel-Schneider; Sergio Tessaris (Description Logics, 1999)

ABox Reasoning with Transitive Roles and Axioms. - Sergio Tessaris; Graham Gough (Description Logics, 1999)

A Conjunctive Query Language for Description Logic Aboxes. - Ian Horrocks 001; Sergio Tessaris (AAAI/IAAI, 2000)

Answering Conjunctive Queries over DL Aboxes: A Preliminary Report. - Ian Horrocks 001; Sergio Tessaris (Description Logics, 2000)

How to decide Query Containment under Constraints using a Description Logic. - Ian Horrocks 001; Ulrike Sattler; Sergio Tessaris; Stephan Tobies (KRDB, 2000)

Querying expressive DLs. - Sergio Tessaris (Description Logics, 2001)

Evaluating a Modular Abox Algorithm. - Sergio Tessaris; Ian Horrocks 001; Graham Gough (KR, 2002)

Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics. - Sergio Tessaris; Ian Horrocks 001 (LPAR, 2002)

Querying the Semantic Web: A Formal Approach. - Ian Horrocks 001; Sergio Tessaris (ISWC, 2002)

An Ontology Based Visual Tool for Query Formulation Support. - Tiziana Catarci; Tania Di Mascio; Enrico Franconi; Giuseppe Santucci; Sergio Tessaris (OTM Workshops, 2003)

Semantics Driven Support for Query Formulation. - Paolo Dongilli; Enrico Franconi; Sergio Tessaris (Description Logics, 2004)

An Ontology Based Visual Tool for Query Formulation Support. - Tiziana Catarci; Paolo Dongilli; Tania Di Mascio; Enrico Franconi; Giuseppe Santucci; Sergio Tessaris (ECAI, 2004)

Rules and Queries with Ontologies: A Unified Logical Framework. - Enrico Franconi; Sergio Tessaris (PPSWR, 2004)

Rules and Queries with Ontologies: a Unifying Logical Framework. - Sergio Tessaris; Enrico Franconi (Description Logics, 2005)

Logical Reconstruction of Normative RDF. - Enrico Franconi; Jos de Bruijn; Sergio Tessaris (OWLED, 2005)

Logical Reconstruction of RDF and Ontology Languages. - Jos de Bruijn; Enrico Franconi; Sergio Tessaris (PPSWR, 2005)

A Multi-Agent System for Querying Heterogeneous Data Sources with Ontologies. - Paolo Dongilli; Pablo R. Fillottrani; Enrico Franconi; Sergio Tessaris (SEBD, 2005)

A Unified Logical Framework for Rules (and Queries) with Ontologies. - Enrico Franconi; Sergio Tessaris (Rule Languages for Interoperability, 2005)

The new ICOM Ontology Editor. - Pablo R. Fillottrani; Enrico Franconi; Sergio Tessaris (Description Logics, 2006)

Leveraging Systemic-Functional Linguistics to Enhance Intelligent Database Querying. - Paolo Dongilli; Sergio Tessaris; John A. Bateman (ISDA (1), 2006)

Reasoning Support for Ontology Design. - Carsten Lutz; Franz Baader; Enrico Franconi; Domenico Lembo; Ralf Möller 001; Riccardo Rosati 001; Ulrike Sattler; Boontawee Suntisrivaraporn; Sergio Tessaris (OWLED, 2006)

The logic of RDF and SPARQL: a tutorial. - Enrico Franconi; Sergio Tessaris (PODS, 2006)

On Relating Heterogeneous Elements from Different Ontologies. - Chiara Ghidini; Luciano Serafini; Sergio Tessaris (CONTEXT, 2007)

Extracting Ontologies from Relational Databases. - Lina Lubyte; Sergio Tessaris (Description Logics, 2007)

Improving Responsiveness of Ontology-Based Query Formulation. - Ivan Zorzi; Sergio Tessaris; Paolo Dongilli (SWAP, 2007)

Bridging Heterogeneous Representations of Binary Relations: First Results. - Chiara Ghidini; Luciano Serafini; Sergio Tessaris (Description Logics, 2008)

Supporting the Design of Ontologies for Data Access. - Lina Lubyte; Sergio Tessaris (Description Logics, 2008)

Complexity of Reasoning With Expressive Ontology Mappings. - Chiara Ghidini; Luciano Serafini; Sergio Tessaris (FOIS, 2008)

Supporting the Development of Data Wrapping Ontologies. - Lina Lubyte; Sergio Tessaris (ASWC, 2009)

Automatic Extraction of Ontologies Wrapping Relational Data Sources. - Lina Lubyte; Sergio Tessaris (DEXA, 2009)

Supporting the Development of Data Wrapping Ontologies (Extended Abstract). - Lina Lubyte; Sergio Tessaris (Description Logics, 2010)

Ontology Design and Integration with ICOM 3.0 - Tool Description and Methodology. - Pablo R. Fillottrani; Enrico Franconi; Sergio Tessaris (Description Logics, 2011)

Quelo: an Ontology-Driven Query Interface. - Enrico Franconi; Paolo Guagliardo; Marco Trevisan; Sergio Tessaris (Description Logics, 2011)

Vote verification through open standard: A roadmap. - Ali Fawzi Najm Al-Shammari; Komminist Weldemariam; Adolfo Villafiorita; Sergio Tessaris (REVOTE, 2011)

Combining Process and Ontological Modeling. - Dmitry Solomakhin; Sergio Tessaris; Marco Montali (DC@AI*IA, 2012)

On the Logic of SQL Nulls. - Enrico Franconi; Sergio Tessaris (AMW, 2012)

The Algebra and the Logic for SQL Nulls. - Enrico Franconi; Sergio Tessaris (SEBD, 2012)

The ICOM 3.0 intelligent conceptual modelling tool and methodology. - Pablo R. Fillottrani; Enrico Franconi; Sergio Tessaris (Semantic Web, 2012)

Verification of Artifact-Centric Systems: Decidability and Modeling Issues. - Dmitry Solomakhin; Marco Montali; Sergio Tessaris; Riccardo De Masellis (ICSOC, 2013)

Reasoning on Incomplete Execution Traces Using Action Languages - A First Report. - Chiara Di Francescomarino; Chiara Ghidini; Sergio Tessaris; Itzel Vázquez Sandoval (ICSOC Workshops, 2014)

Completing Workflow Traces Using Action Languages. - Chiara Di Francescomarino; Chiara Ghidini; Sergio Tessaris; Itzel Vázquez Sandoval (CAiSE, 2015)

Completing Mixed Language Grammars Through Womb Grammars Plus Ontologies. - Ife Adebara; Verónica Dahl; Sergio Tessaris (ICAART (1), 2015)

Parsing with Partially Known Grammar. - Ife Adebara; Verónica Dahl; Sergio Tessaris (ICAART (Revised Selected Papers), 2015)

Imperfect Querying through Womb Grammars plus Ontologies. - Verónica Dahl; Sergio Tessaris; Thom W. Frühwirth (JOWO@IJCAI, 2015)

Abducing Compliance of Incomplete Event Logs. - Federico Chesani; Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Paola Mello; Marco Montali; Sergio Tessaris (AI*IA, 2016)

Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes. - Federico Chesani; Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Paola Mello; Marco Montali; Sergio Tessaris (ECAI, 2016)

Add Data into Business Process Verification: Bridging the Gap between Theory and Practice. - Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Marco Montali; Sergio Tessaris (AAAI, 2017)

Enhancing Workflow-Nets with Data for Trace Completion. - Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Sergio Tessaris (Business Process Management Workshops, 2017)

A Tool for the Verification of Data-Aware Business Processes. - Luca Sabiucciu; Marco Montali; Sergio Tessaris (AI*IA, 2018)

Parsing as semantically guided constraint solving: the role of ontologies. - Verónica Dahl; Sergio Tessaris; Mariano De Sousa Bispo (Ann. Math. Artif. Intell., 2018)

Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning. - Federico Chesani; Paola Mello; Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Marco Montali; Sergio Tessaris (Fundam. Informaticae, 2018)

Towards the Generation of the "Perfect" Log Using Abductive Logic Programming. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Vasyl Skydanienko; Sergio Tessaris (CILC, 2019)

Verification of data-aware workflows via reachability: formalisation and experiments. - Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Sergio Tessaris (CoRR, 2019)

Reporting Revenge Porn: a Preliminary Expert Analysis. - Antonella De Angeli; Mattia Falduti; María Menéndez-Blanco; Sergio Tessaris (CHItaly, 2021)

Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Elena Palmieri; Sergio Tessaris (CILC, 2022)

Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Giulia Grundler; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Sergio Tessaris (EDOC, 2022)

On the Use of Chatbots to Report Non-consensual Intimate Images Abuses: the Legal Expert Perspective. - Mattia Falduti; Sergio Tessaris (GoodIT, 2022)

Optimising Business Process Discovery Using Answer Set Programming. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Giulia Grundler; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Sergio Tessaris (LPNMR, 2022)

Relational Algebra and Calculus with SQL Null Values. - Enrico Franconi; Sergio Tessaris (CoRR, 2022)

Solving reachability problems on data-aware workflows. - Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Sergio Tessaris (Expert Syst. Appl., 2022)

Mapping the Interdisciplinary Research on Non-consensual Pornography: Technical and Quantitative Perspectives. - Mattia Falduti; Sergio Tessaris (DTRAP, 2023)

Reporting non-consensual pornography: clarity, efficiency and distress. - Antonella De Angeli; Mattia Falduti; María Menéndez-Blanco; Sergio Tessaris (Multim. Tools Appl., 2023)

Process Discovery on Deviant Traces and Other Stranger Things. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Sergio Tessaris (IEEE Trans. Knowl. Data Eng., 2023)

Making Sense of Temporal Event Data:A Framework for Comparing Techniques for the Discovery of Discriminative Temporal Patterns. - Chiara Di Francescomarino; Ivan Donadello; Chiara Ghidini; Fabrizio Maria Maggi; Williams Rizzi; Sergio Tessaris (CAiSE, 2024)