conftrace_

ontology approximation

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

horn logic (2) description logic (2) ontology-mediated querying (1) model theory (1) horn description logic (1) formal methods (1) knowledge representation (1)

Papers

A Journey into Ontology Approximation: From Non-Horn to Horn IJCAI 2020 Ontology Approximation in Horn Description Logics IJCAI 2019