Conjunctive Query Answering in SH using Knots

Answering conjunctive queries (CQs) has been recognized as a key task for the usage of Description Logics (DLs) in a number of applications. The problem has been studied by many authors, who developed a number of different techniques for it. We present a novel method for CQ answering based on knots,

• Type: Conference
• Year: 2008
• Where: DLOG
• Authors: Magdalena Ortiz, Mantas Simkus, Thomas Eiter
• Keywords: Automated Reasoning, Conjunctive Queries, Description Logics, DLOG 2008, Key Task