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.
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.
  •  - 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.
  •  - 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.
  •  - 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.
  •  - Marco Montali, Pierluigi Plebani:
    IoT-Based Compliance Checking of Multi-party Business Processes Modeled with Commitments.
    ESOCC 2017: 179-195.
  •  - 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.
  •  - 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.
  •  - 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.
  •  - 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.
  •  - Davide Lanti, Guohui Xiao (肖国辉), Diego Calvanese:
    Cost-Driven Ontology-Based Data Access.
    International Semantic Web Conference (1) 2017: 452-470.
  •  - 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.
  •  - 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).
  •  - 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).
  •  - 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, 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).
  •  - Ismail Ilkan Ceylan, Rafael Peñaloza:
    The Bayesian Ontology Language $$\mathcal {BEL}$$ BEL.
    J. Autom. Reasoning 58(1): 67-95 (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).
  •  - 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).
  •  - 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.
  •  - Tim Miller, Paolo Felli, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg:
    'Knowing Whether' in Proper Epistemic Knowledge Bases.
    AAAI 2016: 1044-1050.
  •  - 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.
  •  - Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev:
    Realisability of Production Recipes.
    ECAI 2016: 1449-1457.
  •  - 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.
  •  - Paolo Felli, Brian Logan, Sebastian Sardiña:
    Parallel Behavior Composition for Manufacturing.
    IJCAI 2016: 271-278.
  •  - Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev:
    Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic.
    IJCAI 2016: 1160-1166.
  •  - Christian J. Muise, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg:
    Planning for a Single Agent in a Multi-Agent Environment Using FOND.
    IJCAI 2016: 3206-3212.
  •  - 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.
  •  - 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).
  •  - Paolo Felli, Nitin Yadav, Sebastian Sardiña:
    Supervisory Control for Behavior Composition.
    CoRR abs/1604.08768 (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).
  •  - Liz Sonenberg, Tim Miller, Adrian R. Pearce, Paolo Felli, Christian J. Muise, Frank Dignum:
    Social planning for social HRI.
    CoRR abs/1602.06483 (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.
  •  - Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg:
    Planning Over Multi-Agent Epistemic States: A Classical Planning Approach.
    AAAI 2015: 3327-3334.
  •  - Claudio Masolo, Daniele Porello:
    A Cognitive View of Relevant Implication.
    AIC 2015: 40-53.
  •  - Emilio M. Sanfilippo, Claudio Masolo, Daniele Porello:
    Design Knowledge Representation: An Ontological Perspective.
    AIDE@AI*IA 2015: 41-54.
  •  - Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin:
    Implementing Data-Centric Dynamic Systems over a Relational DBMS.
    AMW 2015.
  •  - Christian J. Muise, Frank Dignum, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg:
    Towards Team Formation via Automated Planning.
    COIN@AAMAS/IJCAI 2015: 282-299.
  •  - Christian J. Muise, Tim Miller, Paolo Felli, Adrian R. Pearce, Liz Sonenberg:
    Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases.
    AAMAS 2015: 1461-1469.
  •  - 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.
  •  - Roberta Ferrario, Daniele Porello:
    Towards a Conceptualization of Sociomaterial Entanglement.
    CONTEXT 2015: 32-46.
  •  - Daniele Porello:
    Modelling Equivalent Definitions of Concepts.
    CONTEXT 2015: 506-512.
  •  - 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.
  •  - Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg:
    Computing Social Behaviours Using Agent Models.
    IJCAI 2015: 2978-2984.
  •  - 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.
  •  - Daniele Porello:
    Majoritarian Group Actions.
    PRIMA 2015: 416-432.
  •  - 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).
  •  - Daniele Porello, Nicolas Troquard:
    Non-normal modalities in variants of Linear Logic.
    CoRR abs/1503.04193 (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).
  •  - Daniele Porello, Nicolas Troquard:
    Non-normal modalities in variants of linear logic.
    Journal of Applied Non-Classical Logics 25(3): 229-255 (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.
  •  - Ismail Ilkan Ceylan, Rafael Peñaloza:
    Reasoning in the Description Logic BEL Using Bayesian Networks.
    AAAI Workshop: Statistical Relational Artificial Intelligence 2014.
  •  - Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali:
    Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness.
    AAAI 2014: 1027-1033.
  •  - Stathis Delivorias, Haralampos Hatzikirou, Rafael Peñaloza, Dirk Walther:
    Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics.
    ACRI 2014: 357-366.
  •  - Maria M. Hedblom, Oliver Kutz, Fabian Neuhaus:
    On the Cognitive and Logical Role of Image Schemas in Computational Conceptual Blending.
    AIC 2014: 110-121.
  •  - 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.
  •  - Daniele Porello, Nicolas Troquard:
    A resource-sensitive account of the use of artifacts.
    AAMAS 2014: 1549-1550.
  •  - 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.
  •  - Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan:
    Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, PRUV 2014, co-located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014.
    CEUR Workshop Proceedings 1205, CEUR-WS.org 2014.
  •  - Stefan Borgwardt, Marco Cerami, Rafael Peñaloza:
    Many-valued Horn Logic is Hard.
    PRUV 2014: 52-58.
  •  - Ismail Ilkan Ceylan, Rafael Peñaloza:
    The Bayesian Description Logic ${\mathcal{BEL}}$.
    IJCAR 2014: 480-494.
  •  - Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange , Michael Grüninger:
    Proof Support for Common Logic.
    ARQNL@IJCAR 2014: 42-58.
  •  - 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.
  •  - Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
    Gödel Description Logics with General Models.
    Description Logics 2014: 391-403.
  •  - Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza:
    Gödel FL_0 with Greatest Fixed-Point Semantics.
    Description Logics 2014: 71-82.
  •  - 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.
  •  - Ismail Ilkan Ceylan, Rafael Peñaloza:
    Bayesian Description Logics.
    Description Logics 2014: 447-458.
  •  - Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
    Mary, What's Like All Cats?
    Description Logics 2014: 526-529.
  •  - Michel Ludwig, Rafael Peñaloza:
    Brave and Cautious Reasoning in EL.
    Description Logics 2014: 274-286.
  •  - Yue Ma, Rafael Peñaloza:
    Towards Parallel Repair: An Ontology Decomposition-based Approach.
    Description Logics 2014: 633-645.
  •  - Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan:
    Certain Answers in a Rough World.
    Description Logics 2014: 709-712.
  •  - Chiara Del Vescovo, Rafael Peñaloza:
    DeaLing with Ontologies using CODs.
    Description Logics 2014: 157-168.
  •  - 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.
  •  - Daniele Porello, Nicolas Troquard:
    A resource-sensitive logic of agency.
    ECAI 2014: 723-728.
  •  - Youssef Meguebli, Mouna Kacimi, Bich-Liên Doan, Fabrice Popineau:
    Unsupervised Approach for Identifying Users' Political Orientations.
    ECIR 2014: 507-512.
  •  - Emanuele Bottazzi, Claudio Masolo, Daniele Porello:
    Old and New Riddles on Concept Sharing.
    ECSI 2014: 16-27.
  •  - Daniele Porello:
    Logics for Collective Reasoning.
    ECSI 2014: 148-159.
  •  - Fariz Darari, Radityo Eko Prasojo, Werner Nutt:
    CORNER: A Completeness Reasoner for SPARQL Queries Over RDF Data Sources.
    ESWC (Satellite Events) 2014: 310-314.
  •  - Pawel Garbacz, Oliver Kutz:
    Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, FOIS 2014, September, 22-25, 2014, Rio de Janeiro, Brazil
    Frontiers in Artificial Intelligence and Applications 267, IOS Press 2014.
  •  - Stefano Borgo, Daniele Porello, Nicolas Troquard:
    Logical Operators for Ontological Modeling.
    FOIS 2014: 23-36.
  •  - Daniele Porello, Emanuele Bottazzi, Roberta Ferrario:
    The Ontology of Group Agency.
    FOIS 2014: 183-196.
  •  - 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.
  •  - Oliver Kutz, Fabian Neuhaus, Till Mossakowski, Mihai Codescu:
    Blending in the Hub.
    ICCC 2014: 297-305.
  •  - Marco Schorlemmer, Alan Smaill, Kai-Uwe Kühnberger, Oliver Kutz, Simon Colton, Emilios Cambouropoulos, Alison Pease:
    COINVENT: Towards a Computational Concept Invention Theory.
    ICCC 2014: 288-296.
  •  - 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.
  •  - Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza:
    The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics.
    JELIA 2014: 62-76.
  •  - 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.
  •  - Ismail Ilkan Ceylan, Rafael Peñaloza:
    Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$.
    JELIA 2014: 77-91.
  •  - Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente:
    Logic Foundations of the OCL Modelling Language.
    JELIA 2014: 657-664.
  •  - Michel Ludwig, Rafael Peñaloza:
    Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$.
    JELIA 2014: 107-121.
  •  - Dorian Merz, Rafael Peñaloza, Anni-Yasmin Turhan:
    Reasoning in ALC with Fuzzy Concrete Domains.
    KI 2014: 171-182.
  •  - Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
    Nested Regular Path Queries in Description Logics.
    KR 2014.
  •  - Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
    Decidable Gödel Description Logics without the Finitely-Valued Model Property.
    KR 2014.
  •  - Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
    Query Inseparability for Description Logic Knowledge Bases.
    KR 2014.
  •  - Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
    Answering Instance Queries Relaxed by Concept Similarity.
    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.
  •  - Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan:
    Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics.
    RR 2014: 124-139.
  •  - 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.
    Semantic Web Conference (1) 2014: 441-456.
  •  - Stefan Borgwardt, Rafael Peñaloza:
    Finite Lattices Do Not Make Reasoning in ALCOI Harder.
    URSW (LNCS Vol.) 2014: 122-141.
  •  - Mihai Codescu, Till Mossakowski, Oliver Kutz:
    A categorical approach to ontology alignment.
    OM 2014: 1-12.
  •  - 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.
    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.
  •  - Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg:
    Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others.
    ICSR 2014: 146-155.
  •  - 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).
  •  - Leo Obrst, Michael Grüninger, Ken Baclawski, Mike Bennett, Dan Brickley, Gary Berg-Cross, Pascal Hitzler, Krzysztof Janowicz, Christine Kapp, Oliver Kutz, Christoph Lange , Anatoly Levenchuk, Francesca Quattri, Alan L. Rector, Todd Schneider, Simon Spero, Anne Thessen, Marcela Vegetti, Amanda Vizedom, Andrea Westerinen, Matthew West , Peter Yim:
    Semantic Web and Big Data meets Applied Ontology - The Ontology Summit 2014.
    Applied Ontology 9(2): 155-170 (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).
  •  - Ulle Endriss, Umberto Grandi, Daniele Porello:
    Complexity of Judgment Aggregation.
    CoRR abs/1401.5863 (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).
  •  - Cláudia Nalon, Oliver Kutz:
    Towards Resolution-based Reasoning for Connected Logics.
    Electr. Notes Theor. Comput. Sci. 305: 85-102 (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).
  •  - Stefan Borgwardt, Rafael Peñaloza:
    Consistency reasoning in lattice-based fuzzy Description Logics.
    Int. J. Approx. Reasoning 55(9): 1917-1938 (2014).
  •  - Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
    Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities.
    Int. J. Approx. Reasoning 55(9): 1939-1970 (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).
  •  - Daniele Porello, Ulle Endriss:
    Ontology merging as social choice: judgment aggregation under the open world assumption.
    J. Log. Comput. 24(6): 1229-1249 (2014).
  •  - Karsten Lehmann, Rafael Peñaloza:
    The complexity of computing the behaviour of lattice automata on infinite trees.
    Theor. Comput. Sci. 534: 53-68 (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.
  •  - Daniele Porello:
    Deliberating about voting dimensions.
    AAMAS 2013: 1265-1266.
  •  - Daniele Porello, Francesco Setti, Roberta Ferrario, Marco Cristani:
    Multiagent Socio-Technical Systems: An Ontological Approach.
    COIN@AAMAS/PRIMA 2013: 42-62.
  •  - 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.
  •  - Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao (肖国辉):
    Tractability Guarantees for DL-Lite Query Answering.
    Description Logics 2013: 41-52.
  •  - Stefan Borgwardt, Rafael Peñaloza:
    About Subsumption in Fuzzy EL.
    Description Logics 2013: 526-538.
  •  - 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.
  •  - Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
    Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals.
    Description Logics 2013: 670-688.
  •  - 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.
  •  - Rafael Peñaloza, Tingting Zou:
    Rough EL Classification.
    Description Logics 2013: 415-427.
  •  - 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.
  •  - Rafael Peñaloza, Tingting Zou:
    Roughening the Envelope.
    FroCos 2013: 71-86.
  •  - 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.
  •  - Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao (肖国辉):
    Tractable Queries for Lightweight Description Logics.
    IJCAI 2013: 768-774.
  •  - Stefan Borgwardt, Rafael Peñaloza:
    Positive Subsumption in Fuzzy EL with General t-Norms.
    IJCAI 2013: 789-795.
  •  - Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov:
    Verification of Inconsistency-Aware Knowledge and Action Bases.
    IJCAI 2013: 810-816.
  •  - Till Mossakowski, Christoph Lange , Oliver Kutz:
    Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract).
    IJCAI 2013: 3027-3031.
  •  - Daniele Porello:
    A Proof-Theoretical View of Collective Rationality.
    IJCAI 2013: 317-323.
  •  - Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardiña:
    Supremal Realizability of Behaviors with Uncontrollable Exogenous Events.
    IJCAI 2013: 1176-1182.
  •  - Camilo Thorne, Marco Montali, Diego Calvanese, Elena Cardillo, Claudio Eccher:
    Automated Activity Recognition in Clinical Documents.
    IJCNLP 2013: 1129-1133.
  •  - Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
    Computing Role-Depth Bounded Generalizations in the Description Logic.
    KI 2013: 49-60.
  •  - Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
    The Complexity of Clausal Fragments of LTL.
    LPAR 2013: 35-52.
  •  - Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao (肖国辉):
    The Fourth Answer Set Programming Competition: Preliminary Report.
    LPNMR 2013: 42-53.
  •  - Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao (肖国辉):
    VCWC: A Versioning Competition Workflow Compiler.
    LPNMR 2013: 233-238.
  •  - 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.
  •  - 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 Gutierrez, Alessandro Mosca, Giuseppe Pirrò, Riccardo Rosati:
    The Logic of Extensional RDFS.
    International Semantic Web Conference (1) 2013: 101-116.
  •  - Rafael Peñaloza, Anni-Yasmin Turhan:
    Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities.
    URSW (LNCS Vol.) 2013: 80-98.
  •  - Oliver Kutz, Mehul Bhatt, Stefano Borgo, Paulo E. Santos:
    Proceedings of the Second Interdisciplinary Workshop The Shape of Things, Rio de Janeiro, Brazil, April 3-4, 2013
    CEUR Workshop Proceedings 1007, CEUR-WS.org 2013.
  •  - Alessandro Russo , Massimo Mecella, Fabio Patrizi, Marco Montali:
    Implementing and Running Data-Centric Dynamic Systems.
    SOCA 2013: 225-232.
  •  - Francesco Setti, Daniele Porello, Roberta Ferrario, Sami Abduljalil Abdulhak, Marco Cristani:
    "Tell me more": how semantic technologies can help refining internet image search.
    VIGTA@ICVS 2013: 3:1-3:6.
  •  - Till Mossakowski, Oliver Kutz, Mihai Codescu, Christoph Lange :
    The Distributed Ontology, Modeling and Specification Language.
    WoMO 2013.
  •  - 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).
  •  - Xiaowang Zhang, Guohui Xiao (肖国辉), Zuoquan Lin:
    A Paraconsistent Tableau Algorithm Based on Sign Transformation in Semantic Web
    CoRR abs/1301.2146 (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).
  •  - Stefan Borgwardt, Rafael Peñaloza:
    The Complexity of Lattice-Based Fuzzy Description Logics.
    J. Data Semantics 2(1): 1-19 (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).
  •  - Mario Alviano, Rafael Peñaloza:
    Fuzzy answer sets approximations.
    TPLP 13(4-5): 753-767 (2013).
  •  - Werner Nutt, Sergey Paramonov , Ognjen Savkovic:
    An ASP Approach to Query Completeness Reasoning.
    TPLP 13(4-5-Online-Supplement) (2013).
