3358 search results - page 383 / 672 » Dynamic Description Logics |
179
click to vote
OTM
2005
Springer
16 years 5 days ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
311
click to vote
LCC
1994
15 years 10 months ago
1994
The descriptive complexity of a problem is the complexity of describing the problem in some logical formalism. One of the few techniques for proving separation results in descripti...
158
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
: The mathematical nature of description logics has meant that domain experts find them hard to understand. This forms a significant impediment to the creation and adoption of onto...
214
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
In pervasive computing environments, mobile devices communicate via wireless links without requiring any fixed infrastructure. These devices must be able to discover and share ser...
171
click to vote
AMDO
2004
Springer
16 years 2 days ago
2004
Springer
In many product areas, a growing trend can be observed towards variant design, i.e. the development of customized designs based on variations of mature product models. We have deve...