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...
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...
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...
This study explores language's fragmenting effect on usergenerated content by examining the diversity of knowledge representations across 25 different Wikipedia language edit...
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...