Abstract is missing.
- Enumerating Justifications using ResolutionYevgeny Kazakov, Peter Skocovsky. [doi]
- Unification in EL for Competency Question GenerationYuri Malheiros, Fred Freitas. [doi]
- On Partial Features in the DLF Dialects of Description Logic with Inverse FeaturesDavid Toman, Grant E. Weddell. [doi]
- On the Complexity of Semantic Integration of OWL OntologiesYevgeny Kazakov, Denis K. Ponomaryov. [doi]
- Towards Defeasible SROIQKatarina Britz, Ivan José Varzinczak. [doi]
- Testing the Adequacy of Automated Explanations of EL SubsumptionsMarvin R. G. Schiller, Florian Schiller, Birte Glimm. [doi]
- Beyond Skolem Chase: A Study of Finite Chase under Standard Chase VariantArash Karimi, Heng Zhang, Jia-Huai You. [doi]
- Ontologies for Knowledge Graphs?Markus Krötzsch. [doi]
- On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QLMeghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev. [doi]
- Reasonable Macros for Ontology Construction and MaintenanceHenrik Forssell, Daniel P. Lupp, Martin G. Skjæveland, Evgenij Thorstensen. [doi]
- Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and NominalsDavid Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks. [doi]
- Debugging EL+ Ontologies through Horn MUS EnumerationAlexey Ignatiev, Joao Marques-Silva, Carlos Mencía, Rafael Peñaloza. [doi]
- Clopen Knowledge Bases: Combining Description Logics and Answer Set ProgrammingLabinot Bajraktari, Magdalena Ortiz, Mantas Simkus. [doi]
- Incremental Materialization Update via Abstraction RefinementMarkus Brenner, Birte Glimm. [doi]
- On Query Answering in Description Logics with Number Restrictions on Transitive RolesVíctor Gutiérrez-Basulto, Yazmin Angélica Ibáñez-García, Jean Christoph Jung. [doi]
- Preliminary Results on Ontology-based Open Data PublishingGianluca Cima. [doi]
- Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract)Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan. [doi]
- A DL Semantics for Reasoning over OVM-based Variability ModelsGermán Alejandro Braun, Matias Pol'la, Laura Andrea Cecchi, Agustina Buccella, Pablo R. Fillottrani, Alejandra Cechich. [doi]
- Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog RewritabilityCarsten Lutz, Leif Sabellek. [doi]
- CKR: Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge StatesLoris Bozzato, Luciano Serafini, Gaetano Calabrese. [doi]
- P(Z) (Preliminary Report)Nadia Labai, Martin Homola, Magdalena Ortiz. [doi]
- A Consequence-based Algebraic Calculus for SHOQNikoo Zolfaghar Karahroodi, Volker Haarslev. [doi]
- On the Data Complexity of Ontology-Mediated Queries with a Covering AxiomOlga Gerasimova, Stanislav Kikot, Vladimir V. Podolskii, Michael Zakharyaschev. [doi]
- Applying Machine Learning to Enhance Optimization Techniques for OWL ReasoningRazieh Mehri, Volker Haarslev. [doi]
- Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description LogicsSebastian Rudolph, Lukas Schweizer. [doi]
- Object-Centric Behavioral Constraints: Integrating Data and Declarative Process ModellingWil M. P. van der Aalst, Alessandro Artale, Marco Montali, Simone Tritini. [doi]
- Horn Rewritability vs PTime Query Answering for Description Logic TBoxesAndré Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter. [doi]
- Coherence, Similarity, and Concept GeneralisationRoberto Confalonieri, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, Nicolas Troquard. [doi]
- Repairing ABoxes through Active Integrity ConstraintsChristos Rantsoudis, Guillaume Feuillade, Andreas Herzig. [doi]
- Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract)Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost. [doi]
- Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive QueriesPeter Hansen 0002, Carsten Lutz. [doi]
- An Efficient Reasoner for Description Logics of Typicality and Rational ClosureLaura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli. [doi]
- Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based ApproachYizheng Zhao, Renate A. Schmidt. [doi]
- Towards Reusable Explanation Services in ProtegeYevgeny Kazakov, Pavel Klinov, Alexander Stupnikov. [doi]
- Tableau-Based ABox Abduction for the ALCHO Description LogicJúlia Pukancová, Martin Homola. [doi]
- Łukasiewicz Fuzzy EL is UndecidableStefan Borgwardt, Marco Cerami, Rafael Peñaloza. [doi]
- Preliminary Results on the Identity Problem in Description Logic OntologiesFranz Baader, Daniel Borchmann, Adrian Nuradiansyah. [doi]
- Reasoning with Attributed Description LogicsMarkus Krötzsch, Maximilian Marx 0001, Ana Ozaki, Veronika Thost. [doi]
- Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width QueriesMeghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev. [doi]
- An Empirical Evaluation of Argumentation in Explaining Inconsistency-Tolerant Query AnsweringAbdelraouf Hecham, Abdallah Arioua, Gem Stapleton, Madalina Croitoru. [doi]