15372 search results - page 253 / 3075 » The Semantics of Semantic Annotation |
214
click to vote
AMKM
2003
Springer
15 years 12 months ago
2003
Springer
The semantic web is becoming a realizable technology due to the efforts of researchers to develop semantic markup languages such as the DARPA Agent Markup Language (DAML). A major...
143
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
We present a real-time execution semantics for UML activity graphs that is intended for workflow modelling. The semantics is defined in terms of execution algorithms that define...
142
click to vote
SIGADA
1999
Springer
15 years 11 months ago
1999
Springer
ASIS (Ada Semantic Interface Specification) applications written to the “Version 1”
176
click to vote
AMAST
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
178
click to vote
LPKR
1997
Springer
15 years 10 months ago
1997
Springer
In this paper, we use autoepistemic reasoning semantics to classify various semantics for disjunctive logic programs with default negation. We have observed that two different typ...