中文
相关论文

相关论文: Shape Expressions Schemas

200 篇论文

As schema languages for RDF data become more mature, we are seeing efforts to extend them with recursive semantics, applying diverse ideas from logic programming and description logics. While ShEx has an official recursive semantics based…

The Shapes Constraint Language (SHACL) has been recently introduced as a W3C recommendation to define constraints that can be validated against RDF graphs. Interactions of SHACL with other Semantic Web technologies, such as ontologies or…

人工智能 · 计算机科学 2020-08-10 Paolo Pareti , George Konstantinidis , Timothy J. Norman , Murat Şensoy

SHACL (Shapes Constraint Language) expresses constraints on RDF data by means of so-called shapes. Its central service is validation: verifying whether a data graph complies with a SHACL document. But so far, there are no static analysis…

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

An RDF data shape is a description of the expected contents of an RDF document (aka graph) or dataset. A major part of this description is the set of constraints that the document or dataset is required to satisfy. W3C recently (2014)…

数据库 · 计算机科学 2015-11-03 Arthur Ryman

ASHACL, a variant of the W3C Shapes Constraint Language, is designed to determine whether an RDF graph meets some conditions. These conditions are grouped into shapes, which validate whether particular RDF terms each meet the constraints of…

人工智能 · 计算机科学 2017-03-10 Peter F. Patel-Schneider

Property graphs constitute data models for representing knowledge graphs. They allow for the convenient representation of facts, including facts about facts, represented by triples in subject or object position of other triples. Knowledge…

数据库 · 计算机科学 2023-07-14 Philipp Seifer , Ralf Lämmel , Steffen Staab

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

Knowledge graphs have emerged as expressive data structures for Web data. Knowledge graph potential and the demand for ecosystems to facilitate their creation, curation, and understanding, is testified in diverse domains, e.g., biomedicine.…

数据库 · 计算机科学 2021-01-19 Mónica Figuera , Philipp D. Rohde , Maria-Esther Vidal

Although RDF graphs have schema information associated with them, in practice it is very common to find cases in which data do not fully conform to their schema. A prominent example of this is DBpedia, which is RDF data extracted from…

The Shapes Constraint Language (SHACL) is a formal language for validating RDF graphs against a set of conditions. Following this idea and implementing a subset of the language, the Metadata Quality Assessment Framework provides Shacl4Bib:…

数字图书馆 · 计算机科学 2024-05-16 Péter Király

Wikidata is one of the most successful Semantic Web projects. Its underlying Wikibase data model departs from RDF with the inclusion of several features like qualifiers and references, built-in datatypes, etc. Those features are serialized…

数据库 · 计算机科学 2022-08-05 Jose Emilio Labra Gayo

Many real-world and artificial systems and processes can be represented as graphs. Some examples of such systems include social networks, financial transactions, supply chains, and molecular structures. In many of these cases, one needs to…

机器学习 · 计算机科学 2025-03-21 Ashkan Dehghan , Paweł Prałat , François Théberge

SHACL is a W3C-proposed language for expressing structural constraints on RDF graphs. The recommendation only specifies semantics for non-recursive SHACL; recently, some efforts have been made to allow recursive SHACL schemas. In this…

数据库 · 计算机科学 2021-09-20 Bart Bogaerts , Maxime Jakubowski

Recent studies on the Shapes Constraint Language (SHACL), a W3C specification for validating RDF graphs, rely on translating the language into first-order logic in order to provide formally-grounded solutions to the validation, containment…

人工智能 · 计算机科学 2024-06-13 Paolo Pareti

Graph Neural Networks (GNNs) have achieved outstanding performance across a wide range of graph-related tasks. However, their "black-box" nature poses significant challenges to their explainability, and existing methods often fail to…

机器学习 · 计算机科学 2025-07-25 Lijun Wu , Dong Hao , Zhiyi Fan

Modeling stochastic differential equations (SDEs) is crucial for understanding complex dynamical systems in various scientific fields. Recent methods often employ neural network-based models, which typically represent SDEs through a…

机器学习 · 计算机科学 2025-06-25 Senwei Liang , Chunmei Wang , Xingjian Xu

Complex network data is prevalent in various real-world domains, including physical, technological, and biological systems. Despite this prevalence, predicting trends and understanding behavioral patterns in complex systems remain…

符号计算 · 计算机科学 2026-01-22 Zezheng Song , Chunmei Wang , Haizhao Yang

SHACL (SHApe Constraint Language) is a W3C standardized constraint language for RDF graphs. In this paper, we study SHACL validation in RDF graphs under updates. We present a SHACL-based update language that can capture intuitive and…

人工智能 · 计算机科学 2025-08-04 Shqiponja Ahmetaj , George Konstantinidis , Magdalena Ortiz , Paolo Pareti , Mantas Simkus

The RDF data model facilitates integration of diverse data available in structured and semi-structured formats. To obtain an RDF graph with a low amount of errors and internal redundancy, the chosen ontology must be consistently applied.…

数据库 · 计算机科学 2019-11-11 Jesse C. J. van Dam , Jasper J. Koehorst , Peter J. Schaap , Maria Suarez-Diez

The task of crafting procedural programs capable of generating structurally valid 3D shapes easily and intuitively remains an elusive goal in computer vision and graphics. Within the graphics community, generating procedural 3D models has…

图形学 · 计算机科学 2025-03-21 Ofek Pearl , Itai Lang , Yuhua Hu , Raymond A. Yeh , Rana Hanocka