A goal-directed implementation of query answering for hybrid MKNF knowledge bases

DOI10.1017/S1471068412000439zbMath1286.68427OpenAlexW3100872753MaRDI QIDQ5410731

Ana Sofia Gomes, José Júlio Alferes, Terrance Swift

Publication date: 17 April 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068412000439

zbMATH Keywords

knowledge representationwell-founded semanticsimplementationdescription logics

Mathematics Subject Classification ID

Knowledge representation (68T30) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

On updates of hybrid knowledge bases composed of ontologies and rules

Cites Work

• Unnamed Item
• Local closed world reasoning with description logics under the well-founded semantics
• Web reasoning and rule systems. First international conference, RR 2007, Innsbruck, Austria, June 7--8, 2007. Proceedings
• Handbook on Ontologies
• XSB: Extending Prolog with Tabled Logic Programming
• Optimizing description logic subsumption
• Tabled evaluation with delaying for general logic programs
• The Description Logic Handbook

This page was built for publication: A goal-directed implementation of query answering for hybrid MKNF knowledge bases