Exploiting conjunctive queries in description logic programs

DOI10.1007/S10472-009-9111-3MaRDI QIDQ1028641zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer

Publication date 6 July 2009

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-009-9111-3

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic in artificial intelligence (68T27)

Recommendations

• Combining answer set programming with description logics for the semantic web
• Rewriting Conjunctive Queries over Description Logic Knowledge Bases
• Well-founded semantics for description logic programs in the semantic web
• Logic for Programming, Artificial Intelligence, and Reasoning
• Tractable reasoning with DL-programs over Datalog-rewritable description logics

Cites work

• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1765711 (Why is no real title available?)
• scientific article; zbMATH DE number 1405450 (Why is no real title available?)
• A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
• Autoepistemic logic
• Combining answer set programming with description logics for the semantic web
• Computing small clause normal forms
• Conjunctive query answering for the description logic SHIQ
• Data complexity of query answering in expressive description logics via tableaux
• Logic for Programming, Artificial Intelligence, and Reasoning
• Logics in Artificial Intelligence
• On the expressibility of stable logic programming
• Partial deduction in disjunctive logic programming

Cited in

(9)

• Realizing Default Logic over Description Logic Knowledge Bases
• Rewriting Conjunctive Queries over Description Logic Knowledge Bases
• A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
• Tractable reasoning with DL-programs over Datalog-rewritable description logics
• On Horn Conjunctive Queries
• Conflict-driven ASP solving with external sources
• Combining answer set programming with description logics for the semantic web
• Inlining external sources in answer set programs
• Linking open-world knowledge bases using nonmonotonic rules

Describes a project that uses

Uses Software

• Racer

This page was built for publication: Exploiting conjunctive queries in description logic programs

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