2694 search results - page 8 / 539 » A Description Logic of Change |
188
click to vote
COMPASS
1994
15 years 9 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
171
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...
117
click to vote
KR
1994
Springer
15 years 9 months ago
1994
Springer
We define a new operation in description logics, the difference operation or subtraction operation. This operation allows to remove from a description as much as possible of the i...
173
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
We described here our perception of complex systems, of how we feel the different layers of description are an important part of a correct complex system simulation. We described ...
182
click to vote
DLOG
2008
15 years 8 months ago
2008
Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...