Loop formulas for description logic programs

DOI10.1017/S1471068410000268zbMATH Open1209.68102OpenAlexW2110717496MaRDI QIDQ3585166FDOQ3585166

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

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

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

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

• A logical semantics for description logic programs
• 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

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)