Skip to content

Latest commit

 

History

History
434 lines (328 loc) · 27.7 KB

model-test-manual-NicoRobertIn-2024-06-06T14-38-00.md

File metadata and controls

434 lines (328 loc) · 27.7 KB
Raw

Test Report Markdown Export

This file is an export of the RDF test report made out of EARL vocabulary

This test is powered by Corese, check the website and the repository

The original test report is available in turtle syntax here.

Test Context

Here is some context about under which context this test was made

Assertor NicoRobertIn
Title NicoRobertIn using manual script
Description Test triggered by @NicoRobertIn by manual trigger
Script model test suite
Date 2024-06-06 14:37:59

Statistic summary

Here is a short overview for this test report

12 Outcomes

💥0 MajorFail, ❗7 MinorFail, ⚠️0 CannotTell, ❔0 NotTested, ✅5 Pass


The different status types are an extension of the EARL vocabulary where the nextended terms can be found in the olivaw-earl dataset, each outcome type means:

  • 💥 MajorFail: This is an error that is critical and consider as blocking for production
  • ❗ MinorFail: This is an error that should be fixed, but it is cannot be considered as critical error
  • ⚠️ CannotTell: It is unclear if the subject passed or failed the test. This happens when an automated test requires human judgement to make a definite decision.
  • ❔ NotTested: The test has not been carried out. Here this is because a previous test that was mandatory to be passed did not end up as Pass.
  • ✅ Pass: The subject passed the test.

MinorFail Outcomes

Jump to statistic summary | Previous section | Next section

Here is the chapter related to the MinorFail outcome

❗7 MinorFail outcomes

Fold/Unfold the 7 summary and details

MinorFail Outcomes Summary

❗7 MinorFail outcomes

Jump Number Status Subject Criterion Title Link
Chapter top
1/7
 ❗MinorFail module-src-pwkso profile-compatibility OWL RL Profile incompatible Jump
Chapter top
2/7
 ❗MinorFail module-src-pwkso profile-compatibility OWL RL Profile incompatible Jump
Chapter top
3/7
 ❗MinorFail module-src-pwkso profile-compatibility OWL QL Profile incompatible Jump
Chapter top
4/7
 ❗MinorFail module-src-pwkso profile-compatibility OWL QL Profile incompatible Jump
Chapter top
5/7
 ❗MinorFail module-src-pwkso profile-compatibility OWL EL Profile incompatible Jump
Chapter top
6/7
 ❗MinorFail module-src-pwkso profile-compatibility OWL EL Profile incompatible Jump
Chapter top
7/7
 ❗MinorFail module-src-pwkso term-referencing Term not referenced to a module Jump

MinorFail Outcomes Details

This subchapter gives more details to the ❗MinorFail outcomes

MinorFail Outcome number 1

Jump to summary definition | Previous MinorFail outcome | Next MinorFail outcome

❗MinorFail outcome

Subject detail

Name module-src-pwkso
Title Standalone module src/pwkso.ttl from branch main
Composition - Module pwkso

Criterion detail

Identifier profile-compatibility
Title Profile compatibility test
Description A test meant to check whether the test subject is compatible with a profile or not, and if it is not, why.

Outcome Detail

Jump Type ❗MinorFail
Section top Identifier owl-rl-profile-error
Section top Title OWL RL Profile incompatible
Section top Description Class Expression not supported with rdfs:subClassOf
Section top Pointer 
pwkso:BinaryKripkeRelation rdfs:label "binary Kripke relation"@en ;  
    rdfs:comment "relation that links a possible world with another to represe..." ;  
    rdfs:subClassOf [ a owl:Restriction ;  
            owl:onProperty pwkso:param ],  
        pwkso:KripkeRelation .
Section top Pointer 
pwkso:UnaryKripkeRelation rdfs:label "unary Kripke relation"@en ;  
    rdfs:comment "relation that links a possible world with another to represe..." ;  
    rdfs:subClassOf [ a owl:Restriction ;  
            owl:onProperty pwkso:param ],  
        pwkso:KripkeRelation .

MinorFail Outcome number 2

