Sciweavers

183 search results - page 22 / 37
» Supporting online problem-solving communities with the seman...
Sort
View
LPAR
2005
Springer
15 years 3 months ago
Automating Coherent Logic
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
Marc Bezem, Thierry Coquand
WEBI
2009
Springer
15 years 2 months ago
Collaborative Semantic Structuring of Folksonomies
The advent of tagging and folksonomies for organizing shared resources on the social Web brought promising opportunities to help communities of users capture their knowledge. Howe...
Freddy Limpens, Fabien L. Gandon, Michel Buffa
WWW
2005
ACM
15 years 10 months ago
Learning domain ontologies for Web service descriptions: an experiment in bioinformatics
The reasoning tasks that can be performed with semantic web service descriptions depend on the quality of the domain ontologies used to create these descriptions. However, buildin...
Marta Sabou, Chris Wroe, Carole A. Goble, Gilad Mi...
SEMWEB
2007
Springer
15 years 3 months ago
Ontology Mapping - a User Survey
Ontology mapping is the key to data interoperability in the semantic web vision. Computing mappings is the first step to applications such as query rewriting, instance sharing, we...
Sean M. Falconer, Natalya Fridman Noy, Margaret-An...
ICPP
2003
IEEE
15 years 2 months ago
Towards Grid Based Intelligent Information Systems
Multi agent systems, Grid technology, Semantic Web, and Web Intelligence paradigm are three modern approaches in information technologies, which we put together in our research eff...
A. Min Tjoa, Peter Brezany, Ivan Janciak