Sciweavers

EKAW
2006
Springer
15 years 6 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
15 years 6 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
15 years 6 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
15 years 6 months ago
Reuse: Revisiting Sisyphus-VT
Derek H. Sleeman, Trevor Runcie, Peter M. D. Gray