HighlightCurated by Aramai Editorialw3.org

SHACL 1.2 Rules

This document defines SHACL Rules, a language for describing the structure of RDF graphs.

SHACL 1.2 Rules is a specification that defines a language for describing the structure of RDF graphs and provides inferencing with the generation of new RDF data from a combination of rules and a base data graph. The document defines the syntax and semantics of rule-based inference, including basic patterns, recursion, filtering, negation, assignment, and importing rules. It also covers the evaluation of a rule set and the relationship between SHACL Rules and SPARQL.

Based on: SHACL 1.2 Rules · w3.org

HighlightCurated by Aramai Editorialfrontiersin.org

SHACLens: a visualization workflow for SHACL violation exploration in knowledge graphs

A visualization workflow for exploring SHACL violations in large knowledge graphs.

The paper presents SHACLens, an interactive visualization workflow that links ontology, instance data, and violation reports across multiple coordinated views. The workflow is designed to help analysts identify co-occurring errors and their likely upstream causes. An evaluation of the workflow using a transcriptomics dataset showed that it efficiently surfaced repeated sets of errors due to missing objects and schema inconsistencies.

Based on: Frontiers | SHACLens: a visualization workflow for SHACL violation exploration in knowledge graphs · frontiersin.org

HighlightCurated by Aramai Editorialontologist.substack.com

Converting from OWL to SHACL, Part I

An article discussing the principles and benefits of converting from OWL to SHACL.

The author explores the reasons for converting from OWL to SHACL, including improved validation, support for reification, and better alignment with tabular data sources. The article also delves into design considerations, such as the differences between rdfs:subClassOf and sh:node in a NodeShape.

Based on: Converting from OWL to SHACL, Part I · ontologist.substack.com

HighlightCurated by Aramai EditorialData & Knowledge Engineering

Semantic constraint validation in knowledge representation for the semantic web: A survey, taxonomy and research challenges

A survey, taxonomy and research challenges on semantic constraint validation.

This paper presents a survey and taxonomy of semantic constraint validation techniques for knowledge representation on the Semantic Web. It identifies research challenges and gaps in current approaches. The authors aim to provide a comprehensive overview of existing methods and their limitations.

Based on: Semantic constraint validation in knowledge representation for the semantic web: A survey, taxonomy and research challenges · Data & Knowledge Engineering

HighlightCurated by Aramai EditorialarXiv

Static Analysis of Recursive SHACL

Paper on static analysis of recursive SHACL.

The paper presents a static analysis approach for recursive SHACL shapes. It aims to improve the validation and optimization of SHACL-based data validation rules. The authors propose a novel algorithm for analyzing recursive SHACL shapes, enabling more efficient and effective data validation.

Based on: Static Analysis of Recursive SHACL · arXiv

HighlightCurated by Aramai EditorialDigital

Transforming SHACL Shape Graphs into HTML Applications for Populating Knowledge Graphs

A paper proposing a method to design user interfaces for populating knowledge graphs using SHACL constraint files.

The authors present an approach to create multi-form web applications from SHACL constraints, enabling user interface modeling and leveraging OWL reasoning for logical consistency. This method treats editing knowledge graphs as a business process, integrating ontology-based components. The application models are themselves knowledge graphs that can be verified using OWL reasoning.

Based on: Transforming SHACL Shape Graphs into HTML Applications for Populating Knowledge Graphs · Digital

HighlightCurated by Aramai Editorialopenalex.org

Translating and Formalizing the MIRAGE Guidelines to a Prototype MIRAGE Ontology and DCAT3 Extension Vocabulary for Glycomics Data Management

A paper on formalizing MIRAGE guidelines into a prototype ontology and DCAT3 extension vocabulary for glycomics data management.

The authors present a comprehensive semantic formalization of MIRAGE guidelines using an integrated RDF ontology framework. The framework models glycan structures, biological specimens, analytical instruments, and experimental processes with formal OWL semantics and SHACL validation constraints. It enables automated quality assessment, federated data querying, and enhanced reproducibility in glycomics research.

Based on: Translating and Formalizing the MIRAGE Guidelines to a Prototype MIRAGE Ontology and DCAT3 Extension Vocabulary for Glycomics Data Management

HighlightCurated by Aramai EditorialJournal of Biomedical Semantics

FAIR-Checker: supporting digital resource findability and reuse with Knowledge Graphs and Semantic Web standards

A web-based tool for assessing the FAIRness of metadata in digital resources.

FAIR-Checker is a tool that evaluates the FAIRness of metadata in digital resources using Semantic Web standards and technologies.,It offers two main facets: a 'Check' module for thorough metadata evaluation and recommendations, and an 'Inspect' module for improving metadata quality.,The tool was evaluated on over 25 thousand bioinformatics software descriptions.

Based on: FAIR-Checker: supporting digital resource findability and reuse with Knowledge Graphs and Semantic Web standards · Journal of Biomedical Semantics

HighlightCurated by Aramai EditorialInstitution of Engineering and Technology eBooks

Knowledge representation and reasoning in personal knowledge graphs

A chapter discussing the semantic web stack and its application to personal knowledge graphs.

The authors describe the semantic web stack, a set of open standards for representing and reasoning with knowledge graphs.,They discuss projects using these standards to build personal knowledge graphs that interoperate with other knowledge graphs on the web.,Related standards for describing rules and policies are also discussed.

Based on: Knowledge representation and reasoning in personal knowledge graphs · Institution of Engineering and Technology eBooks

HighlightCurated by Aramai EditorialLecture notes in computer science

The SAREF Pipeline and Portal—An Ontology Verification Framework

A framework for ontology verification presented in a lecture notes publication.

This paper introduces the SAREF pipeline and portal, an ontology verification framework. The authors describe the framework's components and its application to ontology validation. The framework is designed to facilitate the verification of ontologies and their integration with other knowledge graphs.

Based on: The SAREF Pipeline and Portal—An Ontology Verification Framework · Lecture notes in computer science

HighlightCurated by Aramai EditorialVLDB Endowment

QSE: Extraction of Validating Shapes from Very Large Knowledge Graphs

Proposes a Quality Shapes Extraction approach for extracting validating shapes in very large knowledge graphs.

The paper presents the QSE approach, which uses SHACL/ShEx to extract validating shapes from large knowledge graphs. It provides both exact and approximate solutions with confidence metrics. The authors achieve significant speed improvements and spurious shape reductions on DBpedia.

Based on: QSE: Extraction of Validating Shapes from Very Large Knowledge Graphs · VLDB Endowment

HighlightCurated by Aramai EditorialAutomation in Construction

Semantic Rule Checking of Cross-Domain Building Data Using SHACL

Uses SHACL for semantic rule checking across cross-domain building data.

This paper explores the application of SHACL shapes constraint language for semantic rule checking in construction industry. It presents a production deployment demonstrating SHACL validation. The study focuses on linked document delivery and information containers.

Based on: Semantic Rule Checking of Cross-Domain Building Data Using SHACL · Automation in Construction