Â¥Ö÷

[ÍƼö]Description Logics 2010 Online Proceedings Description Logics 2010  Complete Proceedings http://www.cs.uwaterloo.ca/conferences/dl2010/proceedings.html Paper Presentations Temporal Conceptual Modelling with DL-Lite Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov and Michael Zakharyaschev. Mastro at Work: Experiences on Ontology-Based Data Access Domenico Fabio Savo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Vittorio Romagnoli, Marco Ruzzi and Gabriele Stella. Justification Masking in OWL Matthew Horridge, Bijan Parsia and Ulrike Sattler. EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers Carsten Lutz, Robert Piro and Frank Wolter. Checking Full Satisfiability of Conceptual Models Alessandro Artale, Diego Calvanese and Yazmin Angelica Ibanez-Garcia. Second-Order Description Logics: Semantics, Motivation, and a Calculus Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M Donini and Azzurra Ragone. Tractable Extensions of the Description Logic EL with Numerical Datatypes Despoina Magka, Yevgeny Kazakov and Ian Horrocks. Supporting the Development of Data Wrapping Ontologies (Extended Abstract) Lina Lubyte and Sergio Tessaris. Updating TBoxes in DL-Lite Dmitriy Zheleznyakov, Diego Calvanese, Evgeny Kharlamov and Werner Nutt. Orel: Database-Driven Reasoning for OWL 2 Profiles Markus Krotzsch, Anees Mehdi and Sebastian Rudolph. Optimal Rewritings in Definitorially Complete Description Logics Inanc Seylan, Enrico Franconi and Jos de Bruijn. Extending OWL with Integrity Constraints Jiao Tao, Evren Sirin, Jie Bao and Deborah McGuinness. Query Answering in the Description Logic S Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz and Mantas Simkus. Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results Jocelyne Faddoul and Volker Haarslev. Complexity of Axiom Pinpointing in the DL-Lite Family Rafael Penaloza and Baris Sertkaya. Distributed Island-based Query Answering for Expressive Ontologies Sebastian Wandelt and Ralf Moeller. Paraconsistent Description Logics Revisited Norihiro Kamide. Optimized DL Reasoning via Core Blocking Birte Glimm, Ian Horrocks and Boris Motik. Correcting Access Restrictions to a Consequence Martin Knechtel and Rafael Penaloza. The modular structure of an ontology: an empirical study Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler and Thomas Schneider. Optimization Techniques for Fuzzy Description Logics Nikolaos Simou, Theofilos Mailis, Giorgos Stoilos and Giorgos Stamou. Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes Anni-Yasmin Turhan and Rafael Penaloza. Query Rewriting in DL-Lite_^(HN)_horn Elena Botoeva, Alessandro Artale and Diego Calvanese. The Complexity of Satisfiability for Sub-Boolean Fragments of ALC Arne Meier and Thomas Schneider. Towards Formal Comparison of Ontology Linking, Mapping and Importing Martin Homola and Luciano Serafini. Query Algebra and Query Optimization for Concept Assertion Retrieval Jeffrey Pound, David Toman, Grant Weddell and Jiewen Wu. On the feasibility of Description Logic knowledge bases with rough concepts and vague instances C. Maria Keet. Towards Soundness Preserving Approximation for ABox Reasoning of OWL2 Yuan Ren, Jeff Z. Pan and Yuting Zhao. TBox Classification in Parallel: Design and First Evaluation Mina Aslani and Volker Haarslev. Posters The Logical Difference For Fuzzy EL+ Ontologies Shasha Feng, Yonggang zhang, Dantong Ouyang, Haiyan Che and Jie Liu. Automata-Based Abduction for Tractable Diagnosis Thomas Hubauer, Steffen Lamparter and Michael Pirker. Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms Chan Le Duc and Myriam Lamolle. Structure Preserving TBox Repair using Defaults Thomas Scharrenbach, Rolf Gr¨¹tter, Bettina Waldvogel and Abraham Bernstein. A Compatible Approach to Temporal Description Logics Norihiro Kamide. Guiding Reification in OWL through Aggregation Paula Severi, Jose Fiadeiro and David Ekserdjian. Generating Referring Expressions with OWL2 Yuan Ren, Kees van Deemter and Jeff Z. Pan. A Multi-Context System Computing Modalities Tarek Richard Besold and Bernhard Schiemann. An Algebraic Approach to Dynamic Epistemic Logic Prakash Panangaden, Caitlin Phillips, Doina Precup and Mehrnoosh Sadrzadeh. A MapReduce Algorithm for EL+ Raghava Mutharaju, Frederick Maier and Pascal Hitzler. Distance-based Measures of Inconsistency and Incoherency for Description Logics Yue Ma and Pascal Hitzler. Logic for Modeling Product Structure Henson Graves. KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies Quentin Reul and Jeff Z. Pan.    Êղؠ  ·ÖÏí   ¶¥(0)

----------------------------------------------
knowledge representation & paraconsistent reasoning
My Homepage: http://www.is.pku.edu.cn/~zxw/

	µÚ2Â¥

ÓиöÈ˵ÄÎÄÕÂÒýÁËÂ¥Ö÷Á½ÆªÎÄÕ¡£