Jump to summary definition | Previous MinorFail outcome | Next MinorFail outcome

❗MinorFail outcome

Subject detail

Name module-src-pwkso
Title Standalone module src/pwkso.ttl from branch main
Composition - Module pwkso

Criterion detail

Identifier profile-compatibility
Title Profile compatibility test
Description A test meant to check whether the test subject is compatible with a profile or not, and if it is not, why.

Outcome Detail

Jump Type ❗MinorFail
Section top Identifier owl-rl-profile-error
Section top Title OWL RL Profile incompatible
Section top Description Statement not supported in a Super Class Expression
Section top Pointer 
[] a owl:Restriction ;  
    owl:onProperty pwkso:param .

MinorFail Outcome number 3

Jump to summary definition | Previous MinorFail outcome | Next MinorFail outcome

❗MinorFail outcome

Subject detail

Name module-src-pwkso
Title Standalone module src/pwkso.ttl from branch main
Composition - Module pwkso

Criterion detail

Identifier profile-compatibility
Title Profile compatibility test
Description A test meant to check whether the test subject is compatible with a profile or not, and if it is not, why.

Outcome Detail

Jump Type ❗MinorFail
Section top Identifier owl-ql-profile-error
Section top Title OWL QL Profile incompatible
Section top Description Class Expression not supported with rdfs:subClassOf
Section top Pointer 
pwkso:BinaryKripkeRelation rdfs:label "binary Kripke relation"@en ;  
    rdfs:comment "relation that links a possible world with another to represe..." ;  
    rdfs:subClassOf [ a owl:Restriction ;  
            owl:onProperty pwkso:param ],  
        pwkso:KripkeRelation .
Section top Pointer 
pwkso:UnaryKripkeRelation rdfs:label "unary Kripke relation"@en ;  
    rdfs:comment "relation that links a possible world with another to represe..." ;  
    rdfs:subClassOf [ a owl:Restriction ;  
            owl:onProperty pwkso:param ],  
        pwkso:KripkeRelation .

MinorFail Outcome number 4

Jump to summary definition | Previous MinorFail outcome | Next MinorFail outcome

❗MinorFail outcome

Subject detail

Name module-src-pwkso
Title Standalone module src/pwkso.ttl from branch main
Composition - Module pwkso

Criterion detail

Identifier profile-compatibility
Title Profile compatibility test
Description A test meant to check whether the test subject is compatible with a profile or not, and if it is not, why.

Outcome Detail

Jump Type ❗MinorFail
Section top Identifier owl-ql-profile-error
Section top Title OWL QL Profile incompatible
Section top Description Statement not supported in a Super Class Expression
Section top Pointer 
[] a owl:Restriction ;  
    owl:onProperty pwkso:param .

MinorFail Outcome number 5

Jump to summary definition | Previous MinorFail outcome | Next MinorFail outcome

❗MinorFail outcome

Subject detail

Name module-src-pwkso
Title Standalone module src/pwkso.ttl from branch main
Composition - Module pwkso

Criterion detail

Identifier profile-compatibility
Title Profile compatibility test
Description A test meant to check whether the test subject is compatible with a profile or not, and if it is not, why.

Outcome Detail

Jump Type ❗MinorFail
Section top Identifier owl-el-profile-error
Section top Title OWL EL Profile incompatible
Section top Description Class Expression not supported with rdfs:subClassOf
Section top Pointer 
pwkso:BinaryKripkeRelation rdfs:label "binary Kripke relation"@en ;  
    rdfs:comment "relation that links a possible world with another to represe..." ;  
    rdfs:subClassOf [ a owl:Restriction ;  
            owl:onProperty pwkso:param ],  
        pwkso:KripkeRelation .
Section top Pointer 
pwkso:UnaryKripkeRelation rdfs:label "unary Kripke relation"@en ;  
    rdfs:comment "relation that links a possible world with another to represe..." ;  
    rdfs:subClassOf [ a owl:Restriction ;  
            owl:onProperty pwkso:param ],  
        pwkso:KripkeRelation .

MinorFail Outcome number 6

Jump to summary definition | Previous MinorFail outcome | Next MinorFail outcome

