Sciweavers

828 search results - page 6 / 166
» On Order Dependencies for the Semantic Web
Sort
View
TYPES
2007
Springer
15 years 3 months ago
Dependently Sorted Logic
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
João Filipe Belo
SEMWEB
2010
Springer
14 years 4 months ago
Semantic search on the Web
Web search is a key technology of the Web, since it is the primary way to access content on the Web. Current standard Web search is essentially based on a combination of textual ke...
Bettina Fazzinga, Thomas Lukasiewicz
PODS
2004
ACM
158views Database» more  PODS 2004»
15 years 9 months ago
Composing Schema Mappings: Second-Order Dependencies to the Rescue
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wa...
WWW
2004
ACM
15 years 10 months ago
A Lightweight Approach to Semantic Tagging
Semantic Annotation is a challenging research direction in the area of Semantic Web. Turning the web into a Semantic Web implies widespread semantic annotation of documents. But i...
Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, Joh...
67
Voted
ICSNW
2004
Springer
84views Database» more  ICSNW 2004»
15 years 3 months ago
Emergent Semantics Systems
With new standards like RDF or OWL paving the way for the much anticipated Semantic Web, a new breed of very large scale semantic systems is about to appear. Traditional semantic r...
Karl Aberer, Tiziana Catarci, Philippe Cudré...