Sciweavers

1548 search results - page 143 / 310
» Semantics and Extensions of WS-Agreement
Sort
View
IWANN
1999
Springer
14 years 2 months ago
Applying Ontology to the Web: A Case Study
This paper describes the use of Simple HTML Ontology Extensions (SHOE) in a real world internet application. SHOE allows authors to add semantic content to web pages and to relate...
Jeff Heflin, James A. Hendler, Sean Luke
DL
1994
Springer
167views Digital Library» more  DL 1994»
14 years 2 months ago
Administering Structured Documents in Digital Libraries
In this chapter we argue that hyperdocuments administered by digital libraries have to be structured according to standardized storage and exchange formats in order to allow for t...
Klemens Böhm, Karl Aberer, Erich J. Neuhold
ICLP
1994
Springer
14 years 2 months ago
Compiling Intensional Sets in CLP
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...
Paola Bruscoli, Agostino Dovier, Enrico Pontelli, ...
CMSB
2008
Springer
14 years 2 days ago
A Language for Biochemical Systems
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
Michael Pedersen, Gordon D. Plotkin
ICMAS
2000
13 years 11 months ago
Architecture-Centric Object-Oriented Design Method for Multi-Agent Systems
s This paper introduces an architecture-centric object-oriented design method for MAS (Multi-Agent Systems) using the extended UML (Unified Modeling Language). The UML extension is...
Hongsoon Yim, Kyehyun Cho, Sung Joo Park, Jongwoo ...