Diego Calvanese
Orcid: 0000-0001-5174-9693Affiliations:
- Free University of Bozen-Bolzano, Italy
According to our database1,
Diego Calvanese
authored at least 405 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2019, "For contributions to description logics and their applications in data management and software engineering".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on inf.unibz.it
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Data Knowl. Eng., 2024
Proceedings of the Research Challenges in Information Science, 2024
Proceedings of the 40th International Conference on Data Engineering, ICDE 2024, 2024
2023
An Ontology-Based Framework for Geospatial Integration and Querying of Raster Data Cube Using Virtual Knowledge Graphs.
ISPRS Int. J. Geo Inf., September, 2023
Data Knowl. Eng., May, 2023
Comput. Ind., April, 2023
ACM Trans. Manag. Inf. Syst., March, 2023
Frontiers Big Data, January, 2023
Proceedings of the 31st Symposium of Advanced Database Systems, 2023
Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023, Oslo, Norway, 18, 2023
Semantic Querying of Integrated Raster and Relational Data: A Virtual Knowledge Graph Approach.
Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023, Oslo, Norway, 18, 2023
Proceedings of the Research Challenges in Information Science: Information Science and the Connected World, 2023
Proceedings of the Advances in Conceptual Modeling, 2023
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023
Proceedings of the Advanced Information Systems Engineering, 2023
Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), 2023
Proceedings of the Discussion Papers, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Abstracting Ontology-Driven Conceptual Models: Objects, Aspects, Events, and Their Parts.
Proceedings of the Research Challenges in Information Science, 2022
Proceedings of the 11th International Joint Conference on Knowledge Graphs, 2022
Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Process Mining Workshops, 2022
Proceedings of the Knowledge Engineering and Knowledge Management, 2022
Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (Extended Abstract).
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
2021
Towards the next generation of the LinkedGeoData project using virtual knowledge graphs.
J. Web Semant., 2021
J. Autom. Reason., 2021
GeoInformatica, 2021
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version).
CoRR, 2021
CoRR, 2021
Editorial for Special Issue of Journal of Big Data Research on "Big Data Meets Knowledge Graphs".
Big Data Res., 2021
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
ADaMaP: Automatic Alignment of Relational Data Sources using Mapping Patterns (Abstract).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
Proceedings of the 36th Italian Conference on Computational Logic, 2021
Realizing Ontology-based Reusable Interfaces for Data Access via Virtual Knowledge Graphs.
Proceedings of the 14th Biannual Conference of the Italian SIGCHI Chapter, 2021
Proceedings of the Advanced Information Systems Engineering, 2021
Proceedings of the International Workshop on BPM Problems to Solve Before We Die (PROBLEMS 2021) co-located with the 19th International Conference on Business Process Management (BPM 2021), 2021
2020
Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019).
ACM SIGLOG News, 2020
Math. Struct. Comput. Sci., 2020
ISPRS Int. J. Geo Inf., 2020
Proceedings of the Semantic Web - ISWC 2020, 2020
Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020
Proceedings of the Semantic Web - ISWC 2020, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
2019
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge.
Theory Pract. Log. Program., 2019
Intelligenza Artificiale, 2019
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version).
CoRR, 2019
Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN.
CoRR, 2019
Int. J. Appl. Math. Comput. Sci., 2019
Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases.
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the 23rd IEEE International Enterprise Distributed Object Computing Conference, 2019
Model Completeness, Covers and Superposition (Abridged Version).
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Proceedings of the Advanced Information Systems Engineering, 2019
Proceedings of the Automated Deduction - CADE 27, 2019
Proceedings of the Business Process Management - 17th International Conference, 2019
Proceedings of the Description Logic, Theory Combination, and All That, 2019
Proceedings of the Description Logic, Theory Combination, and All That, 2019
Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019
2018
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018
First-order <i>μ</i>-calculus over generic transition systems and applications to the situation calculus.
Inf. Comput., 2018
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
Dagstuhl Manifestos, 2018
CoRR, 2018
Proceedings of the Semantic Web - ISWC 2018, 2018
Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the 21st International Conference on Database Theory, 2018
Proceedings of the Semantic Web - 15th International Conference, 2018
Proceedings of the Knowledge Engineering and Knowledge Management, 2018
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018
Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018
Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018
Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018
Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018
Proceedings of the A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years., 2018
2017
ACM Trans. Comput. Log., 2017
Semantics and Analysis of DMN Decision Tables.
EMISA Forum, 2017
Proceedings of the Semantic Web - ISWC 2017, 2017
Proceedings of the Reasoning Web. Semantic Interoperability on the Web, 2017
Proceedings of the Rules and Reasoning - International Joint Conference, 2017
The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access.
Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017
Ontology-Based Data Access for Extracting Event Logs from Legacy Data: The onprom Tool and Methodology.
Proceedings of the Business Information Systems - 20th International Conference, 2017
Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017
New Trends in Databases and Information Systems: Contributions from ADBIS 2017 Workshops.
Proceedings of the New Trends in Databases and Information Systems, 2017
2016
Int. J. Softw. Tools Technol. Transf., 2016
Ontology-based data integration in EPNet: Production and distribution of food during the Roman Empire.
Eng. Appl. Artif. Intell., 2016
Proceedings of the Workshop on Benchmarking Linked Data (BLINK 2016) co-located with the 15th International Semantic Web Conference (ISWC), 2016
Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016
Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the 19th International Conference on Database Theory, 2016
Proceedings of the Semantic Web. Latest Advances and New Domains, 2016
Proceedings of the 29th International Workshop on Description Logics, 2016
Proceedings of the 29th International Workshop on Description Logics, 2016
Proceedings of the 29th International Workshop on Description Logics, 2016
Proceedings of the 29th International Workshop on Description Logics, 2016
Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016
Proceedings of the Engineering Multi-Agent Systems - 4th International Workshop, 2016
Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
J. Web Semant., 2015
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version).
CoRR, 2015
CoRR, 2015
Proceedings of the Semantic Web - ISWC 2015, 2015
Leveraging Relational Technology for Data-Centric Dynamic Systems.
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015
OBDA with the Ontop Framework.
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Semantic Web: ESWC 2015 Satellite Events - ESWC 2015 Satellite Events Portorož, Slovenia, May 31, 2015
Proceedings of the 18th International Conference on Extending Database Technology, 2015
Proceedings of the 28th International Workshop on Description Logics, 2015
Proceedings of the 28th International Workshop on Description Logics, 2015
Proceedings of the 2nd Digital Heritage International Congress, 2015
Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Answering regular path queries in expressive Description Logics via alternating tree-automata.
Inf. Comput., 2014
CoRR, 2014
CoRR, 2014
Managing Change in Graph-structured Data Using Description Logics (long version with appendix).
CoRR, 2014
Proceedings of the 10th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 13th International Semantic Web Conference (ISWC 2014), 2014
Proceedings of the Semantic Web - ISWC 2014, 2014
Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014
Proceedings of the Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
Expressive Identification Constraints to Capture Functional Dependencies in Description Logics.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
Proceedings of the Semantic Web and Web Science - 8th Chinese Conference, 2014
Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems.
Proceedings of the 29th Italian Conference on Computational Logic, 2014
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014
Proceedings of the 2014 AAAI Spring Symposia, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
J. Comput. Syst. Sci., 2013
J. Artif. Intell. Res., 2013
Intelligenza Artificiale, 2013
Dagstuhl Reports, 2013
CoRR, 2013
CoRR, 2013
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013
Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013
Proceedings of the Sixth International Joint Conference on Natural Language Processing, 2013
Proceedings of the IJCAI 2013, 2013
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013
Proceedings of the Semantic Web: ESWC 2013 Satellite Events, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013
Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version).
Proceedings of the Workshop AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013
Proceedings of the Seminal Contributions to Information Systems Engineering, 2013
Proceedings of the Seminal Contributions to Information Systems Engineering, 2013
2012
Stud Logica, 2012
Proc. VLDB Endow., 2012
J. Comput. Syst. Sci., 2012
Proceedings of the 4<sup>th</sup> Central-European Workshop on Services and their Composition, 2012
Proceedings of the ISWC 2012 Posters & Demonstrations Track, 2012
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012
Proceedings of OWL: Experiences and Directions Workshop 2012, 2012
Proceedings of OWL: Experiences and Directions Workshop 2012, 2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, 2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Proceedings of the ECAI 2012, 2012
Proceedings of the 2012 International Workshop on Description Logics, 2012
Proceedings of the 2012 International Workshop on Description Logics, 2012
2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
Proceedings of the Business Process Management - 9th International Conference, 2011
Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, 2011
2010
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
Proceedings of the Conceptual Modeling, 2010
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010
Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, 2010
Proceedings of the Artificial Intelligence: Methodology, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
J. Univers. Comput. Sci., 2009
Proceedings of the Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30, 2009
Proceedings of the IJCAI 2009, 2009
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009
Proceedings of the Flexible Query Answering Systems, 8th International Conference, 2009
Proceedings of the DOLAP 2009, 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
Proceedings of the Database Programming Languages, 2009
Proceedings of the Pre-Proceedings of the Workshop on Controlled Natural Language (CNL 2009), 2009
Proceedings of the Controlled Natural Language, Workshop on Controlled Natural Language, 2009
Proceedings of the Conceptual Modeling: Foundations and Applications, 2009
Proceedings of the Logic, Language and Meaning - 17th Amsterdam Colloquium, 2009
Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009
2008
ACM Trans. Comput. Log., 2008
J. Autom. Reason., 2008
Inf. Syst., 2008
IEEE Data Eng. Bull., 2008
A New Generation Search Engine Supporting Cross Domain Queries.
Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008
Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the 24th International Conference on Data Engineering Workshops, 2008
Proceedings of the 24th International Conference on Data Engineering Workshops, 2008
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008
Proceedings of the 2nd International Workshop on Ontologies and Information Systems for the Semantic Web, 2008
2007
View-based query processing: On the relationship between rewriting, answering and losslessness.
Theor. Comput. Sci., 2007
Tractable Reasoning and Efficient Query Answering in Description Logics: The <i>DL-Lite</i> Family.
J. Autom. Reason., 2007
Ontology-based Database Access.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007
Query Answering in Expressive Variants of DL-Lite.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007
Proceedings of the IJCAI 2007, 2007
Proceedings of the 1st Workshop on Emerging Research Opportunities for Web Data Management (EROW 2007) Collocated with the 11th International Conference on Database Theory (ICDT 2007), 2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Ontologies and Description Logics.
Intelligenza Artificiale, 2006
Containment of Conjunctive Queries under Access Limitations.
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006
Multilingual Search in Libraries. The case-study of the Free University of Bozen-Bolzano.
Proceedings of the Fifth International Conference on Language Resources and Evaluation, 2006
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006
Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006
Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics.
Proceedings of the Proceedings, 2006
2005
Int. J. Cooperative Inf. Syst., 2005
CoRR, 2005
CoRR, 2005
Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005
Automatic Composition of Web Services in Colombo.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005
Proceedings of the Service-Oriented Computing, 2005
Proceedings of the EMOI, 2005
Proceedings of the Proceedings, 2005
2004
Proceedings of the Technologies for E-Services, 5th International Workshop, 2004
Query Reformulation over Ontology-based Peers.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004
Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2004
Synthesis of underspecified composite <i>e</i>-services based on automated reasoning.
Proceedings of the Service-Oriented Computing, 2004
Proceedings of the Semantics for Grid Databases, 2004
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004
2003
IBM Syst. J., 2003
Query Containment Using Views.
Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, 2003
Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2003
Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), 2003
Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), 2003
Proceedings of the Service-Oriented Computing, 2003
Relationships with other Formalisms.
Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003
Expressive Description Logics.
Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003
Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003
Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003
2002
J. Comput. Syst. Sci., 2002
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002
IBIS: Data Integration at Work.
Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002
Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002
Reasoning about Actions and Planning in LTL Action Theories.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002
Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002
Optimized Querying of Integrated Data over the Web.
Proceedings of the Engineering Information Systems in the Internet Context, 2002
Proceedings of the Conceptual Modeling, 2002
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
2001
A Framework for Ontology Integration.
Proceedings of the Emerging Semantic Web, Selected papers from the first Semantic web working symposium, Stanford University, California, USA, July 30, 2001
Optimizing Query Planning with Limited Source Capabilities in the Presence of Inclusion and Functional Dependencies.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001
Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), 2001
Identification Constraints and Functional Dependencies in Description Logics.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
Proceedings of the Conceptual Modeling, 2001
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001
Proceedings of the Database Programming Languages, 8th International Workshop, 2001
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001
2000
Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, 2000
Local constraint in semistructured data schemas.
Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000
Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2000
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000
Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), 2000
Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), 2000
Containment of Conjunctive Regular Path Queries with Inverse.
Proceedings of the KR 2000, 2000
Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28, 2000
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000
Proceedings of IEEE Advances in Digital Libraries 2000 (ADL 2000), 2000
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000
1999
Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support.
Netw. Inf. Syst. J., 1999
Modeling and Querying Semi-Structured data .
Netw. Inf. Syst. J., 1999
J. Log. Comput., 1999
Proceedings of the ACM SIGMOD Workshop on The Web and Databases, 1999
Rewriting of Regular Path Queries.
Proceedings of the Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati, 1999
Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), 1999
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
Proceedings of the Intl. Workshop on Design and Management of Data Warehouses, 1999
Proceedings of the Advanced Information Systems Engineering, 1999
1998
Extending Semi-Structured Data.
Proceedings of the Atti del Sesto Convegno Nazionale Sistemi Evolluti per Basi di Dati, 1998
Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998
Description Logic Framework for Information Integration.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998
Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998
Description Logics for Conceptual Data Modeling.
Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998
Proceedings of the 3rd IFCIS International Conference on Cooperative Information Systems, 1998
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998
1997
Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997
Proceedings of the 1997 International Workshop on Description Logics, 1997
1996
Finite Model Reasoning in Description Logics.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996
Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996
Representing SGML Documents in Description Logics.
Proceedings of the 1996 International Workshop on Description Logics, 1996
1995
Proceedings of the KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, 1995
Proceedings of the Deductive and Object-Oriented Databases, 1995
1994
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994
A Unified Framework for Class-Based Representation Formalisms.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994
Proceedings of the Tenth International Conference on Data Engineering, 1994