W3C home > Mailing lists > Public > semantic-web@w3.org > May 2009

Questions about querying on the description logic knowledge base?

From: Jun Fang <leon.essence@gmail.com>
Date: Sun, 31 May 2009 20:22:25 +0800
Message-ID: <6869a86b0905310522g31f47574kd692a906239f1de1@mail.gmail.com>
To: semantic-web@w3.org

Given an DL knowledge base O which includes TBox, RBox and ABox, I have two
questions about querying on the description logic knowledge base:

Firstly, what's the standard query language? SPARQL, Conjunctive queries, or
some else. What's relationships between them? Can they be transformed into
each other? Do they have been realized in some software such as Pellet,
Jena, etc.?

Secondly and more important, when executing some queries on O, such as a
conjunctive query: (x) <--- C(x)P(x,y)D(y), what's the implementation in the
reasoning level, I means which reasoning tasks are the query transform
into?  For instance, the following is a simplest implementation for (x) <---

for a in all individuals of O
for b in all individuals of O
     check if O \entail C(a)P(a,b)D(b)

Obviously, in practice, so "stupid" implementation will not be used. So what
are these optimizing techniques? Would you please give me some indications
or references.

Thanks very much!

Best Regards!

Jun Fang
Received on Sunday, 31 May 2009 12:23:17 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:45:12 UTC