Abstract is missing.
- Non-Uniform Data Complexity of Query Answering in Description LogicsCarsten Lutz, Frank Wolter. [doi]
- Goal-oriented Query Rewriting for OWL 2 QLAlexandros Chortaras, Despoina Trivela, Giorgos B. Stamou. [doi]
- Structural Models in Axiomatic SysMLHenson Graves. [doi]
- Correcting Access Restrictions to a Consequence More FlexiblyEldora, Martin Knechtel, Rafael Peñaloza. [doi]
- Concept Model Semantics for DL Preferential ReasoningArina Britz, Thomas Meyer, Ivan José Varzinczak. [doi]
- Nominal Schemas for Integrating Rules and Description LogicsMarkus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. [doi]
- Repairing Incomplete ReasonersGiorgos Stoilos, Bernardo Cuenca Grau. [doi]
- DL-Lite with Attributes and Sub-Roles (Extended Abstract)Alessandro Artale, Yazmin Angélica Ibáñez-García, Roman Kontchakov, Vladislav Ryzhikov. [doi]
- Paraconsistent Rough Description LogicHenrique Viana, João Alcåntara, Ana Teresa C. Martins. [doi]
- Mapping Data to Higher-Order Description Logic Knowledge BasesFloriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati. [doi]
- On P/NP Dichotomies for EL Subsumption under Relational ConstraintsAgi Kurucz, Frank Wolter, Michael Zakharyaschev. [doi]
- Unification in the Description Logic EL without the Top ConceptFranz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska. [doi]
- First-Order Expressibility Results for Queries over Inconsistent DL-Lite Knowledge BasesMeghyn Bienvenu. [doi]
- On Prototypes for Winslett s Semantics of DL-Lite ABox EvolutionEvgeny Kharlamov, Dmitriy Zheleznyakov. [doi]
- In the Search of Improvements to the EL+ Classification AlgorithmBaris Sertkaya. [doi]
- The Cognitive Complexity of OWL JustificationsMatthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler. [doi]
- Reasoning in Resource-Constrained Environments: a Matchmaking Engine over Relational Knowledge BasesEufemia Tinelli, Francesco M. Donini, Michele Ruta, Eugenio Di Sciascio. [doi]
- Extracting Finite Sets of Entailments from OWL OntologiesSamantha Bail, Bijan Parsia, Ulrike Sattler. [doi]
- Analysing Multiple Versions of an Ontology: A Study of the NCI ThesaurusRafael S. Gonçalves, Bijan Parsia, Ulrike Sattler. [doi]
- A Little Logic Goes a Long Way - Logical Reasoning in Web Data Integration and Ontology LearningHeiner Stuckenschmidt. [doi]
- GCIs Make Reasoning in Fuzzy DL with the Product T-norm UndecidableFranz Baader, Rafael Peñaloza. [doi]
- Fixed Parameter Tractable Reasoning in DLs via DecompositionFrantisek Simancik, Boris Motik, Markus Krötzsch. [doi]
- Fuzzy Ontologies over Lattices with T-normsStefan Borgwardt, Rafael Peñaloza. [doi]
- Implementing Completion-Based Inferences for the EL-familyJulian Mendez, Andreas Ecke, Anni-Yasmin Turhan. [doi]
- Verification of Conjunctive-Query Based Semantic ArtifactsBabak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis. [doi]
- Status QIO: An UpdateBirte Glimm, Yevgeny Kazakov, Carsten Lutz. [doi]
- Bidirectional Reachability-Based ModulesRiku Nortje, Arina Britz, Thomas Andreas Meyer. [doi]
- Knowledge Base ExchangeMarcelo Arenas, Elena Botoeva, Diego Calvanese. [doi]
- Reasoning-Supported Interactive Revision of Knowledge BasesNadeschda Nikitina, Sebastian Rudolph, Birte Glimm. [doi]
- Module Extraction via Query Inseparability in OWL 2 QLBoris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider 0002, Frank Wolter, Michael Zakharyaschev. [doi]
- Rewriting Ontological Queries into Small Nonrecursive Datalog ProgramsGeorg Gottlob, Thomas Schwentick. [doi]
- The Complexity of Probabilistic ELJean Christoph Jung, Víctor Gutiérrez-Basulto, Carsten Lutz, Lutz Schröder. [doi]
- On the Evolution of the Instance Level of DL-Lite Knowledge BasesMaurizio Lenzerini, Domenico Fabio Savo. [doi]
- Ontology Design and Integration with ICOM 3.0 - Tool Description and MethodologyPablo R. Fillottrani, Enrico Franconi, Sergio Tessaris. [doi]
- Query Answering over SROIQ Knowledge Bases with SPARQLIlianna Kollia, Birte Glimm, Ian Horrocks. [doi]
- Unchain My EL ReasonerYevgeny Kazakov, Markus Krötzsch, Frantisek Simancik. [doi]
- On the Problem of Weighted Max-DL-SAT and its Application to Image LabelingStefan Scheglmann, Carsten Saathoff, Steffen Staab. [doi]
- The Modular Structure of an Ontology: Atomic Decomposition towards ApplicationsChiara Del Vescovo. [doi]
- The Complexity of Conjunctive Query Abduction in DL-LiteDiego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni. [doi]
- Quelo: an Ontology-Driven Query InterfaceEnrico Franconi, Paolo Guagliardo, Marco Trevisan, Sergio Tessaris. [doi]
- Satisfiability in EL with Sets of Probabilistic ABoxesMarcelo Finger, Renata Wassermann, Fabio Gagliardi Cozman. [doi]
- Dependencies to Optimize Ontology Based Data AccessMariano Rodriguez-Muro, Diego Calvanese. [doi]
- Forgetting in General EL TerminologiesNadeschda Nikitina. [doi]
- On (In)Tractability of OBDA with OWL 2 QLStanislav Kikot, Roman Kontchakov, Michael Zakharyaschev. [doi]
- Collective Classification in Semantic Mapping with a Probabilistic Description LogicFabiano Corrêa, Fabio Gagliardi Cozman, Jun Okamoto Jr.. [doi]
- Two-Dimensional Description Logics of ContextSzymon Klarman, Víctor Gutiérrez-Basulto. [doi]
- Practical Epistemic Entailment Checking in SROIQAnees Mehdi, Sebastian Rudolph. [doi]
- Contextual Representation and Reasoning with Description LogicsLuciano Serafini, Martin Homola. [doi]
- Practical ABox Cleaning in DL-Lite (progress report)Giulia Masotti, Riccardo Rosati, Marco Ruzzi. [doi]
- Integrity Constraints for Linked DataAlan Jeffrey, Peter F. Patel-Schneider. [doi]
- Relaxed Abduction: Robust Information Interpretation for Incomplete ModelsThomas Hubauer, Steffen Lamparter, Michael Pirker. [doi]
- Local Closed World Semantics: Keep it simple, stupid!Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler. [doi]
- A Connection Method for Inferencing over the Description Logic ALCFred Freitas. [doi]
- Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0Francis Gasse, Viorica Sofronie-Stokkermans. [doi]
- A Technique for Handling the Right Hand Side of Complex RIAsMilenko Mosurovic, Nenad Krdzavac. [doi]