Embedding nonground logic programs into autoepistemic logic for knowledge-base combination

DOI10.1145/1929954.1929957MaRDI QIDQ2946639zbMATH OpenOpenAlexWikidataFDO

Authors Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits

Publication date 17 September 2015

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

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.9899

zbMATH Keywords

first-order autoepistemic logicknowledge combinationontologiesrulesstable model semantics

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Well-founded semantics for description logic programs in the semantic web
• Logic Programming
• Combining answer set programming with description logics for the semantic web
• Reasoning with knowledge and belief
• scientific article; zbMATH DE number 1761412

Cited in

(7)

• Determining inference semantics for disjunctive logic programs
• A Unifying Perspective on Knowledge Updates
• On the relation between SPARQL1.1 and Answer Set Programming
• Comparison of relative motion models for spacecraft formation flying
• Reasoning on with Defeasibility in ASP
• The loop formula based semantics of description logic programs
• On updates of hybrid knowledge bases composed of ontologies and rules

Describes a project that uses

Uses Software

• swrl

This page was built for publication: Embedding nonground logic programs into autoepistemic logic for knowledge-base combination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2946639)