@prefix this: <https://w3id.org/np/RAgDdsw_r7yfmWMbVqzTYdlwa6-EjiP5-YjaV3dEbHBc8> .
@prefix sub: <https://w3id.org/np/RAgDdsw_r7yfmWMbVqzTYdlwa6-EjiP5-YjaV3dEbHBc8/> .
@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.2405.13873> dct:title "FiDeLiS: Faithful Reasoning in Large Language Models for Knowledge Graph Question Answering" ;
    <http://purl.org/spar/cito/describes> <https://neverblink.eu/ontologies/llm-kg/methods#deductiveVerificationBeamSearch> , <https://neverblink.eu/ontologies/llm-kg/methods#fideliS> , <https://neverblink.eu/ontologies/llm-kg/methods#pathRAG> ;
    <http://purl.org/spar/cito/discusses> <https://neverblink.eu/ontologies/llm-kg/methods#decaf> , <https://neverblink.eu/ontologies/llm-kg/methods#gcr> , <https://neverblink.eu/ontologies/llm-kg/methods#kaping> , <https://neverblink.eu/ontologies/llm-kg/methods#kdCoT> , <https://neverblink.eu/ontologies/llm-kg/methods#nsm> , <https://neverblink.eu/ontologies/llm-kg/methods#rog> , <https://neverblink.eu/ontologies/llm-kg/methods#tog> , <https://neverblink.eu/ontologies/llm-kg/methods#vanillaRetriever> ;
    a prov:Entity .
  <https://neverblink.eu/ontologies/llm-kg/methods#decaf> a <http://purl.org/spar/fabio/Workflow> ;
    rdfs:label "DeCAF" .
  <https://neverblink.eu/ontologies/llm-kg/methods#deductiveVerificationBeamSearch> dct:subject <https://neverblink.eu/ontologies/llm-kg/categories#SynergizedReasoning> ;
    a <http://purl.org/spar/fabio/Workflow> ;
    rdfs:comment "Deductive-Verification Beam Search (DVBS) is a core component of FiDeLiS that constructs and validates reasoning paths step-by-step. It uses LLM-generated planning to guide the beam search and employs an LLM-based deductive verification mechanism (local and global checks) to ensure logical consistency and factual correctness, enabling synergized reasoning with LLMs and KGs." ;
    rdfs:label "Deductive-Verification Beam Search" ;
    <https://neverblink.eu/ontologies/llm-kg/hasTopCategory> <https://neverblink.eu/ontologies/llm-kg/top-categories#SynergizedLLMKG> .
  <https://neverblink.eu/ontologies/llm-kg/methods#fideliS> dct:subject <https://neverblink.eu/ontologies/llm-kg/categories#SynergizedReasoning> ;
    <http://purl.org/spar/fabio/hasURL> "https://github.com/Y-Sui/FiDeLiS"^^xsd:anyURI ;
    a <http://purl.org/spar/fabio/Workflow> ;
    rdfs:comment "FiDeLiS is a unified, training-free framework designed to improve the factual accuracy and reasoning efficiency of LLM responses in KGQA. It grounds LLM answers in verifiable reasoning steps from KGs by integrating the Path-RAG and Deductive-Verification Beam Search modules, representing a synergized approach to reasoning with both LLMs and KGs." ;
    rdfs:label "FiDeLiS" ;
    <https://neverblink.eu/ontologies/llm-kg/hasTopCategory> <https://neverblink.eu/ontologies/llm-kg/top-categories#SynergizedLLMKG> .
  <https://neverblink.eu/ontologies/llm-kg/methods#gcr> a <http://purl.org/spar/fabio/Workflow> ;
    rdfs:label "GCR" .
  <https://neverblink.eu/ontologies/llm-kg/methods#kaping> a <http://purl.org/spar/fabio/Workflow> ;
    rdfs:label "KAPING" .
  <https://neverblink.eu/ontologies/llm-kg/methods#kdCoT> a <http://purl.org/spar/fabio/Workflow> ;
    rdfs:label "KD-CoT" .
  <https://neverblink.eu/ontologies/llm-kg/methods#nsm> a <http://purl.org/spar/fabio/Workflow> ;
    rdfs:label "NSM" .
  <https://neverblink.eu/ontologies/llm-kg/methods#pathRAG> dct:subject <https://neverblink.eu/ontologies/llm-kg/categories#SynergizedReasoning> ;
    a <http://purl.org/spar/fabio/Workflow> ;
    rdfs:comment "Path-RAG is a retrieval-augmented generation module within the FiDeLiS framework that pre-selects a smaller candidate set of entities and relations from the KG for each beam search step. It combines LLM-generated keywords, semantic similarity, and KG structural connectivity to efficiently narrow the search space and support the overall synergized reasoning process." ;
    rdfs:label "Path-RAG" ;
    <https://neverblink.eu/ontologies/llm-kg/hasTopCategory> <https://neverblink.eu/ontologies/llm-kg/top-categories#SynergizedLLMKG> .
  <https://neverblink.eu/ontologies/llm-kg/methods#rog> a <http://purl.org/spar/fabio/Workflow> ;
    rdfs:label "RoG" .
  <https://neverblink.eu/ontologies/llm-kg/methods#tog> a <http://purl.org/spar/fabio/Workflow> ;
    rdfs:label "ToG" .
  <https://neverblink.eu/ontologies/llm-kg/methods#vanillaRetriever> a <http://purl.org/spar/fabio/Workflow> ;
    rdfs:label "Vanilla Retriever" .
}
sub:provenance {
  sub:assertion prov:wasAttributedTo <https://neverblink.eu/ontologies/llm-kg/agent> ;
    prov:wasDerivedFrom <https://doi.org/10.48550/arXiv.2405.13873> .
}
sub:pubinfo {
  this: dct:created "2026-02-26T15:28:37.895Z"^^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.2405.13873" .
  sub:sig npx:hasAlgorithm "RSA" ;
    npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwNz2QK3SEifno78S7+48zUB0xpTex3mAzW73ZimHqNcdEMU5/apslrGrTHGFAt/Chocgo++r6JQp5ygY7NyJHGWdaIqnt85pjX4PbNfLAvapyUO00qZP34fY61w4eZ9UMtleWEsmZKRtQPyJ8ODl46i/rfPuZlcJGpM9Nmy5mpGWuepqIEvF4a/t7pLVeCEDFSYXT+yaiygt6ynIK5f7TtEDhZpeUf/Q74WhMPJXm4yTU/hqOX4IW+50kWHNArGGZwUaXwzyG6M3Zd6UMModryGkLqS4H/MSE3ZA1Ylnms7BfWLEXhMWlaKi6HRV4nGRDLhxVSi9LSRi3LWKLhNIIQIDAQAB" ;
    npx:hasSignature "dRGVmvPvYFSPGD1F+yQQiVICRb29j2Vd3MrdWCrvjFeFFstHdiLvWYw2Yo4W8rc8iyiBfisiDjU1qiP27kb3/iBsOUtEHHbtpc0MMuLCBFYwIeln4lu76iG65XK3MOGzX8xbpcW2MoPPbWvGx7un/qiNCniANTtMv0Xm42zSU01YVRS4OBmUbQjb1u5KfyrrEH5G/ch7Csn2bYfdanwrSkK4lO9FJ8fbOq5LBTNsxsV8xNpsNl36AHNSd03ecVhWaxK4FGsufBrgH3Z/JeMfbfbR1CR1WIrbN75O5t8lFgbGTU8dAfq+BeNenmS52kl5rwR+PJ40lblEM+42NQrfLg==" ;
    npx:hasSignatureTarget this: ;
    npx:signedBy <https://neverblink.eu/ontologies/llm-kg/agent> .
}