conftrace_

description logic

107 papers

Explore in graph

Also known as

DLS DL

Co-occurring keywords

knowledge representation (301) knowledge base (804) query answering (70) conjunctive query (24) query entailment (7) concept learning (121) computational complexity (399) query rewriting (64) ontology reasoning (14) ontology engineering (10)

Papers

Revisiting Conjunctive Query Entailment for S AAAI 2026
Foundations of Formal Reasoning over Knowledge Bases Combining Symbolic and Sub-Symbolic Knowledge AAAI 2026
Data Complexity of Querying Description Logic Knowledge Bases Under Cost-Based Semantics AAAI 2026
ODL-TempLLM: Ontology-Guided and Description Logic-Reasoned Temporal Reasoning with LLMs ACL 2026
Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction AAAI 2026
Model Change for Description Logic Concepts AAAI 2026
Can You Tell the Difference? Contrastive Explanations for ABox Entailments AAAI 2026
Extending Description Logics with Generic Concepts – the Case of Terminologies AAAI 2026
Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases AAAI 2025
Meaning Holism and Indeterminacy of Reference in Ontologies (Extended Abstract) IJCAI 2025
Temporal Conjunctive Query Answering via Rewriting AAAI 2025
Spectra of Cardinality Queries over Description Logic Knowledge Bases AAAI 2025
Assessing the Exposure to Public Knowledge in Policy-Protected Description Logic Ontologies IJCAI 2025
Shapley Value Computation in Ontology-Mediated Query Answering (Extended Abstract) IJCAI 2025
Contractions Based on Optimal Repairs (Extended Abstract) IJCAI 2025
Stable Model Semantics for Description Logic Terminologies AAAI 2024
Data Complexity in Expressive Description Logics with Path Expressions IJCAI 2024
Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study EMNLP 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
Enhancing Controlled Query Evaluation through Epistemic Policies IJCAI 2024
Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents IJCAI 2024
LoRA: A Logical Reasoning Augmented Dataset for Visual Question Answering NIPS 2023
Efficient Computation of General Modules for ALC Ontologies IJCAI 2023
Efficient Extraction of EL-Ontology Deductive Modules AAAI 2023