Menu
2018
  •  - Diego Calvanese, Enrico Franconi:
    First-Order Ontology Mediated Database Querying via Query Reformulation.
    A Comprehensive Guide Through the Italian Database Research 2018: 169-185.
  •  - Tarek R. Besold, Oliver Kutz:
    Proceedings of the First International Workshop on Comprehensibility and Explanation in AI and ML 2017 co-located with 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Bari, Italy, November 16th and 17th, 2017.
    CEUR Workshop Proceedings 2071, CEUR-WS.org 2018.
  •  - Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao (肖国辉):
    Expressivity and Complexity of MongoDB Queries.
    ICDT 2018: 9:1-9:23.
  •  - David Carral, Markus Krötzsch, Maximilian Marx , Ana Ozaki, Sebastian Rudolph:
    Preserving Constraints with the Stable Chase.
    ICDT 2018: 12:1-12:19.
  •  - Stefano Borgo, Oliver Kutz, Frank Loebe, Fabian Neuhaus, Kemo Adrian, Mihailo Antovic, Valerio Basile, Martin Boeker, Diego Calvanese, Tommaso Caselli, Giorgio Colombo, Roberto Confalonieri , Laura Daniele, Jérôme Euzenat, Antony Galton, Dagmar Gromann, Maria M. Hedblom, Heinrich Herre, Inge Hinterwaldner, Andrea Janes, Ludger Jansen, Kris Krois, Antonio Lieto, Claudio Masolo, Rafael Peñaloza, Daniele Porello, Daniele P. Radicioni, Emilio M. Sanfilippo, Daniel Schober, Rossella Stufano, Amanda Vizedom:
    Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017.
    CEUR Workshop Proceedings 2050, CEUR-WS.org 2018.
  •  - Manfred Eppe, Ewen Maclean, Roberto Confalonieri , Oliver Kutz, Marco Schorlemmer, Enric Plaza, Kai-Uwe Kühnberger:
    A computational framework for conceptual blending.
    Artif. Intell. 256: 105-129 (2018).
  •  - Claudio Masolo, Alessander Botti Benevides, Daniele Porello:
    The interplay between models and observations.
    Applied Ontology 13(1): 41-71 (2018).
  •  - Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali:
    Evaluating Compliance: From LTL to Abductive Logic Programming.
    Fundam. Inform. 159(1-2): 35-63 (2018).
  •  - Daniele Porello:
    Logics for Modelling Collective Attitudes.
    Fundam. Inform. 158(1-3): 239-275 (2018).
  •  - Giovanni Meroni, Luciano Baresi, Marco Montali, Pierluigi Plebani:
    Multi-party business process compliance monitoring through IoT-enabled artifacts.
    Inf. Syst. 73: 61-78 (2018).
  •  - Montserrat Hermo, Ana Ozaki:
    Exact learning of multivalued dependency formulas.
    Theor. Comput. Sci. 716: 4-14 (2018).
2017
  •  - Mario Alviano, Giovanni Amendola, Rafael Peñaloza:
    Minimal Undefinedness for Fuzzy Answer Sets.
    AAAI 2017: 3694-3700.
  •  - Sebastian Brandt, Elem Güzel Kalayci, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao (肖国辉), Michael Zakharyaschev:
    Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic.
    AAAI 2017: 1070-1076.
  •  - Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris:
    Add Data into Business Process Verification: Bridging the Gap between Theory and Practice.
    AAAI 2017: 1091-1099.
  •  - Paramita Mirza, Simon Razniewski, Fariz Darari, Gerhard Weikum:
    Cardinal Virtues: Extracting Relation Cardinalities from Text.
    ACL (2) 2017: 347-351.
  •  - Andreas Behrend, Diego Calvanese, Tania Cerquitelli, Silvia Chiusano, Christiane Engels, Stéphane Jean, Natalija Kozmina, Béatrice Markhoff, Oscar Romero , Sahar Vahdati:
    New Trends in Databases and Information Systems: Contributions from ADBIS 2017 Workshops.
    ADBIS (Short Papers and Workshops) 2017: 111-122.
  •  - Sebastian Brandt, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao (肖国辉), Michael Zakharyaschev:
    A Framework for Temporal Ontology-Based Data Access: A Proposal.
    ADBIS (Short Papers and Workshops) 2017: 161-173.
  •  - Tiago Prince Sales, Giancarlo Guizzardi:
    "Is It a Fleet or a Collection of Ships?": Ontological Anti-patterns in the Modeling of Part-Whole Relations.
    ADBIS 2017: 28-41.
  •  - Simon Razniewski, Vevake Balaraman, Werner Nutt:
    Doctoral Advisor or Medical Condition: Towards Entity-Specific Rankings of Knowledge Base Properties.
    ADMA 2017: 526-540.
  •  - Roberto Confalonieri , Nicolas Troquard, Pietro Galliani, Oliver Kutz, Rafael Peñaloza, Daniele Porello:
    Two Applications of Concept Refinement.
    CEx@AI*IA 2017.
  •  - Maria M. Hedblom, Oliver Kutz, Till Mossakowski, Fabian Neuhaus:
    Between Contact and Support: Introducing a Logic for Image Schemas and Directed Movement.
    AI*IA 2017: 256-268.
  •  - Daniele Porello, Giancarlo Guizzardi:
    Towards a Cognitive Semantics of Types.
    AI*IA 2017: 428-440.
  •  - Guoqian Jiang, Guohui Xiao (肖国辉), Richard C. Kiefer, Eric Prud'hommeaux, Harold R. Solbrig:
    Building an FHIR Ontology based Data Access Framework with the OHDSI Data Repositories.
    AMIA 2017.
  •  - Marcelo Arenas, Elena Botoeva, Egor V. Kostylev, Vladislav Ryzhikov:
    A Note on Computing Certain Answers to Queries over Incomplete Databases.
    AMW 2017.
  •  - Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao (肖国辉):
    Formalizing MongoDB Queries.
    AMW 2017.
  •  - Ognjen Savkovic, Evgeny Kharlamov, Werner Nutt, Pierre Senellart:
    Towards Approximating Incomplete Queries over Partially Complete Databases (Extended Abstract).
    AMW 2017.
  •  - Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev:
    Synthesising Industry-Standard Manufacturing Process Controllers.
    AAMAS 2017: 1811-1813.
  •  - Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Stefano Tinella:
    Ontology-Based Data Access for Extracting Event Logs from Legacy Data: The onprom Tool and Methodology.
    BIS 2017: 220-236.
  •  - Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso:
    The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access.
    BPM (Demos) 2017.
  •  - Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris:
    Enhancing Workflow-Nets with Data for Trace Completion.
    Business Process Management Workshops 2017: 89-106.
  •  - Pedro Pignaton Negri, Vítor E. Silva Souza, André Luiz de Castro Leal, Ricardo de Almeida Falbo, Giancarlo Guizzardi:
    Towards an Ontology of Goal-Oriented Requirements.
    CIbSE 2017: 469-482.
  •  - Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao (肖国辉), Rafael Peñaloza, Gulnar Mehdi, Mikhail Roshchin, Ian Horrocks:
    Semantic Rules for Machine Diagnostics: Execution and Management.
    CIKM 2017: 2131-2134.
  •  - Gulnar Mehdi, Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao (肖国辉), Elem Güzel Kalayci, Sebastian Brandt, Ian Horrocks, Mikhail Roshchin, Thomas A. Runkler:
    SemDia: Semantic Rule-Based Equipment Diagnostics Tool.
    CIKM 2017: 2507-2510.
  •  - Alessandro Artale, Birte Glimm, Roman Kontchakov:
    Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017.
    CEUR Workshop Proceedings 1879, CEUR-WS.org 2017.
  •  - Wil M. P. van der Aalst, Alessandro Artale, Marco Montali, Simone Tritini:
    Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling.
    Description Logics 2017.
  •  - Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
    On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL.
    Description Logics 2017.
  •  - Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
    Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries.
    Description Logics 2017.
  •  - Stefan Borgwardt, Marco Cerami, Rafael Peñaloza:
    Łukasiewicz Fuzzy EL is Undecidable.
    Description Logics 2017.
  •  - Roberto Confalonieri , Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, Nicolas Troquard:
    Coherence, Similarity, and Concept Generalisation.
    Description Logics 2017.
  •  - Alexey Ignatiev, Joao Marques-Silva, Carlos Mencía, Rafael Peñaloza:
    Debugging EL+ Ontologies through Horn MUS Enumeration.
    Description Logics 2017.
  •  - João Paulo A. Almeida, Michael Gruninger, Giancarlo Guizzardi:
    Message from the VORTE 2017 Workshop Chairs.
    EDOC Workshops 2017: 100-101.
  •  - Archimedes A. Detoni, Gabriel M. Miranda, Laylla D. C. Renault, Ricardo de Almeida Falbo, João Paulo A. Almeida, Giancarlo Guizzardi, Monalessa Perini Barcellos:
    Exploring the Role of Enterprise Architecture Models in the Modularization of an Ontology Network: A Case in the Public Security Domain.
    EDOC Workshops 2017: 117-126.
  •  - Cristine Griffo, João Paulo A. Almeida, Giancarlo Guizzardi, Julio Cesar Nardi:
    From an Ontology of Service Contracts to Contract Modeling in Enterprise Architecture.
    EDOC 2017: 40-49.
  •  - Tiago Prince Sales, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos:
    An Ontological Analysis of Value Propositions.
    EDOC 2017: 184-193.
  •  - David Aveiro, Robert Pergl, Giancarlo Guizzardi, João Paulo A. Almeida, Rodrigo Magalhães, Hans Lekkerkerk:
    Advances in Enterprise Engineering XI - 7th Enterprise Engineering Working Conference, EEWC 2017, Antwerp, Belgium, May 8-12, 2017, Proceedings.
    Lecture Notes in Business Information Processing 284, 2017.
  •  - Tanja Poletaeva, Giancarlo Guizzardi, João Paulo A. Almeida, Habib Abdulrab:
    Revisiting the DEMO Transaction Pattern with the Unified Foundational Ontology (UFO).
    EEWC 2017: 181-195.
  •  - Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma , Oscar Pastor:
    Conceptual Modeling - 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings.
    Lecture Notes in Computer Science 10650, Springer 2017.
  •  - Marco Montali, Pierluigi Plebani:
    IoT-Based Compliance Checking of Multi-party Business Processes Modeled with Commitments.
    ESOCC 2017: 179-195.
  •  - Albin Ahmeti, Simon Razniewski, Axel Polleres:
    Assessing the Completeness of Entities in Knowledge Bases.
    ESWC (Satellite Events) 2017: 7-11.
  •  - Rafael Peñaloza, Carlos Mencía, Alexey Ignatiev, Joao Marques-Silva:
    Lean Kernels in Description Logics.
    ESWC (1) 2017: 518-533.
  •  - Katerina El Raheb, Theofilos Mailis, Vladislav Ryzhikov, Nicolas Papapetrou, Yannis E. Ioannidis:
    BalOnSe: Temporal Aspects of Dance Movement and Its Ontological Representation.
    ESWC (2) 2017: 49-64.
  •  - Eduardo Zambon, Giancarlo Guizzardi:
    Formal Definition of a General Ontology Pattern Language using a Graph Grammar.
    FedCSIS 2017: 1-10.
  •  - Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza, Oana Tifrea-Marciuska:
    Query Answering in Ontologies under Preference Rankings.
    IJCAI 2017: 943-949.
  •  - Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev:
    Process Plan Controllers for Non-Deterministic Manufacturing Systems.
    IJCAI 2017: 1023-1030.
  •  - Federico Chesani, Paola Mello, Marco Montali:
    Abductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulation.
    ISMIS 2017: 3-16.
  •  - Alessander Botti Benevides, Jean-Rémi Bourguet, Giancarlo Guizzardi, Rafael Peñaloza:
    Representing the UFO-B Foundational Ontology of Events in SROIQ.
    JOWO 2017.
  •  - Jean-Rémi Bourguet, Giancarlo Guizzardi, Alessander Botti Benevides, Veruska Zamborlini:
    Empirically Evaluating Three Proposals for Representing Changes in OWL2.
    JOWO 2017.
  •  - Archimedes A. Detoni, Gabriel M. Miranda, Laylla D. C. Renault, João Paulo A. Almeida, Ricardo de Almeida Falbo, Giancarlo Guizzardi, Fernanda Araujo Baião, Renata S. S. Guizzardi:
    Where Enterprise Architecture and Early Ontology Engineering Meet: A Case Study in the Public Security Domain.
    JOWO 2017.
  •  - Rafael Peñaloza:
    The Shape of the Other.
    JOWO 2017.
  •  - Daniele Porello, Giancarlo Guizzardi:
    Towards a First-Order Modal Formalisation of the Unified Foundational Ontology.
    JOWO 2017.
  •  - C. Maria Keet, Oliver Kutz:
    Orchestrating a Network of Mereo(topo)logical Theories.
    K-CAP 2017: 11:1-11:8.
  •  - Lisa Hutschenreiter, Rafael Peñaloza:
    An Automata View to Goal-Directed Methods.
    LATA 2017: 103-114.
  •  - Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev:
    The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries.
    PODS 2017: 201-216.
  •  - Daniele Porello, Nicolas Troquard, Roberto Confalonieri , Pietro Galliani, Oliver Kutz, Rafael Peñaloza:
    Repairing Socially Aggregated Ontologies Using Axiom Weakening.
    PRIMA 2017: 441-449.
  •  - Andrea Janes, Fabrizio Maria Maggi, Andrea Marrella, Marco Montali:
    From Zero to Hero: A Process Mining Tutorial.
    PROFES 2017: 625-629.
  •  - Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman:
    Rules and Reasoning - International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings.
    Lecture Notes in Computer Science 10364, Springer 2017.
  •  - Nick Bassiliades, Antonis Bikakis, Stefania Costantini, Enrico Franconi, Adrian Giurca, Roman Kontchakov, Theodore Patkos, Fariba Sadri, William Van Woensel:
    Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK, July 11-15, 2017.
    CEUR Workshop Proceedings 1875, CEUR-WS.org 2017.
  •  - Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali:
    Semantic DMN: Formalizing Decision Models with Domain Knowledge.
    RuleML+RR 2017: 70-86.
  •  - Rafael Peñaloza:
    Inconsistency-Tolerant Instance Checking in Tractable Description Logics.
    RuleML+RR 2017: 215-229.
  •  - Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao:
    Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures.
    Lecture Notes in Computer Science 9885, Springer 2017.
  •  - Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso:
    OBDA for Log Extraction in Process Mining.
    Reasoning Web 2017: 292-345.
  •  - Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli:
    A Decidable Very Expressive n-ary Description Logic for Database Applications (extended abstract).
    SEBD 2017: 33.
  •  - Daniele Dell'Aglio, Darko Anicic, Payam M. Barnaghi, Emanuele Della Valle, Deborah L. McGuinness, Loris Bozzato, Thomas Eiter, Martin Homola, Daniele Porello:
    Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22nd, 2017.
    CEUR Workshop Proceedings 1936, CEUR-WS.org 2017.
  •  - Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli:
    A Decidable Very Expressive Description Logic for Databases.
    International Semantic Web Conference (1) 2017: 37-52.
  •  - Fariz Darari, Radityo Eko Prasojo, Simon Razniewski, Werner Nutt:
    COOL-WD: A Completeness Tool for Wikidata.
    International Semantic Web Conference (Posters, Demos & Industry Tracks) 2017.
  •  - Davide Lanti, Guohui Xiao (肖国辉), Diego Calvanese:
    Cost-Driven Ontology-Based Data Access.
    International Semantic Web Conference (1) 2017: 452-470.
  •  - Qiong Li, Xiaowang Zhang, Zhiyong Feng, Guohui Xiao (肖国辉):
    An Adaptive Framework for RDF Stream Reasoning.
    International Semantic Web Conference (Posters, Demos & Industry Tracks) 2017.
  •  - Gulnar Mehdi, Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao (肖国辉), Elem Güzel Kalayci, Sebastian Brandt, Ian Horrocks, Mikhail Roshchin, Thomas A. Runkler:
    Semantic Rule-Based Equipment Diagnostics.
    International Semantic Web Conference (2) 2017: 314-333.
  •  - Gulnar Mehdi, Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao (肖国辉), Elem Guzel Kalayci, Sebastian Brandt, Ian Horrocks, Mikhail Roshchin, Thomas A. Runkler:
    Semantic Rule-Based Equipment Diagnostic.
    International Semantic Web Conference (Posters, Demos & Industry Tracks) 2017.
  •  - Thomas Pellissier Tanon, Daria Stepanova , Simon Razniewski, Paramita Mirza, Gerhard Weikum:
    Completeness-Aware Rule Learning from Knowledge Graphs.
    International Semantic Web Conference (1) 2017: 507-525.
  •  - Stefan Borgwardt, Rafael Peñaloza:
    Fuzzy Description Logics - A Survey.
    SUM 2017: 31-45.
  •  - Rafael Peñaloza, Nico Potyka:
    Towards Statistical Reasoning in Description Logics over Finite Domains.
    SUM 2017: 280-294.
  •  - Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
    Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk).
    TIME 2017: 1:1-1:37.
  •  - Luis Galárraga, Katja Hose, Simon Razniewski:
    Enabling Completeness-aware Querying in SPARQL.
    WebDB 2017: 19-22.
  •  - Luis Galárraga, Simon Razniewski, Antoine Amarilli, Fabian M. Suchanek:
    Predicting Completeness in Knowledge Bases.
    WSDM 2017: 375-383.
  •  - Rafael Peñaloza, Baris Sertkaya:
    Understanding the complexity of axiom pinpointing in lightweight description logics.
    Artif. Intell. 250: 80-104 (2017).
  •  - Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus:
    Ontohub: A semantic repository engine for heterogeneous ontologies.
    Applied Ontology 12(3-4): 275-298 (2017).
  •  - Wil M. P. van der Aalst, Guangming Li, Marco Montali:
    Object-Centric Behavioral Constraints.
    CoRR abs/1703.05740 (2017).
  •  - Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull , Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
    Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
    CoRR abs/1701.09007 (2017).
  •  - Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli:
    A Decidable Very Expressive Description Logic for Databases (Extended Version).
    CoRR abs/1707.08468 (2017).
  •  - Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev:
    The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries.
    CoRR abs/1702.03358 (2017).
  •  - Sebastian Brandt, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao (肖国辉), Michael Zakharyaschev:
    Querying Log Data with Metric Temporal Logic.
    CoRR abs/1703.08982 (2017).
  •  - Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao (肖国辉), Michael Zakharyaschev:
    Metric Temporal Logic for Ontology-Based Data Access over Log Data.
    CoRR abs/1701.00976 (2017).
  •  - Davide Lanti, Guohui Xiao (肖国辉), Diego Calvanese:
    Cost-Driven Ontology-Based Data Access (Extended Version).
    CoRR abs/1707.06974 (2017).
  •  - Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris:
    Enhancing workflow-nets with data for trace completion.
    CoRR abs/1706.00356 (2017).
  •  - Paramita Mirza, Simon Razniewski, Fariz Darari, Gerhard Weikum:
    Cardinal Virtues: Extracting Relation Cardinalities from Text.
    CoRR abs/1704.04455 (2017).
  •  - Rafael Peñaloza, Nico Potyka:
    Towards Statistical Reasoning in Description Logics over Finite Domains (Full Version).
    CoRR abs/1706.03207 (2017).
  •  - Simon Razniewski, Vevake Balaraman, Werner Nutt:
    Doctoral Advisor or Medical Condition: Towards Entity-specific Rankings of Knowledge Base Properties [Extended Version].
    CoRR abs/1709.06907 (2017).
  •  - Nicolas Troquard, Roberto Confalonieri , Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz:
    Repairing Ontologies via Axiom Weakening.
    CoRR abs/1711.03430 (2017).
  •  - Daniele Porello:
    Judgment aggregation in non-classical logics.
    CoRR abs/1711.03742 (2017).
  •  - Daniele Porello:
    Logics for modelling collective attitudes.
    CoRR abs/1711.03745 (2017).
  •  - Victorio Albani de Carvalho, João Paulo A. Almeida, Claudenir M. Fonseca, Giancarlo Guizzardi:
    Multi-level ontology-based conceptual modeling.
    Data Knowl. Eng. 109: 3-24 (2017).
  •  - Fabiano Borges Ruy, Giancarlo Guizzardi, Ricardo de Almeida Falbo, Cássio Chaves Reginato, Victor A. Santos:
    From reference ontologies to ontology patterns and back.
    Data Knowl. Eng. 109: 41-69 (2017).
  •  - Stefan Borgwardt, Marco Cerami, Rafael Peñaloza:
    The complexity of fuzzy EL under the Łukasiewicz T-norm.
    Int. J. Approx. Reasoning 91: 179-201 (2017).
  •  - Stefan Borgwardt, Rafael Peñaloza:
    Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics.
    Int. J. Approx. Reasoning 83: 60-101 (2017).
  •  - Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, Jan Mendling:
    Resolving inconsistencies and redundancies in declarative process models.
    Inf. Syst. 64: 425-446 (2017).
  •  - Daniele Porello:
    Judgement aggregation in non-classical logics.
    Journal of Applied Non-Classical Logics 27(1-2): 106-139 (2017).
  •  - Ismail Ilkan Ceylan, Rafael Peñaloza:
    The Bayesian Ontology Language $$\mathcal {BEL}$$ BEL.
    J. Autom. Reasoning 58(1): 67-95 (2017).
  •  - Mihai Codescu, Till Mossakowski, Oliver Kutz:
    A Categorical Approach to Networks of Aligned Ontologies.
    J. Data Semantics 6(4): 155-197 (2017).
  •  - Franz Baader, Stefan Borgwardt, Rafael Peñaloza:
    Decidability and Complexity of Fuzzy Description Logics.
    KI 31(1): 85-90 (2017).
  •  - Diego Calvanese, Benjamin Cogrel, Sarah Komla-Ebri, Roman Kontchakov, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao (肖国辉):
    Ontop: Answering SPARQL queries over relational databases.
    Semantic Web 8(3): 471-487 (2017).
  •  - Paolo Felli, Nitin Yadav, Sebastian Sardiña:
    Supervisory Control for Behavior Composition.
    IEEE Trans. Automat. Contr. 62(2): 986-991 (2017).
  •  - Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
    Managing Change in Graph-Structured Data Using Description Logics.
    ACM Trans. Comput. Log. 18(4): 27:1-27:35 (2017).
  •  - Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev:
    Horn Fragments of the Halpern-Shoham Interval Temporal Logic.
    ACM Trans. Comput. Log. 18(3): 22:1-22:39 (2017).
  •  - Marco Montali, Andrey Rivkin:
    DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases.
    T. Petri Nets and Other Models of Concurrency 12: 91-118 (2017).
  •  - Evgeny Kharlamov, Dag Hovland, Martin G. Skjæveland, Dimitris Bilidas, Ernesto Jiménez-Ruiz, Guohui Xiao (肖国辉), Ahmet Soylu, Davide Lanti, Martin Rezk, Dmitriy Zheleznyakov, Martin Giese, Hallstein Lie, Yannis E. Ioannidis, Yannis Kotidis, Manolis Koubarakis, Arild Waaler:
    Ontology Based Data Access in Statoil.
    J. Web Sem. 44: 3-36 (2017).
  •  - Youssef Meguebli, Mouna Kacimi, Bich-Liên Doan, Fabrice Popineau:
    Towards better news article recommendation - With the help of user comments.
    World Wide Web 20(6): 1293-1312 (2017).
