sub:assertion {
<
https://doi.org/10.48550/arXiv.2601.19447>
dct:title "KG-CRAFT: Knowledge Graph-based Contrastive Reasoning with LLMs for Enhancing Automated Fact-checking" ;
<
http://purl.org/spar/cito/describes> <
https://neverblink.eu/ontologies/llm-kg/methods#kg-craft> ;
<
http://purl.org/spar/cito/discusses> <
https://neverblink.eu/ontologies/llm-kg/methods#co-gat-electra> , <
https://neverblink.eu/ontologies/llm-kg/methods#cofced> , <
https://neverblink.eu/ontologies/llm-kg/methods#corxfact> , <
https://neverblink.eu/ontologies/llm-kg/methods#defend> , <
https://neverblink.eu/ontologies/llm-kg/methods#factl-lama> , <
https://neverblink.eu/ontologies/llm-kg/methods#factl-lama-know> , <
https://neverblink.eu/ontologies/llm-kg/methods#fire> , <
https://neverblink.eu/ontologies/llm-kg/methods#genfe> , <
https://neverblink.eu/ontologies/llm-kg/methods#genfe-mt> , <
https://neverblink.eu/ontologies/llm-kg/methods#graphcheck> , <
https://neverblink.eu/ontologies/llm-kg/methods#graphfc> , <
https://neverblink.eu/ontologies/llm-kg/methods#ika> , <
https://neverblink.eu/ontologies/llm-kg/methods#l-defense> , <
https://neverblink.eu/ontologies/llm-kg/methods#mla-roberta> , <
https://neverblink.eu/ontologies/llm-kg/methods#multivers> , <
https://neverblink.eu/ontologies/llm-kg/methods#pacar> , <
https://neverblink.eu/ontologies/llm-kg/methods#programfc> , <
https://neverblink.eu/ontologies/llm-kg/methods#sbert-fc> , <
https://neverblink.eu/ontologies/llm-kg/methods#teller> ;
a prov:Entity .
<
https://neverblink.eu/ontologies/llm-kg/methods#co-gat-electra>
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "CO-GAT (ELECTRA) is discussed as a competing method for claim verification that applies graph attention over scientific evidence, utilizing a pre-trained ELECTRA encoder." ;
rdfs:label "CO-GAT (ELECTRA)" .
<
https://neverblink.eu/ontologies/llm-kg/methods#cofced>
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "CofCED is discussed as a traditional automated fact-checking (AFC) baseline that introduced a hierarchical encoder with cascaded evidence selectors to process reports from multiple sources for claim verification." ;
rdfs:label "CofCED" .
<
https://neverblink.eu/ontologies/llm-kg/methods#corxfact>
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "CorXFact is discussed as an LLM-based fact-checking approach that simulates human fact-checking principles by analyzing claim-evidence correlations." ;
rdfs:label "CorXFact" .
<
https://neverblink.eu/ontologies/llm-kg/methods#defend>
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "dEFEND is discussed as a traditional automated fact-checking (AFC) baseline method that employs a sentence-comment co-attention network to jointly analyze news content and user comments for claim verification." ;
rdfs:label "dEFEND" .
<
https://neverblink.eu/ontologies/llm-kg/methods#factl-lama>
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "FactL-LaMA is discussed as a specialized LLM-based fact-checking method that combines instruction-following with external evidence retrieval, implemented as a Low-Rank Adaptation (LoRA) fine-tuned Llama 2 7B." ;
rdfs:label "FactL-LaMA" .
<
https://neverblink.eu/ontologies/llm-kg/methods#factl-lama-know>
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "FactL-LaMA-Know is discussed as a specialized LLM-based fact-checking method that augments the FactL-LaMA model with external knowledge sources to improve fact-checking accuracy." ;
rdfs:label "FactL-LaMA-Know" .
<
https://neverblink.eu/ontologies/llm-kg/methods#fire>
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "FIRE is discussed as a recent LLM-based fact-checking approach that proposes an iterative verification method aiming to improve scalability and efficiency in assessing claims." ;
rdfs:label "FIRE" .
<
https://neverblink.eu/ontologies/llm-kg/methods#genfe>
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "GenFE is discussed as a traditional automated fact-checking (AFC) baseline that performs joint optimization of veracity prediction and explanation generation, showing improved classification and output quality." ;
rdfs:label "GenFE" .
<
https://neverblink.eu/ontologies/llm-kg/methods#genfe-mt>
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "GenFE-MT is discussed as a traditional automated fact-checking (AFC) baseline that performs joint optimization of veracity prediction and explanation generation, showing improved classification and output quality." ;
rdfs:label "GenFE-MT" .
<
https://neverblink.eu/ontologies/llm-kg/methods#graphcheck>
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "GraphCheck is discussed as a recent LLM-based verifier that incorporates lightweight graph signals and instruction-style prompting for fact-checking." ;
rdfs:label "GraphCheck" .
<
https://neverblink.eu/ontologies/llm-kg/methods#graphfc>
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "GraphFC is discussed as a competing method for claim verification that encodes the report structure with an explicit graph and graph reasoning components." ;
rdfs:label "GraphFC" .
<
https://neverblink.eu/ontologies/llm-kg/methods#ika>
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "IKA is discussed as an LLM-based fact-checking framework that builds a graph of positive and negative examples from labelled data to enhance fact-checking and explanation capabilities." ;
rdfs:label "IKA" .
<
https://neverblink.eu/ontologies/llm-kg/methods#kg-craft>
dct:subject <
https://neverblink.eu/ontologies/llm-kg/categories#KGEnhancedLLMInference> ;
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "KG-CRAFT is a novel method that enhances LLM performance in automated fact-checking. It leverages knowledge graphs to construct structured contrastive questions from claims and reports, which then guide an LLM to generate evidence-based summaries for veracity assessment during the inference stage. This process enables LLMs to access and reason with contextualized knowledge more effectively." ;
rdfs:label "KG-CRAFT" ;
<
https://neverblink.eu/ontologies/llm-kg/hasTopCategory> <
https://neverblink.eu/ontologies/llm-kg/top-categories#KGEnhancedLLM> .
<
https://neverblink.eu/ontologies/llm-kg/methods#l-defense>
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "L-Defense is discussed as a specialized LLM-based fact-checking framework that leverages the wisdom of crowds by partitioning evidence into competing narratives for robust claim verification using LLMs like Llama 2 7B and ChatGPT 3.5 Turbo." ;
rdfs:label "L-Defense" .
<
https://neverblink.eu/ontologies/llm-kg/methods#mla-roberta>
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "MLA (RoBERTa) is discussed as a competing method for claim verification that uses a sequence inference model with self-attention at token and sentence levels, powered by a pre-trained RoBERTa encoder." ;
rdfs:label "MLA (RoBERTa)" .
<
https://neverblink.eu/ontologies/llm-kg/methods#multivers>
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "MULTIVERS is discussed as a competing method for claim verification that leverages a multi-task learning approach for scientific verification and rationale extraction from abstracts." ;
rdfs:label "MULTIVERS" .
<
https://neverblink.eu/ontologies/llm-kg/methods#pacar>
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "PACAR is discussed as a competing prompting-based approach for fact verification that aggregates evidence with consistency-oriented reasoning using large language models." ;
rdfs:label "PACAR" .
<
https://neverblink.eu/ontologies/llm-kg/methods#programfc>
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "ProgramFC is discussed as a competing method for claim verification that formulates fact verification as a programmatic pipeline with modular steps for evidence usage and decision-making." ;
rdfs:label "ProgramFC" .
<
https://neverblink.eu/ontologies/llm-kg/methods#sbert-fc>
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "SBERT-FC is discussed as a traditional automated fact-checking (AFC) baseline method that uses SBERT to encode claims and documents, performing verification via supervised classifiers and providing explainability analysis." ;
rdfs:label "SBERT-FC" .
<
https://neverblink.eu/ontologies/llm-kg/methods#teller>
a <
http://purl.org/spar/fabio/Workflow> ;
rdfs:comment "TELLER is discussed as an LLM-based fact-checking framework that is a dual-system approach integrating human expertise with LLM reasoning to emphasize trustworthiness." ;
rdfs:label "TELLER" .
}