9145 search results - page 16 / 1829 » Description Logic Systems |
95
Voted
DLOG
1996
15 years 1 months ago
1996
Using quantitative models of simple mechanisms as an example domain, we show how the basic principles of consistency-based diagnosis can be implemented using description logics wi...
107
click to vote
DLOG
2006
15 years 1 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
149
Voted
ICCBR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The ...
95
Voted
DAGSTUHL
2006
15 years 1 months ago
2006
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
99
Voted
ML
2010
ACM
14 years 7 months ago
2010
ACM
With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applica...