523 search results - page 4 / 105 » A Formal Account of WS-BPEL |
JAPLL
2008
13 years 8 months ago
2008
In traditional mathematical models of argumentation an argument often consists of a chain of rules or reasons, beginning with premisses and leading to a conclusion that is endorse...
MEDINFO
2007
13 years 9 months ago
2007
Terminologies are increasingly based on “ontologies” developed in description logics and related languages such as the new Web Ontology Language, OWL. The use of description l...
COORDINATION
2008
Springer
13 years 10 months ago
2008
Springer
SIGMOD
2003
ACM
14 years 8 months ago
2003
ACM
We provide a concise yet complete formal definition of the semantics of XPath 1 and summarize efficient algorithms for processing queries in this language. Our presentation is int...
DEXA
2000
Springer
14 years 23 days ago
2000
Springer
Abstract. In this paper I argue that a qualitative formalization of built environments needs to take into account: (1) the ontological distinction between bonafide and fiat bound...