Sciweavers

6646 search results - page 228 / 1330
» Web Design for the Semantic Web
Sort
View
IEEEHPCS
2010
15 years 5 months ago
Semantic model checking security requirements for web services
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
OTM
2009
Springer
15 years 11 months ago
Automatic Construction of a Semantic, Domain-Independent Knowledge Base
In this paper, we want to show which difficulties arise when automatically constructing a domain-independent knowledge base from the web. We show possible applications for such a k...
David Urbansky
WWW
2006
ACM
16 years 7 months ago
Oyster: sharing and re-using ontologies in a peer-to-peer community
Abstract. This paper presents Oyster, a Peer-to-Peer system for exchanging ontology metadata among communities in the Semantic Web. We describe how Oyster assists researchers in re...
Asunción Gómez-Pérez, Peter H...
ICWE
2004
Springer
15 years 12 months ago
Lifting XML Schema to OWL
The Semantic Web will allow software agents to understand and reason about data provided by Web applications. Unfortunately, formal ontologies, needed to express data semantics, ar...
Matthias Ferdinand, Christian Zirpins, David Trast...
ICCS
2000
Springer
15 years 10 months ago
A Conceptual Graph Model for W3C Resource Description Framework
With the aim of building a "Semantic Web", the content of the documents must be explicitly represented through metadata in order to enable contents-guided search. Our app...
Olivier Corby, Rose Dieng, Cédric Hé...