]> 2012-05-29T10:10:46-04:00 Maurizio Lenzerini Maurizio Maurizio Lenzerini Lenzerini Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, SEBD 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy, June 19-22, 2005 Database Theory - ICDT 2003, 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), Rome, Italy, September 15, 2001 AI*IA 97: Advances in Artificial Intelligence, 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings A Framework for Ontology Integration DBLP:conf/semweb/CalvaneseGL01a INCOD: A System for Conceptual Design of Data and Transactions in the Entity-Relationship Model Type data bases with incomplete information ODBASE 2006 International Conference (Ontologies, DataBases, and Applications of Semantics) PC Co-chairs' Message Conjunctive Query Containment and Answering under Description Logics Constraints On the Decidability of Query Containment under Constraints QuOnto: Querying Ontologies The Complexity of Closed World Reasoning and Circumscription Answering Queries Using Views over Description Logics Knowledge Bases What can Knowledge Representation do for Semi-Structured Data? DL-Lite: Tractable Description Logics for Ontologies IBIS: Data Integration at Work Boosting the Correspondence between Description Logics and Propositional Dynamic Logics On the Update of Description Logic Ontologies at the Instance Level Concept Languages as Query Languages On the Approximation of Instance Level Update and Erasure in Description Logics Identification Constraints and Functional Dependencies in Description Logics Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees Tractable Concept Languages What's in an Aggregate: Foundations for Description Logics with Tuples and Sets TermLog: a Logic for Terminological Knowledge Adding Epistemic Operators to Concept Languages EQL-Lite: Effective First-Order Query Processing in Description Logics Structured Objects: Modeling and Reasoning Answering Queries Using Views in Description Logics Containment of Conjunctive Regular Path Queries with Inverse The INFOMIX system for advanced integration of incomplete and inconsistent data Concept Based Design of Data Warehouses: The DWQ Demonstrators Class Hierarchies and Their Complexity Data Integration and Warehousing in Telecom Italia Formal Treatment of Incomplete Information in Type Data Bases A Deductive Method for Entity-Relationship Modeling Concept Description Language for Statistical Data Modeling AL-log: Integrating Datalog and Description Logics Representing and Using Interschema Knowledge in Cooperative Information Systems On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata Description Logics and Their Relationships with Databases Extending Semi-Structured Data EQL-Lite: Effictive First-Order Query Processing in Description Logics AL-log: Integration Datalog and Description Logics Automatic Service Composition Based on Behavioral Descriptions Covering and Disjointness Constraints in Type Networks Path-Based Identification Constraints in Description Logics View-Based Query Answering over Description Logic Ontologies Conjunctive query containment and answering under description logic constraints Automatic Service Composition and Synthesis: the Roman Model Inconsistency tolerance in P2P data integration: An epistemic logic approach Linking Data to Ontologies Actions and Programs over Description Logic Ontologies MASTRO-I: Efficient Integration of Relational Data through DL Ontologies Can OWL Model Football Leagues? Ontology-based Database Access View-based query processing: On the relationship between rewriting, answering and losslessness Epistemic First-order Queries over Description Logic Knowledge Bases Data Complexity of Query Answering in Description Logics Linking Data to Ontologies: The Description Logic DL-Lite A Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness Efficiently Managing Data Intensive Ontologies DL-Lite: Practical Reasoning for Rich Dls Hyper: A Framework for Peer-to-Peer Data Integration on Grids What to Ask to a Peer: Ontolgoy-based Query Reformulation Logical Foundations of Peer-To-Peer Data Integration Query Reformulation over Ontology-based Peers A Tool for Automatic Composition ofServices Based on Logics of Programs Data integration under integrity constraints IBIS: Semantic Data Integration at Work Semantic Data Integration in P2P Systems E-Service Composition by Description Logics Based Reasoning Automatic Composition of E-services That Export Their Behavior View-based query containment Query Containment Using Views A Foundational Vision of e-Services Reasoning on regular path queries Data Integration under Integrity Constraints Description Logics for Information Integration On the Expressive Power of Data Integration Systems A Formal Framework for Reasoning on UML Class Diagrams Description Logics: Foundations for Class-based Knowledge Representation Lossless Regular Views Accessing Data Integration Systems through Conceptual Schemas The multilingual thesaurus of LAURIN On the Role of Integrity Constraints in Data Integration Rewriting of Regular Expressions and Regular Path Queries View-Based Query Answering and Query Containment over Semistructured Data Ontology of Integration and Integration of Ontologies Reasoning in Expressive Description Logics Data Integration in Data Warehousing What is Query Rewriting? Keys for Free in Description Logics Answering Regular Path Queries Using Views What is View-Based Query Rewriting? Semistructured data schemas with expressive constraints View-Based Query Processing and Constraint Satisfaction View-Based Query Processing for Regular Path Queries with Inverse Local constraint in semistructured data schemas Queries and Constraints on Semi-structured Data A Principled Approach to Data Integration and Reconciliation in Data Warehousing Rewriting of Regular Path Queries Query Answering Using Views for Data Integration over the Web Unifying Class-Based Representation Formalisms Representing and Reasoning on XML Documents: A Description Logic Approach Modeling and Querying Semi-Structured data Information Integration: Conceptual Modeling and Reasoning Support Source Integration in Data Warehousing Semi-structured Data with Constraints and Incomplete Information Description Logic Framework for Information Integration Description Logics for Conceptual Data Modeling Conjunctive Query Containment in Description Logics with n-ary Relations Representing and Reasoning on SGML Documents Representing SGML Documents in Description Logics Increasing the Power of Structured Objects On the Interaction Between ISA and Cardinality Constraints A Unified Framework for Class-Based Representation Formalisms Making Object-Oriented Schemas More Expressive Towards Higher-Order DL-Lite Database theory column: report on PODS 2008 On reconciling data exchange, data integration, and peer data management Data Integration: a Challenging ASP Application Tailoring OWL for Data Intensive Ontologies Logical Foundations for Data Integration Models for semantic interoperability in service-oriented architectures Ontologies for Interoperability Principles of P2P Data Integration Quality-aware data Integration in Peer-to-Peer Systems Tackling Inconsistencies in Data Integration through Source Preferences Description Logics for Databases Source Integration for Data Warehousing Incompleteness and inconsistency in information integration Source inconsistency and incompleteness in data integration Data Integration: A Theoretical Perspective Integrating Inconsistent and Incomplete Data Sources Data Integration Is Harder than You Thought Data Integration Needs Reasoning Introduction to the special issue on data extraction, cleaning, and reconciliation Report on the 8th International Workshop on Knowledge Representation Meets Databases (KRDB) LOCAL++: A C++ framework for local search algorithms LOCAL++: A C++ Framework for Local Search Algorithms Description Logics and their Applications OLAP and Data Warehousing in Statistical Databases (Panel) An Epistemic Operator for Description Logics Datalog and Description Logics: Expressive Power A Uniform Framework for Concept Definitions in Description Logics The Complexity of Concept Languages TBox and ABox Reasoning in Expressive Description Logics Datalog and Description Logics: Expressive Power - Preliminary Report PDL-based framework for reasoning about actions Conceptual Language for Statistical Data Modeling Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations Description Logics for Schema Level Reasoning in Databases (Abstract) The Complexity of Propositional Closed World Reasoning and Circumscription Deduction in Concept Languages: From Subsumption to Instance Checking Interschema Knowledge in Cooperative Information Systems Deductive Entity-Relationship Modeling Queries, Rules and Definitions as Epistemic Sentences in Concept Languages The Complexity of Existential Quantification in Concept Languages A Hybrid System with Datalog and Concept Languages The Complexity of Concept Languages (Extended Abstract) Querying Concept-based Knowledge Bases An Efficient Method for Hybrid Deduction On the satisfiability of dependency constraints in entity-relationship schemata Belief Revision as Meta-Reasoning Object Modeling Based on Logic A Comparative Analysis of Methodologies for Database Schema Integration SERM: Semantic Entity-Relationship Model A Methodology for Data Schema Integration in the Entity Relationship Model A Methodology for Data Schema Integration in the Entity-Relationship Model Cardinality Constraints in the Entity-Relationship Model INCOD-DTE: A System for Interative Conceptual Design of Data, Transactions and Events Views Integration A computer-aided methodology for conceptual data-base design Has author Has editor Has identifier Foaf:surname Foaf:name Foaf:firstName Anonymous.png Foaf:depiction Person