Abstract:
A serious shortcoming of many Description Logic based knowledge representation systems is the inadequacy of their query languages. In this paper we present a novel technique that can be used to provide an expressive query language for such systems. One of the main advantages of this approach is that, being based on a reduction to knowledge base satisfiability, it can easily be adapted to most existing (and future) Description Logic implementations. We believe that providing Description Logic systems with an expressive query language for interrogating the knowledge base will significantly increase their utility.
Citations
|
234
|
Practical reasoning for expressive description logics
– Horrocks, Sattler, et al.
- 1999
|
|
226
|
RACER system description
– Haarslev, Moller
- 2001
|
|
203
|
Using an expressive description logic: FaCT or fiction
– Horrocks
- 1998
|
|
177
|
On the decidability of query containment under constraints
– Calvanese, Giacomo, et al.
- 1998
|
|
137
|
Attributive concept descriptions with complements
– Schmidt-Schauss, Smolka
- 1991
|
|
114
|
Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles
– Baader
- 1991
|
|
97
|
AL-log: Integrating Datalog and Description Logics
– Donini, Lenzerini, et al.
|
|
94
|
A description logic with transitive and inverse roles and role hierarchies
– Horrocks, Sattler
- 1999
|
|
85
|
CARIN: A Representation Language Combining Horn Rules and Description Logics
– Levy, Rousset
- 1996
|
|
69
|
Inside the loom description classifier
– MacGregor
- 1991
|
|
59
|
What's in an aggregate: Foundations for description logics with tuples and sets
– Giacomo, Lenzerini
- 1995
|
|
57
|
Reasoning with individuals in concept languages
– Schaerf
- 1994
|
|
51
|
Combining deduction and model checking into tableaux and algorithms for Converse-PDL
– Giacomo, Massacci
|
|
48
|
Implementing and testing expressive description logics: Preliminary report
– Bresciani, Franconi, et al.
- 1995
|
|
47
|
DLP system description
– Patel-Schneider
- 1998
|
|
41
|
Knowledge representation and inference system
– Baader, Hollunder, et al.
- 1991
|
|
34
|
Answering queries using views in description logics
– Calvanese, Giacomo, et al.
- 1999
|
|
27
|
An empirical evaluation of optimization strategies for abox reasoning in expressive description logics
– Haarslev, Möller
- 1999
|
|
16
|
Datalog and Description Logics: Expressive Power
– Cadoli, Palopoli, et al.
- 1998
|
|
16
|
Query containment using a DLR ABox
– Horrocks, Sattler, et al.
- 1999
|
|
12
|
The limits on combining recursive horn rules and description logics
– Levy, Rousset
- 1996
|
|
11
|
Backward Reasoning in Aboxes for Query Answering
– Rousset
- 1999
|
|
9
|
Recognition algorithms for the LOOM classifier
– MacGregor, Brill
- 1992
|
