conftrace_

deductive forgetting

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

ontology engineering (1) logical consequence (1) description logic (1) knowledge representation (1)

Papers

A Practical Approach to Forgetting in Description Logics with Nominals AAAI 2020