262 search results - page 22 / 53 » Reasoning and Explanation in EL and in Expressive Descriptio... |
130
click to vote
DLOG
2006
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...
121
Voted
DLOG
2011
14 years 5 months ago
2011
This paper introduces relaxed abduction, a novel non-standard reasoning task for description logics. Although abductive reasoning over description logic knowledge bases has been ap...
111
Voted
LICS
1999
IEEE
15 years 6 months ago
1999
IEEE
An important open question in complexity theory is whether the circuit complexity class TC0 is (strictly) weaker than LOGSPACE. This paper considers this question from the viewpoi...
117
Voted
RR
2010
Springer
15 years 9 days ago
2010
Springer
For multimedia interpretation, and in particular for the combined interpretation of information coming from different modalities, a semantically well-founded formalization is requ...
122
Voted
DLOG
2000
15 years 3 months ago
2000
We describe a mechanism that can be used to drive interfaces from a description logic (DL) model of the domain. A simple layer with limited expressivity sits on top of the DL, wit...