Table of Contents

• Computing Solutions in OWL 2 QL Knowledge ExchangeMarcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov. 4-16 [doi]
• Temporalising OWL 2 QLAlessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev. 17-28 [doi]
• Hybrid EL-Unification is NP-completeFranz Baader, Oliver Fernandez Gil, Barbara Morawska. 29-40 [doi]
• Tractability Guarantees for DL-Lite Query AnsweringMeghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao. 41-52 [doi]
• New Inconsistency-Tolerant Semantics for Robust Ontology-Based Data AccessMeghyn Bienvenu, Riccardo Rosati. 53-64 [doi]
• Axiomatizing Confident EL^bot_gfp-General Concept Inclusions in the Presence of Untrusted IndividualsDaniel Borchmann. 65-79 [doi]
• Temporal Query Answering in DL-LiteStefan Borgwardt, Marcel Lippmann, Veronika Thost. 80-92 [doi]
• Preferential Role RestrictionsArina Britz, Giovanni Casini, Thomas Meyer, Ivan José Varzinczak. 93-106 [doi]
• Verification of Inconsistency-Aware Knowledge and Action BasesDiego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov. 107-119 [doi]
• Evolving Graph Databases under Description Logic ConstraintsDiego Calvanese, Magdalena Ortiz, Mantas Simkus. 120-131 [doi]
• Efficient Approximation in DL-Lite of OWL 2 OntologiesMarco Console, Valerio Santarelli, Domenico Fabio Savo. 132-143 [doi]
• Empirical Study of Logic-Based Modules: Cheap Is CheerfulChiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider 0002, Dmitry Tsarkov. 144-155 [doi]
• A Hybrid Approach for Learning SNOMED CT Definitions from TextFelix Distel, Yue Ma. 156-167 [doi]
• Minimal Model Semantics and Rational Closure in Description LogicsLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. 168-180 [doi]
• Using the TBox to Optimise SPARQL QueriesBirte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou. 181-196 [doi]
• The Empirical Robustness of Description Logic ClassificationRafael S. Gonçalves, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler. 197-208 [doi]
• Well-Founded Semantics for Extended Datalog and Ontological ReasoningAndré Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob. 209-220 [doi]
• Towards Typed Higher-Order Description LogicsMartin Homola, Jan Kluka, Vojtech Svátek, Miroslav Vacura. 221-233 [doi]
• Finite Model Reasoning in Horn-SHIQYazmin Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider 0002. 234-245 [doi]
• Evaluating Mapping Repair Systems with Large Biomedical OntologiesErnesto Jiménez-Ruiz, Christian Meilicke, Bernardo Cuenca Grau, Ian Horrocks. 246-257 [doi]
• Ontology-Based Access to Probabilistic DataJean Christoph Jung, Carsten Lutz. 258-270 [doi]
• Sufficient Conditions for First-Order and Datalog Rewritability in ELUMark Kaminski, Bernardo Cuenca Grau. 271-293 [doi]
• Incremental Reasoning in EL+ without BookkeepingYevgeny Kazakov, Pavel Klinov. 294-315 [doi]
• Query Rewriting over Shallow OntologiesStanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev. 316-327 [doi]
• Query Answering via Modal Definability with FaCT++: First BloodStanislav Kikot, Dmitry Tsarkov, Michael Zakharyaschev, Evgeny Zolin. 328-340 [doi]
• Exact Learning of TBoxes in EL and DL-LiteBoris Konev, Carsten Lutz, Frank Wolter. 341-352 [doi]
• Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hardRoman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev. 353-363 [doi]
• Complexity of Answering Counting Aggregate Queries over DL-LiteEgor V. Kostylev, Juan L. Reutter. 364-376 [doi]
• Towards Practical Uniform Interpolation and Forgetting for ALC TBoxesMichel Ludwig, Boris Konev. 377-389 [doi]
• Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological ModellingDespoina Magka, Markus Krötzsch, Ian Horrocks. 390-402 [doi]
• More is Sometimes Less: Succinctness in ELNadeschda Nikitina, Sven Schewe. 403-414 [doi]
• Rough EL ClassificationRafael Peñaloza, Tingting Zou. 415-427 [doi]
• Extending Absorption to Nominal SchemasAndreas Steigmiller, Birte Glimm, Thorsten Liebig. 428-450 [doi]
• CFDnc: A PTIME Description Logic with Functional Constraints and DisjointnessDavid Toman, Grant E. Weddell. 451-463 [doi]
• Optimising Resolution-Based Rewriting Algorithms for DL OntologiesDespoina Trivela, Giorgos Stoilos, Alexandros Chortaras, Giorgos B. Stamou. 464-476 [doi]
• Computing the lcs w.r.t. General EL+-TBoxesAnni-Yasmin Turhan, Benjamin Zarrieß. 477-488 [doi]
• Absorption for ABoxes with Local Universal RestrictionsJiewen Wu, Taras Kinash, David Toman, Grant E. Weddell. 489-500 [doi]
• Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous ProcessesSerge Autexier, Dieter Hutter. 501-512 [doi]
• General Concept Inclusion Absorptions for Fuzzy Description logics: A First StepFernando Bobillo, Umberto Straccia. 513-525 [doi]
• About Subsumption in Fuzzy ELStefan Borgwardt, Rafael Peñaloza. 526-538 [doi]
• The Impact of Disjunction on Query Answering Under Guarded-Based Existential RulesPierre Bourhis, Michael Morak, Andreas Pieris. 539-551 [doi]
• Materialization Calculus for Contexts in the Semantic WebLoris Bozzato, Luciano Serafini. 552-572 [doi]
• Dynamic Systems Based on Description Logics: Formalization, Verification, and SynthesisDiego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi. 573-586 [doi]
• Towards Practical Defeasible Reasoning for Description LogicsGiovanni Casini, Thomas Meyer, Kodylan Moodley, Ivan José Varzinczak. 587-599 [doi]
• Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABoxGiovanni Casini, Thomas Meyer, Ivan José Varzinczak, Kodylan Moodley. 600-615 [doi]
• Logical Foundations for Reasoning about Transformations of Knowledge BasesMohamed Chaabani, Rachid Echahed, Martin Strecker. 616-627 [doi]
• Synthesizing Extensional Constraints in Ontology-Based Data AccessMarco Console, Maurizio Lenzerini, Riccardo Mancini, Riccardo Rosati, Marco Ruzzi. 628-639 [doi]
• Reasoning with DL-based CP-netsTommaso Di Noia, Thomas Lukasiewicz, Gerardo I. Simari. 640-651 [doi]
• Bisimulation-Based Comparisons for Interpretations in Description LogicsAli Rezaei Divroodi, Linh Anh Nguyen. 652-669 [doi]
• Role-depth Bounded Least Common Subsumer in Prob-EL with NominalsAndreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan. 670-688 [doi]
• Reasoning with Bounded Self-reference Using Logical InterpretersDaniel Gorín, Lutz Schröder, Thorsten Wißmann. 689-703 [doi]
• Extending DL-Lite_A with (Singleton) NominalsMaxim Haddad, Diego Calvanese. 704-723 [doi]
• A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOIMohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky. 724-734 [doi]
• SHOIQ with Transitive Closure of Roles Is DecidableChan Le Duc, Myriam Lamolle, Olivier Curé. 735-746 [doi]
• A Graph-Based Approach for Classifying OWL 2 QL OntologiesDomenico Lembo, Valerio Santarelli, Domenico Fabio Savo. 747-759 [doi]
• A System for Learning GCI Axioms in Fuzzy Description LogicsFrancesca Alessandra Lisi, Umberto Straccia. 760-778 [doi]
• SQOWL2: Transactional Type Inference for OWL 2 DL in an RDBMSYu Liu, Peter McBrien. 779-790 [doi]
• Complexity of Inconsistency-Tolerant Query Answering in Datalog+/-Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari. 791-803 [doi]
• Preference-Based Query Answering in Datalog+/- OntologiesThomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari. 804-815 [doi]
• Spatial Semantics for ConceptsÖzgür L. Özçep, Ralf Möller. 816-828 [doi]
• A Corpus of OWL DL OntologiesNicolas Matentzoglu, Samantha Bail, Bijan Parsia. 829-841 [doi]
• Advances in Accessing Big Data with Expressive OntologiesRalf Möller, Christian Neuenstadt, Özgür L. Özçep, Sebastian Wandelt. 842-853 [doi]
• ELITE: An Entailment-Based Federated Query Engine for Complete and Transparent Semantic Data IntegrationAndreas Nolle, German Nemirovski. 854-867 [doi]
• Module-theoretic Properties of Reachability Modules for SRIQRiku Nortje, Arina Britz, Thomas Meyer. 868-884 [doi]
• Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTLFrancesco Pagliarecci, Luca Spalazzi, Gilberto Taccari. 885-897 [doi]
• Concept Definability and Interpolation in Enriched Models of EL-TBoxesDenis Ponomaryov, Dmitry Vlasov. 898-916 [doi]
• Query Rewriting and Optimisation with Database Dependencies in OntopMariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev. 917-929 [doi]
• Towards Explicative Inference for OWLMarvin Schiller, Birte Glimm. 930-941 [doi]
• Complete Classification of Complex ALCHO Ontologies Using a Hybrid Reasoning ApproachWeihong Song, Bruce Spencer, Weichang Du. 942-961 [doi]
• Introducing Nominals to the Combined Query Answering Approaches for ELGiorgio Stefanoni, Boris Motik, Ian Horrocks. 962-974 [doi]
• Query Rewriting Under Ontology EvolutionEleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, George Koletsos. 975-987 [doi]
• SROIQ Syntax Approximation by Using Nominal SchemasCong Wang, David Carral Martínez, Pascal Hitzler. 988-999 [doi]
• ClickOn_A: An Editor for DL-Lite_A Based Ontology DesignMichael Wolters, German Nemirovski, Andreas Nolle. 1000-1010 [doi]
• Exploring Parallelization of Conjunctive Branches in Tableau-Based Description Logic ReasoningKejia Wu, Volker Haarslev. 1011-1023 [doi]