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

Neuro-Symbolic Class Expression Learning IJCAI 2023
Efficient Extraction of EL-Ontology Deductive Modules AAAI 2023
Description Logics with Pointwise Circumscription IJCAI 2023
LoRA: A Logical Reasoning Augmented Dataset for Visual Question Answering NIPS 2023
Optimizing the Computation of Overriding in DLN (Extended Abstract) IJCAI 2023
Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract) IJCAI 2023
SMT Safety Verification of Ontology-Based Processes AAAI 2023
Modeling Abstract Algebra as an OWL Ontology (Student Abstract) AAAI 2022
Finite Entailment of Local Queries in the Z Family of Description Logics AAAI 2022
Computing Concept Referring Expressions for Queries on Horn ALC Ontologies IJCAI 2022
Expressivity of Planning with Horn Description Logic Ontologies 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
Equivalence in Argumentation Frameworks with a Claim-Centric View – Classical Results with Novel Ingredients 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
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies IJCAI 2021
Neuro-Symbolic Techniques for Description Logic Reasoning (Student Abstract) AAAI 2021
Mining EL Bases with Adaptable Role Depth AAAI 2021
Web Interoperability for Ontology Development and Support with crowd 2.0 IJCAI 2021
Cardinality Queries over DL-Lite Ontologies IJCAI 2021
A Description Logic for Analogical Reasoning IJCAI 2021
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions AAAI 2021
Intensional and Extensional Views in DL-Lite Ontologies IJCAI 2021
Bounded Predicates in Description Logics with Counting IJCAI 2021