Sciweavers

9873 search results - page 421 / 1975
» Emergent Semantics Systems
Sort
View
ENTCS
2006
106views more  ENTCS 2006»
15 years 6 months ago
Inductive Proof Outlines for Exceptions in Multithreaded Java
In this paper we give an operational semantics and introduce an assertional proof system for exceptions in a multithreaded Java sublanguage. Key words: Java, multi-threading, exce...
Erika Ábrahám, Frank S. de Boer, Wil...
WWW
2005
ACM
16 years 7 months ago
Named graphs, provenance and trust
The Semantic Web consists of many RDF graphs nameable by URIs. This paper extends the syntax and semantics of RDF to cover such Named Graphs. This enables RDF statements that desc...
Jeremy J. Carroll, Christian Bizer, Patrick J. Hay...
SEMWEB
2007
Springer
16 years 1 months ago
Dynamic Ontology Co-Evolution from Texts: Principles and Case Study
As claimed in the Semantic Web project, a huge amount of physically distributed interacting software agents could find the semantic of available resources and answer more relevantl...
Kévin Ottens, Nathalie Aussenac-Gilles, Mar...
COOPIS
2002
IEEE
15 years 12 months ago
Extending Datatype Support in Web Ontology Reasoning
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...
Jeff Z. Pan, Ian Horrocks
AAAI
2006
15 years 8 months ago
Automatically Labeling the Inputs and Outputs of Web Services
Information integration systems combine data from multiple heterogeneous Web services to answer complex user queries, provided a user has semantically modeled the service first. T...
Kristina Lerman, Anon Plangprasopchok, Craig A. Kn...