We have 3 of 11 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Knowledge graph completion is evaluated by ranking observed triples above randomly corrupted ones, which treats every unobserved fact as false. When the object being completed is a description logic knowledge base rather than a plain graph, the open world assumption and deductive closure make this inadequate: relative...
Moose improves over propositional-NeSy, fuzzy-logic, and ontology embedding baselines, and presents the first reasoning-shortcut analysis in an OWL EL setting.
Baobab is presented, which is to the authors' knowledge the first to characterize and mitigate reasoning shortcuts in a non-Horn description logic and machine-checked in Lean 4.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
