Highlightontologist.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

HighlightData & 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

HighlightarXiv

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

HighlightDigital

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

Highlightopenalex.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

HighlightJournal 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

HighlightInstitution 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

HighlightLecture 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

HighlightVLDB 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

HighlightAutomation 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

HighlightSemantic Web

RDF graph validation using rule-based reasoning

Paper proposing an alternative validation approach for RDF graphs using rule-based reasoning.

The paper presents a new validation method that uses rule-based reasoning to validate RDF graphs. It compares to existing approaches and provides a formal ground and practical implementation called Validatrr, which is based on N3Logic and the EYE reasoner. The proposed approach better explains the root cause of violations and returns an accurate number of violations.

Based on: RDF graph validation using rule-based reasoning · Semantic Web