2694 search results - page 8 / 539 » A Description Logic of Change |
COMPASS
1994
14 years 1 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...
CADE
2010
Springer
13 years 10 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...
KR
1994
Springer
14 years 1 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...
CORR
2007
Springer
13 years 9 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 ...
DLOG
2008
13 years 11 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...