2016
  •  - Ricardo de Almeida Falbo, Monalessa Perini Barcellos, Fabiano Borges Ruy, Giancarlo Guizzardi, Renata S. S. Guizzardi:
    Ontology Pattern Languages.
    Ontology Engineering with Ontology Design Patterns 2016: 133-159.
  •  - Tiago Prince Sales, Giancarlo Guizzardi:
    Anti-patterns in Ontology-driven Conceptual Modeling: The Case of Role Modeling in OntoUML.
    Ontology Engineering with Ontology Design Patterns 2016: 161-187.
  •  - Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao (肖国辉):
    Beyond OWL 2 QL in OBDA: Rewritings and Approximations.
    AAAI 2016: 921-928.
  •  - Simon Razniewski, Shazia W. Sadiq, Xiaofang Zhou:
    Exploiting Hierarchies for Efficient Detection of Completeness in Stream Data.
    ADC 2016: 419-431.
  •  - Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris:
    Abducing Compliance of Incomplete Event Logs.
    AI*IA 2016: 208-222.
  •  - Nicola Guarino, Giancarlo Guizzardi:
    Relationships and Events: Towards a General Theory of Reification and Truthmaking.
    AI*IA 2016: 237-249.
  •  - Simon Razniewski, Fabian M. Suchanek, Werner Nutt:
    But What Do We Actually Know?.
    AKBC@NAACL-HLT 2016: 40-44.
  •  - Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao (肖国辉):
    OBDA Over Non-Relational Databases.
    AMW 2016.
  •  - Nhung Ngo, Enrico Franconi:
    Unique Solutions in Data Exchange under STS Mappings.
    AMW 2016.
  •  - Simon Razniewski, Ognjen Savkovic, Werner Nutt:
    Turning The Partial-Closed World Assumption Upside Down.
    AMW 2016.
  •  - Matteo Baldoni, Cristina Baroglio, Diego Calvanese, Roberto Micalizio, Marco Montali:
    Towards Data- and Norm-Aware Multiagent Systems.
    EMAS@AAMAS 2016: 22-38.
  •  - Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Federico Capuzzimati:
    Engineering Commitment-based Business Protocols with the 2CL Methodology: JAAMAS Extended Abstract.
    AAMAS 2016: 1259-1260.
  •  - Evgeny Kharlamov, Theofilos P. Mailis, Konstantina Bereta, Dimitris Bilidas, Sebastian Brandt, Ernesto Jiménez-Ruiz, Steffen Lamparter, Christian Neuenstadt, Özgür L. Özçep, Ahmet Soylu, Christoforos Svingos, Guohui Xiao (肖国辉), Dmitriy Zheleznyakov, Diego Calvanese, Ian Horrocks, Martin Giese, Yannis E. Ioannidis, Yannis Kotidis, R. Moller, Arild Waaler:
    A semantic approach to polystores.
    BigData 2016: 2565-2573.
  •  - Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa:
    Semantics and Analysis of DMN Decision Tables.
    BPM 2016: 217-233.
  •  - Giancarlo Guizzardi, Nicola Guarino, João Paulo A. Almeida:
    Ontological Considerations About the Representation of Events and Endurants in Business Models.
    BPM 2016: 20-36.
  •  - Fabrizio Maria Maggi, Marco Montali, Claudio Di Ciccio, Jan Mendling:
    Semantical Vacuity Detection in Declarative Process Mining.
    BPM 2016: 158-175.
  •  - Victorio Albani de Carvalho, João Paulo A. Almeida, Giancarlo Guizzardi:
    Using a Well-Founded Multi-level Theory to Support the Analysis and Representation of the Powertype Pattern in Conceptual Modeling.
    CAiSE 2016: 309-324.
  •  - Feng-Lin Li, Jennifer Horkoff, Lin Liu , Alexander Borgida, Giancarlo Guizzardi, John Mylopoulos:
    Engineering Requirements with Desiree: An Empirical Evaluation.
    CAiSE 2016: 221-238.
  •  - Elisa Marengo, Patrick Dallasega, Marco Montali, Werner Nutt:
    Towards a Graphical Language for Process Modelling in Construction.
    CAiSE Forum 2016: 17-24.
  •  - Maria das Graças da Silva Teixeira, Glaice Kelly Quirino, Frederik Gailly, Ricardo de Almeida Falbo, Giancarlo Guizzardi, Monalessa Perini Barcellos:
    PoN-S: A Systematic Approach for Applying the Physics of Notation (PoN).
    BMMDS/EMMSAD 2016: 432-447.
  •  - Simon Razniewski:
    Optimizing Update Frequencies for Decaying Information.
    CIKM 2016: 1191-1200.
  •  - Maurizio Lenzerini, Rafael Peñaloza:
    Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016.
    CEUR Workshop Proceedings 1577, CEUR-WS.org 2016.
  •  - Alessandro Artale, Enrico Franconi:
    Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification.
    Description Logics 2016.
  •  - Stefan Borgwardt, Rafael Peñaloza:
    Reasoning in Expressive Gödel Description Logics.
    Description Logics 2016.
  •  - Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao (肖国辉):
    OBDA Beyond Relational DBs: A Study for MongoDB.
    Description Logics 2016.
  •  - Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao (肖国辉):
    Virtual OBDA over Expressive Ontologies: Rewritings and Approximations.
    Description Logics 2016.
  •  - Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
    When is Query Inseparability for ALC Ontologies Decidable?.
    Description Logics 2016.
  •  - Diego Calvanese:
    Managing Change in Graph-structured Data Using Description Logics.
    Description Logics 2016.
  •  - Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy:
    Synthesizing and Executing Plans in Knowledge and Action Bases.
    Description Logics 2016.
  •  - Roberto Confalonieri , Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, Enric Plaza, Manfred Eppe:
    Conceptual Blending in EL++.
    Description Logics 2016.
  •  - Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski, Mihai Codescu:
    Ontology Patterns with DOWL: The Case of Blending.
    Description Logics 2016.
  •  - Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph:
    Efficient Axiom Pinpointing in EL using SAT Technology.
    Description Logics 2016.
  •  - Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza:
    Complexity Results for Probabilistic Datalog±.
    ECAI 2016: 1414-1422.
  •  - Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris:
    Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes.
    ECAI 2016: 1734-1735.
  •  - Fabiano Borges Ruy, Ricardo de Almeida Falbo, Monalessa Perini Barcellos, Simone Dornelas Costa, Giancarlo Guizzardi:
    SEON: A Software Engineering Ontology Network.
    EKAW 2016: 527-542.
  •  - Frederik Gailly, Ben Roelens, Giancarlo Guizzardi:
    The Design of a Core Value Ontology Using Ontology Patterns.
    ER Workshops 2016: 183-193.
  •  - Tarek R. Besold, Oliver Kutz, Carlos León :
    Proceedings of the Workshop on Computational Creativity, Concept Invention, and General Intelligence (C3GI 2016) co-located with the 28th European Summer School in Logic, Language and Information (ESSLLI 2016), Bozen-Bolzano, Italy, August 20-22, 2016.
    CEUR Workshop Proceedings 1767, CEUR-WS.org 2016.
  •  - Albin Ahmeti, Diego Calvanese, Axel Polleres, Vadim Savenkov:
    Handling Inconsistencies Due to Class Disjointness in SPARQL Updates.
    ESWC 2016: 387-404.
  •  - Stefan Brüggemann, Konstantina Bereta, Guohui Xiao (肖国辉), Manolis Koubarakis:
    Ontology-Based Data Access for Maritime Security.
    ESWC 2016: 741-757.
  •  - Oliver Kutz, Sergio de Cesare, Maria M. Hedblom, Tarek Richard Besold, Tony Veale, Frederik Gailly, Giancarlo Guizzardi, Mark Lycett, Chris Partridge, Oscar Pastor, Michael Grüninger, Fabian Neuhaus, Till Mossakowski, Stefano Borgo, Loris Bozzato, Chiara Del Vescovo, Martin Homola, Frank Loebe, Adrien Barton, Jean-Rémi Bourguet:
    Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016.
    CEUR Workshop Proceedings 1660, CEUR-WS.org 2016.
  •  - Sergio de Cesare, Frederik Gailly, Giancarlo Guizzardi, Mark Lycett, Chris Partridge, Oscar Pastor:
    Summary of Onto.Com 2016.
    JOWO@FOIS 2016.
  •  - Bruno Borlini Duarte, Vítor E. Silva Souza, André Luiz de Castro Leal, Ricardo de Almeida Falbo, Giancarlo Guizzardi, Renata S. S. Guizzardi:
    Towards an Ontology of Requirements at Runtime.
    FOIS 2016: 255-268.
  •  - Claudio Masolo, Daniele Porello:
    Understanding Predication in Conceptual Spaces.
    FOIS 2016: 139-152.
  •  - Emilio M. Sanfilippo, Claudio Masolo, Stefano Borgo, Daniele Porello:
    Features and Components in Product Models.
    FOIS 2016: 227-240.
  •  - Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
    Verification of Evolving Graph-structured Data under Expressive Path Constraints.
    ICDT 2016: 15:1-15:19.
  •  - Ognjen Savkovic, Elisa Marengo, Werner Nutt:
    Query Stability in Monotonic Data-Aware Business Processes.
    ICDT 2016: 16:1-16:18.
  •  - Fariz Darari, Simon Razniewski, Radityo Eko Prasojo, Werner Nutt:
    Enabling Fine-Grained RDF Data Completeness Assessment.
    ICWE 2016: 170-187.
  •  - Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
    Query-Based Entailment and Inseparability for ALC Ontologies.
    IJCAI 2016: 1001-1007.
  •  - Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy:
    Plan Synthesis for Knowledge and Action Bases.
    IJCAI 2016: 1022-1029.
  •  - Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev:
    Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic.
    IJCAI 2016: 1160-1166.
  •  - Diego Calvanese, Dario De Nart, Carlo Tasso:
    Digital Libraries on the Move - 11th Italian Research Conference on Digital Libraries, IRCDL 2015, Bolzano, Italy, January 29-30, 2015, Revised Selected Papers.
    Communications in Computer and Information Science 612, Springer 2016.
  •  - Joao Marques-Silva, Alexey Ignatiev, Carlos Mencía, Rafael Peñaloza:
    Efficient Reasoning for Inconsistent Horn Formulae.
    JELIA 2016: 336-352.
  •  - Cristine Griffo, João Paulo A. Almeida, Giancarlo Guizzardi:
    A Pattern for the Representation of Legal Relations in a Legal Core Ontology.
    JURIX 2016: 191-194.
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
    Regular Open APIs.
    KR 2016: 329-338.
  •  - Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
    On First-Order μ-Calculus over Situation Calculus Action Theories.
    KR 2016: 411-420.
  •  - Gabriel M. Miranda, João Paulo A. Almeida, Carlos L. B. Azevedo, Giancarlo Guizzardi:
    An Ontological Analysis of Capability Modeling in Defense Enterprise Architecture Frameworks.
    ONTOBRAS 2016: 11-22.
  •  - Andre K. Souza, Renata S. S. Guizzardi, Maria Luiza Machado Campos, Giancarlo Guizzardi:
    Extending an Ontology Editor for Domain-related Ontology Patterns Reuse: An Application in the Collaboration Domain.
    ONTOBRAS 2016: 47-58.
  •  - Francesco Sportelli, Enrico Franconi:
    Formalisation of ORM Derivation Rules and Their Mapping into OWL.
    OTM Conferences 2016: 827-843.
  •  - Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine:
    Recency-Bounded Verification of Dynamic Database-Driven Systems.
    PODS 2016: 195-210.
  •  - Xiaowei Wang, John Mylopoulos, Giancarlo Guizzardi, Nicola Guarino:
    How software changes the world: The role of assumptions.
    RCIS 2016: 1-12.
  •  - Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao (肖国辉):
    Towards Practical OBDA with Temporal Ontologies - (Position Paper).
    RR 2016: 18-24.
  •  - Dag Hovland, Davide Lanti, Martin Rezk, Guohui Xiao (肖国辉):
    OBDA Constraints for Effective Query Answering.
    RuleML 2016: 269-286.
  •  - Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
    Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.
    Reasoning Web 2016: 27-89.
  •  - Ricardo de Almeida Falbo, Glaice Kelly Quirino, Julio Cesar Nardi, Monalessa Perini Barcellos, Giancarlo Guizzardi, Nicola Guarino, Antonella Longo, Barbara Livieri:
    An ontology pattern language for service modeling.
    SAC 2016: 321-326.
  •  - M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza, Joao Marques-Silva:
    BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies.
    SAT 2016: 521-530.
  •  - Nicola Guarino, Giancarlo Guizzardi:
    On the Reification of Relationships.
    SEBD 2016: 350-357.
  •  - Freddy Brasileiro, João Paulo A. Almeida, Victorio Albani de Carvalho, Giancarlo Guizzardi:
    Expressive Multi-level Modeling for the Semantic Web.
    International Semantic Web Conference (1) 2016: 53-69.
  •  - Davide Lanti, Guohui Xiao (肖国辉), Diego Calvanese:
    An Evaluation of VIG with the BSBM Benchmark.
    International Semantic Web Conference (Posters & Demos) 2016.
  •  - Davide Lanti, Guohui Xiao (肖国辉), Diego Calvanese:
    Fast and Simple Data Scaling for OBDA Benchmarks.
    BLINK@ISWC 2016.
  •  - Paramita Mirza, Simon Razniewski, Werner Nutt:
    Expanding Wikidata's Parenthood Information by 178%, or How To Mine Relation Cardinality Information.
    International Semantic Web Conference (Posters & Demos) 2016.
  •  - Radityo Eko Prasojo, Fariz Darari, Simon Razniewski, Werner Nutt:
    Managing and Consuming Completeness Information for Wikidata Using COOL-WD.
    COLD@ISWC 2016.
  •  - Oliver Kutz, Stefano Borgo, Mehul Bhatt:
    Proceedings of the Third Interdisciplinary Workshop SHAPES 3.0 - The Shape of Things 2015 co-located with CONTEXT 2015, Larnaca, Cyprus, November 2, 2015.
    CEUR Workshop Proceedings 1616, CEUR-WS.org 2016.
  •  - Rafael Peñaloza, Nico Potyka:
    Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy.
    SUM 2016: 246-259.
  •  - Freddy Brasileiro, João Paulo A. Almeida, Victorio Albani de Carvalho, Giancarlo Guizzardi:
    Applying a Multi-Level Modeling Theory to Assess Taxonomic Hierarchies in Wikidata.
    WWW (Companion Volume) 2016: 975-980.
  •  - Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov:
    Knowledge base exchange: The case of OWL 2 QL.
    Artif. Intell. 238: 11-62 (2016).
  •  - Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
    Games for query inseparability of description logic knowledge bases.
    Artif. Intell. 234: 78-119 (2016).
  •  - Maria M. Hedblom, Oliver Kutz, Fabian Neuhaus:
    Image schemas in computational conceptual blending.
    Cognitive Systems Research 39: 42-57 (2016).
  •  - Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine:
    Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version).
    CoRR abs/1604.03413 (2016).
  •  - Alessandro Artale, Enrico Franconi:
    Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version).
    CoRR abs/1604.00799 (2016).
  •  - Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao (肖国辉):
    A Formal Presentation of MongoDB (Extended Version).
    CoRR abs/1603.09291 (2016).
  •  - Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
    Query-Based Entailment and Inseparability for ALC Ontologies (Full Version).
    CoRR abs/1604.04164 (2016).
  •  - Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev:
    Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report).
    CoRR abs/1604.03515 (2016).
  •  - Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa:
    Semantics and Analysis of DMN Decision Tables.
    CoRR abs/1603.07466 (2016).
  •  - Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris:
    Abducing Compliance of Incomplete Event Logs.
    CoRR abs/1606.05446 (2016).
  •  - Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus:
    Ontohub: A semantic repository for heterogeneous ontologies.
    CoRR abs/1612.05028 (2016).
  •  - Fariz Darari, Simon Razniewski, Radityo Eko Prasojo, Werner Nutt:
    Enabling Fine-grained RDF Data Completeness Assessment.
    CoRR abs/1604.08377 (2016).
  •  - Luis Galárraga, Simon Razniewski, Antoine Amarilli, Fabian M. Suchanek:
    Predicting Completeness in Knowledge Bases.
    CoRR abs/1612.05786 (2016).
  •  - Dag Hovland, Davide Lanti, Martín Rezk, Guohui Xiao (肖国辉):
    OBDA Constraints for Effective Query Answering (Extended Version).
    CoRR abs/1605.04263 (2016).
  •  - Davide Lanti, Guohui Xiao (肖国辉), Diego Calvanese:
    Data Scaling in OBDA Benchmarks: The VIG Approach.
    CoRR abs/1607.06343 (2016).
  •  - Feng-Lin Li, Alexander Borgida, Giancarlo Guizzardi, Jennifer Horkoff, Lin Liu , John Mylopoulos:
    Desiree: a Refinement Calculus for Requirements Problems.
    CoRR abs/1605.02263 (2016).
  •  - Marco Montali, Andrey Rivkin:
    DB-Nets: on The Marriage of Colored Petri Nets and Relational Databases.
    CoRR abs/1611.03680 (2016).
  •  - Rafael Peñaloza, Nico Potyka:
    Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy (Full Version).
    CoRR abs/1606.09521 (2016).
  •  - Tiago Prince Sales, Giancarlo Guizzardi:
    Corrigendum to "Ontological anti-patterns: Empirically uncovered error-prone structures in ontology-driven conceptual models" [Data Knowl. Eng 99 (September 2015) 72-104].
    Data Knowl. Eng. 101: 42 (2016).
  •  - Diego Calvanese, Pietro Liuzzo, Alessandro Mosca, José Remesal, Martin Rezk, Guillem Rull:
    Ontology-based data integration in EPNet: Production and distribution of food during the Roman Empire.
    Eng. Appl. of AI 51: 212-229 (2016).
  •  - Marco Montali, Andrey Rivkin:
    Model checking Petri nets with names using data-centric dynamic systems.
    Formal Asp. Comput. 28(4): 615-641 (2016).
  •  - Stefan Borgwardt, Rafael Peñaloza:
    Reasoning in Fuzzy Description Logics using Automata.
    Fuzzy Sets and Systems 298: 22-43 (2016).
  •  - Daniele Porello:
    Single-peakedness and semantic dimensions of preferences.
    Logic Journal of the IGPL 24(4): 570-583 (2016).
  •  - Julio Cesar Nardi, Ricardo de Almeida Falbo, João Paulo A. Almeida, Giancarlo Guizzardi, Luís Ferreira Pires, Marten J. van Sinderen, Nicola Guarino, Claudenir Morais Fonseca:
    Corrigendum to "A commitment-based reference ontology for services" [IS 54C (2015) 263-288].
    Inf. Syst. 56: 133-134 (2016).
  •  - Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan:
    Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies.
    J. Data Semantics 5(2): 55-75 (2016).
  •  - Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull , Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
    Research Directions for Principles of Data Management (Abridged).
    SIGMOD Record 45(4): 5-17 (2016).
  •  - Marco Montali, Diego Calvanese:
    Soundness of data-aware, case-centric processes.
    STTT 18(5): 535-558 (2016).
  •  - Angela Bonifati, Werner Nutt, Riccardo Torlone, Jan Van den Bussche:
    Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries.
    VLDB J. 25(3): 381-397 (2016).
