conftrace_

axiom learning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

instance example (1) tbox axiom (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