2012
  •  - Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao (肖国辉):
    Query Rewriting for Horn-SHIQ Plus Rules.
    AAAI 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.
  •  - Oliver Kutz, Janna Hastings, Till Mossakowski:
    Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs.
    AIMSA 2012: 103-111.
  •  - Christoph Lange , Oliver Kutz, Till Mossakowski, Michael Grüninger:
    The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization.
    AISC/MKM/Calculemus 2012: 463-467.
  •  - 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.
  •  - Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
    How Fuzzy Is My Fuzzy Description Logic?
    IJCAR 2012: 82-96.
  •  - 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.
  •  - Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, Viviana Patti:
    A Generalized Commitment Machine for 2CL Protocols and its Prolog Implementation.
    CILC 2012: 2-16.
  •  - Volha Kerhet, Enrico Franconi:
    On Checking Domain Independence.
    CILC 2012: 246-250.
  •  - Guohui Xiao (肖国辉), Thomas Eiter, Stijn Heymans:
    The DReW System for Nonmonotonic DL-Programs.
    CSWS 2012: 383-390.
  •  - Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, Viviana Patti:
    A Generalized Commitment Machine for 2CL Protocols and Its Implementation.
    DALT 2012: 96-115.
  •  - 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.
  •  - Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
    Gödel Negation Makes Unwitnessed Consistency Crisp.
    Description Logics 2012.
  •  - Stefan Borgwardt, Rafael Peñaloza:
    Non-Gödel Negation Makes Unwitnessed Consistency Undecidable.
    Description Logics 2012.
  •  - Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao (肖国辉):
    Towards Practical Query Answering for Horn-SHIQ.
    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.
  •  - Weili Fu, Rafael Peñaloza:
    Adding Context to Tableaux for DLs.
    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.
  •  - Daniele Porello:
    The Consistency of Majority Rule.
    ECAI 2012: 921-922.
  •  - Ognjen Savkovic, Diego Calvanese:
    Introducing Datatypes in DL-Lite.
    ECAI 2012: 720-725.
  •  - Guohui Xiao (肖国辉), Yue Ma:
    Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets.
    ECAI 2012: 864-869.
  •  - Fabrizio Maria Maggi, Marco Montali, Wil M. P. van der Aalst:
    An Operational Decision Support Framework for Monitoring Business Constraints.
    FASE 2012: 146-162.
  •  - Tzu-Keng Fu, Oliver Kutz:
    The Analysis and Synthesis of Logic Translation.
    FLAIRS Conference 2012.
  •  - Thomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao (肖国辉):
    Uniform Evaluation of Nonmonotonic DL-Programs.
    FoIKS 2012: 1-22.
  •  - Till Mossakowski, Christoph Lange , Oliver Kutz:
    Three Semantics for the Core of the Distributed Ontology Language.
    FOIS 2012: 337-352.
  •  - Aleksandra Sojic, Oliver Kutz:
    Representing biomedical knowledge: A view from the philosophy of science.
    ICBO 2012.
  •  - 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.
  •  - Stefan Borgwardt, Rafael Peñaloza:
    Undecidability of Fuzzy Description Logics.
    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.
  •  - Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio:
    Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments.
    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.
  •  - Giuseppe De Giacomo, Claudio Di Ciccio, Paolo Felli, Yuxiao Hu, Massimo Mecella:
    Goal-Based Composition of Stateful Services for Smart Homes.
    OTM Conferences (1) 2012: 194-211.
  •  - 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.
  •  - Stefan Borgwardt, Rafael Peñaloza:
    A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices.
    RR 2012: 9-24.
  •  - 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.
  •  - Till Mossakowski, Oliver Kutz, Christoph Lange :
    Semantics of the Distributed Ontology Language: Institutes and Institutions.
    WADT 2012: 212-230.
  •  - Christoph Lange , Till Mossakowski, Oliver Kutz:
    LoLa: A Modular Ontology of Logics, Languages, and Translations.
    WoMO 2012.
  •  - Diego Calvanese, Ario Santoso:
    Best Service Synthesis in the Weighted Roman Model.
    ZEUS 2012: 42-49.
  •  - Mehul Bhatt, Joana Hois, Oliver Kutz:
    Ontological modelling of form and function for architectural design.
    Applied Ontology 7(3): 233-267 (2012).
  •  - Oliver Kutz, Joana Hois:
    Modularity in ontologies.
    Applied Ontology 7(2): 109-112 (2012).
  •  - Aleksandra Sojic, Oliver Kutz:
    Open biomedical pluralism: formalising knowledge about breast cancer phenotypes.
    J. Biomedical Semantics 3(S-2): S3 (2012).
  •  - 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).
  •  - Christoph Lange , Oliver Kutz, Till Mossakowski, Michael Grüninger:
    The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization
    CoRR abs/1204.5093 (2012).
  •  - Christoph Lange , Till Mossakowski, Oliver Kutz, Christian Galinski, Michael Grüninger, Daniel Couto Vale:
    The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility
    CoRR abs/1208.0293 (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).
  •  - Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Claudio Schifanella:
    Flexible choreography-driven service selection.
    Intelligenza Artificiale 6(1): 97-115 (2012).
  •  - Ulle Endriss, Umberto Grandi, Daniele Porello:
    Complexity of Judgment Aggregation.
    J. Artif. Intell. Res. 45: 481-514 (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).
  •  - Franz Baader, Martin Knechtel, Rafael Peñaloza:
    Context-dependent views to axioms and consequences of Semantic Web ontologies.
    J. Web Sem. 12: 22-40 (2012).
