157
click to vote
DLOG
15 years 3 months ago
2006 
The novel context of accessing and querying large data repositories through ontologies that are formalized in terms of expressive DLs requires on the one hand to consider query an...
132
click to vote
DLOG
15 years 3 months ago
2006 
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
134
click to vote
DLOG
15 years 3 months ago
2006
An important reasoning task, in addition to the standard DL reasoning services, is conjunctive query answering. In this paper, we present algorithms for conjunctive query answerin...
|
Automated Reasoning