conftrace_

ontology reasoning

14 papers

Explore in graph

Co-occurring keywords

description logic (107) ontological reasoning (11) existential rule (24) sat solver (78) knowledge base (804) knowledge representation (301) consequence-based reasoning (1) query answering (70) sat encoding (13) semantic retrieval (111)

Papers

LA²I²F at SemEval-2025 Task 5: Reasoning in Embedding Space – Fusing Analogical and Ontology-based Reasoning for Document Subject Tagging ACL 2025
Efficient Extraction of EL-Ontology Deductive Modules AAAI 2023
Answering Queries with Negation over Existential Rules AAAI 2022
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies IJCAI 2021
Bounded Predicates in Description Logics with Counting IJCAI 2021
Relatedness and TBox-Driven Rule Learning in Large Knowledge Bases AAAI 2020
Ontology Reasoning with Deep Neural Networks (Extended Abstract) IJCAI 2020
Checking Chase Termination over Ontologies of Existential Rules with Equality AAAI 2020
Schema Aware Semantic Reasoning for Interpreting Natural Language Queries in Enterprise Settings COLING 2020
Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets AAAI 2019
Finding Justifications by Approximating Core for Large-scale Ontologies IJCAI 2019
Fast Compliance Checking in an OWL2 Fragment IJCAI 2018
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals IJCAI 2018
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies IJCAI 2018