Querying Attributed DL-Lite Ontologies Using Provenance Semirings (Extended Abstract)
Sequoia: A Consequence Based Reasoner for SROIQ
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting
Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract)
Towards Spatio-Temporal Reasoning in Description Logic f-ALC(D)-LTL
Connecting Databases and Ontologies: A Data Quality Perspective
Model Comparison Games for Horn Description Logics: A Summary
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract)
Finite Satisfiability of Unary Negation Fragment with Transitivity
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract)
PTime Combined Complexity and FPT in Ontology-Mediated Querying
Decidability and Complexity of ALCOIF with Transitive Closure (and More)
Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract)
Inside the Query Space of DL Knowledge Bases
A richer policy language for GDPR compliance
Answer Set Programs Challenged by Ontologies
On Finite and Unrestricted Query Entailment beyond SQ
Improving Ontology Verbalization using Semantic-level Refinement
Ontology-Mediated Query Answering over Log-Linear Probabilistic Data (Abstract)
Projection in a Description Logic of Context with Actions
An Expressive Sub-language of OWL 2 Full for Domain Meta-modeling
Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract)
On Special Description Logics for Processes and Plans
Avoiding Subsumption Tests During Classification Using the Atomic Decomposition
How Modular Are Modular Ontologies? Logic-Based Metrics for Ontologies with Imports
Making Decisions over Contextual Ontologies
Mixed-World Reasoning with Existential Rules under Active Domain Semantics
Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain
Coupling ontologies with document spanners
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
Arbitrary Ranking of Defeasible Subsumption
On Non-normal Modal Description Logics
Tracking Logical Difference in Industrial-Scale Ontologies
On Concept Forgetting in Description Logics with Qualified Number Restrictions
Ontology-Based Query-Answering for Probabilistic Temporal Data (Abstract)
A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility
Absorption-Based Query Entailment Checking for Expressive Description Logics
Exhaustive Query Answering via Referring Expressions
Queries with inequalities in OWL 2 QL
Temporal DL-Lite over Finite Traces (Preliminary Results)
Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries
A fistful of concepts. Towards a theory of weighted concept combination
Detecting Influences of Ontology Design Patterns in Biomedical Ontologies
Rational Grading in an Expressive Description Logic
Towards an Equivalence Degree of EL CQs
Bagging the DL-Lite Family Further
Probably Approximately Correct Completion of Description Logic Knowledge Bases
A Note on DL-Lite with Boolean Role Inclusions
Contextual rational closure for defeasible ALC (Extended Abstract)
Reasoning with Contextual Defeasible ALC
Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology
Practical Datalog Rewriting for Existential Rules
Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (Extended Abstract)
Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies
Towards Situation Discovery for Clustering Instances