Diego Calvanese

Q: What Schools Are Affiliated With Diego Calvanese

Diego Calvanese is affiliated with the following schools: Umeå University, Sapienza University of Rome, Free University of Bozen-Bolzano

Diego Calvanese's AcademicInfluence.com Rankings

Diego Calvanese

Computer Science

#3019

World Rank

#3165

Historical Rank

Database

#1328

World Rank

#1400

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Diego Calvanese Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Diego Calvanese is an Italian computer scientist and professor at the faculty of computer science at the Free University of Bozen-Bolzano. In addition, since 2019, he is Wallenberg Visiting Professor at the department of computing science, Umeå University. He is well known for his scientific contributions in knowledge representation and reasoning in AI, description logics, and database theory.

(See a Problem?)

Diego Calvanese's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The Description Logic Handbook: Theory, Implementation, and Applications (2003) (7190)
The Description Logic Handbook (2007) (2423)
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family (2007) (1521)
Linking Data to Ontologies (2008) (893)
Reasoning on UML class diagrams (2005) (622)
The DL-Lite Family and Relations (2009) (597)
Data Complexity of Query Answering in Description Logics (2006) (486)
Automatic Composition of E-services That Export Their Behavior (2003) (442)
The description logic handbook: theory (2003) (437)
DL-Lite: Tractable Description Logics for Ontologies (2005) (436)
On the decidability of query containment under constraints (1998) (434)
Ontop: Answering SPARQL queries over relational databases (2016) (401)
Data Integration under Integrity Constraints (2004) (306)
Description Logic Framework for Information Integration (1998) (305)
Automatic Composition of Transition-based Semantic Web Services with Messaging (2005) (305)
Description Logics for Conceptual Data Modeling (1998) (302)
The MASTRO system for ontology-based data access (2011) (302)
A Framework for Ontology Integration (2001) (264)
Logical foundations of peer-to-peer data integration (2004) (247)
Unifying Class-Based Representation Formalisms (1999) (242)
Ontologies and Databases: The DL-Lite Approach (2009) (221)
Automatic Service Composition Based on Behavioral Descriptions (2005) (215)
Ontology-Based Data Access: A Survey (2018) (212)
Rewriting of regular expressions and regular path queries (1999) (211)
Containment of Conjunctive Regular Path Queries with Inverse (2000) (196)
Information integration: conceptual modeling and reasoning support (1998) (180)
QuOnto: Querying Ontologies (2005) (180)
Verification of relational data-centric dynamic systems with external services (2012) (179)
Reasoning in Expressive Description Logics (2001) (157)
Foundations of data-aware process analysis: a database theory perspective (2013) (147)
Answering regular path queries using views (2000) (141)
EQL-Lite: Effective First-Order Query Processing in Description Logics (2007) (133)
High Performance Query Answering over DL-Lite Ontologies (2012) (129)
Data Complexity of Query Answering in Expressive Description Logics via Tableaux (2008) (128)
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees (1999) (128)
Ontology of Integration and Integration of Ontologies (2001) (125)
Identification Constraints and Functional Dependencies in Description Logics (2001) (119)
Representing and Reasoning on XML Documents: A Description Logic Approach (1999) (113)
Reasoning over Extended ER Models (2007) (113)
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas (2012) (112)
Conjunctive query containment and answering under description logic constraints (2005) (110)
Evolution of DL-Lite Knowledge Bases (2010) (109)
A Unified Framework for Class-Based Representation Formalisms (1994) (105)
Description Logics for Information Integration (2002) (102)
On the Expressive Power of Data Integration Systems (2002) (101)
Expressive Description Logics (2003) (98)
Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach (2005) (97)
Reasoning on regular path queries (2003) (96)
Source integration in data warehousing (1998) (94)
Regular Path Queries in Expressive Description Logics with Nominals (2009) (94)
View-based query processing and constraint satisfaction (2000) (94)
Data Integration in Data Warehousing (Keynote Address) (2001) (92)
Synthesis of underspecified composite e-services based on automated reasoning (2004) (91)
Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics (2006) (91)
Answering Queries Using Views over Description Logics Knowledge Bases (2000) (91)
Automatic Service Composition and Synthesis: the Roman Model (2008) (90)
Virtual Knowledge Graphs: An Overview of Systems and Use Cases (2019) (90)
Finite Model Reasoning in Description Logics (1996) (87)
Structured Objects: Modeling and Reasoning (1995) (84)
Ontology-based Database Access (2007) (82)
Accessing Data Integration Systems through Conceptual Schemas (2001) (81)
View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness (2005) (78)
On the interaction between ISA and cardinality constraints (1994) (77)
DL-Lite: Practical Reasoning for Rich Dls (2004) (77)
A Principled Approach to Data Integration and Reconciliation in Data Warehousing (1999) (77)
Reasoning about Actions and Planning in LTL Action Theories (2002) (77)
Description Logic Knowledge and Action Bases (2014) (75)
A Formal Framework for Reasoning on UML Class Diagrams (2002) (74)
State of the Art Survey (2006) (74)
DL-Lite in the Light of First-Order Logic (2007) (73)
Semantic Data Integration in P2P Systems (2003) (73)
Linking Data to Ontologies: The Description Logic DL-Lite_A (2006) (72)
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach (2007) (72)
Reasoning about Explanations for Negative Query Answers in DL-Lite (2013) (71)
Quest, an OWL 2 QL Reasoner for Ontology-based Data Access (2012) (70)
View-based query processing for regular path queries with inverse (2000) (66)
Composition of Services with Nondeterministic Observable Behavior (2005) (65)
A Foundational Vision of e-Services (2003) (65)
Reasoning on UML Class Diagrams using Description Logic Based Systems (2001) (64)
The NPD Benchmark: Reality Check for OBDA Systems (2015) (64)
Path-Based Identification Constraints in Description Logics (2008) (63)
Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity (1996) (59)
Ontology-Driven Extraction of Event Logs from Relational Databases (2015) (59)
Foundations of Relational Artifacts Verification (2011) (58)
Scalable End-User Access to Big Data (2014) (58)
Making object-oriented schemas more expressive (1994) (57)
Decidable containment of recursive queries (2003) (56)
Relationships with other Formalisms (2003) (55)
Verification of data-aware commitment-based multiagent system (2014) (55)
The Ontop Framework for Ontology Based Data Access (2014) (53)
View-Based Query Answering and Query Containment over Semistructured Data (2001) (53)
Realizing Ontology Based Data Access: A plug-in for protégé (2008) (52)
Discovering functional dependencies for multidimensional design (2009) (52)
Data Integration: A Logic-Based Perspective (2005) (52)
Answering Queries Using Views in Description Logics (1999) (51)
What can Knowledge Representation do for Semi-Structured Data? (1998) (51)
A Description Logic Based Approach for Matching User Profiles (2004) (50)
Aggregate queries over ontologies (2008) (50)
Capturing model-based ontology evolution at the instance level: The case of DL-Lite (2013) (50)
Conjunctive Query Containment in Description Logics with n-ary Relations (1997) (50)
Lossless regular views (2002) (49)
Data Integration through DL-LiteA Ontologies (2008) (49)
Query processing using views for regular path queries with inverse (2000) (48)
Ontology-based data integration in EPNet: Production and distribution of food during the Roman Empire (2016) (48)
Hyper: A Framework for Peer-to-Peer Data Integration on Grids (2004) (48)
Semantics and Analysis of DMN Decision Tables (2016) (48)
What to Ask to a Peer: Ontolgoy-based Query Reformulation (2004) (47)
Unrestricted and finite model reasoning in class-based representation formalisms (1996) (46)
Finite model reasoning on UML class diagrams via constraint programming (2007) (45)
Ontology-Based Data Access for Extracting Event Logs from Legacy Data: The onprom Tool and Methodology (2017) (45)
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (2019) (42)
Toward a new landscape of systems management in an autonomic computing environment (2003) (42)
Semantics, Analysis and Simplification of DMN Decision Tables (2018) (41)
OBDA Beyond Relational DBs: A Study for MongoDB (2016) (41)
Answering regular path queries in expressive Description Logics via alternating tree-automata (2014) (41)
Nested Regular Path Queries in Description Logics (2014) (41)
Automatic Composition of Web Services in Colombo (2005) (40)
Capturing Relational Schemas and Functional Dependencies in RDFS (2014) (40)
Conceptual Modeling for Data Integration (2009) (39)
View-based query containment (2003) (38)
Concept based design of data warehouses: the DWQ demonstrators (2000) (37)
An Automata-Theoretic Approach to Regular XPath (2009) (37)
Survey on methods for query rewriting and query answering using views (2001) (36)
View-based query answering in Description Logics: Semantics and complexity (2012) (36)
MASTRO-I: Efficient Integration of Relational Data through DL Ontologies (2007) (36)
Managing Change in Graph-Structured Data Using Description Logics (2014) (35)
Ontology-Based Governance of Data-Aware Processes (2012) (35)
A Logic-Based Approach for Matching User Profiles (2004) (34)
e-Service Composition by Description Logics Based Reasoning (2003) (34)
Data Complexity of Answering Unions of Conjunctive Queries in SHIQ (2006) (34)
Dependencies: Making Ontology Based Data Access work in practice (2011) (34)
Introducing Datatypes in DL-Lite (2012) (34)
Quest: Effcient SPARQL-to-SQL for RDF and OWL (2012) (34)
First-order μ-calculus over generic transition systems and applications to the situation calculus (2018) (33)
Enterprise modeling and Data Warehousing in Telecom Italia (2006) (33)
ComposingWeb Services with Nondeterministic Behavior (2006) (33)
Lite Natural Language (2006) (32)
IBIS: Semantic Data Integration at Work (2003) (32)
Artifact-Centric Workflow Dominance (2009) (32)
Using OWL in Data Integration (2009) (32)
What is Query Rewriting? (2000) (32)
Query Processing under GLAV Mappings for Relational and Graph Databases (2012) (32)
Full Satisfiability of UML Class Diagrams (2010) (31)
Keys for Free in Description Logics (2000) (31)
Evaluating SPARQL-to-SQL Translation in Ontop (2013) (31)
SMT-based verification of data-aware processes: a model-theoretic approach (2020) (30)
Optique: OBDA Solution for Big Data (2013) (30)
Efficient Handling of SPARQL OPTIONAL for OBDA (2018) (30)
2ATAs make DLs easy (2002) (30)
Reasoning about actions for e-service composition (2003) (30)
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151) (2017) (29)
View-Based Query Answering over Description Logic Ontologies (2008) (29)
Dynamic Query Optimization under Access Limitations and Dependencies (2009) (28)
Reasoning on UML Class Diagrams in Description Logics (2001) (28)
Web-based graphical querying of databases through an ontology: the Wonder system (2010) (28)
Exchanging Description Logic Knowledge Bases (2012) (27)
Modeling and Querying Semi-Structured data (1999) (27)
From Model Completeness to Verification of Data Aware Processes (2019) (27)
On the Role of Integrity Constraints in Data Integration (2002) (27)
Ontology-Based Integration of Cross-Linked Datasets (2015) (26)
Actions and Programs over Description Logic Ontologies (2007) (26)
A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases (1998) (25)
Data Integration throughDL-LiteA Ontologies (2008) (25)
Ontology-Based Data Access and Integration (2018) (25)
Description logics: foundations for class-based knowledge representation (2002) (25)
Epistemic First-order Queries over Description Logic Knowledge Bases (2006) (25)
Reasoning on UML Class Diagrams is EXPTIME-hard (2003) (25)
Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version) (2013) (25)
Soundness of data-aware, case-centric processes (2016) (24)
Semantic Integration of Bosch Manufacturing Data Using Virtual Knowledge Graphs (2020) (24)
Automatic Composition of Process-based Web Services: a Challenge (2005) (23)
Knowledge Base Exchange (2016) (23)
Verifiable UML Artifact-Centric Business Process Models (2014) (23)
Node Selection Query Languages for Trees (2010) (23)
OWLlink: DIG for OWL 2 (2008) (23)
OBDA for Log Extraction in Process Mining (2017) (23)
Model Completeness, Covers and Superposition (2019) (23)
Actions and Programs over Description Logic Knowledge Bases: A Functional Approach (2011) (22)
Anwering Recursive Queries under Keys and Foreign Keys is Undecidable (2003) (22)
An Automata-Theoretic Approach to (2009) (22)
Expressive Approximations in DL-Lite Ontologies (2010) (21)
Research Directions for Principles of Data Management (Abridged) (2017) (21)
Semi-structured Data with Constraints and Incomplete Information (1998) (20)
Beyond OWL 2 QL in OBDA: Rewritings and Approximations (2015) (20)
Expressivity and Complexity of MongoDB Queries (2018) (20)
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures (2017) (20)
State-Boundedness in Data-Aware Dynamic Systems (2014) (20)
Dependencies to Optimize Ontology Based Data Access (2011) (19)
Regular XPath: Constraints, Query Containment and View-Based Answering for XML Documents (2008) (19)
Plan Synthesis for Knowledge and Action Bases (2016) (19)
Semantic DMN: Formalizing Decision Models with Domain Knowledge (2017) (19)
Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support (1999) (18)
Updating RDFS ABoxes and TBoxes in SPARQL (2014) (18)
Explanation in DL-Lite (2008) (18)
A semantic approach to polystores (2016) (18)
Containment of Regular Path Queries under Description Logic Constraints (2011) (18)
Logics for Databases and Infor-mation Systems (1998) (18)
Query Reformulation over Ontology-based Peers (2004) (17)
Rules and Ontology Based Data Access (2014) (17)
Automatic web service composition: Service-tailored vs. client-tailored approaches. (2006) (17)
Verification of Description Logic Knowledge and Action Bases (2012) (17)
Verification of Relational Multiagent Systems with Data Types (2014) (15)
Simplifying schema mappings (2011) (15)
The NPD Benchmark for OBDA Systems (2014) (15)
Description Logics for Conceptual Data Modeling in UML (2003) (15)
What is View-Based Query Rewriting? (2000) (15)
Efficient Ontology-Based Data Integration with Canonical IRIs (2018) (15)
Evolving Graph Databases under Description Logic Constraints (2013) (14)
VIG: Data scaling for OBDA benchmarks (2019) (14)
Updating ABoxes in DL-Lite (2010) (14)
Exchanging OWL 2 QL Knowledge Bases (2013) (14)
Can OWL Model Football Leagues? (2007) (13)
Combined Covers and Beth Definability (2019) (13)
Modeling Data & Processes for Service Specifications in Colombo (2005) (13)
Explanation in the DL-LiteFamily of Description Logics (2008) (13)
A Formal Presentation of MongoDB (Extended Version) (2016) (13)
Verification of Data-Aware Processes via Array-Based Systems (Extended Version) (2018) (13)
Verification of Evolving Graph-structured Data under Expressive Path Constraints (2016) (13)
Cost-Driven Ontology-Based Data Access (2017) (13)
ESC : A Tool for Automatic Composition of e-Services Based on Logics of Programs (2004) (13)
Data complexity of answering conjunctive queries over SHIQ knowledge bases (2005) (13)
Optimized Querying of Integrated Data over the Web (2002) (13)
Enriching Ontology-based Data Access with Provenance (2019) (13)
Complexity of Reasoning in Entity Relationship Models (2007) (13)
A Generalized Framework for Ontology-Based Data Access (2018) (13)
Dependencies: Making Ontology Based Data Access Work (2011) (12)
Ontology–based access to temporal data with Ontop: A framework proposal (2019) (12)
The Optique Project: Towards OBDA Systems for Industry (Short Paper) (2013) (12)
Verification of Conjunctive-Query Based Semantic Artifacts (2011) (12)
The Complexity of Explaining Negative Query Answers in DL-Lite (2012) (12)
On Rewriting, Answering Queries in OBDA Systems for Big Data (Short Paper) (2013) (12)
A ‘historical case’ of Ontology-Based Data Access (2015) (12)
: A Tool for Automatic Composition ofServices Based on Logics of Programs (2004) (11)
INODE: Building an End-to-End Data Exploration System in Practice [Extended Vision] (2021) (11)
Queries and Constraints on Semi-structured Data (1999) (11)
Ontop-temporal: A Tool for Ontology-based Query Answering over Temporal Data (2018) (11)
A Framework Uniting Ontology-Based Geodata Integration and Geovisual Analytics (2020) (11)
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (2015) (11)
Verification of Inconsistency-Aware Knowledge and Action Bases (2013) (10)
Process Fragment Recognition in Clinical Documents (2013) (10)
Verification of Semantically-Enhanced Artifact Systems (2013) (10)
Conceptual Schema Transformation in Ontology-based Data Access (2018) (10)
Towards an Open Framework for Ontology Based Data Access with Protégé and DIG 1.1 (2008) (10)
NGS: a framework for multi-domain query answering (2008) (10)
Query Rewriting in DL-Lite_^(HN)_horn (2010) (10)
Data management in peer-to-peer data integration systems (2012) (10)
Handling Inconsistencies Due to Class Disjointness in SPARQL Updates (2016) (10)
LAURIN: A Distributed Digital Library of Newspaper Clippings (2000) (10)
Ontology-based data access - Beyond relational sources (2019) (9)
How to Stay Ontop of Your Data: Databases, Ontologies and More (2015) (9)
OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL (2012) (9)
Model Completeness, Uniform Interpolants and Superposition Calculus (2021) (9)
Updating TBoxes in DL-Lite (2010) (9)
Representability in DL-Lite_R Knowledge Base Exchange (2012) (9)
Query Answering Using Views for Data Integration over the Web (1999) (9)
Towards a Comprehensive Methodological Framework for Semantic Integration of Heterogeneous Data Sources ∗ (2001) (8)
On simplification of schema mappings (2013) (8)
OBDA with the Ontop Framework (2015) (8)
Expressing DL-Lite Ontologies with Controlled English (2007) (8)
Implementing Data-Centric Dynamic Systems over a Relational DBMS (2015) (8)
Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures (2014) (8)
On expansion and contraction of DL-Lite knowledge bases (2019) (8)
Research Directions for Principles of Data Management (2018) (8)
Counting Query Answers over a DL-Lite Knowledge Base (2020) (8)
Optimization of Query Plans in the presence of Access Limitations (2007) (8)
What is View-Based Query Rewriting? (Position Paper) In Proc. of WS on Knowledge Representation Meets Databases (KRDB 2000) (2000) (8)
Knowledge Representation Approach to Information Integration (2011) (8)
Multilingual Search in Libraries. The case-study of the Free University of Bozen-Bolzano (2006) (8)
Quantifier Elimination for Database Driven Verification (2018) (8)
Verifiable UML Artifact-Centric Business Process Models (Extended Version) (2014) (8)
Veriﬁcation of Data-Aware Processes: Challenges and Opportunities for Automated Reasoning (2019) (8)
Building a digital library of newspaper clippings: the LAURIN project (2000) (7)
Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007 (2007) (7)
A Practical Automata-Based Technique for Reasoning in Expressive Description Logics (2011) (7)
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge (2018) (7)
Data warehouse architecture and quality model (1997) (7)
The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access (2017) (7)
Semantic Index : Scalable Query Answering without Forward Chaining or Exponential Rewritings (2011) (7)
Adding Weight to DL-Lite (2009) (7)
Accessing scientific data through knowledge graphs with Ontop (2021) (7)
Enriching Data Models with Behavioral Constraints (2019) (6)
Towards Data- and Norm-Aware Multiagent Systems (2016) (6)
Towards Practical OBDA with Temporal Ontologies - (Position Paper) (2016) (6)
A Proof Theory for DL-Lite (2007) (6)
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces (2022) (6)
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis (2015) (6)
Semistructured data schemas with expressive constraints (2000) (6)
Consistency assessment for open geodata integration: an ontology-based approach (2019) (6)
English Querying over Ontologies: E-QuOnto (2007) (6)
AI-augmented Business Process Management Systems: A Research Manifesto (2022) (6)
Checking Full Satisfiability of Conceptual Models (2010) (6)
On First-Order μ-Calculus over Situation Calculus Action Theories (2016) (6)
Designing Efficient Controlled Languages for Ontologies (2014) (6)
The MASTRO system for ontology-based data (2011) (6)
Synthesis of Composite e-Services based on Automated Reasoning (2004) (5)
Controlled Aggregate Tree Shaped Questions over Ontologies (2009) (5)
IBIS: Data Integration at Work (2002) (5)
Towards Implementing Finite Model Reasoning in Description Logics (2004) (5)
Mapping Patterns for Virtual Knowledge Graphs (2020) (5)
Verification of Context-Sensitive Knowledge and Action Bases (2014) (5)
Modeling and In-Database Management of Relational, Data-Aware Processes (2018) (5)
The VERICLIG Project: Extraction of Computer Interpretable Guidelines via Syntactic and Semantic Annotation (2013) (5)
The Data Complexity of the Syllogistic Fragments of English (2009) (5)
Logical fondation of P2P data integration (2004) (5)
Fast and Simple Data Scaling for OBDA Benchmarks (2016) (4)
Complexity of Reasoning over Entity-Relationship Models (2007) (4)
The Complexity of Conjunctive Query Abduction in DL-Lite (2011) (4)
Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases (2019) (4)
Data and Norm-aware Multiagent Systems for Software Modularization (2016) (4)
Optimizing Ontology-Based Data Access (2013) (4)
Towards the next generation of the LinkedGeoData project using virtual knowledge graphs (2021) (4)
Dealing with Inconsistencies due to Class Disjointness in SPARQL Update (2015) (4)
Expressivity and Complexity of MongoDB (Extended Version) (2016) (4)
Combined Covers and Beth Definability (Extended Version) (2019) (4)
First-Order Ontology Mediated Database Querying via Query Reformulation (2018) (4)
An Extension of DIG 2.0 for Handling Bulk Data (2007) (4)
Counting Query Answers over a DL-Lite Knowledge Base (extended version) (2020) (4)
Process Mining with Common Sense (2021) (4)
ADaMaP: Automatic Alignment of Relational Data Sources using Mapping Patterns (Abstract) (2021) (4)
Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (2019) (4)
Extending Semi-Structured Data (1998) (3)
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version) (2019) (3)
Controlled English Ontology-Based Data Access (2009) (3)
Shape and Content: Incorporating Domain Knowledge into Shape Analysis (2013) (3)
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (2012) (3)
Editorial for Special Issue of Journal of Big Data Research on "Big Data Meets Knowledge Graphs" (2021) (3)
Containment of Conjunctive Queries under Access Limitations (2006) (3)
Optimising Query Answering in the Presence of Access Limitations (Position Paper) (2006) (3)
Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN (2019) (3)
Efficiently Managing Data Intensive Ontologies (2005) (3)
Ontologies and Description Logics (2006) (3)
Best Service Synthesis in the Weighted Roman Model (2012) (3)
Formalisms for Representing Ontologies : State of the Art Survey Deliverable TONES-D 06 (2006) (3)
Exploring Controlled English Ontology-Based Data Access (2009) (3)
Nested Regular Path Queries in Description Logics (Extended Abstract) (2014) (3)
Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems (2014) (3)
Combination of Uniform Interpolants via Beth Definability (2022) (3)
Proceedings of the 9th International Conference on Database Theory (2003) (3)
Using the CIM Conceptualization in Autonomic System Management : the System Management Ontology Project (2003) (3)
Towards Automatic Web Service Discovery and Composition in a Context with Semantics , Messages , and Internal Process Flow ( A Position Paper ) (2005) (3)
OBDA Over Non-Relational Databases (2016) (3)
View Synthesis from Schema Mappings (2010) (3)
The multilingual thesaurus of LAURIN (2002) (3)
Serving Bosch Production Data as Virtual KGs (2020) (2)
Full Satisability of UML Class Diagrams (2009) (2)
QuOnto: Querying Ontologies (demo report). (2005) (2)
Data Scaling in OBDA Benchmarks: The VIG Approach (2016) (2)
Rewrite and Conquer: Dealing with Integrity Constraints in Data Integration (2013) (2)
Interview with Diego Calvanese (2020) (2)
Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211) (2013) (2)
Answering Queries in Description Logics: Theory and Applications to Data Management (2010) (2)
Discovering Functional Dependencies from Ontologies (2009) (2)
Rewriting Count Queries over DL-Lite TBoxes with Number Restrictions (2020) (2)
Semantically-Governed Data-Aware Processes (2012) (2)
Tractability and Intractability of Controlled Languages for Data Access (2012) (2)
Database Theory — ICDT 2003 (2002) (2)
A Scalable Benchmark for OBDA Systems: Preliminary Report (2014) (2)
Common Framework for Representing Ontologies Deliverable TONES-D 08 (2006) (2)
Representing and Reasoning on SGML Documents (1997) (2)
Towards a Comprehensive Framework for Semantic Integration of Highly Heterogeneous Data Sources (2002) (2)
8 DESCRIPTION LOGICS FOR CONCEPTUAL DATA MODELING (2)
Development of Ontologies for the Semantic Web: An Overview In Proc. of the 40th Annual Conference of the Italian Computing Association (AICA 2002) (2002) (2)
Local constraint in semistructured data schemas (2000) (2)
Reasoning for Ontology Engineering and Usage Part 4: Integrating Data into Ontologies (2008) (2)
Virtual OBDA over Expressive Ontologies: Rewritings and Approximations (2016) (2)
Keys for Free in Description Logics In Proc. of 2000 Int. Workshop on Description Logics (DL 2000) (2000) (2)
Inconsistency Tolerance in OWL 2 QL Knowledge and Action Bases (2012) (2)
Towards a Comprehensive Methodological Framework for Integration (2001) (2)
Digital Libraries on the Move (2015) (2)
Data integration in p2p systems (2004) (2)
Representing SGML Documents in Description Logics (1996) (2)
ADaMaP: Automatic Alignment of Data Sources using Mapping Patterns (2020) (2)
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results) (2021) (2)
The biggest business process management problems to solve before we die (2023) (2)
Strumenti di ausilio alla modellazione dei dati nella progettazione di Data Warehouse (1998) (1)
Special issue of the Journal of Web Semantics on ontology-based data access (2015) (1)
Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (2015) (1)
Automated Activity Recognition in Clinical Documents (2013) (1)
Increasing the Power of Structured Objects (1995) (1)
Computing Solutions in OWL 2 QL Knowledge Exchange (2013) (1)
Efficient Handling of SPARQL OPTIONAL for OBDA (Extended Version) (2018) (1)
Reasoning on UML Class Diagrams inDes ription Logi (1)
Containment of Conjunctive Queries under Access Limitations ( extended abstract ) (2006) (1)
Inconsistency Management in Generalized Knowledge and Action Bases (2015) (1)
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version) (2021) (1)
Data Integration under Integrity Constraints in Data Integration (2013) (1)
Abstracting Ontology-Driven Conceptual Models: Objects, Aspects, Events, and Their Parts (2022) (1)
Full Satisfiability of UML Class Diagrams ( Extended Abstract ) (2009) (1)
Query Answering in Expressive Variants of DL-Lite (2007) (1)
Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach (2005) (1)
A Foundational Framework for e-Services (2003) (1)
Query Answering over Description Logic Ontologies (2014) (1)
IBIS : Data Integration at Work ( extended abstract ) (2007) (1)
Extending DL-Lite_A with (Singleton) Nominals (2013) (1)
Reasoning on UML Class Diagrams usingDes ription Logi Based (2001) (1)
Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis (2013) (1)
Semantic Technologies for Data Access and Integration (2018) (1)
Modelling and Enactment of Data-aware Processes (2018) (1)
State of the Art Survey Deliverable D 01 (2005) (1)
Knowledge Representation and Ontologies (2012) (1)
Adding Context to Knowledge and Action Bases (2014) (1)
Regular Open APIs (2016) (1)
A I ] 2 3 A pr 2 01 3 Verification of Inconsistency-Aware Knowledge and Action Bases ( Extended Version ) ∗ (2013) (1)
Gene Expression Landscape of Chronic Myeloid Leukemia K562 Cells Overexpressing the Tumor Suppressor Gene PTPRG (2022) (1)
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, SEBD 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy, June 19-22, 2005 (2005) (1)
Metric Temporal Logic for Ontology-Based Data Access over Log Data (2017) (1)
A systematic overview of data federation systems (2022) (1)
Knowledge Representation and Ontologies Part 4: Ontology Based Data Access (2012) (1)
Ontology and Database Systems: Knowledge Representation and Ontologies Part 3: Query Answering in Databases and Ontologies (2012) (1)
Query Containment Using Views (2003) (1)
Leveraging Relational Technology for Data-Centric Dynamic Systems (2015) (1)
The Virtual Knowledge Graph System Ontop (Extended Abstract) (2020) (1)
Towards Pragmatic Explanations for Domain Ontologies (2022) (1)
Keys for Free in Des ription Logi sDiego (2000) (1)
Verification of Semantically-Enhanced Artifact Systems (Extended Version) (2013) (1)
Representing and Querying Norm States Using Temporal Ontology-Based Data Access (2019) (1)
Knowledge Representation and Ontologies Part 5: Reasoning in the DL-Lite Family (2012) (1)
Containment of Conjun tive Regular Path Queries with Inverse To appear in Pro eedings of KR 2000 (2000) (1)
Software Tools for Ontology Design and Maintenance Deliverable TONES-D 15 (2007) (1)
On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies (2015) (1)
O Ontology-Based Data Access and Integration (2017) (1)
Enriching Ontology-based Data Access with Provenance (Extended Version) (2019) (1)
Accessing Data Integration Systems through Conceptual Schemas ? ( extended abstract ) (2001) (1)
Forthcoming Papers (2002) (1)
DL-Lite without UNA (2009) (1)
Knowledge-based access to the Web (1996) (1)
Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (Extended Abstract) (2022) (1)
Cost-Driven Ontology-Based Data Access (Extended Version) (2017) (1)
Formalizing MongoDB Queries (2017) (1)
Reasoning on UML Class (2003) (1)
The Description Logic Handbook: Bibliography (2007) (0)
Ontology-based Data Federation (Extended Abstract) (2022) (0)
Modeling and Verifying Relational Multiagent Systems with Data Types ? (2015) (0)
Data Intelligence 203 Virtual Knowledge Graphs : An Overview of Systems and Use Cases (2019) (0)
View-based Query Processing for Semistructured Data (2003) (0)
Ontology-Based Data Access: From Theory to Practice (2012) (0)
Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems (2008) (0)
The Description Logic Handbook: Preface (2007) (0)
e-Service Composition by DL-based Reasoning (0)
I ¨ I Infsys R R A R P Q  E D L  A T-a (2009) (0)
Tasks for Ontology Access , Processing , and Usage Deliverable TONES-D 10 (2006) (0)
Chapter 17 Using OWL in Data Integration (2009) (0)
Fixpoint Node Selection Query Languages for Trees (2015) (0)
¾¾ì× Ñññ Ä× ×ý (2002) (0)
Ontology of integration andintegration of ontologiesDiego Calvanese (2001) (0)
Data Integration in Data Warehousing (2001) (0)
Soundness of data-aware, case-centric processes (2016) (0)
Session details: RDF and ontologies (2013) (0)
Database theory - ICDT 2003 : 9th International Conference, Siena, Italy, January 8-10, 2003 : proceedings (2003) (0)
A New Generation Search Engine Supporting Cross Domain Queries (2008) (0)
INODE (2022) (0)
Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019) (2020) (0)
Enterprise modeling and Data Warehousing in T I (2006) (0)
Extracting Event Data from Document-Driven Enterprise Systems (2022) (0)
Methodology and Tools to Reconcile Data (2001) (0)
Formalization and Complexity of MongoDB Queries (Extended Abstract) (2018) (0)
Ontology and Database Systems: Ontology-based Systems (2014) (0)
Computing Solutions in OWL 2 QL Knowledge Base Exchange (2013) (0)
Data Complexity of Query Answering in Expressive Description Logics with Nominals Data Complexity of Query Answering in Expressive Description Logics with Nominals (2006) (0)
Realizing Ontology-based Reusable Interfaces for Data Access via Virtual Knowledge Graphs (2021) (0)
AI’s many roads to a more sustainable future: Sustainable AI at unibz (2022) (0)
Querying Structured Data with Lite Natural Language (2008) (0)
Abstracting Ontology-Driven Conceptual Models (2022) (0)
A Virtual Knowledge Graph Based Approach for Object-Centric Event Logs Extraction (2022) (0)
Ontology-based Data Federation (2022) (0)
Conceptually-grounded Mapping Patterns for Virtual Knowledge Graphs (2023) (0)
Planning and Change in Graph Structured Data under Description Logics Constraints (2014) (0)
8 DESCRIPTION LOGICS FOR CONCEPTUAL DATA MODELING Diego Calvanese , Maurizio Lenzerini , and Daniele Nardi (2008) (0)
Ëøöù Blockinøùö Ç Ø× Åóðò Ò Êê×óòòò (1995) (0)
Manifesto from Dagstuhl Perspectives Workshop 16151 Research Directions for Principles of Data Management (2018) (0)
Accessing Data through Ontologies under Access Limitations : State of the Art (2007) (0)
Éùùöý Ò×ûööòò Í××òò Îîîû× Óö Øø Áòøøøööøøóò Óúö Øøø Ï Áò Èöó Blockinº Óó ¾òò Áòøº Ïóöö××óô Óò Øøø Ï Òò Øøøø×××´ï³³³µ (2007) (0)
Semistructured Data Schemas with Expressive Constraints In Proc. of WS on Knowledge Representation Meets Databases (KRDB 2000) (2000) (0)
Query Containment Using Views ( extended abstract ) ? (0)
Centre Technical Report : Explanation in DL-Lite ? (2008) (0)
Semantic Web 0 (0) 1 (0)
Query Reformulation over Ontology-based Peers ( Extended Abstract ) ? (2004) (0)
Circumscribing DL-Lite (2012) (0)
Synthesizing and Executing Plans in Knowledge and Action Bases (2016) (0)
Principles of Data Management (Abridged) (2017) (0)
Verification of Fixed-Topology Declarative Distributed Systems with External Data (2018) (0)
Preface: Lecture Notes in Computer Science (2017) (0)
An Evaluation of VIG with the BSBM Benchmark (2016) (0)
Libros recientes de pensamiento (2003) (0)
Automated Reasoning on Conceptual Schemas (2013) (0)
Êêê×óòòòò Ò Üôöö×××ú × Blockinööôøøóò Äóóó Blockin× Ó Ðúòò×× Ù××ôô Óñó Òòòðð Aeaeööö Ååùööþþó Ääòþþööòò Ëë Blockinóòò Öööööö× Òöö Blockinó Ööò Blockinóòò¸ááò Àóööó Blockin×¸åååöøøò Êêêê¸òò Íðööö Ëëøøððöº (2007) (0)
polystoresへの意味論的アプローチ【Powered by NICT】 (2016) (0)
Èåå ³¼½ (2001) (0)
Enhancing a hybrid tableaux algorithm (2009) (0)
Towards Implementing Finite Model Reasoning in (2004) (0)
Äó××ðð×× Êêêùððö Îîîû× (2007) (0)
Expressivity and Complexity of MongoDB Queries (Extended Version) (2020) (0)
Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings (2008) (0)
D B ] 1 4 N ov 2 01 8 FIXPOINT NODE SELECTION QUERY LANGUAGES FOR TREES (2018) (0)
Semantic Technologies in the Public Administration: Data and Process Management at unibz (2022) (0)
Verification of Human Driven Data-Centric Dynamic Systems (2014) (0)
Expressive Identification Constraints to Capture Functional Dependencies in Description Logics (2014) (0)
Tractability and Intractability of Controlled Languages for Data Access (2012) (0)
Combination of Uniform Interpolants via Beth Definability (2022) (0)
Optimizing Query Planning with Limited Source Capabilities in the Presence of Inclusion and Functional Dependencies (2001) (0)
Introduction to ontology-based access to information (2008) (0)
Ontology and Database Systems: Ontology-based Systems Part 3: Query Answering in Databases and Ontologies (2014) (0)
The What-To-Ask Problem for Ontology-Based Peers (2019) (0)
VeriCliG: Extraction and Verification of Clinical Guidelines via Syntactic and Semantic Annotation (2013) (0)
VeriCliG : Extraction and Verification of Clinical Guidelines Project Report for 2012 (2014) (0)
Planning Problems for Graph Structured Data in Description Logics (2014) (0)
On the Expressiveness and Complexity of MongoDB (2016) (0)
Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings (2019) (0)
Building a Digital Library of Newspaper Clippings (2000) (0)
Model Completeness, Covers and Superposition (Abridged Version) (2019) (0)
R 2 RML APIOWL-API ( OWL Parser ) Sesame API ( SPARQL Parser ) JDBC (2015) (0)
Convergence Verification of Declarative Distributed Systems (2021) (0)
Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003 (2003) (0)
Verification of Generic, Relational Transition Systems (2022) (0)
Report on PODS 2015 (2015) (0)
Data Integration (2014) (0)
Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002), Toulouse France, April 21, 2002 (2002) (0)
2 Meyer ’ s forces : Processor , Action and Object (2016) (0)
Mapping Patterns for Virtual Knowledge Graphs (A Report on Ongoing Research) (2020) (0)
Chapter 6 Scalable End-user Access to Big Data (2013) (0)
N ov 2 01 4 Verification of Relational Multiagent Systems with Data Types ( Extended Version ) (2014) (0)
SMO System Management Ontology Description Logic Formalization of CIM (2001) (0)
Web Reasoning and Rule Systems (2008) (0)
SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment (2014) (0)
Rewriting of Regular Path Queries (1999) (0)
Evolution of OWL 2 QL Knowledge Bases: From Inexpressibility to Practical Approaches (2019) (0)
Description Logic Formalization of CIM (2001) (0)
Digital Libraries on the Move: 11th Italian Research Conference on Digital Libraries, IRCDL 2015, Bolzano, Italy, January 29-30, 2015, Revised (2016) (0)
New Trends in Databases and Information Systems: Contributions from ADBIS 2017 Workshops (2017) (0)
Explaining Query Answers in Lightweight Ontologies: The DL−Lite Case (2011) (0)

This paper list is powered by the following services:

Other Resources About Diego Calvanese

What Schools Are Affiliated With Diego Calvanese?

Diego Calvanese is affiliated with the following schools: