Sciweavers

3383 search results - page 439 / 677
» Dynamic Ontologies on the Web
Sort
View
94
Voted
WEBDB
2005
Springer
124views Database» more  WEBDB 2005»
15 years 6 months ago
JXP: Global Authority Scores in a P2P Network
This document presents the JXP algorithm for dynamically and collaboratively computing PageRank-style authority scores of Web pages distributed in a P2P network. In the architectu...
Josiane Xavier Parreira, Gerhard Weikum
102
Voted
WWW
2005
ACM
16 years 1 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
WWW
2004
ACM
16 years 1 months ago
OREL: an ontology-based rights expression language
This paper proposes an Ontology-based Rights Expression Language, called OREL. Based on OWL Web Ontology Language, OREL allows not only users but also machines to handle digital r...
Yuzhong Qu, Xiang Zhang, Huiying Li
CADE
2007
Springer
16 years 1 months ago
Optimized Reasoning in Description Logics Using Hypertableaux
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
Boris Motik, Rob Shearer, Ian Horrocks
ATAL
2009
Springer
15 years 7 months ago
AOR-Simulation.org: cognitive agent simulation
In this paper, we describe an ontologically well-founded agentbased discrete event simulation framework with a high-level rulemulation language and an abstract simulator architect...
Gerd Wagner, Ion-Mircea Diaconescu