Matches in ScholarlyData for { ?s ?p ?o. }
- item-5 previous item-4.
- 106 creator albin-ahmeti.
- 106 creator axel-polleres.
- 106 creator diego-calvanese.
- 106 creator vadim-savenkov.
- 106 type InProceedings.
- 106 label "Handling Inconsistencies due to Class Disjointness in SPARQL Updates".
- 106 sameAs 106.
- 106 abstract "The problem of updating ontologies has received increased attention in recent years. In the approaches proposed so far, either the update language is restricted to (sets of) atomic updates, or, where the full SPARQL update language is allowed, the TBox language is restricted so that no inconsistencies can arise. In this paper we discuss directions to overcome these limitations. Starting from a DL-Lite fragment covering RDFS and concept disjointness axioms, we define three semantics for SPARQL update: under cautious semantics, inconsistencies are resolved by rejecting updates potentially introducing conflicts; under brave semantics, instead, conflicts are overridden in favor of new information where possible; finally, the fainthearted semantics is a compromise between the former two approaches, designed to accommodate as much of the new information as possible, as long as consistency with the prior knowledge is not violated. We show how these semantics can be implemented in SPARQL via rewritings of polynomial size and draw first conclusions from their practical evaluation.".
- 106 hasAuthorList authorList.
- 106 isPartOf proceedings.
- 106 title "Handling Inconsistencies due to Class Disjointness in SPARQL Updates".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasItem item-4.
- authorList hasLastItem item-4.
- item-1 type ListItem.
- item-1 hasContent albin-ahmeti.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent diego-calvanese.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent axel-polleres.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent vadim-savenkov.
- item-4 previous item-3.
- 111 creator sebastien-ferre.
- 111 type InProceedings.
- 111 label "Bridging the Gap Between Formal Languages and Natural Languages with Zippers".
- 111 sameAs 111.
- 111 abstract " The Semantic Web is founded on a number of Formal Languages (FL) whose benefits are precision, lack of ambiguity, and ability to automate reasoning tasks such as inference or query answering. This however poses the challenge of mediation between machines and users because the latter generally prefer Natural Languages (NL) for accessing and authoring knowledge. In this paper, we introduce the design pattern N<A>F based on Abstract Syntax Trees (AST), Huet's zippers and Montague grammars to zip together a natural language and a formal language. Unlike question answering, translation does not go from NL to FL, but as symbol N<A>F suggests, from ASTs (A) of an intermediate language to both NL (N<A) and FL (A>F). ASTs are built interactively and incrementally through a user-machine dialog where the user only sees NL, and the machine only sees FL.".
- 111 hasAuthorList authorList.
- 111 isPartOf proceedings.
- 111 title "Bridging the Gap Between Formal Languages and Natural Languages with Zippers".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasLastItem item-1.
- item-1 type ListItem.
- item-1 hasContent sebastien-ferre.
- 113 creator achim-rettinger.
- 113 creator andreas-harth.
- 113 creator michael-farber.
- 113 type InProceedings.
- 113 label "Towards Monitoring of Novel Statements in the News".
- 113 sameAs 113.
- 113 abstract "In media monitoring tasks users have a clearly defined information need to find so far unknown statements regarding certain entities or relations mentioned in natural-language text. However, commonly used keyword-based search technologies are focused on finding relevant documents and cannot judge the novelty of statements contained in the text. In this work, we propose a new semantic novelty measure that allows to retrieve statements, which are both novel and relevant, from natural-language sentences, e.g., found in news articles. Relevance is defined by a semantic query of the user, while novelty is ensured by checking whether the extracted statements are related, but non-existing in a knowledge base containing the currently known statements. An evaluation performed on English news texts and on CrunchBase as the knowledge base demonstrates the effectiveness, unique capabilities and future challenges of this novel approach to novelty.".
- 113 hasAuthorList authorList.
- 113 isPartOf proceedings.
- 113 title "Towards Monitoring of Novel Statements in the News".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasLastItem item-3.
- item-1 type ListItem.
- item-1 hasContent michael-farber.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent achim-rettinger.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent andreas-harth.
- item-3 previous item-2.
- 117 creator argyro-avgoustaki.
- 117 creator dimitris-plexousakis.
- 117 creator giorgos-flouris.
- 117 creator irini-fundulaki.
- 117 type InProceedings.
- 117 label "Provenance Management for Evolving RDF Datasets".
- 117 sameAs 117.
- 117 abstract "Tracking the provenance of information published on the Web is of crucial importance for effectively supporting trustworthiness, accountability and repeatability in the Web of Data. Although extensive work has been done on computing the provenance for SPARQL queries, little research has been conducted forthe case of SPARQL updates. This paper proposes a new provenance model that borrows properties from both how and where provenance models, and is suitable for capturing the triple and attribute level provenance of data introduced via SPARQL updates. To the best of our knowledge, this is the first model that deals with the provenance of SPARQL updates using algebraic expressions, in the spirit of the well-established model of provenance semirings. Additionally, we present an algorithm that records the provenance of SPARQL update results, and a reconstruction algorithm that uses this provenance to identify a SPARQL update that is compatible to the original one, given only the recorded provenance. Our approach is implemented and evaluated on top of Virtuoso Database Engine.".
- 117 hasAuthorList authorList.
- 117 isPartOf proceedings.
- 117 title "Provenance Management for Evolving RDF Datasets".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasItem item-4.
- authorList hasLastItem item-4.
- item-1 type ListItem.
- item-1 hasContent argyro-avgoustaki.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent giorgos-flouris.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent irini-fundulaki.