Sciweavers

9841 search results - page 1796 / 1969
» Task-Centred Information Management
Sort
View
EKAW
2006
Springer
15 years 9 months ago
Capturing Quantified Constraints in FOL, Through Interaction with a Relationship Graph
As new semantic web standards evolve to allow quantified rules in FOL, we need new ways to capture them from end users. We show how to do this against a graphic view of entities an...
Peter M. D. Gray, Graham J. L. Kemp
EKAW
2006
Springer
15 years 9 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 9 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
ER
2006
Springer
135views Database» more  ER 2006»
15 years 9 months ago
Towards Automatic Evaluation of Learning Object Metadata Quality
Thanks to recent developments on automatic generation of metadata and interoperability between repositories, the production, management and consumption of learning object metadata ...
Xavier Ochoa, Erik Duval
ERCIMDL
2006
Springer
171views Education» more  ERCIMDL 2006»
15 years 9 months ago
The Nautical Archaeology Digital Library
Abstract. In Nautical Archaeology, the study of components and objects creates a complex environment for scholars and researchers. Nautical archaeologists access, manipulate, study...
Carlos Monroy, Nicholas Parks, Richard Furuta, Fil...
« Prev « First page 1796 / 1969 Last » Next »