conftrace_

uniform interpolation

4 papers

Explore in graph

Also known as

UI

Co-occurring keywords · papers mentioning both

description logic (3) module extraction (2) ontology module (1) logical entailment (1) ontology engineering (1) abox abduction (1) logical difference (1) abductive reasoning (1) knowledge representation (1)

Papers

Efficient Computation of General Modules for ALC Ontologies IJCAI 2023 Deductive Module Extraction for Expressive Description Logics IJCAI 2020 ABox Abduction via Forgetting in ALC AAAI 2019 Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach AAAI 2019