Sciweavers

EKAW
2006
Springer
13 years 6 months ago
A Formal Approach to Qualitative Reasoning on Topological Properties of Networks
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...
Andrea Rodríguez, Claudio Gutierrez
EKAW
2006
Springer
13 years 8 months ago
Distributed Multi-contextual Ontology Evolution - A Step Towards Semantic Autonomy
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...
Maciej Zurawski
EKAW
2006
Springer
13 years 8 months ago
Role Organization Model in Hozo
The establishment of a computational framework of roles contributes effectively to the management of instance models because it provides us with a useful policy for treatment of vi...
Eiichi Sunagawa, Kouji Kozaki, Yoshinobu Kitamura,...
EKAW
2006
Springer
13 years 8 months ago
From Natural Language to Formal Proof Goal
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
Ruud Stegers, Annette ten Teije, Frank van Harmele...
EKAW
2006
Springer
13 years 8 months ago
Reuse: Revisiting Sisyphus-VT
Derek H. Sleeman, Trevor Runcie, Peter M. D. Gray
EKAW
2006
Springer
13 years 8 months ago
Evaluating a Thesaurus Browser for an Audio-visual Archive
In this article we report on a user study aimed at evaluating and improving a thesaurus browser. The browser is intended to be used by documentalists of a large public audio-visual...
Véronique Malaisé, Lora Aroyo, Henni...
EKAW
2006
Springer
13 years 8 months ago
SemSearch: A Search Engine for the Semantic Web
Semantic search promises to produce precise answers to user queries by taking advantage of the availability of explicit semantics of information in the context of the semantic web....
Yuangui Lei, Victoria S. Uren, Enrico Motta
EKAW
2006
Springer
13 years 8 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