❗MinorFail outcome

Subject detail

Name module-src-pwkso
Title Standalone module src/pwkso.ttl from branch main
Composition - Module pwkso

Criterion detail

Identifier profile-compatibility
Title Profile compatibility test
Description A test meant to check whether the test subject is compatible with a profile or not, and if it is not, why.

Outcome Detail

Jump Type ❗MinorFail
Section top Identifier owl-el-profile-error
Section top Title OWL EL Profile incompatible
Section top Description Statement not supported in a Class Expression
Section top Pointer 
[] a owl:Restriction ;  
    owl:onProperty pwkso:param .

MinorFail Outcome number 7

Jump to summary definition | Previous MinorFail outcome | Next MinorFail outcome

❗MinorFail outcome

Subject detail

Name module-src-pwkso
Title Standalone module src/pwkso.ttl from branch main
Composition - Module pwkso

Criterion detail

Identifier term-referencing
Title Term referencing test
Description A test case from the Best Practices tests checking if each term of the test subject is referenced to a module through a rdfs:isDefinedBy property.

Outcome Detail

Jump Type ❗MinorFail
Section top Identifier no-reference-module
Section top Title Term not referenced to a module
Section top Description Subject terms not linked to a module by a rdfs:isDefinedBy property
Section top Pointer 
:PossibleWorld a owl:Class ;  
    rdfs:label "possible world"@en ;  
    rdfs:comment "a consistent representation of how the world is, could have ..." .
Section top Pointer 
:verifiedIn a owl:ObjectProperty ;  
    rdfs:label "verified in"@en ;  
    rdfs:comment "links triples to a possible world in which their associated ..." ;  
    rdfs:range :PossibleWorld ;  
    owl:propertyDisjointWith :notVerifiedIn .
Section top Pointer 
:notVerifiedIn a owl:ObjectProperty ;  
    rdfs:label "not verified in"@en ;  
    rdfs:comment "links triples to a possible world in which associated formul..." ;  
    rdfs:range :PossibleWorld ;  
    owl:propertyDisjointWith :verifiedIn .
Section top Pointer 
:ClosedPossibleWorld a owl:Class ;  
    rdfs:label "closed possible world"@en ;  
    rdfs:comment "represents a possible world with the Closed-World Assumption"@en ;  
    rdfs:subClassOf :PossibleWorld .
Section top Pointer 
:OpenPossibleWorld a owl:Class ;  
    rdfs:label "open possible world"@en ;  
    rdfs:comment "represents a possible world with the Open-World Assumption"@en ;  
    rdfs:subClassOf :PossibleWorld .
Section top Pointer 
:KripkeRelation a owl:Class ;  
    rdfs:label "Kripke relation"@en ;  
    rdfs:comment "represents the Kripke relations between possible worlds. Ins..." .
Section top Pointer 
:param a owl:ObjectProperty ;  
    rdfs:label "parameter"@en ;  
    rdfs:comment "parameter of a Kripke relation"@en ;  
    rdfs:domain :KripkeRelation ;  
    rdfs:range :PossibleWorld .
Section top Pointer 
:index a owl:ObjectProperty ;  
    rdfs:label "index"@en ;  
    rdfs:comment "index of a Kripke relation"@en ;  
    rdfs:domain :KripkeRelation .
Section top Pointer 
:hasRelation a owl:ObjectProperty ;  
    rdfs:label "has relation"@en ;  
    rdfs:comment "links a possible world to one of its N-ary relations"@en ;  
    rdfs:domain :PossibleWorld ;  
    rdfs:range :KripkeRelation .
Section top Pointer 
:BinaryKripkeRelation rdfs:label "binary Kripke relation"@en ;  
    rdfs:comment "relation that links a possible world with another to represe..." ;  
    rdfs:subClassOf [ a owl:Restriction ;  
            owl:onProperty :param ],  
        :KripkeRelation .
Section top Pointer 
:UnaryKripkeRelation rdfs:label "unary Kripke relation"@en ;  
    rdfs:comment "relation that links a possible world with another to represe..." ;  
    rdfs:subClassOf [ a owl:Restriction ;  
            owl:onProperty :param ],  
        :KripkeRelation .

