description logic

Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions AAAI 2021 Mining EL Bases with Adaptable Role Depth AAAI 2021 Neuro-Symbolic Techniques for Description Logic Reasoning (Student Abstract) AAAI 2021 Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics IJCAI 2021 Web Interoperability for Ontology Development and Support with crowd 2.0 IJCAI 2021 A Framework for Reasoning about Dynamic Axioms in Description Logics IJCAI 2020 A Journey into Ontology Approximation: From Non-Horn to Horn IJCAI 2020 Answering Conjunctive Queries with Inequalities in DL-Liteℛ AAAI 2020 Answering Counting Queries over DL-Lite Ontologies IJCAI 2020 A Practical Approach to Forgetting in Description Logics with Nominals AAAI 2020 Cone Semantics for Logics with Negation IJCAI 2020 Controlled Query Evaluation in Description Logics Through Instance Indistinguishability IJCAI 2020 Deductive Module Extraction for Expressive Description Logics IJCAI 2020 Learning Query Inseparable εℒℋ Ontologies AAAI 2020 Least General Generalizations in Description Logic: Verification and Existence AAAI 2020 Provenance for the Description Logic ELHr IJCAI 2020 Rational Closure For All Description Logics (Extended Abstract) IJCAI 2020 Resilient Logic Programs: Answer Set Programs Challenged by Ontologies AAAI 2020 Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules IJCAI 2020 Towards Universal Languages for Tractable Ontology Mediated Query Answering AAAI 2020 ABox Abduction via Forgetting in ALC AAAI 2019 A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic IJCAI 2019 Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies IJCAI 2019 Efficient Concept Induction for Description Logics AAAI 2019 EL Embeddings: Geometric Construction of Models for the Description Logic EL++ IJCAI 2019