Abstract is missing.
- Reasoning With Weighted OntologiesRafael Peñaloza. [doi]
- Extending DL-Lite Sometime in the FutureAlessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev. [doi]
- Using Description Logics in Relation Based Access ControlRui Zhang, Alessandro Artale, Fausto Giunchiglia, Bruno Crispo. [doi]
- Adding Weight to DL-LiteAlessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev. [doi]
- Unification in the Description Logic ELFranz Baader, Barbara Morawska. [doi]
- Consequence-Driven Reasoning for Horn SHIQ OntologiesYevgeny Kazakov. [doi]
- A Semantic Algebra for Modularized Description Logics Knowledge BasesKrzysztof Goczyla, Wojciech Waloszek, Aleksander Waloszek. [doi]
- Completeness Guaranteed Approximations for OWL-DL Query AnsweringJeff Z. Pan, Edward Thomas, Yuting Zhao. [doi]
- DL-Lite without UNAAlessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev. [doi]
- A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description LogicsFrancesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio. [doi]
- A Framework for Reasoning with Expressive Continuous Fuzzy Description LogicsGiorgos Stoilos, Giorgos B. Stamou. [doi]
- An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALCXiaowang Zhang, Zhihu Zhang, Zuoquan Lin. [doi]
- Global Caching, Inverse Roles and Fixpoint LogicsRajeev Goré. [doi]
- Lemmas for Justifications in OWLMatthew Horridge, Bijan Parsia, Ulrike Sattler. [doi]
- Terminating Tableaux for SOQ with Number Restrictions on Transitive RolesMark Kaminski, Gert Smolka. [doi]
- Validating Process Refinement with OntologiesYuan Ren, Gerd Gröner, Jens Lemcke, Tirdad Rahmani, Andreas Friesen, Yuting Zhao, Jeff Z. Pan, Steffen Staab. [doi]
- A Combination of Boolean Games with Description Logics for Automated Multi-Attribute NegotiationThomas Lukasiewicz, Azzurra Ragone. [doi]
- An Extension of Regularity Conditions for Complex Role Inclusion AxiomsYevgeny Kazakov. [doi]
- Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive SemanticsMichael Mendler, Stephan Scheele. [doi]
- A Resolution Based Description Logic CalculusZsolt Zombori, Gergely Lukácsy. [doi]
- Optimizing Reasoning with Qualified Number Restrictions in SHQNasim Farsinia, Volker Haarslev. [doi]
- Testing Provers on a Grid - Framework DescriptionCarlos Areces, Daniel GorÃn, Alejandra Lorenzo, Mariano Pérez RodrÃguez. [doi]
- Building Ontologies Collaboratively Using ContentCVSErnesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori. [doi]
- Belief Contraction in the Description Logic ELZhi Qiang Zhuang, Maurice Pagnucco. [doi]
- Tractable Query Answering over Ontologies with Datalog+/-Andrea Calì, Georg Gottlob, Thomas Lukasiewicz. [doi]
- What Happened to Bob? Semantic Data Mining of Context HistoriesMichael Wessel, Marko Luther, Ralf Möller. [doi]
- OntoComP System DescriptionBaris Sertkaya. [doi]
- Algebraic Tableau Algorithm for ALCOQJocelyne Faddoul, Volker Haarslev, Ralf Möller. [doi]
- Explaining by Example: Model Exploration for Ontology ComprehensionJohannes Bauer, Ulrike Sattler, Bijan Parsia. [doi]
- Quasi-Classical Semantics for Expressive Description LogicsXiaowang Zhang, Guilin Qi, Yue Ma, Zuoquan Lin. [doi]
- Concept Projection in Algebras for Computing Certain Answer DescriptionsJeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu. [doi]
- A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary ResultsTommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini. [doi]
- Revision of DL-Lite Knowledge BasesZhe Wang, Kewen Wang, Rodney W. Topor. [doi]
- Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract)Inanç Seylan, Enrico Franconi, Jos de Bruijn. [doi]
- Model-Based Most Specific Concepts in Some Inexpressive Description LogicsFelix Distel. [doi]
- Filling the Gap between OWL 2 QL and QuOnto: ROWLKitClaudio Corona, Marco Ruzzi, Domenico Fabio Savo. [doi]
- Combined FO Rewritability for Conjunctive Query Answering in DL-LiteRoman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev. [doi]
- Relativizing Concept Descriptions to Comparison ClassesSzymon Klarman, Stefan Schlobach. [doi]
- On Higher-Order Description LogicsGiuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati. [doi]
- Forgetting and Uniform Interpolation in Extensions of the Description Logic ELBoris Konev, Dirk Walther, Frank Wolter. [doi]
- A System for Retrieving Top-k Candidates to Job PositionsUmberto Straccia, Eufemia Tinelli, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio. [doi]
- Formalizing Multimedia Interpretation based on Abduction over Description Logic AboxesIrma Sofia Espinosa Peraldi, Atila Kaya, Ralf Möller. [doi]
- A Comparison of Query Rewriting Techniques for DL-liteHéctor Pérez-Urbina, Boris Motik, Ian Horrocks. [doi]
- OWL Reasoning in the Real World: Searching for GodotKavitha Srinivas. [doi]
- A Conflict-based Operator for Mapping RevisionGuilin Qi, Qiu Ji, Peter Haase. [doi]
- Reintroducing CEL as an OWL 2 EL ReasonerJulian Mendez, Boontawee Suntisrivaraporn. [doi]
- A Matter of Principles: Towards the Largest DLP PossibleMarkus Krötzsch, Sebastian Rudolph. [doi]
- Open and Closed World Assumptions in Data ExchangeLeonid Libkin, Cristina Sirangelo. [doi]
- Fair Cycle Detection using Description Logic ReasoningShoham Ben-David, Jeffrey Pound, Richard J. Trefler, Dmitry Tsarkov, Grant E. Weddell. [doi]
- An Only Knowing Approach to Defeasible Description Logics (Extended Abstract)Espen H. Lian, Arild Waaler. [doi]
- Importing Ontologies with Hidden ContentBernardo Cuenca Grau, Boris Motik. [doi]
- Axiom Pinpointing is HardRafael Peñaloza, Baris Sertkaya. [doi]
- Exploiting Partial Information in Taxonomy ConstructionRob Shearer, Ian Horrocks, Boris Motik. [doi]
- On Correspondences between Probabilistic First-Order and Description LogicsPavel Klinov, Bijan Parsia, Ulrike Sattler. [doi]
- Modelling Object Typicality in Description LogicsKatarina Britz, Johannes Heidema, Tommie Meyer. [doi]
- Query Answering over DL ABoxes: How to Pick the Relevant SymbolsFranz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter. [doi]
- Conjunctive Query Entailment: Decidable in Spite of O, I, and QBirte Glimm, Sebastian Rudolph. [doi]
- Reasoning About Typicality in ALC and ELLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. [doi]
- Generalized Closed World Reasoning in Description Logics with Extended Domain ClosureOliver Gries. [doi]
- Soundness Preserving Approximation for TBox Reasoning in RYuan Ren, Jeff Z. Pan, Yuting Zhao. [doi]
- Which Kind of Module Should I Extract?Ulrike Sattler, Thomas Schneider, Michael Zakharyaschev. [doi]