Abstract is missing.
- Integrating Open Data: (How) Can Description Logics Help me?Axel Polleres. [doi]
- Elastiq: Answering Similarity-threshold Instance Queries in ELAndreas Ecke, Maximilian Pensel, Anni-Yasmin Turhan. [doi]
- Query Rewriting in Horn-SHIQDespoina Trivela, Giorgos Stoilos, Alexandros Chortaras, Giorgos B. Stamou. [doi]
- Semantics of SPARQL under OWL 2 Entailment RegimesEgor V. Kostylev, Bernardo Cuenca Grau. [doi]
- The Combined Complexity of Reasoning with Closed Predicates in Description LogicsNhung Ngo, Magdalena Ortiz, Mantas Simkus. [doi]
- Query-based comparison of OBDA specificationsMeghyn Bienvenu, Riccardo Rosati. [doi]
- Answering EL Queries in the Presence of PreferencesIsmail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza. [doi]
- CFDIDavid Toman, Grant E. Weddell. [doi]
- Decidable Contextualized DLs with Rigid RolesStephan Böhme, Marcel Lippmann. [doi]
- Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL DialectAlexander Borgida, David Toman, Grant E. Weddell. [doi]
- Entity-oriented Search Engine Result PagesMaarten de Rijke. [doi]
- Completion Graph Caching for Expressive Description LogicsAndreas Steigmiller, Birte Glimm, Thorsten Liebig. [doi]
- Polynomial Horn Rewritings for Description Logics OntologiesMark Kaminski, Bernardo Cuenca Grau. [doi]
- CFDIPablo R. Fillottrani, C. Maria Keet, David Toman. [doi]
- Temporal Query Answering in ELStefan Borgwardt, Veronika Thost. [doi]
- Conjunctive Query Answering with Finitely Many Truth DegreesStefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan. [doi]
- DysToPic: a Multi-Engine Theorem Prover for Preferential Description LogicsLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti. [doi]
- Query Rewriting Beyond DL-LiteCarsten Lutz. [doi]
- Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary RelationsGeorg Gottlob, Marco Manna, Andreas Pieris. [doi]
- Handling uncertainty: An extension of DL-Lite with Subjective LogicJhonatan Garcia, Jeff Z. Pan, Achille Fokoue. [doi]
- Lower and Upper Bounds for SPARQL Queries over OWL OntologiesBirte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou. [doi]
- Efficient Query Answering in DL-Lite through FOL Reformulation (Extended Abstract)Damian Bursztyn, François Goasdoué, Ioana Manolescu. [doi]
- Advancing ELK: Not Only Performance MattersYevgeny Kazakov, Pavel Klinov. [doi]
- Dismatching and Local Disunification in EL (Extended Abstract)Franz Baader, Stefan Borgwardt, Barbara Morawska. [doi]
- Nonmonotonic Nominal Schemas RevisitedMatthias Knorr. [doi]
- An Ontology-Based Archive for Historical ResearchGiovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina. [doi]
- Optimized Construction of Secure Knowledge-Base ViewsPiero A. Bonatti, Iliana Petrova, Luigi Sauro. [doi]
- Managing QoS Acceptability for Service Selection: A Probabilistic Description Logics Based ApproachMourad Ouziri, Salima Benbernou, Naouel Karam, Allel HadjAli. [doi]
- Abductive Reasoning with Description Logics: Use Case in Medical DiagnosisJúlia Pukancová, Martin Homola. [doi]
- Interval Temporal Description LogicsAlessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev. [doi]
- Dealing with Inconsistencies due to Class Disjointness in SPARQL UpdateAlbin Ahmeti, Diego Calvanese, Axel Polleres, Vadim Savenkov. [doi]
- Incremental Learning of TBoxes from Interpretation Sequences with Methods of Formal Concept AnalysisFrancesco Kriegel. [doi]
- A higher-order semantics for OWL 2 QL ontologies (Extended abstract)Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi. [doi]
- Adding Threshold Concepts to the Description Logic ELOliver Fernandez Gil, Franz Baader, Gerhard Brewka. [doi]
- The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome MarriageVíctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider 0002. [doi]
- Extending Consequence-Based Reasoning to SHIQAndrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks. [doi]
- Inconsistency Management in Generalized Knowledge and Action BasesDiego Calvanese, Marco Montali, Ario Santoso. [doi]
- Explaining Query Answers under Inconsistency-Tolerant Semantics over Description Logic Knowledge Bases (Extended Abstract)Meghyn Bienvenu, Camille Bourgaux, François Goasdoué. [doi]
- Concept Forgetting for ALCOI-Ontologies using an Ackermann ApproachYizheng Zhao, Renate A. Schmidt. [doi]
- On Implementing Temporal Query Answering in DL-Lite (extended abstract)Veronika Thost, Jan Holste, Özgür L. Özcep. [doi]
- Decidable Verification of Knowledge-Based Programs over Description Logic Actions with SensingBenjamin Zarrieß, Jens Claßen. [doi]
- PAGOdA: Pay-as-you-go ABox ReasoningYujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Ian Horrocks. [doi]
- Combined Complexity of Answering Tree-like Queries in OWL 2 QLMeghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii. [doi]
- Heuristics for Applying Cached OBDA RewritingsAndreas Nakkerud, Evgenij Thorstensen. [doi]
- Reasoning in description logics with variables: preliminary results regarding the EL logicLakhdar Akroun, Lhouari Nourine, Farouk Toumani. [doi]
- Towards Expressive Metamodelling with InstantiationPetra Kubincová, Jan Kluka, Martin Homola. [doi]
- Tableau-based revision in SHIQThinh Dong, Chan Le Duc, Philippe Bonnot, Myriam Lamolle. [doi]
- Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Extended Abstract)Domenico Lembo, José Mora, Riccardo Rosati, Domenico Fabio Savo, Evgenij Thorstensen. [doi]
- Dynamic Bayesian Description LogicsIsmail Ilkan Ceylan, Rafael Peñaloza. [doi]
- TBox Reasoning in the Probabilistic Description Logic SHIQpViachaslau Sazonau, Uli Sattler. [doi]
- Schema-Agnostic Query Rewriting for OWL QLStefan Bischof 0002, Markus Krötzsch, Axel Polleres, Sebastian Rudolph. [doi]
- Extending the Combined Approach Beyond Lightweight Description LogicsCristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks. [doi]
- Schema.org as a Description LogicAndré Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter. [doi]
- Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract)Tobias Kaminski, Matthias Knorr, João Leite. [doi]
- Exact Learning Description Logic Ontologies from Data Retrieval ExamplesBoris Konev, Ana Ozaki, Frank Wolter. [doi]
- A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLiteTheofilos P. Mailis, Anni-Yasmin Turhan, Erik Zenker. [doi]
- Query Answering in Bayesian Description LogicsIsmail Ilkan Ceylan. [doi]
- Saturated-Based Forgetting in the Description Logic SIFPatrick Koopmann, Renate A. Schmidt. [doi]
- Optimizations for Decision Making and Planning in Description Logic Dynamic Knowledge BasesMichele Stawowy. [doi]
- DL-Lite and Conjunctive Queries Extended by Optional MatchingShqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek. [doi]
- Empirical Investigation of Subsumption Test Hardness in Description Logic ClassificationNicolas Matentzoglu, Uli Sattler, Bijan Parsia. [doi]
- Integrating Ontologies and Planning for Cognitive SystemsGregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis K. Ponomaryov, Marvin R. G. Schiller. [doi]
- Conservative Rewritability of Description Logic TBoxes: First ResultsBoris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. [doi]