@prefix this: <
https://w3id.org/np/RAIwtw-k7Y2Bgv2vLjHZii92cv_UaEBVZQiMpM0rd7iA4
> .
@prefix sub: <
https://w3id.org/np/RAIwtw-k7Y2Bgv2vLjHZii92cv_UaEBVZQiMpM0rd7iA4/
> .
@prefix np: <
http://www.nanopub.org/nschema#
> .
@prefix dct: <
http://purl.org/dc/terms/
> .
@prefix xsd: <
http://www.w3.org/2001/XMLSchema#
> .
@prefix rdfs: <
http://www.w3.org/2000/01/rdf-schema#
> .
@prefix prov: <
http://www.w3.org/ns/prov#
> .
@prefix npx: <
http://purl.org/nanopub/x/
> .
sub:Head
{
this:
np:hasAssertion
sub:assertion
;
np:hasProvenance
sub:provenance
;
np:hasPublicationInfo
sub:pubinfo
;
a
np:Nanopublication
.
}
sub:assertion
{
<
https://doi.org/10.48550/arXiv.2507.08432
>
dct:title
"xpSHACL: Explainable SHACL Validation using Retrieval-Augmented Generation and Large Language Models" ;
<
http://purl.org/spar/cito/describes
> <
https://neverblink.eu/ontologies/llm-kg/methods#xpSHACL
> ;
<
http://purl.org/spar/cito/discusses
> <
https://neverblink.eu/ontologies/llm-kg/methods#GLAME
> , <
https://neverblink.eu/ontologies/llm-kg/methods#KELDaR
> , <
https://neverblink.eu/ontologies/llm-kg/methods#pyshacl
> ;
a
prov:Entity
.
<
https://neverblink.eu/ontologies/llm-kg/methods#GLAME
>
a
<
http://purl.org/spar/fabio/Workflow
> ;
rdfs:label
"GLAME" .
<
https://neverblink.eu/ontologies/llm-kg/methods#KELDaR
>
a
<
http://purl.org/spar/fabio/Workflow
> ;
rdfs:label
"KEL-DaR" .
<
https://neverblink.eu/ontologies/llm-kg/methods#pyshacl
>
a
<
http://purl.org/spar/fabio/Workflow
> ;
rdfs:label
"pyshacl" .
<
https://neverblink.eu/ontologies/llm-kg/methods#xpSHACL
>
dct:subject
<
https://neverblink.eu/ontologies/llm-kg/categories#SynergizedReasoning
> ;
<
http://purl.org/spar/fabio/hasURL
> "https://www.github.com/gcpdev/xpshacl"^^
xsd:anyURI
;
a
<
http://purl.org/spar/fabio/Workflow
> ;
rdfs:comment
"xpSHACL is a novel, unified system that integrates rule-based justification trees, a Knowledge Graph for contextual enrichment and caching, and Large Language Models for natural language explanation generation. It synergizes symbolic reasoning with LLM capabilities, enhanced by KG-retrieved knowledge, to provide comprehensive and human-readable explanations for SHACL constraint violations. The KG actively supports the LLM in reasoning and ensuring consistency." ;
rdfs:label
"xpSHACL" ;
<
https://neverblink.eu/ontologies/llm-kg/hasTopCategory
> <
https://neverblink.eu/ontologies/llm-kg/top-categories#SynergizedLLMKG
> .
}
sub:provenance
{
sub:assertion
prov:wasAttributedTo
<
https://neverblink.eu/ontologies/llm-kg/agent
> ;
prov:wasDerivedFrom
<
https://doi.org/10.48550/arXiv.2507.08432
> .
}
sub:pubinfo
{
this:
dct:created
"2026-02-26T16:15:35.637Z"^^
xsd:dateTime
;
dct:creator
<
https://neverblink.eu/ontologies/llm-kg/agent
> ;
npx:hasNanopubType
<
https://neverblink.eu/ontologies/llm-kg/PaperAssessmentResult
> ;
rdfs:label
"LLM-KG assessment for paper 10.48550/arXiv.2507.08432" .
sub:sig
npx:hasAlgorithm
"RSA" ;
npx:hasPublicKey
"MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwNz2QK3SEifno78S7+48zUB0xpTex3mAzW73ZimHqNcdEMU5/apslrGrTHGFAt/Chocgo++r6JQp5ygY7NyJHGWdaIqnt85pjX4PbNfLAvapyUO00qZP34fY61w4eZ9UMtleWEsmZKRtQPyJ8ODl46i/rfPuZlcJGpM9Nmy5mpGWuepqIEvF4a/t7pLVeCEDFSYXT+yaiygt6ynIK5f7TtEDhZpeUf/Q74WhMPJXm4yTU/hqOX4IW+50kWHNArGGZwUaXwzyG6M3Zd6UMModryGkLqS4H/MSE3ZA1Ylnms7BfWLEXhMWlaKi6HRV4nGRDLhxVSi9LSRi3LWKLhNIIQIDAQAB" ;
npx:hasSignature
"Kd1wasRuUDVwrKYrGIh9sPtDndRpTA0qeUMa6iWhrtTSypcujPOWdPEfDYRK+/qa0C57SfTPcVVdhulQ1YcFzc7AVG3yB7S2QBZYnenF5zMHskq9JGRulbKYaBtobzUjazrUAoFYMnMpmtnpC50kjl7LpKlT8ngfSy3eMFiUAQerLd2ORxh6GGB4rVPNK7fUv1ycOcpPLLVY1ReVQegR42quUR0FhIBKIs1tbOAfXKfu8V2GJUX/4/Z1PyVUs+ko7sDEnOJUMPCzicFKFAG14hlTsQZ+L3hKE1sYpmXl2aJ63iTT/3fMqjzYYMyX8J8AMFpTMfBbal8BLnh7431lEA==" ;
npx:hasSignatureTarget
this:
;
npx:signedBy
<
https://neverblink.eu/ontologies/llm-kg/agent
> .
}