Exploiting conjunctive queries in description logic programs
DOI10.1007/S10472-009-9111-3zbMATH Open1165.68499DBLPjournals/amai/EiterIKS08OpenAlexW2000353554WikidataQ57549137 ScholiaQ57549137MaRDI QIDQ1028641FDOQ1028641
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
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
Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic in artificial intelligence (68T27)
Cites Work
- Title not available (Why is that?)
- Combining answer set programming with description logics for the semantic web
- Title not available (Why is that?)
- A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
- Autoepistemic logic
- Computing small clause normal forms
- Conjunctive query answering for the description logic SHIQ
- Data complexity of query answering in expressive description logics via tableaux
- Logics in Artificial Intelligence
- Title not available (Why is that?)
- Logic for Programming, Artificial Intelligence, and Reasoning
- Partial deduction in disjunctive logic programming
- On the expressibility of stable logic programming
Cited In (9)
- Rewriting Conjunctive Queries over Description Logic Knowledge Bases
- A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
- Inlining external sources in answer set programs
- Combining answer set programming with description logics for the semantic web
- Tractable reasoning with DL-programs over Datalog-rewritable description logics
- Linking open-world knowledge bases using nonmonotonic rules
- On Horn Conjunctive Queries
- Realizing Default Logic over Description Logic Knowledge Bases
- Conflict-driven ASP solving with external sources
Uses Software
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)
