Sciweavers

402 search results - page 26 / 81
» Verification of Distributed Knowledge in Semantic Knowledge ...
Sort
View
ECAI
2004
Springer
15 years 6 months ago
An architecture based on semantic weblogs for exploring the Web of People
This paper presents an architecture that helps users to collect and qualify meta-information about web resources within a weblog and then share them with a group of people. Our arc...
Tuan-Anh Ta, Jean-Marc Saglio, Michel Plu
EKAW
2006
Springer
15 years 5 months ago
Ontology Selection for the Real Semantic Web: How to Cover the Queen's Birthday Dinner?
Robust mechanisms for ontology selection are crucial for the evolving Semantic Web characterized by rapidly increasing numbers of online ontologies and by applications that automat...
Marta Sabou, Vanessa Lopez, Enrico Motta
SEMWEB
2004
Springer
15 years 6 months ago
A Semantic Web Resource Protocol: XPointer and HTTP
Semantic Web resources — that is, knowledge representation formalisms existing in a distributed hypermedia system — require different addressing and processing models and capac...
Kendall Clark, Bijan Parsia, Bryan B. Thompson, Br...
EKAW
2004
Springer
15 years 6 months ago
Semantic Webs for Learning: A Vision and Its Realization
Abstract. Augmenting web pages with semantic contents, i.e., building a ‘Semantic Web’, promises a number of benefits for web users in general and learners in particular. Seman...
Arthur Stutt, Enrico Motta
WWW
2005
ACM
16 years 2 months ago
Soundness proof of Z semantics of OWL using institutions
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong