1791 search results - page 148 / 359 » Semantics and Complexity of SPARQL |
144
click to vote
DLOG
2008
15 years 7 months ago
2008
Distributed Description Logics (DDL) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping. Subsumption propagation in DD...
160
click to vote
FUIN
2006
15 years 4 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
181
click to vote
TII
2008
15 years 4 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
128
click to vote
ICALT
2003
IEEE
15 years 10 months ago
2003
IEEE
The production process of multimedia learning material includes many participants, tasks, and tools. The system described in this paper combines all data from the development and ...
156
click to vote
JWSR
2007
15 years 4 months ago
2007
: A major challenge for Service–oriented Computing is how to discover and compose (Web) services to build complex applications. We present a matchmaking system that exploits both...