Sciweavers

3778 search results - page 552 / 756
» Representing Web Graphs
Sort
View
WWW
2005
ACM
16 years 5 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
120
Voted
WISE
2009
Springer
16 years 2 months ago
Seeing Past Rivals: Visualizing Evolution of Coordinate Terms over Time
In this paper, we describe an approach for detection and visualization of coordinate term relationships over time and their evolution using temporal data available on the Web. Coor...
Hiroaki Ohshima, Adam Jatowt, Satoshi Oyama, Katsu...
SAC
2010
ACM
15 years 11 months ago
CNL4DSA: a controlled natural language for data sharing agreements
A Data Sharing Agreement (DSA) is an agreement among contracting parties regulating how they share data. A DSA represents a flexible mean to assure privacy of data exchanged on t...
Ilaria Matteucci, Marinella Petrocchi, Marco Luca ...
ESWS
2009
Springer
15 years 11 months ago
Ontology Libraries for Production Use: The Finnish Ontology Library Service ONKI
Abstract. This paper discusses problems of creating and using ontology library services in production use. One approach to a solution is presented with an online implementation—t...
Kim Viljanen, Jouni Tuominen, Eero Hyvönen
SEMWEB
2009
Springer
15 years 11 months ago
DSSim Results for OAEI 2009
The growing importance of ontology mapping on the Semantic Web has highlighted the need to manage the uncertain nature of interpreting semantic meta data represented by heterogeneo...
Miklos Nagy, Maria Vargas-Vera, Piotr Stolarski