Loop formulas for description logic programs

DOI10.1017/S1471068410000268zbMATH Open1209.68102OpenAlexW2110717496MaRDI QIDQ3585166FDOQ3585166

Yisong Wang, Yi-Dong Shen, Li Yan Yuan, Jia-Huai You

Publication date: 19 August 2010

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

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

zbMATH Keywords

semantic webdescription logic programsloop formulasanswer sets

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• ASSAT: computing answer sets of a logic program by SAT solvers
• Combining answer set programming with description logics for the semantic web
• The well-founded semantics for general logic programs
• Logic programs with stable model semantics as a constraint programming paradigm

Cited In (4)

• On combining ontologies and rules
• Automated Deduction – CADE-19
• Data repair of inconsistent nonmonotonic description logic programs
• The loop formula based semantics of description logic programs

Uses Software

• ASSAT
• Lparse

   Recommendations

• The loop formula based semantics of description logic programs 👍 👎
• Stepwise Debugging of Description-Logic Programs 👍 👎
• A logical semantics for description logic programs 👍 👎
• Logic Programming 👍 👎
• Combining answer set programming with description logics for the semantic web 👍 👎

This page was built for publication: Loop formulas for description logic programs

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