2015
  •  - Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali:
    Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes.
    Foundations of Biomedical Knowledge Representation 2015: 81-106.
  •  - Federico Chesani, Catherine G. Enright, Marco Montali, Michael G. Madden:
    Monitoring in the Healthcare Setting.
    Foundations of Biomedical Knowledge Representation 2015: 71-80.
  •  - Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
    Tractable Interval Temporal Propositional and Description Logics.
    AAAI 2015: 1417-1423.
  •  - Diego Calvanese, Giorgio Delzanno, Marco Montali:
    Verification of Relational Multiagent Systems with Data Types.
    AAAI 2015: 2031-2037.
  •  - Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin:
    Implementing Data-Centric Dynamic Systems over a Relational DBMS.
    AMW 2015.
  •  - Diego Calvanese, Marco Montali, Alifah Syamsiyah, Wil M. P. van der Aalst:
    Ontology-Driven Extraction of Event Logs from Relational Databases.
    Business Process Management Workshops 2015: 140-153.
  •  - Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, Jan Mendling:
    Ensuring Model Consistency in Declarative Process Discovery.
    BPM 2015: 144-159.
  •  - Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris, Itzel Vázquez Sandoval:
    Completing Workflow Traces Using Action Languages.
    CAiSE 2015: 314-330.
  •  - Giuseppe De Giacomo, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali:
    Declarative Process Modeling in BPMN.
    CAiSE 2015: 84-100.
  •  - Mouna Kacimi, Nicoleta Preda, Maya Ramanath:
    Proceedings of the 8th Workshop on Ph.D. Workshop in Information and Knowledge Management, PIKM 2015, Melbourne, Australia, October 19, 2015.
    ACM 2015.
  •  - Mouna Kacimi, Nicoleta Preda, Maya Ramanath:
    PIKM 2015: The 8th ACM Workshop for Ph.D. Students in Information and Knowledge Management.
    CIKM 2015: 1951-1952.
  •  - Werner Nutt, Sergey Paramonov , Ognjen Savkovic:
    Implementing Query Completeness Reasoning.
    CIKM 2015: 733-742.
  •  - Radityo Eko Prasojo, Mouna Kacimi, Werner Nutt:
    Entity and Aspect Extraction for Organizing News Comments.
    CIKM 2015: 233-242.
  •  - Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
    Evaluating compliance: from LTL to abductive logic programming.
    CILC 2015: 101-116.
  •  - Guohui Xiao (肖国辉), Juergen Rilling, Tian Xia:
    Message from WEDA Organizing Committee.
    COMPSAC 2015: 665.
  •  - Diego Calvanese, Alessandro Mosca, José Remesal, Martín Rezk, Guillem Rull:
    A 'historical case' of Ontology-Based Data Access.
    Digital Heritage 2015: 291-298.
  •  - Diego Calvanese, Boris Konev:
    Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015.
    CEUR Workshop Proceedings 1350, CEUR-WS.org 2015.
  •  - Albin Ahmeti, Diego Calvanese, Axel Polleres, Vadim Savenkov:
    Dealing with Inconsistencies due to Class Disjointness in SPARQL Update.
    Description Logics 2015.
  •  - Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
    Interval Temporal Description Logics.
    Description Logics 2015.
  •  - Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan:
    Conjunctive Query Answering with Finitely Many Truth Degrees.
    Description Logics 2015.
  •  - Diego Calvanese, Marco Montali, Ario Santoso:
    Inconsistency Management in Generalized Knowledge and Action Bases.
    Description Logics 2015.
  •  - Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza:
    Answering EL Queries in the Presence of Preferences.
    Description Logics 2015.
  •  - Ismail Ilkan Ceylan, Rafael Peñaloza:
    Dynamic Bayesian Description Logics.
    Description Logics 2015.
  •  - Davide Lanti, Martín Rezk, Guohui Xiao (肖国辉), Diego Calvanese:
    The NPD Benchmark: Reality Check for OBDA Systems.
    EDBT 2015: 617-628.
  •  - Diego Calvanese, Benjamin Cogrel, Sarah Komla-Ebri, Davide Lanti, Martín Rezk, Guohui Xiao (肖国辉):
    How to Stay Ontop of Your Data: Databases, Ontologies and More.
    ESWC (Satellite Events) 2015: 20-25.
  •  - Stefan Borgwardt, Rafael Peñaloza:
    Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics.
    FroCos 2015: 49-65.
  •  - Amna Dridi, Mouna Kacimi:
    KISS MIR: Keep It Semantic and Social Music Information Retrieval.
    KDIR 2015: 433-439.
  •  - Ife Adebara, Verónica Dahl, Sergio Tessaris:
    Completing Mixed Language Grammars Through Womb Grammars Plus Ontologies.
    ICAART (1) 2015: 292-297.
  •  - Ife Adebara, Verónica Dahl, Sergio Tessaris:
    Parsing with Partially Known Grammar.
    ICAART (Revised Selected Papers) 2015: 334-346.
  •  - Odile Papini, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier, Eduardo L. Fermé, Thomas Meyer , Renata Wassermann, Torsten Hahmann, Ken Baclawski, Adila Krisnadhi, Pavel Klinov, Stefano Borgo, Oliver Kutz, Daniele Porello:
    Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25-27, 2015.
    CEUR Workshop Proceedings 1517, CEUR-WS.org 2015.
  •  - Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
    First-Order Rewritability of Temporal Ontology-Mediated Queries.
    IJCAI 2015: 2706-2712.
  •  - Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti:
    Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract).
    IJCAI 2015: 4143-4147.
  •  - Stefan Borgwardt, Marco Cerami, Rafael Peñaloza:
    The Complexity of Subsumption in Fuzzy EL.
    IJCAI 2015: 2812-2818.
  •  - Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
    When Are Description Logic Knowledge Bases Indistinguishable?.
    IJCAI 2015: 4240-4246.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
    Data Complexity of Query Answering in Description Logics (Extended Abstract).
    IJCAI 2015: 4163-4167.
  •  - Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski:
    On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies.
    IJCAI 2015: 2840-2846.
  •  - Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo:
    Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis.
    IJCAI 2015: 4247-4253.
  •  - Diego Calvanese, Marco Montali, Ario Santoso:
    Verification of Generalized Inconsistency-Aware Knowledge and Action Bases.
    IJCAI 2015: 2847-2853.
  •  - Roberto Confalonieri , Marco Schorlemmer, Enric Plaza, Manfred Eppe, Oliver Kutz, Rafael Peñaloza:
    Upward Refinement for Conceptual Blending in Description Logic: An ASP-based Approach and Case Study in EL++.
    JOWO@IJCAI 2015.
  •  - Verónica Dahl, Sergio Tessaris, Thom W. Frühwirth:
    Imperfect Querying through Womb Grammars plus Ontologies.
    JOWO@IJCAI 2015.
  •  - Rafael Peñaloza, Aparna Saisree Thuluva:
    Iterative Ontology Updates Using Context Labels.
    JOWO@IJCAI 2015.
  •  - Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza, Sebastian Rudolph:
    KI 2015: Advances in Artificial Intelligence - 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings.
    Lecture Notes in Computer Science 9324, Springer 2015.
  •  - Manfred Eppe, Ewen Maclean, Roberto Confalonieri , Oliver Kutz, W. Marco Schorlemmer, Enric Plaza:
    ASP, Amalgamation, and the Conceptual Blending Workflow.
    LPNMR 2015: 309-316.
  •  - Ismail Ilkan Ceylan, Julian Mendez, Rafael Peñaloza:
    The Bayesian Ontology Reasoner is BORN!.
    ORE 2015: 8-14.
  •  - Tova Milo, Diego Calvanese:
    Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015.
    ACM 2015.
  •  - Thomas Eiter, Jeff Z. Pan, Patrik Schneider, Mantas Simkus, Guohui Xiao (肖国辉):
    A Rule-based Framework for Creating Instance Data from OpenStreetMap.
    RR 2015: 93-104.
  •  - Diego Calvanese, Benjamin Cogrel, Elem Guzel Kalayci, Sarah Komla-Ebri, Roman Kontchakov, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao (肖国辉):
    OBDA with the Ontop Framework.
    SEBD 2015: 296-303.
  •  - Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin:
    Leveraging Relational Technology for Data-Centric Dynamic Systems.
    SEBD 2015: 60-71.
  •  - Diego Calvanese, Martin Giese, Dag Hovland, Martin Rezk:
    Ontology-Based Integration of Cross-Linked Datasets.
    International Semantic Web Conference (1) 2015: 199-216.
  •  - Fariz Darari, Radityo Eko Prasojo, Werner Nutt:
    Expressing No-Value Information in RDF.
    International Semantic Web Conference (Posters & Demos) 2015.
  •  - Evgeny Kharlamov, Dag Hovland, Ernesto Jiménez-Ruiz, Davide Lanti, Hallstein Lie, Christoph Pinkel, Martín Rezk, Martin G. Skjæveland, Evgenij Thorstensen, Guohui Xiao (肖国辉), Dmitriy Zheleznyakov, Ian Horrocks:
    Ontology Based Access to Exploration Data at Statoil.
    International Semantic Web Conference (2) 2015: 93-112.
  •  - Evgeny Kharlamov, Ernesto Jiménez-Ruiz, Christoph Pinkel, Martin Rezk, Martin G. Skjæveland, Ahmet Soylu, Guohui Xiao (肖国辉), Dmitriy Zheleznyakov, Martin Giese, Ian Horrocks, Arild Waaler:
    Optique: Ontology-Based Data Access Platform.
    International Semantic Web Conference (Posters & Demos) 2015.
  •  - Maria M. Hedblom, Oliver Kutz:
    Shape up, Baby! Perception, Image Schemas, and Shapes in Concept Formation.
    SHAPES 2015: 59-65.
  •  - Simon Razniewski, Flip Korn, Werner Nutt, Divesh Srivastava:
    Identifying the Extent of Completeness of Query Answers over Partially Complete Databases.
    SIGMOD Conference 2015: 561-576.
  •  - Ismail Ilkan Ceylan, Rafael Peñaloza:
    Probabilistic Query Answering in the Bayesian Description Logic BEL.
    SUM 2015: 21-35.
  •  - Simon Razniewski, Werner Nutt:
    Long-term Optimization of Update Frequencies for Decaying Information.
    WebDB 2015: 34-40.
  •  - Marco Montali, Andrey Rivkin:
    Formal Verification of Petri Nets with Names.
    WS-FM 2015: 29-47.
  •  - Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
    The limits of decidability in fuzzy description logics with general concept inclusions.
    Artif. Intell. 218: 23-55 (2015).
  •  - Martin Giese, Ahmet Soylu, Guillermo Vega-Gorgojo, Arild Waaler, Peter Haase , Ernesto Jiménez-Ruiz, Davide Lanti, Martín Rezk, Guohui Xiao (肖国辉), Özgür L. Özçep, Riccardo Rosati:
    Optique: Zooming in on Big Data.
    IEEE Computer 48(3): 60-67 (2015).
  •  - Parosh Aziz Abdulla, Giorgio Delzanno, Marco Montali:
    Well Structured Transition Systems with History.
    GandALF 2015: 115-128.
  •  - Mario Alviano, Rafael Peñaloza:
    Fuzzy Answer Set Computation via Satisfiability Modulo Theories.
    CoRR abs/1507.03920 (2015).
  •  - Angela Bonifati, Werner Nutt, Riccardo Torlone, Jan Van den Bussche:
    Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries.
    CoRR abs/1503.01707 (2015).
  •  - Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan:
    Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies.
    CoRR abs/1508.02626 (2015).
  •  - Stefan Borgwardt, Rafael Peñaloza:
    Reasoning in Infinitely Valued G-IALCQ.
    CoRR abs/1509.08761 (2015).
  •  - Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao (肖国辉):
    Beyond OWL 2 QL in OBDA: Rewritings and Approximations (Extended Version).
    CoRR abs/1511.08412 (2015).
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
    Node Selection Query Languages for Trees.
    CoRR abs/1509.08979 (2015).
  •  - Diego Calvanese, Marco Montali, Ario Santoso:
    Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version).
    CoRR abs/1504.08108 (2015).
  •  - Ismail Ilkan Ceylan, Rafael Peñaloza:
    Dynamic Bayesian Ontology Languages.
    CoRR abs/1506.08030 (2015).
  •  - Ingo Feinerer, Enrico Franconi, Paolo Guagliardo:
    Lossless Selection Views under Conditional Domain Constraints.
    CoRR abs/1506.03625 (2015).
  •  - Ognjen Savkovic, Elisa Marengo, Werner Nutt:
    Query Stability in Monotonic Data-Aware Business Processes [Extended Version].
    CoRR abs/1512.06912 (2015).
  •  - Linh Thao Ly, Fabrizio Maria Maggi, Marco Montali, Stefanie Rinderle-Ma, Wil M. P. van der Aalst:
    Compliance monitoring in business processes: Functionalities, application, and tool-support.
    Inf. Syst. 54: 209-234 (2015).
  •  - Worarat Krathu, Christian Pichler, Guohui Xiao (肖国辉), Hannes Werthner, Julia Neidhardt, Marco Zapletal, Christian Huemer:
    Inter-organizational success factors: a cause and effect model.
    Inf. Syst. E-Business Management 13(3): 553-593 (2015).
  •  - Maria M. Hedblom, Oliver Kutz, Fabian Neuhaus:
    Choosing the Right Path: Image Schema Theory as a Foundation for Concept Invention.
    J. Artificial General Intelligence 6(1): 21-54 (2015).
  •  - Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
    Similarity-based relaxed instance queries.
    J. Applied Logic 13(4): 480-508 (2015).
  •  - Riccardo De Masellis, Domenico Lembo, Marco Montali, Dmitry Solomakhin:
    Semantic Enrichment of GSM-Based Artifact-Centric Models.
    J. Data Semantics 4(1): 3-27 (2015).
  •  - Franz Baader, Stefan Borgwardt, Rafael Peñaloza:
    On the Decidability Status of Fuzzy ALC with General Concept Inclusions.
    J. Philosophical Logic 44(2): 117-146 (2015).
  •  - Diego Calvanese:
    Report on PODS 2015.
    SIGACT News 46(4): 79-81 (2015).
  •  - Gerard de Melo, Mouna Kacimi, Aparna S. Varde:
    Dissertation Research Problems in Data Management and Related Areas.
    SIGMOD Record 44(4): 53-56 (2015).
  •  - Ingo Feinerer, Enrico Franconi, Paolo Guagliardo:
    Lossless Selection Views under Conditional Domain Constraints.
    IEEE Trans. Knowl. Data Eng. 27(2): 504-517 (2015).
  •  - Mario Alviano, Rafael Peñaloza:
    Fuzzy answer set computation via satisfiability modulo theories.
    TPLP 15(4-5): 588-603 (2015).
  •  - Diego Calvanese, Manolis Koubarakis, David Toman:
    Special issue of the Journal of Web Semantics on ontology-based data access.
    J. Web Sem. 33: 1-2 (2015).
