A logical semantics for description logic programs

DOI10.1007/978-3-642-15675-5_15MaRDI QIDQ4930762zbMATH OpenOpenAlexFDO

Authors

Publication date 1 October 2010

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15675-5_15

Mathematics Subject Classification ID

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

Recommendations

• Combining answer set programming with description logics for the semantic web
• Well-founded semantics for description logic programs in the semantic web
• The loop formula based semantics of description logic programs
• Reconciling well-founded semantics of DL-programs and aggregate programs
• Loop formulas for description logic programs

Cited in

(23)

• Combining answer set programming with description logics for the semantic web
• scientific article; zbMATH DE number 1696722 (Why is no real title available?)
• On the expressiveness of temporal equilibrium logic
• Stepwise debugging of description-logic programs
• Well-founded semantics for description logic programs in the semantic web
• scientific article; zbMATH DE number 6697175 (Why is no real title available?)
• Loop formulas for description logic programs
• scientific article; zbMATH DE number 4101143 (Why is no real title available?)
• scientific article; zbMATH DE number 1107649 (Why is no real title available?)
• scientific article; zbMATH DE number 1163485 (Why is no real title available?)
• Practical reasoning for very expressive description logics
• Model-based recasting in answer-set programming
• A Decidable Constructive Description Logic
• From description-logic programs to multi-context systems
• Rough Pragmatic Description Logic
• DESCRIPTION LOGICS OVER LATTICES
• Logic Programming and Nonmonotonic Reasoning
• A NEUTROSOPHIC DESCRIPTION LOGIC
• scientific article; zbMATH DE number 6606368 (Why is no real title available?)
• OUP accepted manuscript
• A sound and complete semantics for a similarity-based logic programming language
• The loop formula based semantics of description logic programs
• On keys and functional dependencies as first-class citizens in description logics

This page was built for publication: A logical semantics for description logic programs

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