description logic

Efficient Answer Enumeration in Description Logics with Functional Roles AAAI 2023 Efficient Computation of General Modules for ALC Ontologies IJCAI 2023 Efficient Extraction of EL-Ontology Deductive Modules AAAI 2023 Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract) IJCAI 2023 LoRA: A Logical Reasoning Augmented Dataset for Visual Question Answering NeurIPS 2023 Neuro-Symbolic Class Expression Learning IJCAI 2023 Optimizing the Computation of Overriding in DLN (Extended Abstract) IJCAI 2023 SAT-Based PAC Learning of Description Logic Concepts IJCAI 2023 SMT Safety Verification of Ontology-Based Processes AAAI 2023 Computing Concept Referring Expressions for Queries on Horn ALC Ontologies IJCAI 2022 Equivalence in Argumentation Frameworks with a Claim-Centric View – Classical Results with Novel Ingredients AAAI 2022 Expressivity of Planning with Horn Description Logic Ontologies AAAI 2022 Finite Entailment of Local Queries in the Z Family of Description Logics AAAI 2022 Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies IJCAI 2022 Learning and Exploiting Progress States in Greedy Best-First Search IJCAI 2022 Modeling Abstract Algebra as an OWL Ontology (Student Abstract) AAAI 2022 Monotone Abstractions in Ontology-Based Data Management AAAI 2022 The Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard AAAI 2022 Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies IJCAI 2021 A Description Logic for Analogical Reasoning IJCAI 2021 Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics AAAI 2021 Bounded Predicates in Description Logics with Counting IJCAI 2021 Cardinality Queries over DL-Lite Ontologies IJCAI 2021 Intensional and Extensional Views in DL-Lite Ontologies IJCAI 2021 Knowledge-Base Degrees of Inconsistency: Complexity and Counting AAAI 2021