description logic

Can You Tell the Difference? Contrastive Explanations for ABox Entailments AAAI 2026 Concept Sketching for Description Logics UAI 2026 Data Complexity of Querying Description Logic Knowledge Bases Under Cost-Based Semantics AAAI 2026 Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction AAAI 2026 Extending Description Logics with Generic Concepts – the Case of Terminologies AAAI 2026 Foundations of Formal Reasoning over Knowledge Bases Combining Symbolic and Sub-Symbolic Knowledge AAAI 2026 Model Change for Description Logic Concepts AAAI 2026 ODL-TempLLM: Ontology-Guided and Description Logic-Reasoned Temporal Reasoning with LLMs ACL 2026 Revisiting Conjunctive Query Entailment for S AAAI 2026 When Can We Learn from Noisy Logical Data? Parameterized Complexity of Approximate Concept Fitting in Description Logics UAI 2026 Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases AAAI 2025 Assessing the Exposure to Public Knowledge in Policy-Protected Description Logic Ontologies IJCAI 2025 Contractions Based on Optimal Repairs (Extended Abstract) IJCAI 2025 Meaning Holism and Indeterminacy of Reference in Ontologies (Extended Abstract) IJCAI 2025 Shapley Value Computation in Ontology-Mediated Query Answering (Extended Abstract) IJCAI 2025 Spectra of Cardinality Queries over Description Logic Knowledge Bases AAAI 2025 Temporal Conjunctive Query Answering via Rewriting AAAI 2025 Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study EMNLP 2024 Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents IJCAI 2024 Data Complexity in Expressive Description Logics with Path Expressions IJCAI 2024 Enhancing Controlled Query Evaluation through Epistemic Policies IJCAI 2024 On the Power and Limitations of Examples for Description Logic Concepts IJCAI 2024 ROCES: Robust Class Expression Synthesis in Description Logics via Iterative Sampling IJCAI 2024 Stable Model Semantics for Description Logic Terminologies AAAI 2024 Description Logics with Pointwise Circumscription IJCAI 2023