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" .
}