Queries to hybrid MKNF knowledge bases through oracular tabling

JJ Alferes, M Knorr, T Swift - The Semantic Web-ISWC 2009: 8th …, 2009 - Springer
An important issue for the Semantic Web is how to combine open-world ontology languages
with closed-world (non-monotonic) rule paradigms. Several proposals for hybrid languages …