Sergio Tessaris

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

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

Enrico Franconi, Sergio Tessaris: On the Logic of SQL Nulls. AMW 2012: 114-128

Enrico Franconi, Sergio Tessaris: The Algebra and the Logic for SQL Nulls. SEBD 2012: 163-176

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

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

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

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

Lina Lubyte, Sergio Tessaris: Supporting the Development of Data Wrapping Ontologies. ASWC 2009: 31-45

Lina Lubyte, Sergio Tessaris: Automatic Extraction of Ontologies Wrapping Relational Data Sources. DEXA 2009: 128-142

Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt (Eds.): Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures. Lecture Notes in Computer Science 5689, Springer 2009, isbn 978-3-642-03753-5

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

Lina Lubyte, Sergio Tessaris: Supporting the Design of Ontologies for Data Access. Description Logics 2008

Chiara Ghidini, Luciano Serafini, Sergio Tessaris: Complexity of Reasoning With Expressive Ontology Mappings. FOIS 2008: 151-163

Chiara Ghidini, Luciano Serafini, Sergio Tessaris: On Relating Heterogeneous Elements from Different Ontologies. CONTEXT 2007: 234-247

Chiara Ghidini, Luciano Serafini, Sergio Tessaris: On Relating Heterogeneous Elements from Different Ontologies. Description Logics 2007

Lina Lubyte, Sergio Tessaris: Extracting Ontologies from Relational Databases. Description Logics 2007

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

Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris (Eds.): Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. CEUR Workshop Proceedings 250, CEUR-WS.org 2007

Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris: The new ICOM Ontology Editor. Description Logics 2006

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

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

Enrico Franconi, Sergio Tessaris: The logic of RDF and SPARQL: a tutorial. PODS 2006: 355

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

Enrico Franconi, Jos de Bruijn, Sergio Tessaris: Logical Reconstruction of Normative RDF. OWLED 2005

Jos de Bruijn, Enrico Franconi, Sergio Tessaris: Logical Reconstruction of RDF and Ontology Languages. PPSWR 2005: 65-71

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

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

Paolo Dongilli, Enrico Franconi, Sergio Tessaris: Semantics Driven Support for Query Formulation. Description Logics 2004

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

Enrico Franconi, Sergio Tessaris: Rules and Queries with Ontologies: A Unified Logical Framework. PPSWR 2004: 50-60

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

Sergio Tessaris, Ian Horrocks, Graham Gough: Evaluating a Modular Abox Algorithm. KR 2002: 227-238

Sergio Tessaris, Ian Horrocks: Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics. LPAR 2002: 435-449

Ian Horrocks, Sergio Tessaris: Querying the Semantic Web: A Formal Approach. International Semantic Web Conference 2002: 177-191

Ian Horrocks, Sergio Tessaris (Eds.): Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002. CEUR Workshop Proceedings 53, CEUR-WS.org 2002

Sergio Tessaris: Querying expressive DLs. Description Logics 2001

Ian Horrocks, Sergio Tessaris: A Conjunctive Query Language for Description Logic Aboxes. AAAI/IAAI 2000: 399-404

Ian Horrocks, Sergio Tessaris: Answering Conjunctive Queries over DL Aboxes: A Preliminary Report. Description Logics 2000: 173-182

Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to decide Query Containment under Constraints using a Description Logic. KRDB 2000: 59-72

Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to Decide Query Containment Under Constraints Using a Description Logic. LPAR 2000: 326-343

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

Sergio Tessaris, Graham Gough: ABox Reasoning with Transitive Roles and Axioms. Description Logics 1999