4573 search results - page 248 / 915 » Automated Reasoning |
176
click to vote
DLOG
2008
15 years 9 months ago
2008
The paper addresses the problem of explaining some reasoning tasks associated with the DL-Lite Description Logic. Because of the simplicity of the language, standard concept level ...
160
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
183
click to vote
EWCBR
1998
Springer
15 years 11 months ago
1998
Springer
In this paper, we present our case-based browsing advisor for the Web, called BROADWAY. BROADWAY follows a group of users during their navigations and supports an indirect collabor...
197
click to vote
DLOG
2008
15 years 9 months ago
2008
The use of Description Logic as the basis for Semantic Web Languages has led to new requirements with respect to scalable and nonstandard reasoning. In this paper, we address the p...
182
click to vote
DLOG
2003
15 years 8 months ago
2003
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...