Skip to main content

Computing CQ lower−bounds over OWL 2 through approximation to RSA

Federico Igne‚ Stefano Germano and Ian Horrocks

Journal
CoRR
Volume
abs/2107.00369
Year
2021