conftrace_

ontology module

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

uniform interpolation (1) logical entailment (1) module extraction (1) description logic (1)

Papers

Deductive Module Extraction for Expressive Description Logics IJCAI 2020