Query-Driven Procedures for Hybrid MKNF Knowledge Bases

DOI10.1145/2480759.2480768zbMath1353.68271DBLPjournals/tocl/AlferesKS13arXiv1007.3515OpenAlexW2140466857WikidataQ62046438 ScholiaQ62046438MaRDI QIDQ2946701

José Júlio Alferes, Matthias Knorr, Terrance Swift

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1007.3515

zbMATH Keywords

ruleswell-founded semanticstablinghybrid knowledge basesdescription logicsontologiestractable fragments

Mathematics Subject Classification ID

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 (3)

Terminating Evaluation of Logic Programs with Finite Three-Valued Models ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ On combining ontologies and rules

This page was built for publication: Query-Driven Procedures for Hybrid MKNF Knowledge Bases