conftrace_

module extraction

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

description logic (4) uniform interpolation (2) ontology engineering (1) tree representation (1) sat encoding (1) ontology module (1) logical entailment (1) non-monotonic reasoning (1) query answering (1) ontology reasoning (1)

Papers

Efficient Computation of General Modules for ALC Ontologies IJCAI 2023 Efficient Extraction of EL-Ontology Deductive Modules AAAI 2023 Optimizing the Computation of Overriding in DLN (Extended Abstract) IJCAI 2023 Deductive Module Extraction for Expressive Description Logics IJCAI 2020