no code implementations • 17 May 2022 • Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
We consider TBox abduction in the lightweight description logic EL, where the observation is a concept inclusion and the background knowledge is a TBox, i. e., a set of concept inclusions.
no code implementations • 31 Jan 2021 • Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirović, Uwe Waldmann
We designed a superposition calculus for a clausal fragment of extensional polymorphic higher-order logic that includes anonymous functions but excludes Booleans.
no code implementations • 1 Jul 2020 • Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt
Signature-based abduction aims at building hypotheses over a specified set of names, the signature, that explain an observation relative to some background knowledge.
no code implementations • 25 Jul 2019 • Andrew Cropper, Sophie Tourret
In general, derivation reduced sets of metarules outperforms subsumption and entailment reduced sets, both in terms of predictive accuracies and learning times.