- 자료제공 :
- On Subtyping of Tree-Structured Data: A Polynomial Approach.- Towards Generic Query, Update, and Event Languages for the Semantic Web.- Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach.- Rules and Queries with Ontologies: A Unified Logical Framework.- Semantic Web Reasoning for Ontology-Based Integration of Resources.- Static Type-Checking of Datalog with Ontologies.- Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming.- Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages.- Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals.- DR-DEVICE: A Defeasible Logic System for the Semantic Web.- A PDDL Based Tool for Automatic Web Service Composition.