2014
  •  - Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
    Managing Change in Graph-Structured Data Using Description Logics.
    AAAI 2014: 966-973.
  •  - Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus:
    Capturing Relational Schemas and Functional Dependencies in RDFS.
    AAAI 2014: 1003-1011.
  •  - Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali:
    Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness.
    AAAI 2014: 1027-1033.
  •  - Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
    Planning and Change in Graph Structured Data under Description Logics Constraints.
    AMW 2014.
  •  - Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
    Nested Regular Path Queries in Description Logics (Extended Abstract).
    AMW 2014.
  •  - Ingo Feinerer, Paolo Guagliardo, Enrico Franconi:
    Lossless Selection Views under Constraints.
    AMW 2014.
  •  - Elisa Marengo, Werner Nutt, Ognjen Savkovic:
    Towards a Theory of Query Stability in Business Processes.
    AMW 2014.
  •  - Marco Montali, Diego Calvanese, Giuseppe De Giacomo:
    Verification of data-aware commitment-based multiagent system.
    AAMAS 2014: 157-164.
  •  - Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali:
    Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces.
    BPM 2014: 1-17.
  •  - Vincenzo Del Fatto, Gabriella Dodero, Rosella Gennari, Alessandra Melonio, Marco Montali, Simon Razniewski, Santina Torello, Xiaofeng Wang , Floriano Zini:
    Gamified children universities: an exploratory study.
    CHI PLAY 2014: 409-410.
  •  - Gerard de Melo, Mouna Kacimi, Aparna S. Varde:
    Proceedings of the 7th Workshop on Ph.D Students, PIKM@CIKM 2014, Shanghai, China, November 3, 2014.
    ACM 2014.
  •  - Diego Calvanese, Marco Montali, Montserrat Estañol, Ernest Teniente:
    Verifiable UML Artifact-Centric Business Process Models.
    CIKM 2014: 1289-1298.
  •  - Gerard de Melo, Mouna Kacimi, Aparna S. Varde:
    PIKM 2014: The 7th ACM Workshop for Ph.D. Students in Information and Knowledge Management.
    CIKM 2014: 2098-2099.
  •  - Marco Gavanelli, Michela Milano, Stefano Bragaglia, Federico Chesani, Elisa Marengo, Paolo Cagnoli:
    Multi-Criteria Optimal Planning for Energy Policies in CLP.
    CILC 2014: 54-68.
  •  - Marco Montali, Diego Calvanese, Giuseppe De Giacomo:
    Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems.
    CILC 2014: 84-98.
  •  - Timea Bagosi, Diego Calvanese, Josef Hardi, Sarah Komla-Ebri, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, Mindaugas Slusnys, Guohui Xiao (肖国辉):
    The Ontop Framework for Ontology Based Data Access.
    CSWS 2014: 67-77.
  •  - Enrico Franconi, Paolo Guagliardo:
    Translatable Updates of Selection Views under Constant Complement.
    DEXA (2) 2014: 295-309.
  •  - Nhung Ngo, Enrico Franconi:
    Unique Solutions in Data Exchange.
    DEXA (2) 2014: 281-294.
  •  - Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
    Planning Problems for Graph Structured Data in Description Logics.
    Description Logics 2014: 4-7.
  •  - Albin Ahmeti, Diego Calvanese, Axel Polleres:
    SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment.
    Description Logics 2014: 8-20.
  •  - Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
    Temporal OBDA with LTL and DL-Lite.
    Description Logics 2014: 21-32.
  •  - Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
    Query Inseparability by Games.
    Description Logics 2014: 83-95.
  •  - Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus:
    Expressive Identification Constraints to Capture Functional Dependencies in Description Logics.
    Description Logics 2014: 416-420.
  •  - Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger:
    Shape and Content: Incorporating Domain Knowledge into Shape Analysis.
    Description Logics 2014: 124-127.
  •  - Laura Perez-Beltrachini, Claire Gardent, Enrico Franconi:
    Incremental Query Generation.
    EACL 2014: 183-191.
  •  - Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov:
    DL-Lite and Interval Temporal Logics: a Marriage Proposal.
    ECAI 2014: 957-958.
  •  - Youssef Meguebli, Mouna Kacimi, Bich-Liên Doan, Fabrice Popineau:
    Unsupervised Approach for Identifying Users' Political Orientations.
    ECIR 2014: 507-512.
  •  - Fariz Darari, Radityo Eko Prasojo, Werner Nutt:
    CORNER: A Completeness Reasoner for SPARQL Queries Over RDF Data Sources.
    ESWC (Satellite Events) 2014: 310-314.
  •  - Simon Razniewski, Werner Nutt:
    Adding completeness information to query answers over spatial databases.
    SIGSPATIAL/GIS 2014: 123-132.
  •  - Simon Razniewski, Werner Nutt:
    Databases under the Partial Closed-world Assumption: A Survey.
    Grundlagen von Datenbanken 2014: 59-64.
  •  - Youssef Meguebli, Mouna Kacimi, Bich-Liên Doan, Fabrice Popineau:
    Exploiting Social Debates for Opinion Ranking.
    KDIR 2014: 250-260.
  •  - Youssef Meguebli, Mouna Kacimi, Bich-Liên Doan, Fabrice Popineau:
    Stories Around You - A Two-Stage Personalized News Recommendation.
    KDIR 2014: 473-479.
  •  - Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris, Itzel Vázquez Sandoval:
    Reasoning on Incomplete Execution Traces Using Action Languages - A First Report.
    ICSOC Workshops 2014: 185-191.
  •  - Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger:
    Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures.
    IFM 2014: 3-17.
  •  - Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali:
    Monitoring data-aware business constraints with finite state automata.
    ICSSP 2014: 134-143.
  •  - Diego Calvanese:
    Query Answering over Description Logic Ontologies.
    JELIA 2014: 1-17.
  •  - Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso:
    Verification of Context-Sensitive Knowledge and Action Bases.
    JELIA 2014: 514-528.
  •  - Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente:
    Logic Foundations of the OCL Modelling Language.
    JELIA 2014: 657-664.
  •  - Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
    Nested Regular Path Queries in Description Logics.
    KR 2014.
  •  - Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
    Query Inseparability for Description Logic Knowledge Bases.
    KR 2014.
  •  - Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Alin Deutsch:
    State-Boundedness in Data-Aware Dynamic Systems.
    KR 2014.
  •  - Diego Calvanese, Davide Lanti, Martin Rezk, Mindaugas Slusnys, Guohui Xiao (肖国辉):
    A Scalable Benchmark for OBDA Systems: Preliminary Report.
    ORE 2014: 36-43.
  •  - Thomas Eiter, Patrik Schneider, Mantas Simkus, Guohui Xiao (肖国辉):
    Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners.
    ORE 2014: 51-57.
  •  - Guohui Xiao (肖国辉), Martin Rezk, Mariano Rodriguez-Muro, Diego Calvanese:
    Rules and Ontology Based Data Access.
    RR 2014: 157-172.
  •  - Emad Eldeen Elakehal, Marco Montali, Julian Padget:
    Run-Time Verification of MSMAS Norms Using Event Calculus.
    SASO Workshops 2014: 110-115.
  •  - Nhung Ngo, Enrico Franconi:
    Unique Solutions in Data Exchange.
    SEBD 2014: 185-192.
  •  - Albin Ahmeti, Diego Calvanese, Axel Polleres:
    Updating RDFS ABoxes and TBoxes in SPARQL.
    International Semantic Web Conference (1) 2014: 441-456.
  •  - Fariz Darari, Simon Razniewski, Werner Nutt:
    Bridging the Semantic Gap between RDF and SPARQL using Completeness Statements.
    International Semantic Web Conference (Posters & Demos) 2014: 269-272.
  •  - Roman Kontchakov, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao (肖国辉), Michael Zakharyaschev:
    Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime.
    International Semantic Web Conference (1) 2014: 552-567.
  •  - Davide Lanti, Martin Rezk, Mindaugas Slusnys, Guohui Xiao (肖国辉), Diego Calvanese:
    The NPD Benchmark for OBDA Systems.
    SSWS@ISWC 2014: 3-18.
  •  - Youssef Meguebli, Mouna Kacimi, Bich-Liên Doan, Fabrice Popineau:
    How Hidden Aspects Can Improve Recommendation?.
    SocInfo 2014: 269-278.
  •  - Youssef Meguebli, Mouna Kacimi, Bich-Liên Doan, Fabrice Popineau:
    Building Rich User Profiles for Personalized News Recommendation.
    UMAP Workshops 2014.
  •  - Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Federico Capuzzimati:
    Engineering commitment-based business protocols with the 2CL methodology.
    Autonomous Agents and Multi-Agent Systems 28(4): 519-557 (2014).
  •  - Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
    Managing Change in Graph-structured Data Using Description Logics (long version with appendix).
    CoRR abs/1404.4274 (2014).
  •  - Albin Ahmeti, Diego Calvanese, Axel Polleres:
    Updating RDFS ABoxes and TBoxes in SPARQL.
    CoRR abs/1403.7248 (2014).
  •  - Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
    The DL-Lite Family and Relations.
    CoRR abs/1401.3487 (2014).
  •  - Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
    Nested Regular Path Queries in Description Logics.
    CoRR abs/1402.7122 (2014).
  •  - Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso:
    Adding Context to Knowledge and Action Bases.
    CoRR abs/1412.7965 (2014).
  •  - Diego Calvanese, Giorgio Delzanno, Marco Montali:
    Verification of Relational Multiagent Systems with Data Types (Extended Version).
    CoRR abs/1411.4516 (2014).
  •  - Diego Calvanese, Marco Montali, Montserrat Estañol, Ernest Teniente:
    Verifiable UML Artifact-Centric Business Process Models (Extended Version).
    CoRR abs/1408.5094 (2014).
  •  - Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
    Reasoning about Explanations for Negative Query Answers in DL-Lite.
    CoRR abs/1402.0575 (2014).
  •  - Fariz Darari, Simon Razniewski, Werner Nutt:
    Bridging the Semantic Gap between RDF and SPARQL using Completeness Statements [Extended Version].
    CoRR abs/1408.6395 (2014).
  •  - Marco Gavanelli, Stefano Bragaglia, Michela Milano, Federico Chesani, Elisa Marengo, Paolo Cagnoli:
    Multi-Criteria Optimal Planning for Energy Policies in CLP.
    CoRR abs/1405.3824 (2014).
  •  - Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali:
    LTLf and LDLf Monitoring: A Technical Report.
    CoRR abs/1405.0054 (2014).
  •  - Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli:
    Description Logic Knowledge and Action Bases.
    CoRR abs/1402.0569 (2014).
  •  - Simon Razniewski:
    Query-driven Data Completeness Management.
    CoRR abs/1411.2855 (2014).
  •  - Diego Calvanese, Thomas Eiter, Magdalena Ortiz:
    Answering regular path queries in expressive Description Logics via alternating tree-automata.
    Inf. Comput. 237: 12-55 (2014).
  •  - Xiaowang Zhang, Guohui Xiao (肖国辉), Zuoquan Lin, Jan Van den Bussche:
    Inconsistency-tolerant reasoning with OWL DL.
    Int. J. Approx. Reasoning 55(2): 557-584 (2014).
  •  - Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
    A Cookbook for Temporal Conceptual Data Modelling with Description Logics.
    ACM Trans. Comput. Log. 15(3): 25:1-25:50 (2014).
