中文
相关论文

相关论文: Updating RDFS ABoxes and TBoxes in SPARQL

200 篇论文

Stardog is a commercial Knowledge Graph platform built on top of an RDF graph database whose primary means of communication is a standardized graph query language called SPARQL. This paper describes our journey of developing a more…

数据库 · 计算机科学 2025-04-08 Simon Grätzer , Lars Heling , Pavel Klinov

Implementations of a standard language are expected to give same outputs to identical queries. In this paper we study why different implementations of SPARQL (Fuseki, Virtuoso, Blazegraph and rdf4j) behave differently when evaluating…

计算机科学中的逻辑 · 计算机科学 2018-02-26 Daniel Hernández , Claudio Gutierrez , Renzo Angles

The World Wide Web and the Semantic Web are designed as a network of distributed services and datasets. In this network and its genesis, collaboration played and still plays a crucial role. But currently we only have central collaboration…

数据库 · 计算机科学 2019-03-01 Natanael Arndt , Michael Martin

SHACL and OWL are two prominent W3C standards for managing RDF data. These languages share many features, but they have one fundamental difference: OWL, designed for inferring facts from incomplete data, makes the open-world assumption,…

计算机科学中的逻辑 · 计算机科学 2026-01-21 Anouk Oudshoorn , Magdalena Ortiz , Mantas Simkus

In recent years, RDF has gained popularity as a format for the standardized publication and exchange of information in the Web of Data. In this paper we introduce RDFCSA, a data structure that is able to self-index an RDF dataset in small…

数据结构与算法 · 计算机科学 2024-10-30 Nieves R. Brisaboa , Ana Cerdeira-Pena , Guillermo de Bernardo , Antonio Fariña , Gonzalo Navarro

Recent advances in large language models (LLMs) have demonstrated significant potential in hardware design automation, particularly in using natural language to synthesize Register-Transfer Level (RTL) code. Despite this progress, a gap…

机器学习 · 计算机科学 2026-02-26 Jiahe Shi , Zhengqi Gao , Ching-Yun Ko , Duane Boning

We present an introduction and a review of the Shapes Constraint Language (SHACL), the W3C recommendation language for validating RDF data. A SHACL document describes a set of constraints on RDF nodes, and a graph is valid with respect to…

人工智能 · 计算机科学 2021-12-03 Paolo Pareti , George Konstantinidis

Software transactional memory implementations which allow transactions to work on inconsistent states of shared data, risk to cause application visible errors such as memory access violations or endless loops. Hence, many implementations…

分布式、并行与集群计算 · 计算机科学 2014-09-23 Holger Machens

BACKGROUND: Modern distributed systems replicate data across multiple execution sites. Business requirements and resource constraints often necessitate mixing different languages across replica sites. To facilitate the management of…

分布式、并行与集群计算 · 计算机科学 2025-12-02 Provakar Mondal , Eli Tilevich

The README file serves as a critical source of information for gaining an overview and helping developers onboard to an Open Source Software (OSS) project. Yet, documentation issues persist; in particular, ``outdated'' documentation is…

软件工程 · 计算机科学 2026-03-03 Haoyu Gao , Hong Yi Lin , Christoph Treude , Gregory Gay , Mansooreh Zahedi

Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts, based on base concepts. For example, rules allow to define the extension…

人工智能 · 计算机科学 2011-11-02 Anastasia Analyti , Grigoris Antoniou , Carlos Viegas Damásio , Gerd Wagner

SHACL is a W3C-proposed language for expressing structural constraints on RDF graphs. In recent years, SHACL's popularity has risen quickly. This rise in popularity comes with questions related to its place in the semantic web, particularly…

计算机科学中的逻辑 · 计算机科学 2022-06-29 Bart Bogaerts , Maxime Jakubowski , Jan Van den Bussche

This paper revisits alternating low-rank updates for federated fine-tuning and examines their behavior in decentralized federated learning (DFL). While alternating the LoRA matrices has been shown to stabilize aggregation in centralized FL,…

机器学习 · 计算机科学 2025-11-25 Xiaoyu Wang , Xiaotian Li , Zhixiang Zhou , Chen Li , Yong Liu

SPARQL basic graph pattern (BGP) (a.k.a. SQL inner-join) query optimization is a well researched area. However, optimization of OPTIONAL pattern queries (a.k.a. SQL left-outer-joins) poses additional challenges, due to the restrictions on…

数据库 · 计算机科学 2015-04-02 Medha Atre

This paper investigates matrix scaling processes in the context of local normalization algorithms and their convergence behavior. Starting from the classical Sinkhorn algorithm, the authors introduce a generalization where only a single row…

最优化与控制 · 数学 2025-06-11 Giacomo Aletti , Giovanni Naldi

Relational databases are wildly adopted in RDF (Resource Description Framework) data management. For efficient SPARQL query evaluation, the legacy query optimizer needs reconsiderations. One vital problem is how to tackle the suboptimal…

数据库 · 计算机科学 2016-05-24 Lei Gai , Wei Chen , Tengjiao Wang

Reinforcement learning (RL) has become the dominant paradigm for improving the performance of language models on complex reasoning tasks. Despite the substantial empirical gains demonstrated by RL-based training methods like GRPO, a…

人工智能 · 计算机科学 2025-10-27 Jiayu Wang , Yifei Ming , Zixuan Ke , Caiming Xiong , Shafiq Joty , Aws Albarghouthi , Frederic Sala

Neural Machine Translation (NMT) models from English to SPARQL are a promising development for SPARQL query generation. However, current architectures are unable to integrate the knowledge base (KB) schema and handle questions on knowledge…

计算与语言 · 计算机科学 2022-11-21 Rose Hirigoyen , Amal Zouaq , Samuel Reyd

In this paper, we analyze some basic features of SPARQL queries coming from our practical world in a statistical way. These features include three statistic features such as the occurrence frequency of triple patterns, fragments,…

数据库 · 计算机科学 2016-03-23 Xingwang Han , Zhiyong Feng , Xiaowang Zhang , Xin Wang , Guozheng Rao , Shuo Jiang

The Shapes Constraint Language (SHACL) is the recent W3C recommendation language for validating RDF data, by verifying certain shapes on graphs. Previous work has largely focused on the validation problem and the standard decision problems…

人工智能 · 计算机科学 2022-06-16 Paolo Pareti , George Konstantinidis , Fabio Mogavero
‹ 上一页 1 8 9 10 下一页 ›