]> 2012-05-29T10:03:55-04:00 Diego Calvanese Diego Diego Calvanese Calvanese Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, SEBD 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy, June 19-22, 2005 Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003 Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002), Toulouse France, April 21, 2002 Database Theory - ICDT 2003, 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings A Framework for Ontology Integration DBLP:conf/semweb/CalvaneseGL01a Conjunctive Query Containment and Answering under Description Logics Constraints On the Decidability of Query Containment under Constraints QuOnto: Querying Ontologies 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 A Description Logic Based Approach for Matching User Profiles Reasoning about Actions and Planning in LTL Action Theories Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics DL-Lite in the Light of First-Order Logic Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach Identification Constraints and Functional Dependencies in Description Logics Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees OWLlink: DIG for OWL 2 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 Concept Based Design of Data Warehouses: The DWQ Demonstrators Automatic Composition of Transition-based Semantic Web Services with Messaging Extending Semi-Structured Data EQL-Lite: Effictive First-Order Query Processing in Description Logics Expressing DL-Lite Ontologies with Controlled English Relationships with other Formalisms Complexity of Reasoning in Entity Relationship Models Reasoning over Extended ER Models Query Answering in Expressive Variants of DL-Lite Automatic Service Composition Based on Behavioral Descriptions Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support Explanation in DL-Lite NGS: a framework for multi-domain query answering Realizing Ontology Based Data Access: A plug-in for protg Path-Based Identification Constraints in Description Logics View-Based Query Answering over Description Logic Ontologies Aggregate queries over ontologies Explanation in the DL-LiteFamily of Description Logics A New Generation Search Engine Supporting Cross Domain Queries 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 Data Complexity of Query Answering in Expressive Description Logics via Tableaux Linking Data to Ontologies English Querying over Ontologies: E-QuOnto Finite Model Reasoning on UML Class Diagrams Via Constraint Programming A Proof Theory for DL-Lite Actions and Programs over Description Logic Ontologies MASTRO-I: Efficient Integration of Relational Data through DL Ontologies Optimization of Query Plans in the presence of Access Limitations An Extension of DIG 2.0 for Handling Bulk Data Can OWL Model Football Leagues? Ontology-based Database Access View-based query processing: On the relationship between rewriting, answering and losslessness Optimising Query Answering in the Presence of Access Limitations (Position Paper) Epistemic First-order Queries over Description Logic Knowledge Bases ComposingWeb Services with Nondeterministic Behavior Data Complexity of Query Answering in Description Logics Linking Data to Ontologies: The Description Logic DL-Lite A Containment of Conjunctive Queries under Access Limitations Enterprise modeling and Data Warehousing in Telecom Italia Ontologies and Description Logics Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness Composition of Services with Nondeterministic Observable Behavior Automatic Composition of Web Services in Colombo Efficiently Managing Data Intensive Ontologies Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach Data Integration: A Logic-Based Perspective Reasoning on UML class diagrams Data complexity of answering conjunctive queries over SHIQ knowledge bases Decidable containment of recursive queries DL-Lite: Practical Reasoning for Rich Dls Towards Implementing Finite Model Reasoning in Description Logics Hyper: A Framework for Peer-to-Peer Data Integration on Grids A Logic-Based Approach for Matching User Profiles 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 Data Integration in Data Warehousing (Keynote Address) Semantic Data Integration in P2P Systems Expressive Description Logics Reasoning on UML Class Diagrams is EXPTIME-hard E-Service Composition by Description Logics Based Reasoning Decidable Containment of Recursive Queries Automatic Composition of E-services That Export Their Behavior Anwering Recursive Queries under Keys and Foreign Keys is Undecidable View-based Query Processing for Semistructured Data View-based query containment Query Containment Using Views A Foundational Vision of e-Services Toward a new landscape of systems management in an autonomic computing environment Reasoning on regular path queries Data Integration under Integrity Constraints Description Logics for Information Integration On the Expressive Power of Data Integration Systems Optimized Querying of Integrated Data over the Web 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 Towards a Comprehensive Methodological Framework for Integration Optimizing Query Planning with Limited Source Capabilities in the Presence of Inclusion and Functional Dependencies Reasoning in Expressive Description Logics Data Integration in Data Warehousing LAURIN: A Distributed Digital Library of Newspaper Clippings Building a Digital Library of Newspaper Clippings: The Laurin Project 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 A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases 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 Finite Model Reasoning in Description Logics Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity 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 Has author Has editor Has identifier Foaf:surname Foaf:name Foaf:firstName Anonymous.png Foaf:depiction Person