2381 search results - page 17 / 477 » On Ordering Descriptions in a Description Logic |
EWSA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
101
click to vote
CORR
1999
Springer
14 years 11 months ago
1999
Springer
A variational approach to finite connectivity spin-glass-like models is developed and applied to describe the structure of optimal solutions in random satisfiability problems. Our ...
112
click to vote
DLOG
2008
15 years 2 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...
DLOG
2006
15 years 1 months ago
2006
In the current paper we investigate the role of Euclidian roles in Description Logics.
105
click to vote
FOSSACS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...