Abstract is missing.
- Meta-modeling Extension of Horn-SROIQ and Query AnsweringZhenzhen Gu. [doi]
- Armstrong Relations for Ontology Design and EvaluationHenriette Harmse, Katarina Britz, Aurona Gerber. [doi]
- Conceptual Blending in EL++Roberto Confalonieri, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, Enric Plaza, Manfred Eppe. [doi]
- Approaching OBDA Evolution through Mapping RepairDomenico Lembo, Riccardo Rosati, Valerio Santarelli, Domenico Fabio Savo, Evgenij Thorstensen. [doi]
- Data Accuracy as Knowledge in Ontology Based Data Access (preliminary report)Marco Console. [doi]
- FO-Rewritability of Expressive Ontology-Mediated QueriesCristina Feier, Antti Kuusisto, Carsten Lutz. [doi]
- On Bounded Positive Existential RulesMichel Leclère, Marie-Laure Mugnier, Federico Ulliana. [doi]
- Reasoning in a Rational Extension of SROELLaura Giordano 0001, Daniele Theseider Dupré. [doi]
- Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated QueriesMeghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev. [doi]
- Ontology Patterns with DOWL: The Case of BlendingOliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski, Mihai Codescu. [doi]
- OBDA Beyond Relational DBs: A Study for MongoDBElena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao. [doi]
- Constraint Patterns for Tractable Ontology-Mediated Queries with DatatypesAndré Hernich, Julio Lemos, Frank Wolter. [doi]
- First Order-Rewritability and Containment of Conjunctive Queries in Horn Description LogicsMeghyn Bienvenu, Peter Hansen 0002, Carsten Lutz, Frank Wolter. [doi]
- When is Query Inseparability for ALC Ontologies Decidable?Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. [doi]
- Ontology Module Extraction via Datalog ReasoningAna Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks. [doi]
- Lifted Inference in Probabilistic DatabasesDan Suciu. [doi]
- The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description LogicsSebastian Rudolph. [doi]
- Reasoning in Expressive Gödel Description LogicsStefan Borgwardt, Rafael Peñaloza. [doi]
- Reasoning About General TBoxes with Spatial and Temporal Constraints: Implementation and OptimizationsMatthias Hengel, Sefan Wölfl, Bernhard Nebel. [doi]
- Query-driven Repairing of Inconsistent DL-Lite Knowledge Bases (Extended Abstract)Meghyn Bienvenu, Camille Bourgaux, François Goasdoué. [doi]
- Efficient Axiom Pinpointing in EL using SAT TechnologyNorbert Manthey, Rafael Peñaloza, Sebastian Rudolph. [doi]
- Ontology-Mediated Queries for NOSQL DatabasesMarie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana. [doi]
- The TDDonto Tool for Test-Driven Development of DL Knowledge basesAgnieszka Lawrynowicz, C. Maria Keet. [doi]
- On the SPARQL Direct Semantics Entailment Regime for OWL 2 QLAntonella Poggi. [doi]
- Weaving Ontology Aspects Using a Catalog of Structural Ontology Design PatternsRalph Schäfermeier, Adrian Paschke. [doi]
- Open World Probabilistic Databases (Extended Abstract)Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck. [doi]
- Fixed-Domain Reasoning for Description LogicsSarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer. [doi]
- Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description LogicsShqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus. [doi]
- Tableau-Based ABox Abduction for Description Logics: Preliminary ReportJúlia Pukancová, Martin Homola. [doi]
- Forgetting Concept and Role Symbols in ALCOIH\mu+(\top, \sqcap)-OntologiesYizheng Zhao, Renate A. Schmidt. [doi]
- On Decidability and Tractability of Querying in Temporal ELVíctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov. [doi]
- Object-Relational Queries over CFDI_nc Knowledge Bases: OBDA for the SQL-Literate (extended abstract)Jason St. Jacques, David Toman, Grant E. Weddell. [doi]
- Synthesizing and Executing Plans in Knowledge and Action BasesDiego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy. [doi]
- A Compilation Technique for Interactive Ontology-mediated Data ExplorationMedina Andresel, Magdalena Ortiz, Mantas Simkus. [doi]
- On the Closure of Description Logics under SubstitutionsJon Haël Brenas, Rachid Echahed, Martin Strecker. [doi]
- Evaluation Metrics in Ontology ModulesZubeida Casmod Khan. [doi]
- Minimising Acyclic EL OntologiesPatrick Koopmann, Nadeschda Nikitina. [doi]
- Ontology Materialization by Abstraction Refinement in Horn SHOIFBirte Glimm, Yevgeny Kazakov, Trung-Kien Tran. [doi]
- Extending DLR with Labelled Tuples, Projections, Functional Dependencies and ObjectificationAlessandro Artale, Enrico Franconi. [doi]
- Semantic Reasoning for Smog Disaster AnalysisJiaoyan Chen, Huajun Chen, Jeff Z. Pan. [doi]
- Bounded Implication for Existential Rules (Extended Abstract)Cristina Civili, Riccardo Rosati. [doi]
- A Design for Coordinated and Logics-mediated Conceptual ModellingPablo Rubén Fillottrani, C. Maria Keet. [doi]
- Virtual OBDA over Expressive Ontologies: Rewritings and ApproximationsElena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao. [doi]