@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix vcard:   <http://www.w3.org/2006/vcard/ns#> .
@prefix ftr:     <https://w3id.org/ftr#> .
@prefix dcat:    <http://www.w3.org/ns/dcat#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix dqv:     <http://www.w3.org/ns/dqv#> .
@prefix dpv:     <https://w3id.org/dpv#> .
@prefix sio:     <http://semanticscience.org/resource/> .
@prefix foaf:    <http://xmlns.com/foaf/0.1/> .
@prefix prov:    <http://www.w3.org/ns/prov#> .


# Metric Resource: ClosureRescueCoverage
<https://w3id.org/cq4oe/metric/ClosureRescueCoverage> a dqv:Metric, ftr:Test ;
    dcterms:identifier "https://w3id.org/cq4oe/metric/ClosureRescueCoverage" ;
    dcterms:title "CQ coverage credited via reasoner-inferred subsumption closure"@en ;
    rdfs:label "ClosureRescueCoverage: CQ coverage credited via reasoner-inferred subsumption closure"^^xsd:string ;
    dcat:version "0.1.0"^^xsd:string ;
    ftr:status "Active"@en ;
    dcat:landingPage <https://w3id.org/cq4oe/metric/ClosureRescueCoverage> ;

    dcterms:description """
This metric aims to evaluate CQ coverage with reasoning, crediting hierarchy axioms missed by strict matching but confirmed by the generated ontology's HermiT-inferred subsumption closure. Each gold axiom is decomposed into atomic SubClassOf and SubPropertyOf pairs; an axiom is rescued only when every one of its atomic pairs is present in the closure. Non-hierarchical axioms are scored only by the strict layer.

**Example:**

Gold_Axiom_for_CQ7: EquivalentClasses(SeafoodWine, WhiteWine ⊓ DryWine ⊓ pairsWith.Seafood)

Atomic_Pairs: { SeafoodWine ⊑ WhiteWine, SeafoodWine ⊑ DryWine, SeafoodWine ⊑ pairsWith.Seafood }

Generated_Closure_Contains:

1. SeafoodWine ⊑ WhiteWine    → matched
2. SeafoodWine ⊑ DryWine    → matched
3. SeafoodWine ⊑ pairsWith.Seafood    → unmatched

Result:

2 of 3 atomic pairs match → axiom NOT rescued under the all-or-nothing rule. It contributes 0 to CQ7's TP count under this layer.

**What is being measured?**

This metric reports how much additional CQ coverage reasoning can credit when the explicit axiom strings do not match. In experiments, closure rescue raises mean coverage by an average of +1.4 points but does not turn partial CQ coverage into full CQ coverage in the evaluated runs.
""" ;

    dcat:keyword "Ontology Engineering"@en ;
    dcat:keyword "Metric"@en ;
    dcat:keyword "Competency Questions"@en ;
    dcat:keyword "Reasoning"@en ;
    dcat:keyword "HermiT"@en ;
    dcat:keyword "Closure"@en ;

    dqv:inDimension <https://w3id.org/cq4oe/dimension/CQCoverage> ;
    dqv:inDimension <https://w3id.org/cq4oe/dimension/HierarchyClosure> ;
    dcterms:isPartOf <https://w3id.org/cq4oe/task/CQ2Onto> ;

    ftr:hasBenchmark <https://w3id.org/cq4oe/benchmark/ALL> ;
    ftr:supportedBy <https://w3id.org/cq4oe/> ;
    dpv:isApplicableFor <https://www.wikidata.org/wiki/Q184754> ;

    dcterms:creator <https://orcid.org/0009-0001-9475-8159> ;
    dcat:contactPoint <https://orcid.org/0009-0001-9475-8159> ;
    dcterms:publisher <https://oeg.fi.upm.es> ;
    dcterms:publisher <https://ror.org/03n6nwv02> ;
    dcterms:license <http://creativecommons.org/licenses/by/4.0/> .

# Common related resources
<https://orcid.org/0009-0001-9475-8159> a vcard:Individual ;
    vcard:fn "JiaYi Li"^^xsd:string ;
    vcard:hasEmail <mailto:li.jiayi@upm.es> .

<https://oeg.fi.upm.es> a foaf:Organization ;
    rdfs:label "Ontology Engineering Group" ;
    vcard:url <https://oeg.fi.upm.es/> .

<https://ror.org/03n6nwv02> a vcard:Organization ;
    dcterms:identifier "https://ror.org/03n6nwv02" ;
    rdfs:label "Universidad Politécnica de Madrid" ;
    vcard:url <https://www.upm.es/> .

<https://w3id.org/cq4oe/benchmark/ALL> a ftr:Benchmark ;
    dcterms:title "CQ2OE Benchmark"@en ;
    dcterms:description "Competency Questions for Ontology Engineering. A benchmark for evaluating LLM-assisted ontology generation from competency questions."@en .