2696 search results - page 105 / 540 » Semantic Abstraction and Anaphora |
TPHOL
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
ASIAN
1998
Springer
15 years 2 months ago
1998
Springer
call it, provides abstraction through the rewriting arrow and explicit rule application. It also embeds the notion of sets of results to deal with non-deterministic computations. F...
FSTTCS
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper proposes a framework for transforming and integrating heterogeneous XML data sources, making use of known correspondences from them to ontologies expressed in ...
EDBTW
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The Semantic Web is based on XML and RDF as its fundamental standards for exchanging and storing information on the World Wide Web. Event-condition-action (ECA) rules are...