Loop formulas for description logic programs

DOI10.1017/S1471068410000268MaRDI QIDQ3585166zbMATHOpenAlexFDO

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

zbMATH Keywords

semantic webdescription logic programsloop formulasanswer sets

Mathematics Subject Classification ID

Logic programming (68N17)

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

Cites work

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

Cited in

(5)

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

Describes a project that uses

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)