Pass Outcomes

Jump to statistic summary | Previous section | Next section

Here is the chapter related to the Pass outcome

✅5 Pass outcomes

Fold/Unfold the 5 summary and details

Pass Outcomes Summary

✅5 Pass outcomes

Jump Number Status Subject Criterion Title Link
Chapter top
1/5
 ✅Pass module-src-pwkso domain-and-range-referencing Domains properly defined Jump
Chapter top
2/5
 ✅Pass module-src-pwkso domain-and-range-referencing Ranges properly defined Jump
Chapter top
3/5
 ✅Pass module-src-pwkso labeled-terms All terms labeled Jump
Chapter top
4/5
 ✅Pass module-src-pwkso owl-rl-constraint OWL RL consistent Jump
Chapter top
5/5
 ✅Pass module-src-pwkso terms-differenciation Terms differenciated enough Jump

Pass Outcomes Details

This subchapter gives more details to the ✅Pass outcomes

Pass Outcome number 1

Jump to summary definition | Previous Pass outcome | Next Pass outcome

✅Pass outcome

Subject detail

Name module-src-pwkso
Title Standalone module src/pwkso.ttl from branch main
Composition - Module pwkso

Criterion detail

Identifier domain-and-range-referencing
Title Domain and range referencing test
Description A test case from the Best Practices tests checking if all the ranges and domains from the test subject point to terms that are defined in the vocabulary.

Outcome Detail

Jump Type ✅Pass
Section top Identifier domain-out-of-vocabulary
Section top Title Domains properly defined
Section top Description Each rdfs:domain is defined within the fragment

Pass Outcome number 2

Jump to summary definition | Previous Pass outcome | Next Pass outcome

✅Pass outcome

Subject detail

Name module-src-pwkso
Title Standalone module src/pwkso.ttl from branch main
Composition - Module pwkso

Criterion detail

Identifier domain-and-range-referencing
Title Domain and range referencing test
Description A test case from the Best Practices tests checking if all the ranges and domains from the test subject point to terms that are defined in the vocabulary.

Outcome Detail

Jump Type ✅Pass
Section top Identifier range-out-of-vocabulary
Section top Title Ranges properly defined
Section top Description Each rdfs:range is defined within the fragment

Pass Outcome number 3

Jump to summary definition | Previous Pass outcome | Next Pass outcome

✅Pass outcome

Subject detail

Name module-src-pwkso
Title Standalone module src/pwkso.ttl from branch main
Composition - Module pwkso

Criterion detail

Identifier labeled-terms
Title Term labeling test
Description A test case from the Best Practices tests checking if all the terms of the subject have a rdfs:label property pointing to a literal in English

Outcome Detail

Jump Type ✅Pass
Section top Identifier not-labeled-term
Section top Title All terms labeled
Section top Description All the terms defined in the subject have a rdfs:label in English

Pass Outcome number 4

Jump to summary definition | Previous Pass outcome | Next Pass outcome

✅Pass outcome

Subject detail

Name module-src-pwkso
Title Standalone module src/pwkso.ttl from branch main
Composition - Module pwkso

Criterion detail

Identifier owl-rl-constraint
Title OWL RL Constraint test
Description A test meant to check wether the test subject is syntaxically correct or not.

Outcome Detail

Jump Type ✅Pass
Section top Identifier owl-rl-constraint-violation
Section top Title OWL RL consistent
Section top Description The provided graph is consistent for any OWL RL constraint

Pass Outcome number 5

Jump to summary definition | Previous Pass outcome | Next Pass outcome

✅Pass outcome

Subject detail

Name module-src-pwkso
Title Standalone module src/pwkso.ttl from branch main
Composition - Module pwkso

Criterion detail

Identifier terms-differenciation
Title Terms differenciation test
Description A test case from the Best Practices tests checking if all the terms are different enough from each other according to the Levenshtein distance metric.

Outcome Detail

Jump Type ✅Pass
Section top Identifier too-close-terms
Section top Title Terms differenciated enough
Section top Description All the terms have have a satisfying Levenshtein distance from each other term.