2011
  •  - Oliver Kutz, Till Mossakowski:
    A Modular Consistency Proof for DOLCE.
    AAAI 2011.
  •  - Stefan Borgwardt, Rafael Peñaloza:
    The Inclusion Problem for Weighted Automata on Infinite Trees.
    AFL 2011: 108-122.
  •  - Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Elisa Marengo, Viviana Mascardi, Viviana Patti, Alessandro Ricci, Andrea Santi:
    An Interaction-Oriented Agent Framework for Open Environments.
    AI*IA 2011: 68-79.
  •  - Mariano Rodriguez-Muro, Diego Calvanese:
    Dependencies: Making Ontology Based Data Access Work.
    AMW 2011.
  •  - Elisa Marengo, Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Viviana Patti, Munindar P. Singh:
    Commitments with regulations: reasoning about safety and control in REGULA.
    AAMAS 2011: 467-474.
  •  - Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli:
    Foundations of Relational Artifacts Verification.
    BPM 2011: 379-395.
  •  - 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.
  •  - Daniele Porello, Ulle Endriss:
    Ontology Merging as Social Choice.
    CLIMA 2011: 157-170.
  •  - 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.
  •  - Franz Baader, Rafael Peñaloza:
    GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable.
    Description Logics 2011.
  •  - Stefan Borgwardt, Rafael Peñaloza:
    Fuzzy Ontologies over Lattices with T-norms.
    Description Logics 2011.
  •  - Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
    The Complexity of Conjunctive Query Abduction in DL-Lite.
    Description Logics 2011.
  •  - Eldora, Martin Knechtel, Rafael Peñaloza:
    Correcting Access Restrictions to a Consequence More Flexibly.
    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.
  •  - Olaf Beyersdorff, Oliver Kutz:
    Proof Complexity of Non-classical Logics.
    ESSLLI 2011: 1-54.
  •  - Rafael Peñaloza, Anni-Yasmin Turhan:
    A Practical Approach for Computing Generalization Inferences in EL\mathcal{EL}.
    ESWC (1) 2011: 410-423.
  •  - Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
    Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models.
    FroCoS 2011: 1-11.
  •  - Franz Baader, Rafael Peñaloza:
    On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm.
    FroCoS 2011: 55-70.
  •  - Franz Baader, Rafael Peñaloza:
    Are fuzzy description logics with general concept inclusion axioms decidable?
    FUZZ-IEEE 2011: 1735-1742.
  •  - Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau:
    DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap.
    GeoS 2011: 88-107.
  •  - Oliver Kutz, Till Mossakowski, Janna Hastings, Alexander García Castro, Aleksandra Sojic:
    Hyperontology for the Biomedical Ontologist: A Sketch and Some Examples.
    ICBO 2011.
  •  - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
    Simplifying schema mappings.
    ICDT 2011: 114-125.
  •  - Stéphane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello, Joel Uckelman:
    Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections.
    IJCAI 2011: 18-23.
  •  - Stefan Borgwardt, Rafael Peñaloza:
    Description Logics over Lattices with Multi-Valued Ontologies.
    IJCAI 2011: 768-773.
  •  - 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.
  •  - Elisa Marengo, Matteo Baldoni, Cristina Baroglio:
    On Temporal Regulations and Commitment Protocols.
    IJCAI 2011: 2824-2825.
  •  - 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.
  •  - Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti:
    Grafting regulations into business protocols: Supporting the analysis of risks of violation.
    RELAW 2011: 50-59.
  •  - Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Alessandro Ricci:
    Back to the future: An interaction-oriented framework for social computing.
    RESC 2011: 2-5.
  •  - Martín Rezk, Werner Nutt:
    Combining Production Systems and Ontologies.
    RR 2011: 287-293.
  •  - Guohui Xiao (肖国辉), Thomas Eiter:
    Inline Evaluation of Hybrid Knowledge Bases - PhD Description.
    RR 2011: 300-305.
  •  - Elisa Marengo, Matteo Baldoni, Cristina Baroglio:
    Extend Commitment Protocols with Temporal Regulations: Why and How.
    RuleML America (2) 2011.
  •  - Tiziana Catarci, Maddalena D'Addario, Paolo Felli, Laura Franceschetti, Domenico Lembo, Massimo Mecella, Tatiana Pipan, Alessandro Russo , Annarita Vestri, Paolo Villari:
    User-Centered Design for Citizens' Empowerment through the Portal of the Italian Ministry of Health (Extended Abstract).
    SEBD 2011: 326-.
  •  - Enrico Franconi, Paolo Guagliardo:
    A Constructive Framework for View Updating (Extended Abstract).
    SEBD 2011: 147-154.
  •  - Stefan Borgwardt, Rafael Peñaloza:
    Finite Lattices Do Not Make Reasoning in ALCI Harder.
    URSW 2011: 51-62.
  •  - Janna Hastings, Oliver Kutz, Mehul Bhatt, Stefano Borgo:
    Proceedings of the First Interdisciplinary Workshop on SHAPES, Karlsruhe, Germany, September 27, 2011
    CEUR Workshop Proceedings 812, CEUR-WS.org 2011.
  •  - Stefano Borgo, Oliver Kutz:
    A General Framework for Shape Similarity.
    SHAPES 2011.
  •  - Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Federico Capuzzimati:
    Learn the rules so you know how to break them properly.
    WOA 2011: 11-18.
  •  - Oliver Kutz, Thomas Schneider :
    Modular Ontologies - Proceedings of the Fifth International Workshop, WoMO 2011, Ljubljana, Slovenia, August 2011
    Frontiers in Artificial Intelligence and Applications 230, IOS Press 2011.
  •  - Till Mossakowski, Oliver Kutz:
    The Onto-Logical Translation Graph.
    WoMO 2011: 94-109.
  •  - 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).
  •  - Elisa Marengo, Matteo Baldoni, Cristina Baroglio:
    Extend Commitment Protocols with Temporal Regulations: Why and How
    CoRR abs/1107.2086 (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).
  •  - Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Claudio Schifanella:
    Models of agent interaction based on modal logics.
    Intelligenza Artificiale 5(1): 83-88 (2011).
  •  - Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Nicola Henze, Elisa Marengo, Viviana Patti:
    Constraint modeling for curriculum planning and validation.
    Interactive Learning Environments 19(1): 81-123 (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.
  •  - Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña:
    Two-Player Game Structures for Generalized Planning and Agent Composition.
    AAAI 2010.
  •  - Elena Botoeva, Diego Calvanese, Mariano Rodriguez-Muro:
    Expressive Approximations in DL-Lite Ontologies.
    AIMSA 2010: 21-31.
  •  - Joana Hois, Oliver Kutz, Till Mossakowski, John A. Bateman:
    Towards Ontological Blending.
    AIMSA 2010: 263-264.
  •  - Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dmitriy Zheleznyakov:
    Updating ABoxes in DL-Lite.
    AMW 2010.
  •  - Ulle Endriss, Umberto Grandi, Daniele Porello:
    Complexity of judgment aggregation: safety of the agenda.
    AAMAS 2010: 359-366.
  •  - Giuseppe De Giacomo, Paolo Felli:
    Agent composition synthesis based on ATL.
    AAMAS 2010: 499-506.
  •  - Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan:
    Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010
    CEUR Workshop Proceedings 613, CEUR-WS.org 2010.
  •  - Rafael Peñaloza, Anni-Yasmin Turhan:
    Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities.
    UniDL 2010.
  •  - Matteo Baldoni, Cristina Baroglio, Elisa Marengo:
    Constraints among Commitments: Regulative Specification of Interaction Protocols.
    CILC 2010.
  •  - Joana Hois, Oliver Kutz:
    Towards Linguistically-Grounded Spatial Logics.
    Spatial Representation and Reasoning in Language: Ontologies and Logics of Space 2010.
  •  - Matteo Baldoni, Cristina Baroglio, Elisa Marengo:
    Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS.
    DALT 2010: 60-77.
  •  - 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.
  •  - Martin Knechtel, Rafael Peñaloza:
    Correcting Access Restrictions to a Consequence.
    Description Logics 2010.
  •  - Lina Lubyte, Sergio Tessaris:
    Supporting the Development of Data Wrapping Ontologies (Extended Abstract).
    Description Logics 2010.
  •  - Rafael Peñaloza, Baris Sertkaya:
    Complexity of Axiom Pinpointing in the DL-Lite Family.
    Description Logics 2010.
  •  - Inanç Seylan, Enrico Franconi, Jos de Bruijn:
    Optimal Rewritings in Definitorially Complete Description Logics.
    Description Logics 2010.
  •  - Anni-Yasmin Turhan, Rafael Peñaloza:
    Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes.
    Description Logics 2010.
  •  - Dmitriy Zheleznyakov, Diego Calvanese, Evgeny Kharlamov, Werner Nutt:
    Updating TBoxes in DL-Lite.
    Description Logics 2010.
  •  - Matteo Baldoni, Cristina Baroglio, Elisa Marengo:
    Behavior-Oriented Commitment-based Protocols.
    ECAI 2010: 137-142.
  •  - Stijn Heymans, Thomas Eiter, Guohui Xiao (肖国辉):
    Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics.
    ECAI 2010: 35-40.
  •  - Rafael Peñaloza, Baris Sertkaya:
    Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics.
    ECAI 2010: 29-34.
  •  - Daniele Porello, Ulle Endriss:
    Modelling Multilateral Negotiation in Linear Logic.
    ECAI 2010: 381-386.
  •  - 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.
  •  - Mehul Bhatt, Joana Hois, Oliver Kutz, Frank Dylla:
    Modelling Functional Requirements in Spatial Design.
    ER 2010: 464-470.
  •  - Martin Knechtel, Rafael Peñaloza:
    A Generic Approach for Correcting Access Restrictions to a Consequence.
    ESWC (1) 2010: 167-182.
  •  - Serge Abiteboul, T.-H. Hubert Chan, Evgeny Kharlamov, Werner Nutt, Pierre Senellart:
    Aggregate queries for discrete and continuous probabilistic XML.
    ICDT 2010: 50-61.
  •  - Rafael Peñaloza, Baris Sertkaya:
    On the Complexity of Axiom Pinpointing in the EL Family of Description Logics.
    KR 2010.
  •  - Daniele Porello, Ulle Endriss:
    Modelling Combinatorial Auctions in Linear Logic.
    KR 2010.
  •  - Guohui Xiao (肖国辉), Zuoquan Lin, Yue Ma, Guilin Qi:
    Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers.
    KR 2010.
  •  - Rafael Peñaloza:
    Using Sums-of-Products for Non-standard Reasoning.
    LATA 2010: 488-499.
  •  - Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi:
    MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.
    MALLOW 2010.
  •  - 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.
  •  - Oliver Kutz, Immanuel Normann, Till Mossakowski, Dirk Walther:
    Chinese whispers and connected alignments.
    OM 2010.
  •  - Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi:
    MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.
    WOA 2010.
  •  - Oliver Kutz, Joana Hois, Jie Bao, Bernardo Cuenca Grau:
    Modular Ontologies - Proceedings of the Fourth International Workshop, WoMO 2010, Toronto, ON, Canada, May 11, 2010
    Frontiers in Artificial Intelligence and Applications 210, IOS Press 2010.
  •  - 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).
  •  - Yue Ma, Guilin Qi, Guohui Xiao (肖国辉), Pascal Hitzler, Zuoquan Lin:
    Computational Complexity and Anytime Algorithm for Inconsistency Measurement.
    Int. J. Software and Informatics 4(1): 3-21 (2010).
  •  - Franz Baader, Rafael Peñaloza:
    Automata-Based Axiom Pinpointing.
    J. Autom. Reasoning 45(2): 91-129 (2010).
  •  - Franz Baader, Rafael Peñaloza:
    Axiom Pinpointing in General Tableaux.
    J. Log. Comput. 20(1): 5-34 (2010).
  •  - Oliver Kutz, Till Mossakowski, Dominik Lücke:
    Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design.
    Logica Universalis 4(2): 255-333 (2010).
  •  - Daniele Porello:
    Ranking judgments in Arrow's setting.
    Synthese 173(2): 199-210 (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.
  •  - Rafael Peñaloza:
    Reasoning With Weighted Ontologies.
    Description Logics 2009.
  •  - Rafael Peñaloza, Baris Sertkaya:
    Axiom Pinpointing is Hard.
    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.
  •  - Xiaowang Zhang, Guohui Xiao (肖国辉), Zuoquan Lin:
    A Tableau Algorithm for Handling Inconsistency in OWL.
    ESWC 2009: 399-413.
  •  - Joana Hois, Mehul Bhatt, Oliver Kutz:
    Modular Ontologies for Architectural Design.
    FOMI 2009: 66-77.
  •  - 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.
  •  - Rafael Peñaloza:
    Wie findet man die verantwortlichen Axiome? Axiom-Pinpointing in Beschreibungslogiken.
    Ausgezeichnete Informatikdissertationen 2009: 181-190.
  •  - 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.
  •  - Yue Ma, Guilin Qi, Guohui Xiao (肖国辉), Pascal Hitzler, Zuoquan Lin:
    An Anytime Algorithm for Computing Inconsistency Measurement.
    KSEM 2009: 29-40.
  •  - Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Claudio Schifanella:
    Joint Achievement of Services' Personal Goals.
    MALLOW 2009.
  •  - Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, 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.
  •  - Franz Baader, Martin Knechtel, Rafael Peñaloza:
    A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms.
    International Semantic Web Conference 2009: 49-64.
  •  - 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).
  •  - Rafael Peñaloza Nyssen:
    Axiom pinpointing in description logics and beyond.
    Dresden University of Technology 2009: 1-144.
  •  - Mouna Kacimi, Thomas Neumann :
    System R (R*) Optimizer.
    Encyclopedia of Database Systems 2009: 2900-2905.
