6054 search results - page 138 / 1211 » Implementation of Andorra-based Languages |
120
click to vote
WEBI
2007
Springer
15 years 11 months ago
2007
Springer
The paper addresses a problem of combining XML querying with ontology reasoning. We present an extension of a rule-based XML query and transformation language Xcerpt. The extensio...
156
Voted
WWW
2006
ACM
15 years 11 months ago
2006
ACM
In this paper, we describe how domain ontologies are used in a dialogue system guiding the user to access web public administration contents. The current implementation of the sys...
132
Voted
CIMCA
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes a Rule Based Service Level Agreement language called RBSLA which is based on RuleML. With this language SLAs can be implemented in a machine readable syntax w...
183
click to vote
MEMOCODE
2003
IEEE
15 years 10 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
121
Voted
CC
2003
Springer
15 years 10 months ago
2003
Springer
Many processes can be seen as transformations of tree-like data structures. In compiler construction, for example, we continuously manipulate trees and perform tree transformations...