Table of Contents

• Justification Masking in OWLMatthew Horridge, Bijan Parsia, Ulrike Sattler. [doi]
• Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental ResultsJocelyne Faddoul, Volker Haarslev. [doi]
• Optimization Techniques for Fuzzy Description LogicsNikos Simou, Theofilos P. Mailis, Giorgos Stoilos, Giorgos B. Stamou. [doi]
• Tractable Extensions of the Description Logic EL with Numerical DatatypesDespoina Magka, Yevgeny Kazakov, Ian Horrocks. [doi]
• Towards Soundness Preserving Approximation for ABox Reasoning of OWL2Yuan Ren, Jeff Z. Pan, Yuting Zhao. [doi]
• Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion AxiomsChan Le Duc, Myriam Lamolle. [doi]
• Supporting the Development of Data Wrapping Ontologies (Extended Abstract)Lina Lubyte, Sergio Tessaris. [doi]
• Orel: Database-Driven Reasoning for OWL 2 ProfilesMarkus Krötzsch, Anees Mehdi, Sebastian Rudolph. [doi]
• Updating TBoxes in DL-LiteDmitriy Zheleznyakov, Diego Calvanese, Evgeny Kharlamov, Werner Nutt. [doi]
• Optimal Rewritings in Definitorially Complete Description LogicsInanç Seylan, Enrico Franconi, Jos de Bruijn. [doi]
• The modular structure of an ontology: an empirical studyChiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider 0002. [doi]
• EL-Concepts go Second-Order: Greatest Fixpoints and Simulation QuantifiersCarsten Lutz, Robert Piro, Frank Wolter. [doi]
• Logic for Modeling Product StructureHenson Graves. [doi]
• Temporal Conceptual Modelling with DL-LiteAlessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev. [doi]
• The Complexity of Satisfiability for Sub-Boolean Fragments of ALCArne Meier, Thomas Schneider 0002. [doi]
• Distributed Island-based Query Answering for Expressive OntologiesSebastian Wandelt, Ralf Möller. [doi]
• An Algebraic Approach to Dynamic Epistemic LogicPrakash Panangaden, Caitlin Phillips, Doina Precup, Mehrnoosh Sadrzadeh. [doi]
• Guiding Reification in OWL through AggregationPaula Severi, José Luiz Fiadeiro, David Ekserdjian. [doi]
• Query Rewriting in DL-Lite_^(HN)_hornElena Botoeva, Alessandro Artale, Diego Calvanese. [doi]
• Distance-based Measures of Inconsistency and Incoherency for Description LogicsYue Ma, Pascal Hitzler. [doi]
• Checking Full Satisfiability of Conceptual ModelsAlessandro Artale, Diego Calvanese, Yazmin Angélica Ibáñez-García. [doi]
• A Multi-Context System Computing ModalitiesTarek Richard Besold, Bernhard Schiemann. [doi]
• KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous OntologiesQuentin Reul, Jeff Z. Pan. [doi]
• Generating Referring Expressions with OWL2Yuan Ren, Kees van Deemter, Jeff Z. Pan. [doi]
• Correcting Access Restrictions to a ConsequenceMartin Knechtel, Rafael Peñaloza. [doi]
• Query Algebra and Query Optimization for Concept Assertion RetrievalJeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu. [doi]
• A MapReduce Algorithm for EL+Raghava Mutharaju, Frederick Maier, Pascal Hitzler. [doi]
• Complexity of Axiom Pinpointing in the DL-Lite FamilyRafael Peñaloza, Baris Sertkaya. [doi]
• Automata-Based Abduction for Tractable DiagnosisThomas Hubauer, Steffen Lamparter, Michael Pirker. [doi]
• Second-Order Description Logics: Semantics, Motivation, and a CalculusSimona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone. [doi]
• A Compatible Approach to Temporal Description LogicsNorihiro Kamide. [doi]
• Towards Formal Comparison of Ontology Linking, Mapping and ImportingMartin Homola, Luciano Serafini. [doi]
• Structure Preserving TBox Repair using DefaultsThomas Scharrenbach, Rolf Grütter, Bettina Waldvogel, Abraham Bernstein. [doi]
• Mastro at Work: Experiences on Ontology-Based Data AccessDomenico Fabio Savo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Vittorio Romagnoli, Marco Ruzzi, Gabriele Stella. [doi]
• TBox Classification in Parallel: Design and First EvaluationMina Aslani, Volker Haarslev. [doi]
• Paraconsistent Description Logics RevisitedNorihiro Kamide. [doi]
• Extending OWL with Integrity ConstraintsJiao Tao, Evren Sirin, Jie Bao, Deborah L. McGuinness. [doi]
• Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxesAnni-Yasmin Turhan, Rafael Peñaloza. [doi]
• Optimized DL Reasoning via Core BlockingBirte Glimm, Ian Horrocks, Boris Motik. [doi]
• On the feasibility of Description Logic knowledge bases with rough concepts and vague instancesC. Maria Keet. [doi]
• Query Answering in the Description Logic SMeghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus. [doi]
• The Logical Difference For Fuzzy EL+ OntologiesShasha Feng, Yonggang Zhang, Dantong Ouyang, Haiyan Che, Jie Liu. [doi]