conftrace_

role inclusion

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

craig interpolation (1) beth definability (1) ontology engineering (1) description logic (1) knowledge representation (1)

Papers

Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions AAAI 2021