]> 2012-05-29T10:05:12-04:00 Giuseppe De Giacomo Giuseppe Giuseppe De Giacomo Giacomo De Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003 Report on the 1998 International Workshop on Description Logics (DL'98) 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 Reasoning about Actions and Planning in LTL Action Theories Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach Boosting the Correspondence between Description Logics and Propositional Dynamic Logics On the Update of Description Logic Ontologies at the Instance Level Scaling Up Reasoning about Actions Using Relational Database Technology On the Approximation of Instance Level Update and Erasure in Description Logics Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors Identification Constraints and Functional Dependencies in Description Logics Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees What's in an Aggregate: Foundations for Description Logics with Tuples and Sets Projection Using Regression and Sensors Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus Automatic Synthesis of New Behaviors from a Library of Available Behaviors 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 Automatic Composition of Transition-based Semantic Web Services with Messaging Extending Semi-Structured Data EQL-Lite: Effictive First-Order Query Processing in Description Logics Automatic Service Composition Based on Behavioral Descriptions Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support 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 Finite Model Reasoning on UML Class Diagrams Via Constraint Programming 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 ComposingWeb Services with Nondeterministic Behavior 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 Composition of Services with Nondeterministic Observable Behavior Automatic Composition of Web Services in Colombo Efficiently Managing Data Intensive Ontologies Data Integration: A Logic-Based Perspective Reasoning on UML class diagrams 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 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 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 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 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? View-Based Query Processing and Constraint Satisfaction View-Based Query Processing for Regular Path Queries with Inverse 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 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 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 Towards Higher-Order DL-Lite On reconciling data exchange, data integration, and peer data management Tailoring OWL for Data Intensive Ontologies Tackling Inconsistencies in Data Integration through Source Preferences A Uniform Framework for Concept Definitions in Description Logics TBox and ABox Reasoning in Expressive Description Logics PDL-based framework for reasoning about actions Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations Has author Has editor MiddleName Has identifier Foaf:surname Foaf:name Foaf:firstName Anonymous.png Foaf:depiction Person