2013
  •  - Andrea Calì, Diego Calvanese, Maurizio Lenzerini:
    Data Integration under Integrity Constraints.
    Seminal Contributions to Information Systems Engineering 2013: 335-352.
  •  - Andrea Calì, Diego Calvanese, Maurizio Lenzerini:
    Rewrite and Conquer: Dealing with Integrity Constraints in Data Integration.
    Seminal Contributions to Information Systems Engineering 2013: 353-359.
  •  - Matteo Baldoni, Federico Chesani, Paola Mello, Marco Montali:
    Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), Turin, Italy, December 5, 2013.
    CEUR Workshop Proceedings 1107, CEUR-WS.org 2013.
  •  - Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
    Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version).
    AIBP@AI*IA 2013: 71-80.
  •  - Claudio Masolo, Alessandro Artale:
    Entity-from-Relationship Modelling.
    AI*IA 2013: 85-96.
  •  - Camilo Thorne, Elena Cardillo, Claudio Eccher, Marco Montali, Diego Calvanese:
    Process Fragment Recognition in Clinical Documents.
    AI*IA 2013: 227-238.
  •  - Enrico Franconi, Paolo Guagliardo:
    Effectively Updatable Conjunctive Views.
    AMW 2013.
  •  - Ingo Feinerer, Enrico Franconi, Paolo Guagliardo:
    Lossless Horizontal Decomposition with Domain Constraints on Interpreted Attributes.
    BNCOD 2013: 77-91.
  •  - Simon Razniewski, Werner Nutt:
    Assessing the Completeness of Geographical Data.
    BNCOD 2013: 228-237.
  •  - Alessandro Russo , Massimo Mecella, Marco Montali, Fabio Patrizi:
    Towards a Reference Implementation for Data Centric Dynamic Systems.
    Business Process Management Workshops 2013: 141-154.
  •  - Fabrizio Maria Maggi, Marlon Dumas, Luciano García-Bañuelos, Marco Montali:
    Discovering Data-Aware Declarative Process Models from Event Logs.
    BPM 2013: 81-96.
  •  - Simon Razniewski, Marco Montali, Werner Nutt:
    Verification of Query Completeness over Processes.
    BPM 2013: 155-170.
  •  - Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov:
    Computing Solutions in OWL 2 QL Knowledge Exchange.
    Description Logics 2013: 4-16.
  •  - Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
    Temporalising OWL 2 QL.
    Description Logics 2013: 17-28.
  •  - Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
    Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis.
    Description Logics 2013: 573-586.
  •  - Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov:
    Verification of Inconsistency-Aware Knowledge and Action Bases.
    Description Logics 2013: 107-119.
  •  - Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
    Evolving Graph Databases under Description Logic Constraints.
    Description Logics 2013: 120-131.
  •  - Maxim Haddad, Diego Calvanese:
    Extending DL-Lite_A with (Singleton) Nominals.
    Description Logics 2013: 704-723.
  •  - Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
    Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard.
    Description Logics 2013: 353-363.
  •  - Linh Thao Ly, Fabrizio Maria Maggi, Marco Montali, Stefanie Rinderle-Ma, Wil M. P. van der Aalst:
    A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches.
    EDOC 2013: 7-16.
  •  - Diego Calvanese, Martin Giese, Peter Haase , Ian Horrocks, Thomas Hubauer, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Herald Kllapi, Johan W. Klüwer, Manolis Koubarakis, Steffen Lamparter, Ralf Möller, Christian Neuenstadt, T. Nordtveit, Özgür L. Özçep, Mariano Rodriguez-Muro, Mikhail Roshchin, Domenico Fabio Savo, Michael Schmidt , Ahmet Soylu, Arild Waaler, Dmitriy Zheleznyakov:
    Optique: OBDA Solution for Big Data.
    ESWC (Satellite Events) 2013: 293-295.
  •  - Mouna Kacimi, Ognjen Savkovic, Manfred Mitterer:
    Clinical-based prediction of side effects in colon cancer chemotherapy.
    Healthcom 2013: 617-621.
  •  - Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin:
    Verification of Semantically-Enhanced Artifact Systems.
    ICSOC 2013: 600-607.
  •  - Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis:
    Verification of Artifact-Centric Systems: Decidability and Modeling Issues.
    ICSOC 2013: 252-266.
  •  - Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov:
    Exchanging OWL 2 QL Knowledge Bases.
    IJCAI 2013: 703-710.
  •  - Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
    Temporal Description Logic for Ontology-Based Data Access.
    IJCAI 2013: 711-717.
  •  - Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov:
    Verification of Inconsistency-Aware Knowledge and Action Bases.
    IJCAI 2013: 810-816.
  •  - Camilo Thorne, Marco Montali, Diego Calvanese, Elena Cardillo, Claudio Eccher:
    Automated Activity Recognition in Clinical Documents.
    IJCNLP 2013: 1129-1133.
  •  - Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
    The Complexity of Clausal Fragments of LTL.
    LPAR 2013: 35-52.
  •  - Emad Eldeen Elakehal, Marco Montali, Julian A. Padget:
    Verifying MSMAS Model Using CIFF.
    MATES 2013: 44-58.
  •  - Mariano Rodriguez-Muro, Martín Rezk, Josef Hardi, Mindaugas Slusnys, Timea Bagosi, Diego Calvanese:
    Evaluating SPARQL-to-SQL Translation in Ontop.
    ORE 2013: 94-100.
  •  - Enrico Franconi, Alessandro Mosca:
    Towards a Core ORM2 Language (Research Note).
    OTM Workshops 2013: 448-456.
  •  - Diego Calvanese, Martin Giese, Peter Haase , Ian Horrocks, Thomas Hubauer, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Herald Kllapi, Manolis Koubarakis, Steffen Lamparter, Ralf Möller, Christian Neuenstadt, Özgür L. Özçep, Mariano Rodriguez-Muro, Mikhail Roshchin, Marco Ruzzi, Domenico Fabio Savo, Michael Schmidt , Ahmet Soylu, Arild Waaler, Dmitriy Zheleznyakov:
    The Optique Project: Towards OBDA Systems for Industry (Short Paper).
    OWLED 2013.
  •  - Diego Calvanese, Ian Horrocks, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Michael Meier, Mariano Rodriguez-Muro, Dmitriy Zheleznyakov:
    On Rewriting, Answering Queries in OBDA Systems for Big Data (Short Paper).
    OWLED 2013.
  •  - Diego Calvanese, Giuseppe De Giacomo, Marco Montali:
    Foundations of data-aware process analysis: a database theory perspective.
    PODS 2013: 1-12.
  •  - Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali:
    Verification of relational data-centric dynamic systems with external services.
    PODS 2013: 163-174.
  •  - Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
    Verification and Synthesis in Description Logic Based Dynamic Systems.
    RR 2013: 50-64.
  •  - Marco Montali, Federico Chesani, Paola Mello, Fabrizio Maria Maggi:
    Towards data-aware constraints in declare.
    SAC 2013: 1391-1396.
  •  - Enrico Franconi, Claudio Gutiérrez , Alessandro Mosca, Riccardo Rosati, Giuseppe Pirrò:
    The Logic of Extensional RDFS (Extended Abstract).
    SEBD 2013: 75-86.
  •  - Fariz Darari, Werner Nutt, Giuseppe Pirrò, Simon Razniewski:
    Completeness Statements about RDF Data Sources and Their Use for Query Answering.
    International Semantic Web Conference (1) 2013: 66-83.
  •  - Enrico Franconi, Claudio Gutiérrez , Alessandro Mosca, Giuseppe Pirrò, Riccardo Rosati:
    The Logic of Extensional RDFS.
    International Semantic Web Conference (1) 2013: 101-116.
  •  - Alessandro Russo , Massimo Mecella, Fabio Patrizi, Marco Montali:
    Implementing and Running Data-Centric Dynamic Systems.
    SOCA 2013: 225-232.
  •  - Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
    Representing and monitoring social commitments using the event calculus.
    Autonomous Agents and Multi-Agent Systems 27(1): 85-130 (2013).
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
    Data complexity of query answering in description logics.
    Artif. Intell. 195: 335-360 (2013).
  •  - Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
    The Complexity of Clausal Fragments of LTL.
    CoRR abs/1306.5088 (2013).
  •  - Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger:
    Shape and Content: Incorporating Domain Knowledge into Shape Analysis.
    CoRR abs/1312.6624 (2013).
  •  - Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin:
    Verification of Semantically-Enhanced Artifact Systems (Extended Version).
    CoRR abs/1308.6292 (2013).
  •  - Simon Razniewski, Marco Montali, Werner Nutt:
    Verification of Query Completeness over Processes [Extended Version].
    CoRR abs/1306.1689 (2013).
  •  - Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis:
    Verification of Artifact-Centric Systems: Decidability and Modeling Issues.
    CoRR abs/1304.1697 (2013).
  •  - Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
    Temporal Description Logic for Ontology-Based Data Access (Extended Version).
    CoRR abs/1304.5185 (2013).
  •  - Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov:
    Exchanging OWL 2 QL Knowledge Bases.
    CoRR abs/1304.5810 (2013).
  •  - Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov:
    Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version).
    CoRR abs/1304.6442 (2013).
  •  - Diego Calvanese, Sven Hartmann, Ernest Teniente:
    Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211).
    Dagstuhl Reports 3(5): 43-77 (2013).
  •  - Dmitry Solomakhin, Enrico Franconi, Alessandro Mosca:
    Logic-based Reasoning Support for SBVR.
    Fundam. Inform. 124(4): 543-560 (2013).
  •  - Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini:
    Finite model reasoning on UML class diagrams via constraint programming.
    Intelligenza Artificiale 7(1): 57-65 (2013).
  •  - Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
    Reasoning about Explanations for Negative Query Answers in DL-Lite.
    J. Artif. Intell. Res. 48: 635-669 (2013).
  •  - Balder ten Cate, Enrico Franconi, Inanç Seylan:
    Beth Definability in Expressive Description Logics.
    J. Artif. Intell. Res. 48: 347-414 (2013).
  •  - Enrico Franconi, Volha Kerhet, Nhung Ngo:
    Exact Query Reformulation over Databases with First-order and Description Logics Ontologies.
    J. Artif. Intell. Res. 48: 885-922 (2013).
  •  - Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli:
    Description Logic Knowledge and Action Bases.
    J. Artif. Intell. Res. 46: 651-686 (2013).
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
    On simplification of schema mappings.
    J. Comput. Syst. Sci. 79(6): 816-834 (2013).
  •  - Evgeny Kharlamov, Dmitriy Zheleznyakov, Diego Calvanese:
    Capturing model-based ontology evolution at the instance level: The case of DL-Lite.
    J. Comput. Syst. Sci. 79(6): 835-872 (2013).
  •  - Ognjen Savkovic, Paramita Mirza, Alex Tomasi, Werner Nutt:
    Complete Approximations of Incomplete Queries.
    PVLDB 6(12): 1378-1381 (2013).
  •  - Diego Calvanese, Thomas Lukasiewicz:
    Preface.
    Semantic Web 4(4): 349 (2013).
  •  - Mouna Kacimi, Fabian M. Suchanek, Aparna S. Varde:
    Databases, information retrieval and knowledge management: exploring paths and crossing bridges.
    SIGMOD Record 42(3): 71-74 (2013).
  •  - Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti:
    Constitutive and regulative specifications of commitment protocols: A decoupled approach.
    ACM TIST 4(2): 22:1-22:25 (2013).
  •  - Marco Montali, Fabrizio Maria Maggi, Federico Chesani, Paola Mello, Wil M. P. van der Aalst:
    Monitoring business constraints with the event calculus.
    ACM TIST 5(1): 17:1-17:30 (2013).
  •  - Werner Nutt, Sergey Paramonov , Ognjen Savkovic:
    An ASP Approach to Query Completeness Reasoning.
    TPLP 13(4-5-Online-Supplement) (2013).
