scholarly journals Local Type Checking for Linked Data Consumers

2013 ◽  
Vol 123 ◽  
pp. 19-33
Author(s):  
Gabriel Ciobanu ◽  
Ross Horne ◽  
Vladimiro Sassone
Keyword(s):  
Linked Data ◽  
Type Checking ◽  
Local Type

scholarly journals Bidirectional Typing

2021 ◽  
Vol 54 (5) ◽  
pp. 1-38
Author(s):  
Jana Dunfield ◽  
Neel Krishnaswami
Keyword(s):  
Type Systems ◽  
Design Principles ◽  
Type Inference ◽  
Type Synthesis ◽  
Type Checking ◽  
Local Type ◽  
Typed Languages

Bidirectional typing combines two modes of typing: type checking, which checks that a program satisfies a known type, and type synthesis, which determines a type from the program. Using checking enables bidirectional typing to support features for which inference is undecidable; using synthesis enables bidirectional typing to avoid the large annotation burden of explicitly typed languages. In addition, bidirectional typing improves error locality. We highlight the design principles that underlie bidirectional type systems, survey the development of bidirectional typing from the prehistoric period before Pierce and Turner’s local type inference to the present day, and provide guidance for future investigations.

Linked data privacy

2015 ◽  
Vol 27 (1) ◽  
pp. 33-53 ◽  
Author(s):  
SVETLANA JAKŠIĆ ◽  
JOVANKA PANTOVIĆ ◽  
SILVIA GHILEZAN
Keyword(s):  
Privacy Protection ◽  
Linked Data ◽  
Data Privacy ◽  
Type System ◽  
Parallel Composition ◽  
List Type ◽  
Process Data ◽  
Type Checking ◽  
Privacy Preferences ◽  
Privacy Preference

Web of Linked Data introduces common format and principles for publishing and linking data on the Web. Such a network of linked data is publicly available and easily consumable. This paper introduces a calculus for modelling networks of linked data with encoded privacy preferences.In that calculus, a network is a parallel composition of users, where each user is named and consists of data, representing the user's profile, and a process. Data is a parallel composition of triples with names (resources) as components. Associated with each name and each triple of names are their privacy protection policies, that are represented by queries. A data triple is accessible to a user if the user's data satisfies the query assigned to that triple.The main contribution of this model lies in the type system which together with the introduced query order ensures that static type-checking prevents privacy violations. We say that a network is well behaved if —access to a triple is more restrictive than access to its components and less restrictive than access to the user name it is enclosed with,—each user can completely access their own profile,—each user can update or partly delete profiles that they own (can access the whole profiles), and—each user can update the privacy preference policy of data of another profile that they own or write data to another profile only if the newly obtained profile stays fully accessible to their owner.We prove that any well-typed network is well behaved.

Internationalization of Linked Data: The Case of the Greek DBpedia Edition

2012 ◽  
Author(s):  
Dimitris Kontokostas ◽  
Charalampos Bratsas ◽  
SSren Auer ◽  
Sebastian Hellmann ◽  
Ioannis Antoniou
Keyword(s):  
Linked Data

SchemEX: Efficient Construction of a Data Catalogue by Stream-Based Indexing of Linked Data

2012 ◽  
Author(s):  
Mathias Konrath ◽  
Thomas Gottron ◽  
Steffen Staab ◽  
Ansgar Scherp
Keyword(s):  
Linked Data ◽  
Efficient Construction

Europeana no Linked Open Data: conceitos de Web Semântica na dimensão aplicada das humanidades digitais

2017 ◽  
Vol 12 (2) ◽  
Author(s):  
Caio Saraiva Coneglian ◽  
José Eduardo Santarem Segundo
Keyword(s):  
Linked Data ◽  
Open Data ◽  
Linked Open Data

