Language-Based Testing for Knowledge Graphs

Tobias John; Einar Broch Johnsen; Eduard Kamburjan; Dominic Steinhöfel

doi:10.1007/978-3-031-94578-6_2

Language-Based Testing for Knowledge Graphs

Tobias John
, Einar Broch Johnsen
, Eduard Kamburjan
, Dominic Steinhöfel

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Abstract

Knowledge graphs rely on a vast ecosystem of software tools, such as parsers, APIs and reasoners. Yet, tool developers have little support to ensure tool reliability. Here, we demonstrate how recent advantages in test case generation for highly structured and constrained inputs can support software developers in the semantic web field. We develop input generators for RDF Turtle and the OWL EL profile, and report on numerous bugs we found in parsers, reasoners and APIs of widely used tools and libraries, as well as imprecisions in standards and documentation. We provide actionable insights on using automated testing to increase the reliability of software tools for knowledge graphs.

Originalsprog	Engelsk
Tidsskrift	Lecture Notes in Computer Science
Vol/bind	15719
Sider (fra-til)	24-46
Antal sider	22
DOI	https://doi.org/10.1007/978-3-031-94578-6_2
Status	Udgivet - 31 maj 2025

Emneord

Automated Testing
OWL EL
RDF
Reasoning

Adgang til dokumentet

10.1007/978-3-031-94578-6_2

Citationsformater

@inproceedings{8aab03d19f1c477dbdbe4f6d4fe7ec99,

title = "Language-Based Testing for Knowledge Graphs",

abstract = "Knowledge graphs rely on a vast ecosystem of software tools, such as parsers, APIs and reasoners. Yet, tool developers have little support to ensure tool reliability. Here, we demonstrate how recent advantages in test case generation for highly structured and constrained inputs can support software developers in the semantic web field. We develop input generators for RDF Turtle and the OWL EL profile, and report on numerous bugs we found in parsers, reasoners and APIs of widely used tools and libraries, as well as imprecisions in standards and documentation. We provide actionable insights on using automated testing to increase the reliability of software tools for knowledge graphs.",

keywords = "Automated Testing, OWL EL, RDF, Reasoning",

author = "Tobias John and Johnsen, \{Einar Broch\} and Eduard Kamburjan and Dominic Steinh{\"o}fel",

year = "2025",

month = may,

day = "31",

doi = "10.1007/978-3-031-94578-6\_2",

language = "English",

volume = "15719",

pages = "24--46",

journal = "Lecture Notes in Computer Science",

publisher = "Berlin: Springer-Verlag, 1973-",

}

TY - GEN

T1 - Language-Based Testing for Knowledge Graphs

AU - John, Tobias

AU - Johnsen, Einar Broch

AU - Kamburjan, Eduard

AU - Steinhöfel, Dominic

PY - 2025/5/31

Y1 - 2025/5/31

N2 - Knowledge graphs rely on a vast ecosystem of software tools, such as parsers, APIs and reasoners. Yet, tool developers have little support to ensure tool reliability. Here, we demonstrate how recent advantages in test case generation for highly structured and constrained inputs can support software developers in the semantic web field. We develop input generators for RDF Turtle and the OWL EL profile, and report on numerous bugs we found in parsers, reasoners and APIs of widely used tools and libraries, as well as imprecisions in standards and documentation. We provide actionable insights on using automated testing to increase the reliability of software tools for knowledge graphs.

AB - Knowledge graphs rely on a vast ecosystem of software tools, such as parsers, APIs and reasoners. Yet, tool developers have little support to ensure tool reliability. Here, we demonstrate how recent advantages in test case generation for highly structured and constrained inputs can support software developers in the semantic web field. We develop input generators for RDF Turtle and the OWL EL profile, and report on numerous bugs we found in parsers, reasoners and APIs of widely used tools and libraries, as well as imprecisions in standards and documentation. We provide actionable insights on using automated testing to increase the reliability of software tools for knowledge graphs.

KW - Automated Testing

KW - OWL EL

KW - RDF

KW - Reasoning

U2 - 10.1007/978-3-031-94578-6_2

DO - 10.1007/978-3-031-94578-6_2

M3 - Conference article

VL - 15719

SP - 24

EP - 46

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -

Language-Based Testing for Knowledge Graphs

Abstract

Emneord

Adgang til dokumentet

Fingeraftryk

Citationsformater