2012
  •  - Matteo Baldoni, Federico Chesani, Bernardo Magnini, Paola Mello, Marco Montali:
    Popularize Artificial Intelligence, Proceedings of the AI*IA Workshop and Prize for Celebrating 100th Anniversary of Alan Turing's Birth, Rome, Italy, June 15, 2012.
    CEUR Workshop Proceedings 860, CEUR-WS.org 2012.
  •  - Dmitry Solomakhin, Sergio Tessaris, Marco Montali:
    Combining Process and Ontological Modeling.
    DC@AI*IA 2012: 43-47.
  •  - Enrico Franconi, Paolo Guagliardo:
    On the Translatability of View Updates.
    AMW 2012: 154-167.
  •  - Enrico Franconi, Sergio Tessaris:
    On the Logic of SQL Nulls.
    AMW 2012: 114-128.
  •  - Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
    Reactive Event Calculus for Monitoring Global Computing Applications.
    Logic Programs, Norms and Action 2012: 123-146.
  •  - Mouna Kacimi, Johann Gamper:
    MOUNA: mining opinions to unveil neglected arguments.
    CIKM 2012: 2722-2724.
  •  - Werner Nutt, Simon Razniewski:
    Completeness of queries over SQL databases.
    CIKM 2012: 902-911.
  •  - Ognjen Savkovic, Paramita Mirza, Sergey Paramonov , Werner Nutt:
    MAGIK: managing completeness of data.
    CIKM 2012: 2725-2727.
  •  - Volha Kerhet, Enrico Franconi:
    On Checking Domain Independence.
    CILC 2012: 246-250.
  •  - Werner Nutt, Simon Razniewski, Gil Vegliach:
    Incomplete Databases: Missing Records and Missing Values.
    DASFAA Workshops 2012: 298-310.
  •  - Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov:
    Representability in DL-Lite_R Knowledge Base Exchange.
    Description Logics 2012.
  •  - Enrico Franconi, Volha Kerhet, Nhung Ngo:
    Exact Query Reformulation over SHOQ DBoxes.
    Description Logics 2012.
  •  - Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin:
    ORM2 Encoding into Description Logic (Extended Abstract).
    Description Logics 2012.
  •  - Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente:
    OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL.
    Description Logics 2012.
  •  - Alessandro Artale, Vladislav Ryzhikov, Roman Kontchakov:
    DL-Lite with Attributes and Datatypes.
    ECAI 2012: 61-66.
  •  - Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali:
    Verification of Description Logic Knowledge and Action Bases.
    ECAI 2012: 103-108.
  •  - Ognjen Savkovic, Diego Calvanese:
    Introducing Datatypes in DL-Lite.
    ECAI 2012: 720-725.
  •  - Fabrizio Maria Maggi, Marco Montali, Wil M. P. van der Aalst:
    An Operational Decision Support Framework for Monitoring Business Constraints.
    FASE 2012: 146-162.
  •  - Enrico Franconi, Volha Kerhet, Nhung Ngo:
    Exact Query Reformulation with First-Order Ontologies and Databases.
    JELIA 2012: 202-214.
  •  - Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov:
    Exchanging Description Logic Knowledge Bases.
    KR 2012.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso:
    Semantically-Governed Data-Aware Processes.
    KiBP@KR 2012: 21-32.
  •  - Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
    The Complexity of Explaining Negative Query Answers in DL-Lite.
    KR 2012.
  •  - Mariano Rodriguez-Muro, Diego Calvanese:
    High Performance Query Answering over DL-Lite Ontologies.
    KR 2012.
  •  - Riccardo Rosati, Enrico Franconi:
    Generalized Ontology-Based Production Systems.
    KR 2012.
  •  - Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin:
    ORM2: Formalisation and Encoding in OWL2.
    OTM Workshops 2012: 368-378.
  •  - Ronell Alberts, Enrico Franconi:
    An Integrated Method Using Conceptual Modelling to Generate an Ontology-based Query Mechanism.
    OWLED 2012.
  •  - Diego Calvanese, Evgeny Kharlamov, Marco Montali, Dmitriy Zheleznyakov:
    Inconsistency Tolerance in OWL 2 QL Knowledge and Action Bases.
    OWLED 2012.
  •  - Mariano Rodriguez-Muro, Diego Calvanese:
    Quest, an OWL 2 QL Reasoner for Ontology-based Data Access.
    OWLED 2012.
  •  - Elena Botoeva:
    Description Logic Knowledge Base Exchange.
    RR 2012: 266-271.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso:
    Ontology-Based Governance of Data-Aware Processes.
    RR 2012: 25-41.
  •  - Enrico Franconi, Nhung Ngo, Evgeny Sherkhonov:
    The Definability Abduction Problem for Data Exchange - (Abstract).
    RR 2012: 217-220.
  •  - Enrico Franconi, Sergio Tessaris:
    The Algebra and the Logic for SQL Nulls.
    SEBD 2012: 163-176.
  •  - Peter F. Patel-Schneider, Enrico Franconi:
    Ontology Constraints in Incomplete and Complete Data.
    International Semantic Web Conference (1) 2012: 444-459.
  •  - Mariano Rodriguez-Muro, Josef Hardi, Diego Calvanese:
    Quest: Effcient SPARQL-to-SQL for RDF and OWL.
    International Semantic Web Conference (Posters & Demos) 2012.
  •  - Diego Calvanese, Ario Santoso:
    Best Service Synthesis in the Weighted Roman Model.
    ZEUS 2012: 42-49.
  •  - Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali:
    Verification of Relational Data-Centric Dynamic Systems with External Services.
    CoRR abs/1203.0024 (2012).
  •  - Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
    A Cookbook for Temporal Conceptual Data Modelling with Description Logics.
    CoRR abs/1209.5571 (2012).
  •  - Enrico Franconi, Paolo Guagliardo:
    The View Update Problem Revisited.
    CoRR abs/1211.3016 (2012).
  •  - Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente:
    OCL-Lite: Finite reasoning on UML/OCL conceptual schemas.
    Data Knowl. Eng. 73: 1-22 (2012).
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
    View-based query answering in Description Logics: Semantics and complexity.
    J. Comput. Syst. Sci. 78(1): 26-46 (2012).
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
    Query Processing under GLAV Mappings for Relational and Graph Databases.
    PVLDB 6(2): 61-72 (2012).
  •  - Camilo Thorne, Diego Calvanese:
    Tractability and Intractability of Controlled Languages for Data Access.
    Studia Logica 100(4): 787-813 (2012).
  •  - Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris:
    The ICOM 3.0 intelligent conceptual modelling tool and methodology.
    Semantic Web 3(3): 293-306 (2012).
2011
  •  - Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Davide Sottara:
    Fuzzy Conformance Checking of Observed Behaviour with Expectations.
    AI*IA 2011: 80-91.
  •  - Mariano Rodriguez-Muro, Diego Calvanese:
    Dependencies: Making Ontology Based Data Access Work.
    AMW 2011.
  •  - Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier , Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar , Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song , Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan , Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek , Marc Verdonk, Roberto Vigo, Jianmin Wang , Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn:
    Process Mining Manifesto.
    Business Process Management Workshops (1) 2011: 169-194.
  •  - Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Paolo Terenziani:
    Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge.
    Business Process Management Workshops (2) 2011: 200-211.
  •  - Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli:
    Foundations of Relational Artifacts Verification.
    BPM 2011: 379-395.
  •  - Fabrizio Maria Maggi, Marco Montali, Michael Westergaard, Wil M. P. van der Aalst:
    Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata.
    BPM 2011: 132-147.
  •  - Mouna Kacimi, Johann Gamper:
    Diversifying search results of controversial queries.
    CIKM 2011: 93-98.
  •  - Bilyana Taneva, Mouna Kacimi, Gerhard Weikum:
    Finding images of difficult entities in the long tail.
    CIKM 2011: 189-194.
  •  - Dmitry Solomakhin, Enrico Franconi, Alessandro Mosca:
    Logic-based reasoning support for SBVR.
    CILC 2011: 311-325.
  •  - Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali:
    A Retrospective on the Reactive Event Calculus and Commitment Modeling Language.
    DALT 2011: 120-127.
  •  - Maria Amalfi, Alessandro Artale, Andrea Calì, Alessandro Provetti:
    Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case.
    DASFAA (2) 2011: 225-234.
  •  - Marcelo Arenas, Elena Botoeva, Diego Calvanese:
    Knowledge Base Exchange.
    Description Logics 2011.
  •  - Alessandro Artale, Yazmin Angélica Ibáñez-García, Roman Kontchakov, Vladislav Ryzhikov:
    DL-Lite with Attributes and Sub-Roles (Extended Abstract).
    Description Logics 2011.
  •  - Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
    The Complexity of Conjunctive Query Abduction in DL-Lite.
    Description Logics 2011.
  •  - 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.
  •  - Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis:
    Verification of Conjunctive-Query Based Semantic Artifacts.
    Description Logics 2011.
  •  - Mariano Rodriguez-Muro, Diego Calvanese:
    Dependencies to Optimize Ontology Based Data Access.
    Description Logics 2011.
  •  - Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
    Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models.
    FroCoS 2011: 1-11.
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
    Simplifying schema mappings.
    ICDT 2011: 114-125.
  •  - Diego Calvanese, Domenico Carbotta, Magdalena Ortiz:
    A Practical Automata-Based Technique for Reasoning in Expressive Description Logics.
    IJCAI 2011: 798-804.
  •  - Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
    Containment of Regular Path Queries under Description Logic Constraints.
    IJCAI 2011: 805-812.
  •  - Balder ten Cate, Enrico Franconi, Inanç Seylan:
    Beth Definability in Expressive Description Logics.
    IJCAI 2011: 1099-1106.
  •  - Enrico Franconi, David Toman:
    Fixpoints in Temporal Description Logics.
    IJCAI 2011: 875-880.
  •  - Evgeny Kharlamov, Werner Nutt, Pierre Senellart:
    Value joins are expensive over (probabilistic) XML.
    LID 2011: 41-48.
  •  - Simon Razniewski, Werner Nutt:
    Checking query completeness over incomplete data.
    LID 2011: 32.
  •  - Ali Fawzi Najm Al-Shammari, Komminist Weldemariam, Adolfo Villafiorita, Sergio Tessaris:
    Vote verification through open standard: A roadmap.
    REVOTE 2011: 22-26.
  •  - Martín Rezk, Werner Nutt:
    Combining Production Systems and Ontologies.
    RR 2011: 287-293.
  •  - Stefano Bragaglia, Carlos Viegas Damásio, Marco Montali, Alun D. Preece, Charles J. Petrie, Mark Proctor, Umberto Straccia:
    Proceedings of the 5th International RuleML2011@BRF Challenge, co-located with the 5th International Rule Symposium, Fort Lauderdale, Florida, USA, November 3-5, 2011.
    CEUR Workshop Proceedings 799, CEUR-WS.org 2011.
  •  - Stefano Bragaglia, Federico Chesani, Emory Fry, Paola Mello, Marco Montali, Davide Sottara:
    Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems.
    RuleML America 2011: 267-281.
  •  - Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst:
    Runtime Verification of LTL-Based Declarative Process Models.
    RV 2011: 131-146.
  •  - Enrico Franconi, Paolo Guagliardo:
    A Constructive Framework for View Updating (Extended Abstract).
    SEBD 2011: 147-154.
  •  - Marco Montali, Paolo Torroni, Nicola Zannone, Paola Mello, Volha Bryl:
    Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos.
    Autonomous Agents and Multi-Agent Systems 23(2): 193-223 (2011).
  •  - Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
    Monitoring Time-Aware Commitments within Agent-Based Simulation Environments.
    Cybernetics and Systems 42(7): 546-566 (2011).
  •  - Alessandro Artale, Enrico Franconi:
    A Temporal Description Logic for Reasoning about Actions and Plans.
    CoRR abs/1105.5446 (2011).
  •  - Diego Calvanese, Maurizio Lenzerini, Daniele Nardi:
    Unifying Class-Based Representation Formalisms.
    CoRR abs/1105.5452 (2011).
  •  - Enrico Franconi, Yazmin Angélica Ibáñez-García, Inanç Seylan:
    Query Answering with DBoxes is Hard.
    Electr. Notes Theor. Comput. Sci. 278: 71-84 (2011).
  •  - Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
    Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions.
    Intelligenza Artificiale 5(1): 101-105 (2011).
  •  - Marco Alberti , Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
    A Computational Logic Application Framework for Service Discovery and Contracting.
    Int. J. Web Service Res. 8(3): 1-25 (2011).
  •  - Simon Razniewski, Werner Nutt:
    Completeness of Queries over Incomplete Databases.
    PVLDB 4(11): 749-760 (2011).
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
    The MASTRO system for ontology-based data access.
    Semantic Web 2(1): 43-53 (2011).
  •  - Serge Abiteboul, T.-H. Hubert Chan, Evgeny Kharlamov, Werner Nutt, Pierre Senellart:
    Capturing continuous data and answering aggregate queries in probabilistic XML.
    ACM Trans. Database Syst. 36(4): 25:1-25:45 (2011).
