Sciweavers

109 search results - page 3 / 22
» Exploiting Conjunctive Queries in Description Logic Programs
Sort
View
TOCL
2008
86views more  TOCL 2008»
13 years 4 months ago
Conjunctive query containment and answering under description logic constraints
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
ECSQARU
2009
Springer
13 years 11 months ago
Realizing Default Logic over Description Logic Knowledge Bases
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner
OWLED
2008
13 years 6 months ago
Conjunctive Query Answering in EL using a Database System
We study conjunctive query answering in the description logic EL, the core of the designated OWL2-EL profile of OWL2. In particular, we present an approach that allows the use of c...
Carsten Lutz, David Toman, Frank Wolter
DLOG
2008
13 years 7 months ago
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 au...
Magdalena Ortiz, Mantas Simkus, Thomas Eiter
LPAR
2007
Springer
13 years 11 months ago
Data Complexity in the EL Family of Description Logics
We study the data complexity of instance checking and conjunctive query answering in the EL family of description logics, with a particular emphasis on the boundary of tractability...
Adila Krisnadhi, Carsten Lutz