conftrace_

tbox axiom

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

axiom learning (1) instance example (1) ontology engineering (1) class expression (1) symbolic classification (1) concept induction (1) class description (1) description logic (1) knowledge representation (1)

Papers

Efficient Concept Induction for Description Logics AAAI 2019