Sciweavers

2185 search results - page 91 / 437
» Context for semantic metadata
Sort
View
JAR
2007
123views more  JAR 2007»
13 years 9 months ago
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
Abstract. We illustrate a methodology for formalizing and reasoning about Abadi and Cardelli’s object-based calculi, in (co)inductive type theory, such as the Calculus of (Co)Ind...
Alberto Ciaffaglione, Luigi Liquori, Marino Micula...
IRCDL
2008
13 years 10 months ago
OAI-Publishers in Repository Infrastructures
Abstract--OAI-Publishers are software modules implementing the OAI-PMH protocol interface, enabling harvesting of metadata records describing the digital resources of a Digital Rep...
Michele Artini, Federico Biagini, Paolo Manghi, Ma...
ICAS
2008
IEEE
201views Robotics» more  ICAS 2008»
14 years 3 months ago
Distributed Reasoning for Context-Aware Services through Design of an OWL Meta-Model
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
Stijn Verstichel, Matthias Strobbe, Pieter Simoens...
CHI
2010
ACM
13 years 7 months ago
The tower of Babel meets web 2.0: user-generated content and its applications in a multilingual context
This study explores language's fragmenting effect on usergenerated content by examining the diversity of knowledge representations across 25 different Wikipedia language edit...
Brent Hecht, Darren Gergle
SEMWEB
2007
Springer
14 years 3 months ago
Revyu.com: a Reviewing and Rating Site for the Web of Data
Revyu.com is a live, publicly accessible reviewing and rating Web site, designed to be usable by humans whilst transparently generating machinereadable RDF metadata for the Semanti...
Tom Heath, Enrico Motta