Sciweavers

2398 search results - page 210 / 480
» Knowledge Representation
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
WWW
2004
ACM
16 years 5 months ago
Interpreting distributed ontologies
Semantic Web is challenged by the URI meaning issues arising from putting ontologies in open and distributed environments. As a try to clarify some of the meaning issues, this pap...
Yuzhong Qu, Zhiqiang Gao
WWW
2004
ACM
16 years 5 months ago
Meaning and the semantic web
The meaning of names (URI references) is a contentious issue in the Semantic Web. Numerous proposals have been given for how to provide meaning for names in the Semantic Web, rang...
Bijan Parsia, Peter F. Patel-Schneider
WWW
2004
ACM
16 years 5 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
HICSS
2007
IEEE
134views Biometrics» more  HICSS 2007»
15 years 10 months ago
Arriclides: An Architecture Integrating Clinical Decision Support Models
In this paper, we present an open architecture that enables the coexistence of and the collaboration between different and heterogeneous clinical decision support models. Clinical...
Kris Verlaenen, Wouter Joosen, Pierre Verbaeten