2010
  •  - Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
    Past and Future of DL-Lite.
    AAAI 2010.
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
    Node Selection Query Languages for Trees.
    AAAI 2010.
  •  - Elena Botoeva, Diego Calvanese, Mariano Rodriguez-Muro:
    Expressive Approximations in DL-Lite Ontologies.
    AIMSA 2010: 21-31.
  •  - Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dmitriy Zheleznyakov:
    Updating ABoxes in DL-Lite.
    AMW 2010.
  •  - Alessandro Artale, Diego Calvanese, Yazmin Angélica Ibáñez-García:
    Checking Full Satisfiability of Conceptual Models.
    Description Logics 2010.
  •  - Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
    Temporal Conceptual Modelling with DL-Lite.
    Description Logics 2010.
  •  - Elena Botoeva, Alessandro Artale, Diego Calvanese:
    Query Rewriting in DL-Lite_^(HN)_horn.
    Description Logics 2010.
  •  - Lina Lubyte, Sergio Tessaris:
    Supporting the Development of Data Wrapping Ontologies (Extended Abstract).
    Description Logics 2010.
  •  - Inanç Seylan, Enrico Franconi, Jos de Bruijn:
    Optimal Rewritings in Definitorially Complete Description Logics.
    Description Logics 2010.
  •  - Dmitriy Zheleznyakov, Diego Calvanese, Evgeny Kharlamov, Werner Nutt:
    Updating TBoxes in DL-Lite.
    Description Logics 2010.
  •  - Evgeny Kharlamov, Werner Nutt, Pierre Senellart:
    Updating probabilistic XML.
    EDBT/ICDT Workshops 2010.
  •  - Alessandro Artale, Diego Calvanese, Yazmin Angélica Ibáñez-García:
    Full Satisfiability of UML Class Diagrams.
    ER 2010: 317-331.
  •  - Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
    Complexity of Reasoning over Temporal Data Models.
    ER 2010: 174-187.
  •  - Serge Abiteboul, T.-H. Hubert Chan, Evgeny Kharlamov, Werner Nutt, Pierre Senellart:
    Aggregate queries for discrete and continuous probabilistic XML.
    ICDT 2010: 50-61.
  •  - Alessandro Artale, Bruno Crispo, Fausto Giunchiglia, Fatih Turkmen, Rui Zhang:
    Reasoning about Relation Based Access Control.
    NSS 2010: 231-238.
  •  - C. Maria Keet, Alessandro Artale:
    A Basic Characterization of Relation Migration.
    OTM Workshops 2010: 484-493.
  •  - Diego Calvanese, C. Maria Keet, Werner Nutt, Mariano Rodriguez-Muro, Giorgio Stefanoni:
    Web-based graphical querying of databases through an ontology: the Wonder system.
    SAC 2010: 1388-1395.
  •  - Alexander Borgida, Jos de Bruijn, Enrico Franconi, Inanç Seylan, Umberto Straccia, David Toman, Grant E. Weddell:
    On Finding Query Rewritings under Expressive Constraints.
    SEBD 2010: 426-437.
  •  - Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dmitriy Zheleznyakov:
    Evolution of DL-Lite Knowledge Bases.
    International Semantic Web Conference (1) 2010: 112-128.
  •  - Bilyana Taneva, Mouna Kacimi, Gerhard Weikum:
    Gathering and ranking photos of named entities with high precision, high recall, and diversity.
    WSDM 2010: 431-440.
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
    View Synthesis from Schema Mappings.
    CoRR abs/1003.1179 (2010).
2009
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi:
    Using OWL in Data Integration.
    Semantic Web Information Management 2009: 397-424.
  •  - Camilo Thorne, Diego Calvanese:
    The Data Complexity of the Syllogistic Fragments of English.
    Amsterdam Colloquium on Logic, Language and Meaning 2009: 114-123.
  •  - Lina Lubyte, Sergio Tessaris:
    Supporting the Development of Data Wrapping Ontologies.
    ASWC 2009: 31-45.
  •  - Alessandro Artale, Enrico Franconi:
    Foundations of Temporal Conceptual Data Models.
    Conceptual Modeling: Foundations and Applications 2009: 10-35.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
    Conceptual Modeling for Data Integration.
    Conceptual Modeling: Foundations and Applications 2009: 173-197.
  •  - Camilo Thorne, Diego Calvanese:
    Controlled English Ontology-Based Data Access.
    CNL 2009: 135-154.
  •  - Camilo Thorne, Diego Calvanese:
    Exploring Controlled English Ontology-Based Data Access.
    CNL (Pre-Proceedings) 2009.
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
    An Automata-Theoretic Approach to Regular XPath.
    DBPL 2009: 18-35.
  •  - Lina Lubyte, Sergio Tessaris:
    Automatic Extraction of Ontologies Wrapping Relational Data Sources.
    DEXA 2009: 128-142.
  •  - Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
    Adding Weight to DL-Lite.
    Description Logics 2009.
  •  - Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
    DL-Lite without UNA.
    Description Logics 2009.
  •  - Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
    Extending DL-Lite Sometime in the Future.
    Description Logics 2009.
  •  - Inanç Seylan, Enrico Franconi, Jos de Bruijn:
    Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract).
    Description Logics 2009.
  •  - Rui Zhang, Alessandro Artale, Fausto Giunchiglia, Bruno Crispo:
    Using Description Logics in Relation Based Access Control.
    Description Logics 2009.
  •  - Oscar Romero , Diego Calvanese, Alberto Abelló, Mariano Rodriguez-Muro:
    Discovering functional dependencies for multidimensional design.
    DOLAP 2009: 1-8.
  •  - Camilo Thorne, Diego Calvanese:
    Controlled Aggregate Tree Shaped Questions over Ontologies.
    FQAS 2009: 394-405.
  •  - Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
    DL-Lite with Temporalised Concepts, Rigid Axioms and Roles.
    FroCoS 2009: 133-148.
  •  - Diego Calvanese, Giuseppe De Giacomo, Richard Hull , Jianwen Su:
    Artifact-Centric Workflow Dominance.
    ICSOC/ServiceWave 2009: 130-143.
  •  - Diego Calvanese, Thomas Eiter, Magdalena Ortiz:
    Regular Path Queries in Expressive Description Logics with Nominals.
    IJCAI 2009: 714-720.
  •  - Inanç Seylan, Enrico Franconi, Jos de Bruijn:
    Effective Query Rewriting with Ontologies over DBoxes.
    IJCAI 2009: 923-925.
  •  - Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutiérrez , Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt:
    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.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati:
    Ontologies and Databases: The DL-Lite Approach.
    Reasoning Web 2009: 255-356.
  •  - Mouna Kacimi, Stefano Ortolani, Bruno Crispo:
    Anonymous opinion exchange over untrusted social networks.
    SNS 2009: 26-32.
  •  - Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
    The DL-Lite Family and Relations.
    J. Artif. Intell. Res. 36: 1-69 (2009).
  •  - Andrea Calì, Diego Calvanese, Davide Martinenghi:
    Dynamic Query Optimization under Access Limitations and Dependencies.
    J. UCS 15(1): 33-62 (2009).
  •  - Mouna Kacimi, Thomas Neumann :
    System R (R*) Optimizer.
    Encyclopedia of Database Systems 2009: 2900-2905.
2008
  •  - Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Camilo Thorne:
    Aggregate queries over ontologies.
    ONISW 2008: 97-104.
  •  - Alessandro Artale, C. Maria Keet:
    Essential and Mandatory Part-Whole Relations in Conceptual Data Models.
    Description Logics 2008.
  •  - Alessandro Artale, David Toman:
    Decidable Reasoning over Timestamped Conceptual Models.
    Description Logics 2008.
  •  - Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro:
    Explanation in DL-Lite.
    Description Logics 2008.
  •  - Chiara Ghidini, Luciano Serafini, Sergio Tessaris:
    Bridging Heterogeneous Representations of Binary Relations: First Results.
    Description Logics 2008.
  •  - Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
    Checking DL-Lite Modularity with QBF Solvers.
    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.
  •  - Daniele Braga, Diego Calvanese, Alessandro Campi, Stefano Ceri, Florian Daniel, Davide Martinenghi, Paolo Merialdo, Riccardo Torlone:
    NGS: a framework for multi-domain query answering.
    ICDE Workshops 2008: 254-261.
  •  - Mariano Rodriguez-Muro, Lina Lubyte, Diego Calvanese:
    Realizing Ontology Based Data Access: A plug-in for protégé.
    ICDE Workshops 2008: 286-289.
  •  - Alessandro Artale, Nicola Guarino, C. Maria Keet:
    Formalising Temporal Constraints on Part-Whole Relations.
    KR 2008: 673-683.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
    Path-Based Identification Constraints in Description Logics.
    KR 2008: 231-241.
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
    View-Based Query Answering over Description Logic Ontologies.
    KR 2008: 242-251.
  •  - Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro:
    Explanation in the DL-LiteFamily of Description Logics.
    OTM Conferences (2) 2008: 1440-1457.
  •  - Thorsten Liebig, Marko Luther, Olaf Noppens, Mariano Rodriguez, Diego Calvanese, Michael Wessel, Matthew Horridge, Sean Bechhofer, Dmitry Tsarkov, Evren Sirin:
    OWLlink: DIG for OWL 2.
    OWLED 2008.
  •  - Mariano Rodriguez, Diego Calvanese:
    Towards an Open Framework for Ontology Based Data Access with Protégé and DIG 1.1.
    OWLED 2008.
  •  - Diego Calvanese, Georg Lausen:
    Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings.
    Lecture Notes in Computer Science 5341, Springer 2008.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi:
    Data Integration throughDL-LiteA Ontologies.
    SDKB 2008: 26-47.
  •  - Alessandro Artale, David Toman:
    Decidable Reasoning over Timestamped Conceptual Models.
    SEBD 2008: 168-178.
  •  - Daniele Braga, Diego Calvanese, Alessandro Campi, Stefano Ceri, Florian Daniel, Davide Martinenghi, Paolo Merialdo, Riccardo Torlone:
    A New Generation Search Engine Supporting Cross Domain Queries.
    SEBD 2008: 342-349.
  •  - C. Maria Keet, Alessandro Artale:
    Representing and reasoning over a taxonomy of part-whole relations.
    Applied Ontology 3(1-2): 91-110 (2008).
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Fabio Patrizi:
    Automatic Service Composition and Synthesis: the Roman Model.
    IEEE Data Eng. Bull. 31(3): 18-22 (2008).
  •  - Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko:
    The complexity and approximation of fixing numerical attributes in databases under integrity constraints.
    Inf. Syst. 33(4-5): 407-434 (2008).
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
    Inconsistency tolerance in P2P data integration: An epistemic logic approach.
    Inf. Syst. 33(4-5): 360-384 (2008).
  •  - Magdalena Ortiz, Diego Calvanese, Thomas Eiter:
    Data Complexity of Query Answering in Expressive Description Logics via Tableaux.
    J. Autom. Reasoning 41(1): 61-98 (2008).
  •  - Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
    Linking Data to Ontologies.
    J. Data Semantics 10: 133-173 (2008).
  •  - Enrico Franconi:
    Ontologies and databases: myths and challenges.
    PVLDB 1(2): 1518-1519 (2008).
  •  - Evgeny Kharlamov, Werner Nutt:
    Incompleteness in information integration.
    PVLDB 1(2): 1652-1658 (2008).
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
    Conjunctive query containment and answering under description logic constraints.
    ACM Trans. Comput. Log. 9(3): 22:1-22:31 (2008).
2007
  •  - Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
    DL-Lite in the Light of First-Order Logic.
    AAAI 2007: 361-366.
  •  - Diego Calvanese, Thomas Eiter, Magdalena Ortiz:
    Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach.
    AAAI 2007: 391-396.
  •  - Lisha Ma, Werner Nutt, Hamish Taylor:
    Condensative Stream Query Language for Data Streams.
    ADC 2007: 113-122.
  •  - Raffaella Bernardi, Francesca Bonin, Diego Calvanese, Domenico Carbotta, Camilo Thorne:
    English Querying over Ontologies: E-QuOnto.
    AI*IA 2007: 170-181.
  •  - Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini:
    Finite Model Reasoning on UML Class Diagrams Via Constraint Programming.
    AI*IA 2007: 36-47.
  •  - Chiara Ghidini, Luciano Serafini, Sergio Tessaris:
    On Relating Heterogeneous Elements from Different Ontologies.
    CONTEXT 2007: 234-247.
  •  - Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris:
    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.
  •  - Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
    Complexity of Reasoning in Entity Relationship Models.
    Description Logics 2007.
  •  - Raffaella Bernardi, Diego Calvanese, Camilo Thorne:
    Expressing DL-Lite Ontologies with Controlled English.
    Description Logics 2007.
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Domenico Lembo, Antonella Poggi, Riccardo Rosati:
    MASTRO-I: Efficient Integration of Relational Data through DL Ontologies.
    Description Logics 2007.
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
    Actions and Programs over Description Logic Ontologies.
    Description Logics 2007.
  •  - Diego Calvanese, Evgeny Kharlamov, Werner Nutt:
    A Proof Theory for DL-Lite.
    Description Logics 2007.
  •  - 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.
  •  - Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
    Reasoning over Extended ER Models.
    ER 2007: 277-292.
  •  - Enrico Franconi:
    Conceptual Schemas and Ontologies for Database Access: Myths and Challenges.
    ER 2007: 22.
  •  - Enrico Franconi, Michael Kifer, Wolfgang May:
    The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings.
    Lecture Notes in Computer Science 4519, Springer 2007.
  •  - Andrea Calì, Diego Calvanese, Davide Martinenghi:
    Optimization of Query Plans in the presence of Access Limitations.
    EROW 2007.
  •  - Carles Farré, Werner Nutt, Ernest Teniente, Toni Urpí:
    Containment of Conjunctive Queries over Databases with Null Values.
    ICDT 2007: 389-403.
  •  - Alessandro Artale, Carsten Lutz, David Toman:
    A Description Logic of Change.
    IJCAI 2007: 218-223.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
    EQL-Lite: Effective First-Order Query Processing in Description Logics.
    IJCAI 2007: 274-279.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
    Can OWL Model Football Leagues?.
    OWLED 2007.
  •  - Diego Calvanese, Mariano Rodriguez-Muro:
    An Extension of DIG 2.0 for Handling Bulk Data.
    OWLED 2007.
  •  - Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
    Query Answering in Expressive Variants of DL-Lite.
    SEBD 2007: 250-257.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
    Ontology-based Database Access.
    SEBD 2007: 324-331.
  •  - Ivan Zorzi, Sergio Tessaris, Paolo Dongilli:
    Improving Responsiveness of Ontology-Based Query Formulation.
    SWAP 2007.
  •  - Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
    Temporalising Tractable Description Logics.
    TIME 2007: 11-22.
  •  - Alessandro Artale, Christine Parent, Stefano Spaccapietra:
    Evolving objects in temporal information systems.
    Ann. Math. Artif. Intell. 50(1-2): 5-38 (2007).
  •  - Alasdair J. G. Gray, Werner Nutt, M. Howard Williams:
    Answering queries over incomplete data stream histories.
    IJWIS 3(1/2): 41-60 (2007).
  •  - Sara Cohen, Werner Nutt, Yehoshua Sagiv:
    Deciding equivalences among conjunctive aggregate queries.
    J. ACM 54(2): 5 (2007).
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
    Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family.
    J. Autom. Reasoning 39(3): 385-429 (2007).
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
    View-based query processing: On the relationship between rewriting, answering and losslessness.
    Theor. Comput. Sci. 371(3): 169-182 (2007).
