3244 search results - page 122 / 649 » Extensions to Description Logics |
186
click to vote
SDL
2001
15 years 7 months ago
2001
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
181
click to vote
ER
2007
Springer
16 years 14 days ago
2007
Springer
New technologies used in biology are generating huge quantities of data; up to two petabytes of overall data are to be expected by the end of the decade. Modern biology also has t...
160
click to vote
LPAR
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. We present Zenon, an automated theorem prover for first order classical logic (with equality), based on the tableau method. Zenon is intended to be the dedicated prover ...
117
click to vote
DLOG
2008
15 years 8 months ago
2008
Abstract. We investigate the concept product as an expressive feature for description logics (DLs). While this construct allows us to express an arguably very common and natural ty...
182
click to vote
CADUI
2006
15 years 7 months ago
2006
We present a rendering engine for displaying graphical user interfaces on multiple devices. The renderer interprets a standardized XML-based user interface description language: th...