What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
From MaRDI portal
Publication:2939302
DOI10.1093/logcom/ext062zbMath1303.68128OpenAlexW2153377429WikidataQ62046430 ScholiaQ62046430MaRDI QIDQ2939302
Matthias Knorr, João Leite, Martin Slota, Martin Homola
Publication date: 19 January 2015
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/d4b86c25a39cc2356bf86f2f9f9ab8b931d8b572
knowledge representationlogic programmingdescription logicsanswer set programmingmulti-context systemsMKNF knowledge bases
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)
Related Items
Linking Open-World Knowledge Bases Using Nonmonotonic Rules, Towards provenance in heterogeneous knowledge bases