O surgimento de novas tecnologias, tem introduzido meios para a divulgação e a disponibilização das informações mais eficientemente. Uma iniciativa, chamada de Europeana, vem promovendo esta adaptação dos objetos informacionais dentro da Web, e mais especificamente no Linked Data. Desta forma, o presente estudo tem como objetivo apresentar uma discussão acerca da relação entre as Humanidades Digitais e o Linked Open Data, na figura da Europeana. Para tal, utilizamos uma metodologia exploratória e que busca explorar as questões relacionadas ao modelo de dados da Europeana, EDM, por meio do SPARQL. Como resultados, compreendemos as características do EDM, pela utilização do SPARQL. Identificamos, ainda, a importância que o conceito de Humanidades Digitais possui dentro do contexto da Europeana.Palavras-chave: Web semântica. Linked open data. Humanidades digitais. Europeana. EDM.Link: https://periodicos.ufsc.br/index.php/eb/article/view/1518-2924.2017v22n48p88/33031

Web semântica e ontologias: um estudo sobre construção de axiomas e uso de inferências

2017 ◽  
Vol 12 (1) ◽  
Author(s):  
José Eduardo Santarem Segundo ◽  
Caio Saraiva Coneglian
Keyword(s):  
Linked Data

Introdução: A Web Semântica apresenta tecnologias e conceitos que perpassam por questões como descrição, representação e consultas dos dados. Neste cenário, as ontologias contextualizam as informações, permitindo geração de inferências. A linguagem OWL possui características que facilitam a inserção de lógica nos dados, sendo um elemento essencial para a Web Semântica e o Linked Data. Contudo, questiona-se: como essas inferências podem ser visualizadas e utilizadas na Web Semântica. Objetivo: Analisar os tipos de inferência no contexto das tecnologias da Web Semântica, e consequentemente ao Linked Data. Metodologia: Consistiu-se em duas partes, sendo a primeira um levantamento bibliográfico para discussão do tema, e na segunda um estudo exploratório baseado em provas de conceitos e testes de uso de inferências. Resultados: Identificamos e apresentamos quatro formas de realização de inferências, fazendo testes que comprovem sua aplicação. Conclusões: O uso de inferências em ontologias pode se dar de diversas formas, existindo uma variação na expressividade que os tipos de inferências possuem. Verificamos que as inferências podem agregar lógica às representações dos dados, visto que, a contextualização das informações com o uso de ontologias contém axiomas, aumentando a capacidade representacional das informações ao se utilizar inferências. Destaca-se a linguagem OWL como referência para enriquecimento e inserção de axiomas na construção das ontologias.Palavras-chave: Web Semântica. Linked Data. Inferências. Ontologias. Sparql.Link: http://www.uel.br/revistas/uel/index.php/informacao/article/view/26417/20131

CATALOGAÇÃO E TECNOLOGIA: INTERSEÇÕES COM A WEB SEMÂNTICA

2018 ◽  
Vol 13 (2) ◽  
Author(s):  
Felipe Augusto Arakaki ◽  
Ana Carolina Simionato ◽  
Plácida Leopoldina Ventura Amorim da Costa Santos
Keyword(s):  
Linked Data

Introdução: Os ambientes digitais se constituem em espaços importantes para geração e recuperação de recursos informacionais. Nesse contexto, é importante que o bibliotecário conheça as tecnologias disponíveis para melhorias nos processos de descrição, importação, transmissão, organização, indexação, armazenamento, localização, recuperação, visualização e preservação dos recursos informacionais. Objetivo: Nesse contexto, o objetivo deste trabalho é apresentar a inserção da tecnologia e suas projeções para Catalogação. Metodologia: O método utilizado consiste em uma análise exploratória da literatura disponível sobre o tema proposto, permitindo a construção de um conhecimento teórico sobre a Catalogação frente as tecnologias, auxiliando na compreensão do contexto apresentado. Resultados: Como resultados é apresentado um panorama das mudanças do processo da Catalogação influenciado principalmente da proposta da família dos Requisitos Funcionais (FR) e da Web Semântica, em especial do Linked Data. Conclusões: Considera-se que o impacto da tecnologia sobre as atividades do bibliotecário, proporciona maior agilidade no processo de alimentação do catálogo.Palavras-chave: Catalogação. Tecnologia. Web Semântica.Link: http://www.uel.br/revistas/uel/index.php/infoprof/article/view/32003/23612

Sign in / Sign up

Export Citation Format

Share Document