2106 search results - page 146 / 422 » Operational Semantics for DyLPs |
143
click to vote
HOLOMAS
2007
Springer
16 years 18 days ago
2007
Springer
An approach to extend process monitoring with the help of information agents (IA) handling semantic data is presented in this paper. According to this approach, an operator of a pr...
162
click to vote
WISE
2005
Springer
16 years 18 hour ago
2005
Springer
OWLIM is a high-performance Storage and Inference Layer (SAIL) for Sesame, which performs OWL DLP reasoning, based on forward-chaining of entilement rules. The reasoning and query ...
166
click to vote
ICDT
2003
ACM
15 years 11 months ago
2003
ACM
Interest in XML databases has been growing over the last few years. In this paper, we study the problem of incorporating probabilistic information into XML databases. We propose th...
144
click to vote
ER
2007
Springer
16 years 18 days ago
2007
Springer
Ensuring the semantic and topological correctness of spatial data is an important requirement in geographical information systems and spatial database systems in order to preserve ...
139
click to vote
ASM
2005
ASM
16 years 51 min ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...