2008
  •  - Franz Baader, Rafael Peñaloza:
    Automata-Based Axiom Pinpointing.
    IJCAR 2008: 226-241.
  •  - Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Camilo Thorne:
    Aggregate queries over ontologies.
    ONISW 2008: 97-104.
  •  - Walter Allasia, Fabrizio Falchi, Francesco Gallo, Mouna Kacimi, Aaron Kaplan, Jonathan Mamou, Yosi Mass, Nicola Orio:
    Audio-Visual Content Analysis in P2P Networks: The SAPIR Approach.
    DEXA Workshops 2008: 610-614.
  •  - 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.
  •  - Rafael Peñaloza:
    Automata-based Pinpointing for DLs.
    Description Logics 2008.
  •  - Oliver Kutz, Till Mossakowski:
    Conservativity in Structured Ontologies.
    ECAI 2008: 89-93.
  •  - Chiara Ghidini, Luciano Serafini, Sergio Tessaris:
    Complexity of Reasoning With Expressive Ontology Mappings.
    FOIS 2008: 151-163.
  •  - Joana Hois, Oliver Kutz:
    Counterparts in Language and Space - Similarity and [Sscr ]-Connection.
    FOIS 2008: 266-279.
  •  - Matthias Bender , Tom Crecelius, Mouna Kacimi, Sebastian Michel, Thomas Neumann , Josiane Xavier Parreira, Ralf Schenkel, Gerhard Weikum:
    Exploiting social relations for query expansion and result ranking.
    ICDE Workshops 2008: 501-506.
  •  - 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.
  •  - Oliver Kutz, Dominik Lücke, Till Mossakowski, Immanuel Normann:
    The OWL in the CASL - Designing Ontologies Across Logics.
    OWLED 2008.
  •  - 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.
  •  - Tom Crecelius, Mouna Kacimi, Sebastian Michel, Thomas Neumann , Josiane Xavier Parreira, Ralf Schenkel, Gerhard Weikum:
    Social recommendations at work.
    SIGIR 2008: 884.
  •  - Ralf Schenkel, Tom Crecelius, Mouna Kacimi, Sebastian Michel, Thomas Neumann , Josiane Xavier Parreira, Gerhard Weikum:
    Efficient top-k querying over social-tagging networks.
    SIGIR 2008: 523-530.
  •  - Mouna Kacimi, Kokou Yétongnon:
    Content-Based Information Routing and Retrieval in Cluster-Based P2P Overlay Networks.
    SITIS 2008: 70-77.
  •  - Joana Hois, Oliver Kutz:
    Natural Language Meets Spatial Calculi.
    Spatial Cognition 2008: 266-282.
  •  - Oliver Kutz, Till Mossakowski, Mihai Codescu:
    Shapes of Alignments - Construction, Combination, and Computation.
    WoMO 2008.
  •  - 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).
  •  - Ralf Schenkel, Tom Crecelius, Mouna Kacimi, Thomas Neumann , Josiane Xavier Parreira, Marc Spaniol, Gerhard Weikum:
    Social Wisdom for Search and Recommendation.
    IEEE Data Eng. Bull. 31(2): 40-49 (2008).
  •  - Franz Baader, Jan Hladik, Rafael Peñaloza:
    Automata can show PSpace results for description logics.
    Inf. Comput. 206(9-10): 1045-1056 (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).
  •  - Tom Crecelius, Mouna Kacimi, Sebastian Michel, Thomas Neumann , Josiane Xavier Parreira, Ralf Schenkel, Gerhard Weikum:
    Making SENSE: socially enhanced search and exploration.
    PVLDB 1(2): 1480-1483 (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.
  •  - Matteo Baldoni, Cristina Baroglio, Elisa Marengo:
    Curricula Modeling and Checking.
    AI*IA 2007: 471-482.
  •  - 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.
  •  - Mouna Kacimi, Kokou Yétongnon:
    Dimensionality Reduction in a P2P System.
    DEXA Workshops 2007: 804-808.
  •  - 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.
  •  - Franz Baader, Jan Hladik, Rafael Peñaloza:
    Blocking Automata for PSPACE DLs.
    Description Logics 2007.
  •  - Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn:
    Pinpointing in the Description Logic EL.
    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.
  •  - Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Elisa Marengo, Viviana Patti:
    Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture.
    EC-TEL 2007: 426-431.
  •  - Matteo Baldoni, Elisa Marengo:
    Curriculum Model Checking: Declarative Representation and Verification of Properties.
    EC-TEL 2007: 432-437.
  •  - 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.
  •  - Mouna Kacimi, Kokou Yétongnon:
    Evaluation study of a distributed caching based on query similarity in a P2P network.
    Infoscale 2007: 26.
  •  - Oliver Kutz, Till Mossakowski:
    Modules in Transition - Conservativity, Composition, and Colimits.
    WoMO 2007.
  •  - Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn:
    Pinpointing in the Description Logic EL+.
    KI 2007: 52-67.
  •  - Franz Baader, Jan Hladik, Rafael Peñaloza:
    SI! Automata Can Show PSPACE Results for Description Logics.
    LATA 2007: 67-78.
  •  - 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.
  •  - Fabrizio Falchi, Mouna Kacimi, Yosi Mass, Fausto Rabitti, Pavel Zezula:
    SAPIR: Scalable and Distributed Image Searching.
    SAMT (Posters and Demos) 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.
  •  - Peter Haase , Vasant Honavar, Oliver Kutz, York Sure, Andrei Tamilin:
    Proceedings of the 1st International Workshop on Modular Ontologies, WoMO'06, co-located with the International Semantic Web Conference, ISWC'06 November 5, 2006, Athens, Georgia, USA
    CEUR Workshop Proceedings 232, CEUR-WS.org 2007.
  •  - Ivan Zorzi, Sergio Tessaris, Paolo Dongilli:
    Improving Responsiveness of Ontology-Based Query Formulation.
    SWAP 2007.
  •  - Franz Baader, Rafael Peñaloza:
    Axiom Pinpointing in General Tableaux.
    TABLEAUX 2007: 11-27.
  •  - Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
    Temporalising Tractable Description Logics.
    TIME 2007: 11-22.
  •  - Matteo Baldoni, Cristina Baroglio, Giuseppe Berio, Elisa Marengo:
    Declarative representation of curricula models: an LTL- and UML-based approach.
    WOA 2007: 34-41.
  •  - Alessandro Artale, Christine Parent, Stefano Spaccapietra:
    Evolving objects in temporal information systems.
    Ann. Math. Artif. Intell. 50(1-2): 5-38 (2007).
  •  - Matthias Bender , Tom Crecelius, Mouna Kacimi, Sebastian Michel, Josiane Xavier Parreira, Gerhard Weikum:
    Peer-to-Peer Information Search: Semantic, Social, or Spiritual?
    IEEE Data Eng. Bull. 30(2): 51-60 (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).
  •  - Oliver Kutz:
    Notes on Logics of Metric Spaces.
    Studia Logica 85(1): 75-104 (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.
  •  - Mouna Kacimi, Kokou Yétongnon:
    Density-Based Clustering for Similarity Search in a P2P Network.
    CCGRID 2006: 57-64.
  •  - 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.
  •  - Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler:
    Will my Ontologies Fit Together?
    Description Logics 2006.
  •  - Jan Hladik, Rafael Peñaloza:
    PSPACE Automata for Description Logics.
    Description Logics 2006.
  •  - Magdalena Ortiz, Diego Calvanese, Thomas Eiter:
    Data Complexity of Answering Unions of Conjunctive Queries in SHIQ.
    Description Logics 2006.
  •  - Alexander Kozlenkov, Rafael Peñaloza, Vivek Nigam, Loïc Royer, Gihan Dawelbait, Michael Schroeder :
    Prova: Rule-Based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics.
    EDBT Workshops 2006: 899-908.
  •  - 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.
  •  - Mouna Kacimi, Kokou Yétongnon:
    Similarity Search in a Hybrid Overlay P2P Network.
    ISCC 2006: 460-466.
  •  - Paolo Dongilli, Sergio Tessaris, John A. Bateman:
    Leveraging Systemic-Functional Linguistics to Enhance Intelligent Database Querying.
    ISDA (1) 2006: 1073-1079.
  •  - Mouna Kacimi, Kokou Yétongnon:
    Cost Models and Performance Evaluation of Similarity Search in the HON P2P System.
    ISPA 2006: 772-781.
  •  - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
    Data Complexity of Query Answering in Description Logics.
    KR 2006: 260-270.
  •  - Ian Horrocks, Oliver Kutz, Ulrike Sattler:
    The Even More Irresistible SROIQ.
    KR 2006: 57-67.
  •  - 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.
  •  - Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Nicola Henze, Elisa Marengo, Viviana Patti:
    A Personalization Service for Curriculum Planning.
    LWA 2006: 17-20.
  •  - 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.
  •  - Corinna Elsenbroich, Oliver Kutz, Ulrike Sattler:
    A Case for Abductive Reasoning over Ontologies.
    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
  •  - Mouna Kacimi, Kokou Yétongnon, Yinghua Ma, Richard Chbeir:
    Distributed Caching in a Cluster-based Hybrid Overlay Network for P2P Systems.
    ISCA PDCS 2005: 9-14.
  •  - 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.
  •  - Mouna Kacimi, Kokou Yétongnon, Yinghua Ma, Richard Chbeir:
    HON-P2P: A Cluster-based Hybrid Overlay Network for Multimedia Object Management.
    ICPADS (1) 2005: 578-584.
  •  - 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.
  •  - Ian Horrocks, Oliver Kutz, Ulrike Sattler:
    The Irresistible SRIQ.
    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.
  •  - Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
    E-connections of abstract description systems.
    Artif. Intell. 156(1): 1-73 (2004).
  •  - 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).
  •  - Oliver Kutz:
    ε-connections and logics of distance.
    University of Liverpool, UK 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.
  •  - Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
    E-connections of 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.
  •  - Osvaldo Cairó, Rafael Peñaloza:
    Using Bayesian Networks as an Inference Engine in KAMET.
    SCCC 2003: 79-85.
  •  - 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).
  •  - Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev:
    Logics of metric spaces.
    ACM Trans. Comput. Log. 4(2): 260-294 (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.
  •  - Oliver Kutz, Frank Wolter, Michael Zakharyaschev:
    Connecting Abstract Description Systems.
    KR 2002: 215-226.
  •  - 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).
  •  - Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev:
    Axiomatizing Distance Logics.
    Journal of Applied Non-Classical Logics 12(3-4): 425-440 (2002).

Courtesy of:

KRDB Publications