Sciweavers

5818 search results - page 283 / 1164
» A reasonable Semantic Web
Sort
View
TPHOL
2002
IEEE
16 years 5 days ago
A Proposal for a Formal OCL Semantics in Isabelle/HOL
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
Achim D. Brucker, Burkhart Wolff
ENTCS
2008
84views more  ENTCS 2008»
15 years 7 months ago
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
Non-deterministic (also known as possibilistic) and probabilistic state based systems (or automata) have been studied for quite some time. Separately, they are reasonably well-und...
Bart Jacobs
WWW
2006
ACM
16 years 8 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...
ICCS
2000
Springer
15 years 11 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é...
ECIR
2009
Springer
15 years 5 months ago
Towards the Selection of Induced Syntactic Relations
Abstract. We propose in this paper to use NLP approaches to validate induced syntactic relations. We focus on a Web Validation system, a Semantic Vector-based approach, and finally...
Nicolas Béchet, Mathieu Roche, Jacques Chau...