2006
  •  - Magdalena Ortiz, Diego Calvanese, Thomas Eiter:
    Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics.
    AAAI 2006: 275-280.
  •  - Alasdair J. G. Gray, Werner Nutt, M. Howard Williams:
    Sources of Incompleteness in Grid Publishing.
    BNCOD 2006: 94-101.
  •  - Andrea Calì, Diego Calvanese:
    Optimising Query Answering in the Presence of Access Limitations (Position Paper).
    DEXA Workshops 2006: 547-552.
  •  - Alessandro Artale, Carsten Lutz, David Toman:
    A Description Logic of Change.
    Description Logics 2006.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
    Epistemic First-order Queries over Description Logic Knowledge Bases.
    Description Logics 2006.
  •  - Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris:
    The new ICOM Ontology Editor.
    Description Logics 2006.
  •  - Magdalena Ortiz, Diego Calvanese, Thomas Eiter:
    Data Complexity of Answering Unions of Conjunctive Queries in SHIQ.
    Description Logics 2006.
  •  - Paolo Dongilli, Enrico Franconi:
    An Intelligent Query Interface with Natural Language Support.
    FLAIRS Conference 2006: 658-663.
  •  - Alessandro Artale, Christine Parent, Stefano Spaccapietra:
    Modeling the Evolution of Objects in Temporal Information Systems.
    FoIKS 2006: 22-42.
  •  - Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese:
    ComposingWeb Services with Nondeterministic Behavior.
    ICWS 2006: 909-912.
  •  - Alasdair J. G. Gray, M. Howard Williams, Werner Nutt:
    Answering Arbitrary Conjunctive Queries over Incomplete Data Stream Histories.
    iiWAS 2006: 259-268.
  •  - Paolo Dongilli, Sergio Tessaris, John A. Bateman:
    Leveraging Systemic-Functional Linguistics to Enhance Intelligent Database Querying.
    ISDA (1) 2006: 1073-1079.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
    Data Complexity of Query Answering in Description Logics.
    KR 2006: 260-270.
  •  - Raffaella Bernardi, Diego Calvanese, Luca Dini, Vittorio Di Tomaso, Elisabeth Frasnelli, Ulrike Kugler, Barbara Plank:
    Multilingual Search in Libraries. The case-study of the Free University of Bozen-Bolzano.
    LREC 2006: 2287-2290.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
    Linking Data to Ontologies: The Description Logic DL-Lite_A.
    OWLED 2006.
  •  - 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.
  •  - Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens:
    Rules and Rule Markup Languages for the Semantic Web, Second International Conference, RuleML 2006, Athens, Georgia, USA, November 10-11, 2006, Proceedings.
    IEEE Computer Society 2006.
  •  - Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler:
    Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures.
    Lecture Notes in Computer Science 4126, Springer 2006.
  •  - Andrea Calì, Diego Calvanese:
    Containment of Conjunctive Queries under Access Limitations.
    SEBD 2006: 131-138.
  •  - Alessandro Artale:
    Reasoning on temporal class diagrams: Undecidability results.
    Ann. Math. Artif. Intell. 46(3): 265-288 (2006).
  •  - Diego Calvanese, Nicola Guarino:
    Ontologies and Description Logics.
    Intelligenza Artificiale 3(1-2): 21-27 (2006).
  •  - Diego Calvanese, Luigi Dragone, Daniele Nardi, Riccardo Rosati, Stefano Trisolini:
    Enterprise modeling and Data Warehousing in Telecom Italia.
    Inf. Syst. 31(1): 1-32 (2006).
  •  - Sara Cohen, Werner Nutt, Yehoshua Sagiv:
    Rewriting queries with arbitrary aggregation functions using views.
    ACM Trans. Database Syst. 31(2): 672-715 (2006).
2005
  •  - Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati:
    QuOnto: Querying Ontologies.
    AAAI 2005: 1670-1671.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
    DL-Lite: Tractable Description Logics for Ontologies.
    AAAI 2005: 602-607.
  •  - Alasdair J. G. Gray, Werner Nutt:
    Republishers in a Publish/Subscribe Architecture for Data Streams.
    BNCOD 2005: 179-184.
  •  - Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull , Maurizio Lenzerini, Massimo Mecella:
    Modeling Data & Processes for Service Specifications in Colombo.
    EMOI-INTEROP 2005.
  •  - Enrico Franconi, Andrei Lopatenko:
    The coDBz Information Integration System for Autonomous Data Sources.
    EMOI-INTEROP 2005.
  •  - Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko:
    Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints.
    DBPL 2005: 262-278.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
    Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach.
    DBPL 2005: 90-105.
  •  - Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko:
    Fixing Inconsistent Databases by Updating Numerical Attributes.
    DEXA Workshops 2005: 854-858.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
    Data Complexity of Query Answering in Description Logics.
    Description Logics 2005.
  •  - Sergio Tessaris, Enrico Franconi:
    Rules and Queries with Ontologies: a Unifying Logical Framework.
    Description Logics 2005.
  •  - Rob Byrom, Brian A. Coghlan, Andrew W. Cooke, Roney Cordenonsi, Linda Cornwall, Martin Craig, Abdeslem Djaoui, Alastair Duncan, Steve Fisher, Alasdair J. G. Gray, Steve Hicks, Stuart Kenny, Jason Leake, Oliver Lyttleton, James Magowan, Robin Middleton, Werner Nutt, David O'Callaghan, Norbert Podhorszki, Paul Taylor, John Walk, Antony J. Wilson:
    Fault Tolerance in the R-GMA Information and Monitoring System.
    EGC 2005: 751-760.
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
    View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness.
    ICDT 2005: 321-336.
  •  - Lisha Ma, Werner Nutt:
    Frequency Operators for Condensative Queries over Data Streams.
    ICEBE 2005: 518-526.
  •  - Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella:
    Composition of Services with Nondeterministic Observable Behavior.
    ICSOC 2005: 520-526.
  •  - Alasdair J. G. Gray, Werner Nutt:
    A Data Stream Publish/Subscribe Architecture with Self-adapting Queries.
    OTM Conferences (1) 2005: 420-438.
  •  - 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.
  •  - Grigoris Antoniou, Enrico Franconi, Frank van Harmelen:
    Introduction to Semantic Web Ontology Languages.
    Reasoning Web 2005: 1-21.
  •  - Andrea Calì, Diego Calvanese, Enrico Franconi, Maurizio Lenzerini, Letizia Tanca:
    Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, SEBD 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy, June 19-22, 2005.
    2005.
  •  - Alessandro Artale, Christine Parent, Stefano Spaccapietra:
    Modeling the Evolution of Objects in Temporal Information Systems.
    SEBD 2005: 380-391.
  •  - Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull , Massimo Mecella:
    Automatic Composition of Web Services in Colombo.
    SEBD 2005: 8-15.
  •  - Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko:
    Data Cleansing for Numerical Data Sets.
    SEBD 2005: 292-299.
  •  - Paolo Dongilli, Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris:
    A Multi-Agent System for Querying Heterogeneous Data Sources with Ontologies.
    SEBD 2005: 75-86.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
    Efficiently Managing Data Intensive Ontologies.
    SWAP 2005.
  •  - Diego Calvanese:
    Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach.
    TABLEAUX 2005: 1.
  •  - Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull , Massimo Mecella:
    Automatic Composition of Transition-based Semantic Web Services with Messaging.
    VLDB 2005: 613-624.
  •  - Enrico Franconi, Sergio Tessaris:
    A Unified Logical Framework for Rules (and Queries) with Ontologies.
    Rule Languages for Interoperability 2005.
  •  - Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo:
    Reasoning on UML class diagrams.
    Artif. Intell. 168(1-2): 70-118 (2005).
  •  - Diego Calvanese, Giuseppe De Giacomo:
    Data Integration: A Logic-Based Perspective.
    AI Magazine 26(1): 59-70 (2005).
  •  - Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko:
    Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints.
    CoRR abs/cs/0503032 (2005).
  •  - Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi:
    Data complexity of answering conjunctive queries over SHIQ knowledge bases.
    CoRR abs/cs/0507059 (2005).
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
    Conjunctive Query Containment and Answering under Description Logics Constraints.
    CoRR abs/cs/0507067 (2005).
  •  - Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
    Automatic Service Composition Based on Behavioral Descriptions.
    Int. J. Cooperative Inf. Syst. 14(4): 333-376 (2005).
  •  - Andrew W. Cooke, Alasdair J. G. Gray, Werner Nutt:
    Stream Integration Techniques for Grid Monitoring.
    J. Data Semantics 2: 136-175 (2005).
  •  - Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
    Decidable containment of recursive queries.
    Theor. Comput. Sci. 336(1): 33-56 (2005).
  •  - Sara Cohen, Yehoshua Sagiv, Werner Nutt:
    Equivalences among aggregate queries with negation.
    ACM Trans. Comput. Log. 6(2): 328-360 (2005).
  •  - Alessandro Artale, Enrico Franconi:
    Temporal Description Logics.
    Handbook of Temporal Reasoning in Artificial Intelligence 2005: 375-388.
2004
  •  - Enrico Franconi:
    Description Logics for Interoperability.
    CAiSE Workshops (3) 2004: 307-310.
  •  - Enrico Franconi, Anand Kamble:
    The GMD Data Model and Algebra for Multidimensional Information.
    CAiSE 2004: 446-462.
  •  - Jürgen Dix, Thomas Eiter, Enrico Franconi:
    Logic Based Information Agents, 18.04. - 23.04.2004.
    Dagstuhl Seminar Proceedings 04171, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004.
  •  - Jürgen Dix, Thomas Eiter, Enrico Franconi:
    04171 Abstracts Collection - Logic Based Information Agents.
    Logic Based Information Agents 2004.
  •  - Alessandro Artale:
    Reasoning on Temporal Conceptual Schemas with Dynamic Constraints.
    Description Logics 2004.
  •  - Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo:
    Towards Implementing Finite Model Reasoning in Description Logics.
    Description Logics 2004.
  •  - Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini:
    A Description Logic Based Approach for Matching User Profiles.
    Description Logics 2004.
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere:
    DL-Lite: Practical Reasoning for Rich Dls.
    Description Logics 2004.
  •  - 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, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu:
    A Distributed Algorithm for Robust Data Sharing and Updates in P2P Database Networks.
    EDBT Workshops 2004: 446-455.
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere:
    Hyper: A Framework for Peer-to-Peer Data Integration on Grids.
    ICSNW 2004: 144-157.
  •  - Daniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese:
    Synthesis of underspecified composite e-services based on automated reasoning.
    ICSOC 2004: 105-114.
  •  - Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini:
    A Logic-Based Approach for Matching User Profiles.
    KES 2004: 187-195.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
    What to Ask to a Peer: Ontolgoy-based Query Reformulation.
    KR 2004: 469-478.
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
    Logical Foundations of Peer-To-Peer Data Integration.
    PODS 2004: 241-251.
  •  - Enrico Franconi, Sergio Tessaris:
    Rules and Queries with Ontologies: A Unified Logical Framework.
    PPSWR 2004: 50-60.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
    Query Reformulation over Ontology-based Peers.
    SEBD 2004: 418-425.
  •  - Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu:
    The coDB Robust Peer-to-Peer Database System.
    SEBD 2004: 382-393.
  •  - Enrico Franconi, Anand Kamble:
    A Data Warehouse Conceptual Data Model.
    SSDBM 2004: 435-436.
  •  - Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
    : A Tool for Automatic Composition ofServices Based on Logics of Programs.
    TES 2004: 80-94.
  •  - Alessandro Artale:
    Reasoning on Temporal Conceptual Schemas with Dynamic Constraints.
    TIME 2004: 79-86.
  •  - Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu:
    Queries and Updates in the coDB Peer to Peer Database System.
    VLDB 2004: 1277-1280.
  •  - Christopher Brewster, Kieron O'Hara, Steve Fuller, Yorick Wilks, Enrico Franconi, Mark A. Musen, Jeremy Ellman, Simon Buckingham Shum:
    Knowledge Representation with Ontologies: The Present and Future.
    IEEE Intelligent Systems 19(1): 72-81 (2004).
  •  - Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
    Data integration under integrity constraints.
    Inf. Syst. 29(2): 147-163 (2004).
  •  - Alessandro Artale, Carsten Lutz:
    A Correspondence between Temporal Description Logics.
    Journal of Applied Non-Classical Logics 14(1-2): 209-233 (2004).
  •  - Alessandro Artale, Clare Dixon, Michael Fisher , Enrico Franconi:
    Editorial.
    J. Log. Comput. 14(1): 1 (2004).
2003
  •  - Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola:
    IBIS: Semantic Data Integration at Work.
    CAiSE 2003: 79-94.
  •  - Diego Calvanese:
    Data Integration in Data Warehousing (Keynote Address).
    CAiSE Workshops 2003.
  •  - Alessandro Artale, Enrico Franconi, Federica Mandreoli:
    Description Logics for Modeling Dynamic Information.
    Logics for Emerging Applications of Databases 2003: 239-275.
  •  - Enrico Franconi, Anand Kamble:
    The GMD Data Model for Multidimensional Information: A Brief Introduction.
    DaWaK 2003: 55-65.
  •  - Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
    Semantic Data Integration in P2P Systems.
    DBISP2P 2003: 77-90.
  •  - Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini:
    A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems.
    DBISP2P 2003: 64-76.
  •  - Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi:
    Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003.
    CEUR Workshop Proceedings 81, CEUR-WS.org 2003.
  •  - Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider:
    The Description Logic Handbook: Theory, Implementation, and Applications.
    Cambridge University Press 2003.
  •  - Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo:
    Reasoning on UML Class Diagrams is EXPTIME-hard.
    Description Logics 2003.
  •  - Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
    e-Service Composition by Description Logics Based Reasoning.
    Description Logics 2003.
  •  - Diego Calvanese, Giuseppe De Giacomo:
    Expressive Description Logics.
    Description Logic Handbook 2003: 178-218.
  •  - Enrico Franconi:
    Natural Language Processing.
    Description Logic Handbook 2003: 450-461.
  •  - Enrico Franconi, David Toman:
    Fixpoint Extensions of Temporal Description Logics.
    Description Logics 2003.
  •  - Ulrike Sattler, Diego Calvanese, Ralf Molitor:
    Relationships with other Formalisms.
    Description Logic Handbook 2003: 137-177.
  •  - Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
    Decidable Containment of Recursive Queries.
    ICDT 2003: 327-342.
  •  - Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
    Automatic Composition of E-services That Export Their Behavior.
    ICSOC 2003: 43-58.
  •  - Diego Calvanese:
    View-based Query Processing for Semistructured Data.
    KRDB 2003.
  •  - Diego Calvanese, Riccardo Rosati:
    Anwering Recursive Queries under Keys and Foreign Keys is Undecidable.
    KRDB 2003.
  •  - 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.
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
    View-based query containment.
    PODS 2003: 56-67.
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
    Query Containment Using Views.
    SEBD 2003: 467-474.
  •  - Enrico Franconi, Anand Kamble:
    The GMD Data Model for Multidimensional Information: a brief introduction.
    SEBD 2003: 109-118.
  •  - Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
    A Foundational Vision of e-Services.
    WES 2003: 28-40.
  •  - Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini:
    A Robust and Computational Characterisation of Peer-to-Peer Database Systems.
    CoRR cs.DC/0308013 (2003).
  •  - Martin Peim, Enrico Franconi, Norman W. Paton:
    Estimating the quality of answers when querying over description logic ontologies.
    Data Knowl. Eng. 47(1): 105-129 (2003).
  •  - Giovanni Lanfranchi, Pietro Della Peruta, Antonio Perrone, Diego Calvanese:
    Toward a new landscape of systems management in an autonomic computing environment.
    IBM Systems Journal 42(1): 119-128 (2003).
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
    Reasoning on regular path queries.
    SIGMOD Record 32(4): 83-92 (2003).
2002
  •  - Martin Peim, Enrico Franconi, Norman W. Paton:
    Estimating Soundness and Completeness over Queries Over Description Logics.
    Description Logics 2002.
  •  - Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble:
    Querying Objects with Description Logics.
    Description Logics 2002.
  •  - Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev:
    A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries.
    JELIA 2002: 98-110.
  •  - Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble:
    Querying Objects with Description Logics.
    KRDB 2002.
  •  - Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble:
    Query Processing with Description Logic Ontologies over Object-Wrapped Databases.
    SEBD 2002: 42-49.
  •  - Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble:
    Query Processing with Description Logic Ontologies Over Object-Wrapped Databases.
    SSDBM 2002: 27-36.
  •  - Brandon Bennett, Clare Dixon, Michael Fisher , Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke:
    Combinations of Modal Logics.
    Artif. Intell. Rev. 17(1): 1-20 (2002).

Courtesy of: