Abstract is missing.
- Modularity Meets Forgetting: A Case Study with the SNOMED CT OntologyJieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther 0002, Yongsheng Gao. [doi]
- Ontology-Mediated Query Answering over Log-Linear Probabilistic Data (Abstract)Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz. [doi]
- Exhaustive Query Answering via Referring ExpressionsDavid Toman, Grant E. Weddell. [doi]
- Practical Datalog Rewriting for Existential RulesZhe Wang, Peng Xiao, Kewen Wang. [doi]
- Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract)David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe. [doi]
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion EntailmentDavid Carral, Larry González, Patrick Koopmann. [doi]
- An Expressive Sub-language of OWL 2 Full for Domain Meta-modelingZhenzhen Gu, Cungen Cao, Songmao Zhang. [doi]
- Ontology-Based Query Answering for Probabilistic Temporal Data (Abstract)Patrick Koopmann. [doi]
- How Modular Are Modular Ontologies? Logic-Based Metrics for Ontologies with ImportsRobin Nolte, Thomas Schneider. [doi]
- Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct CountingBartosz Bednarczyk, Sebastian Rudolph. [doi]
- Making Decisions over Contextual OntologiesErman Acar, Rafael Peñaloza, Livia Predoiu. [doi]
- Probably Approximately Correct Completion of Description Logic Knowledge BasesSergei Obiedkov, Baris Sertkaya, Denis Zolotukhin. [doi]
- Tracking Logical Difference in Industrial-Scale OntologiesYizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi. [doi]
- Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality ConstraintsFranz Baader, Bartosz Bednarczyk, Sebastian Rudolph. [doi]
- A Toothful of Concepts: Towards a Theory of Weighted Concept CombinationDaniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani, Claudio Masolo. [doi]
- Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract)Franz Baader, Oliver Fernández Gil, Pavlos Marantidis. [doi]
- Sequoia: A Consequence Based Reasoner for SROIQDavid Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks. [doi]
- On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive RolesTomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmin Ibáñez-García, Jean Christoph Jung, Filip Murlak. [doi]
- Avoiding Subsumption Tests During Classification Using the Atomic DecompositionHaoruo Zhao, Uli Sattler, Bijan Parsia. [doi]
- Temporal DL-Lite over Finite Traces (Preliminary Results)Alessandro Artale, Andrea Mazzullo, Ana Ozaki. [doi]
- Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplainKatarína Fabianová, Júlia Pukancová, Martin Homola. [doi]
- Absorption-Based Query Entailment Checking for Expressive Description LogicsAndreas Steigmiller, Birte Glimm. [doi]
- Contextual Rational Closure for Defeasible ALC (Extended Abstract)Arina Britz, Ivan Varzinczak. [doi]
- Coupling Ontologies with Document SpannersDomenico Lembo, Federico Maria Scafoglieri. [doi]
- Towards Situation Discovery for Clustering InstancesLuis Palacios, Yue Ma, Chantal Reynaud, Gaëlle Lortal. [doi]
- A Datalog Translation for Reasoning on DL-Lite_R with DefeasibilityLoris Bozzato, Thomas Eiter, Luciano Serafini. [doi]
- PTime Combined Complexity and FPT in Ontology-Mediated QueryingPablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris. [doi]
- Mixed-World Reasoning with Existential Rules under Active Domain Semantics (Abstract)Meghyn Bienvenu, Pierre Bourhis. [doi]
- Reasoning with Contextual Defeasible ALCArina Britz, Ivan Varzinczak. [doi]
- The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract)David Carral, Irina Dragoste, Markus Krötzsch. [doi]
- A Richer Policy Language for GDPR CompliancePiero A. Bonatti, Iliana M. Petrova, Luigi Sauro. [doi]
- Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (Extended Abstract)Stefan Borgwardt, Walter Forkel. [doi]
- Towards an Equivalence Degree of EL CQs (Extended Abstract)Oliver Fernández Gil, Anni-Yasmin Turhan. [doi]
- Rational Grading in an Expressive Description LogicMitko Yanchev. [doi]
- Towards Spatio-Temporal Reasoning in Description Logic f-ALC(D)-LTLHaitao Cheng, Zongmin Ma. [doi]
- Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and QueriesPatrick Koopmann. [doi]
- On Concept Forgetting in Description Logics with Qualified Number RestrictionsYizheng Zhao, Renate A. Schmidt. [doi]
- A Note on DL-Lite with Boolean Role InclusionsRoman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. [doi]
- On Queries with Inequalities in DL-LiteR≠Gianluca Cima, Federico Croce, Maurizio Lenzerini, Antonella Poggi, Elian Toccacieli. [doi]
- Inside the Query Space of DL Knowledge BasesAlexandros Chortaras, Michalis Giazitzoglou, Giorgos Stamou. [doi]
- Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract)Ana Ozaki, Nicolas Troquard. [doi]
- Model Comparison Games for Horn Description Logics: A SummaryJean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev. [doi]
- On Non-normal Modal Description LogicsTiziano Dalmonte, Andrea Mazzullo, Ana Ozaki. [doi]
- Finite Satisfiability of Unary Negation Fragment with Transitivity (Extended Abstract)Daniel Danielski, Emanuel Kieronski. [doi]
- On Special Description Logics for Processes and PlansAlexander Borgida, David Toman, Grant E. Weddell. [doi]
- Querying Attributed DL-Lite Ontologies Using Provenance Semirings (Extended Abstract)Camille Bourgaux, Ana Ozaki. [doi]
- Decidability and Complexity of ALCOIF with Transitive Closure (and More)Jean Christoph Jung, Carsten Lutz, Thomas Zeume. [doi]
- Improving Ontology Verbalization using Semantic-level Refinement (Extended Abstract)Vinu E. Venugopal, P. Sreenivasa Kumar. [doi]
- Bagging the DL-Lite Family FurtherGianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks. [doi]
- Connecting Databases and Ontologies: A Data Quality PerspectiveHoracio Tellez Perez, Jef Wijsen. [doi]
- Answer Set Programs Challenged by OntologiesMagdalena Ortiz, Sanja Pavlovic, Mantas Simkus. [doi]
- Detecting Influences of Ontology Design Patterns in Biomedical OntologiesChristian Kindermann, Bijan Parsia, Uli Sattler. [doi]
- Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract)Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter. [doi]
- Inconsistency Handling in Ontology-Mediated Query Answering: A Progress ReportMeghyn Bienvenu. [doi]
- Decidable Verification of Golog Programs: Situation Calculus Meets Description LogicGerhard Lakemeyer. [doi]
- Projection in a Description Logic of Context with ActionsSatyadharma Tirtarasa, Benjamin Zarrieß. [doi]
- Towards a Prudent Argumentation Framework for Reasoning with Imperfect OntologiesSaïd Jabbour, Yue Ma, Badran Raddaoui. [doi]
- A Theoretical View on Reverse Engineering Problems for Database Query LanguagesPablo Barceló. [doi]
- Arbitrary Ranking of Defeasible SubsumptionGiovanni Casini, Michael Harrison, Thomas Meyer, Reid Swan. [doi]