diff --git a/.acimov/output/model-test-actions.md b/.acimov/output/model-test-actions.md index 87b5cec8..042235a2 100644 --- a/.acimov/output/model-test-actions.md +++ b/.acimov/output/model-test-actions.md @@ -15,7 +15,7 @@ Here is some context about under which context this test was made |Title|NicoRobertIn using actions script| |Description|Test triggered by [@NicoRobertIn](https://github.com/NicoRobertIn) by actions trigger| |Script|[complete-test.py](https://github.com/HyperAgents/hmas/blob/primer/.acimov/model-test/complete-test.py) -|Date|2024-06-04 15:16:44| +|Date|2024-06-04 15:29:54| *** @@ -1110,7 +1110,7 @@ This subchapter gives more details to the :exclamation:MinorFail assertions |----|----| |Title|Terms not labeled| |Description|The term :Affordance has no rdfs:label to define it in natural language| -|Pointer|
:Affordance a skos:Concept ;
dct:references [ rdfs:label "Chemero and Turvey, 2007"@en ;
dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ],
[ rdfs:label "Norman, 2013"@en ;
dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ],
[ a owl:NamedIndividual ;
rdfs:label "Chemero and Turvey, 2007"@en ;
dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ;
dct:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ],
[ a owl:NamedIndividual ;
rdfs:label "Norman, 2013"@en ;
dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ;
dct:identifier <https://mitpress.mit.edu/9780262640374/> ] ;
rdfs:isDefinedBy :core ;
skos:definition "A behavior possibility that is a relationship between an abi..."@en ;
skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ;
skos:historyNote "The definition of the concept follows affordance theorists [..."@en ;
skos:prefLabel "affordance"@en ;
skos:related :Signifier .
| +|Pointer|
:Affordance a skos:Concept ;
dct:references [ a owl:NamedIndividual ;
rdfs:label "Chemero and Turvey, 2007"@en ;
dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ;
dct:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ],
[ a owl:NamedIndividual ;
rdfs:label "Norman, 2013"@en ;
dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ;
dct:identifier <https://mitpress.mit.edu/9780262640374/> ],
[ rdfs:label "Chemero and Turvey, 2007"@en ;
dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ],
[ rdfs:label "Norman, 2013"@en ;
dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ] ;
rdfs:isDefinedBy :core ;
skos:definition "A behavior possibility that is a relationship between an abi..."@en ;
skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ;
skos:historyNote "The definition of the concept follows affordance theorists [..."@en ;
skos:prefLabel "affordance"@en ;
skos:related :Signifier .
| *** ### MinorFail Assertion number 33 @@ -3142,7 +3142,7 @@ This subchapter gives more details to the :exclamation:MinorFail assertions |----|----| |Title|Terms not labeled| |Description|The term :Affordance has no rdfs:label to define it in natural language| -|Pointer|
:Affordance a skos:Concept ;
dct:references [ a owl:NamedIndividual ;
rdfs:label "Chemero and Turvey, 2007"@en ;
dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ;
dct:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ],
[ a owl:NamedIndividual ;
rdfs:label "Norman, 2013"@en ;
dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ;
dct:identifier <https://mitpress.mit.edu/9780262640374/> ],
[ rdfs:label "Chemero and Turvey, 2007"@en ;
dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ],
[ rdfs:label "Norman, 2013"@en ;
dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ] ;
rdfs:isDefinedBy :core ;
skos:definition "A behavior possibility that is a relationship between an abi..."@en ;
skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ;
skos:historyNote "The definition of the concept follows affordance theorists [..."@en ;
skos:prefLabel "affordance"@en ;
skos:related :Signifier .
| +|Pointer|
:Affordance a skos:Concept ;
dct:references [ rdfs:label "Chemero and Turvey, 2007"@en ;
dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ],
[ rdfs:label "Norman, 2013"@en ;
dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ],
[ a owl:NamedIndividual ;
rdfs:label "Chemero and Turvey, 2007"@en ;
dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ;
dct:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ],
[ a owl:NamedIndividual ;
rdfs:label "Norman, 2013"@en ;
dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ;
dct:identifier <https://mitpress.mit.edu/9780262640374/> ] ;
rdfs:isDefinedBy :core ;
skos:definition "A behavior possibility that is a relationship between an abi..."@en ;
skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ;
skos:historyNote "The definition of the concept follows affordance theorists [..."@en ;
skos:prefLabel "affordance"@en ;
skos:related :Signifier .
| *** ### MinorFail Assertion number 114 diff --git a/.acimov/output/model-test-actions.ttl b/.acimov/output/model-test-actions.ttl index f2b95656..bdf0c9f3 100644 --- a/.acimov/output/model-test-actions.ttl +++ b/.acimov/output/model-test-actions.ttl @@ -8,32 +8,50 @@ @prefix src: . @prefix xsd: . +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:NotTested ; + dcterms:description "The subject must be syntaxically correct"@en ; + dcterms:title "The test could not be run"@en ] ] ; + earl:subject _:meta ; + earl:test acimov-model-test:profile-compatibility . + [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "The subject is included in the OWL QL sublanguage"@en ; - dcterms:title "OWL QL Profile compatible"@en ], + dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Any term is referenced"@en ] ] ; + earl:subject _:regulation-logistics-structure-organization ; + earl:test acimov-model-test:term-referencing . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "The subject is included in the OWL RL sublanguage"@en ; + dcterms:title "OWL RL Profile compatible"@en ], [ a earl:Pass ; dcterms:description "The subject is included in the OWL TC sublanguage"@en ; dcterms:title "OWL TC Profile compatible"@en ], [ a earl:Pass ; - dcterms:description "The subject is included in the OWL EL sublanguage"@en ; - dcterms:title "OWL EL Profile compatible"@en ], + dcterms:description "The subject is included in the OWL QL sublanguage"@en ; + dcterms:title "OWL QL Profile compatible"@en ], [ a earl:Pass ; - dcterms:description "The subject is included in the OWL RL sublanguage"@en ; - dcterms:title "OWL RL Profile compatible"@en ] ] ; - earl:subject _:logistics-structure-organization ; + dcterms:description "The subject is included in the OWL EL sublanguage"@en ; + dcterms:title "OWL EL Profile compatible"@en ] ] ; + earl:subject _:regulation ; earl:test acimov-model-test:profile-compatibility . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "Each rdfs:range is defined within the fragment"@en ; - dcterms:title "Ranges properly defined"@en ] ] ; - earl:subject _:core-manufacturing-environments-discover-signifiers ; - earl:test acimov-model-test:domain-and-range-referencing . + earl:outcome [ a earl:NotTested ; + dcterms:description "The subject must be syntaxically correct"@en ; + dcterms:title "The test could not be run"@en ] ] ; + earl:subject _:manufacturing-environments-safety-rules ; + earl:test acimov-model-test:profile-compatibility . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; @@ -41,137 +59,52 @@ earl:outcome [ a earl:Pass ; dcterms:description "Each rdfs:range is defined within the fragment"@en ; dcterms:title "Ranges properly defined"@en ] ] ; - earl:subject _:core-manufacturing-environments-discover-organization ; + earl:subject _:regulation-logistics-create-organization ; earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The term :Affordance has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:Affordance a skos:Concept ; -dct:references [ rdfs:label "Chemero and Turvey, 2007"@en ; -dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ], -[ rdfs:label "Norman, 2013"@en ; -dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ], -[ a owl:NamedIndividual ; -rdfs:label "Chemero and Turvey, 2007"@en ; -dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; -dct:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], -[ a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dct:identifier <https://mitpress.mit.edu/9780262640374/> ] ; -rdfs:isDefinedBy :core ; -skos:definition "A behavior possibility that is a relationship between an abi..."@en ; -skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; -skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; -skos:prefLabel "affordance"@en ; -skos:related :Signifier .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "The term :core has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:core a owl:Ontology ; -cc:license <https://creativecommons.org/licenses/by/4.0/> ; -dct:contributor <http://maxime-lefrancois.info/me#>, -<http://ns.inria.fr/fabien.gandon#me>, -<http://w3id.org/people/az/me>, -<https://danaivach.inrupt.net/profile/card#me>, -<https://id.inrupt.com/smnmyr>, -<https://orcid.org/0000-0002-2956-0533>, -<https://orcid.org/0000-0002-4506-2745>, -<https://orcid.org/0000-0003-0821-6095>, -<https://www.vcharpenay.link/#me> ; -dct:creator <https://id.inrupt.com/andreiciortea> ; -dct:description "An ontology to describe Hypermedia Multi-Agent Systems."@en, -"Une ontologie pour la description de systèmes multi-agents h..."@fr ; -dct:issued "2021-11-21"^^xsd:date ; -dct:title "Hypermedia MAS Core Ontology"@en, -"Ontologie Centrale des SMA Hypermédias"@fr ; -vann:preferredNamespacePrefix "hmas" ; -vann:preferredNamespaceUri : .""" ] ] ; - earl:subject _:core-manufacturing-environments-discover-signifiers ; - earl:test acimov-model-test:labeled-terms . + earl:outcome [ a earl:Pass ; + dcterms:description "Each rdfs:domain is defined within the fragment"@en ; + dcterms:title "Domains properly defined"@en ] ] ; + earl:subject _:regulation-logistics-structure-organization ; + earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The term :Affordance has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:Affordance a skos:Concept ; -dct:references [ rdfs:label "Chemero and Turvey, 2007"@en ; -dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ], -[ rdfs:label "Norman, 2013"@en ; -dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ] ; -rdfs:isDefinedBy :core ; -skos:definition "A behavior possibility that is a relationship between an abi..."@en ; -skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; -skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; -skos:prefLabel "affordance"@en ; -skos:related :Signifier .""" ] ] ; - earl:subject _:manufacturing-environments-discover-signifiers ; - earl:test acimov-model-test:labeled-terms . + earl:outcome [ a earl:Pass ; + dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; + dcterms:title "OWL RL consistent"@en ] ] ; + earl:subject _:regulation-logistics-structure-organization ; + earl:test acimov-model-test:owl-rl-constraint . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Any term is referenced"@en ] ] ; - earl:subject _:manufacturing-environments-discover-behavior-specifications ; - earl:test acimov-model-test:term-referencing . + dcterms:description "Each rdfs:range is defined within the fragment"@en ; + dcterms:title "Ranges properly defined"@en ] ] ; + earl:subject _:all-modules ; + earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:NotTested ; - dcterms:description "The subject and its recursive imports must be syntaxically correct"@en ; + dcterms:description "The subject needs to be syntaxically correct"@en ; dcterms:title "The test could not be run"@en ] ] ; - earl:subject _:meta ; - earl:test acimov-model-test:labeled-terms . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The property :hosts has a range out of the ontology: "@en ; - dcterms:title "Range out of vocabulary"@en ; - rdfs:seeAlso :Hostable, - """:hosts a owl:AsymmetricProperty, -owl:ObjectProperty ; -rdfs:label "hosts"@en, -"héberge"@fr ; -dct:source <https://github.com/HyperAgents/ns.hyperagents.org/issues/8#issuecomment-1025991719> ; -rdfs:comment "A relation that refers to an information resource or a proce..."@en ; -rdfs:domain :HypermediaMASPlatform ; -rdfs:isDefinedBy :core ; -rdfs:range :Hostable ; -rdfs:seeAlso <https://github.com/HyperAgents/ns.hyperagents.org/issues/18>, -<https://github.com/HyperAgents/ns.hyperagents.org/issues/49> ; -owl:inverseOf :isHostedOn .""" ] ] ; - earl:subject _:all-fragments ; - earl:test acimov-model-test:domain-and-range-referencing . + earl:subject _:manufacturing-environments-safety-rules ; + earl:test acimov-model-test:terms-differenciation . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The property :isHostedOn has a domain out of the ontology: "@en ; - dcterms:title "Domain out of vocabulary"@en ; - rdfs:seeAlso :Hostable, - """:isHostedOn a owl:AsymmetricProperty, -owl:ObjectProperty ; -rdfs:label "is hosted on"@en, -"est hébergé sur"@fr ; -rdfs:comment "A relation that refers to the platform that hosts an informa..."@en, -"A relation that refers to the platform that hosts the inform..."@en ; -rdfs:domain :Hostable ; -rdfs:isDefinedBy :core ; -rdfs:range :HypermediaMASPlatform ; -owl:inverseOf :hosts .""" ] ] ; - earl:subject _:core-manufacturing-environments-discover-platforms ; + earl:outcome [ a earl:Pass ; + dcterms:description "Each rdfs:range is defined within the fragment"@en ; + dcterms:title "Ranges properly defined"@en ] ] ; + earl:subject _:core-manufacturing-environments-discover-core ; earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; @@ -180,30 +113,16 @@ owl:inverseOf :hosts .""" ] ] ; earl:outcome [ a earl:Pass ; dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; dcterms:title "Any term is referenced"@en ] ] ; - earl:subject _:core ; - earl:test acimov-model-test:term-referencing . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:NotTested ; - dcterms:description "The subject syntax must be correct"@en ; - dcterms:title "The test could not be run"@en ] ] ; - earl:subject _:manufacturing-environments-safety-rules ; + earl:subject _:manufacturing-environments-discover-signifiers ; earl:test acimov-model-test:term-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The following terms are too similar: :core and :Role"@en ; - dcterms:title "Too close terms"@en ; - rdfs:seeAlso """:Role a owl:Class ; -rdfs:label "role"@en, -"rôle"@fr ; -rdfs:comment "A Role defines positions of members (i.e., Agents) in an Org..."@en ; -rdfs:isDefinedBy :regulation .""", - """:core a owl:Ontology ; + dcterms:description "The term :core has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:core a owl:Ontology ; cc:license <https://creativecommons.org/licenses/by/4.0/> ; dct:contributor <http://maxime-lefrancois.info/me#>, <http://ns.inria.fr/fabien.gandon#me>, @@ -223,42 +142,25 @@ dct:title "Hypermedia MAS Core Ontology"@en, vann:preferredNamespacePrefix "hmas" ; vann:preferredNamespaceUri : .""" ], [ a acimov-model-test:MinorFail ; - dcterms:description "The following terms are too similar: :isMembershipOf and :isMembershipIn"@en ; - dcterms:title "Too close terms"@en ; - rdfs:seeAlso """:isMembershipIn a owl:ObjectProperty ; -rdfs:label "is membership in"@en, -"est l'appartenance à"@fr ; -rdfs:comment "A relation that refers to the Group involved in a Membership..."@en ; -rdfs:domain :Membership ; -rdfs:isDefinedBy :regulation ; -rdfs:range :Group .""", - """:isMembershipOf a owl:ObjectProperty ; -rdfs:label "is membership of"@en, -"est l'appartenance à"@fr ; -rdfs:comment "A relation that refers to the Agent involved in a Membership..."@en ; -rdfs:domain :Membership ; -rdfs:isDefinedBy :regulation ; -rdfs:range :Agent .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "The following terms are too similar: :signifies and :Signifier"@en ; - dcterms:title "Too close terms"@en ; - rdfs:seeAlso """:Signifier a owl:Class ; -rdfs:label "signifier"@en, -"signifiant"@fr ; -rdfs:comment "A perceivable sign/cue that can be interpreted meaningfully ..."@en ; + dcterms:description "The term :Affordance has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:Affordance a skos:Concept ; +dct:references [ a owl:NamedIndividual ; +rdfs:label "Chemero and Turvey, 2007"@en ; +dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; +dct:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], +[ a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dct:identifier <https://mitpress.mit.edu/9780262640374/> ] ; rdfs:isDefinedBy :core ; -rdfs:seeAlso <https://github.com/HyperAgents/ns.hyperagents.org/issues/13#issuecomment-1028904491>, -<https://github.com/HyperAgents/ns.hyperagents.org/issues/41> ; -skos:note ":Signifier works as a bridge between the Core and the Intera..."@en ; -skos:related :Affordance .""", - """:signifies a owl:ObjectProperty ; -rdfs:label "signifies"@en, -"signifie"@fr ; -rdfs:comment "A relation between a signifier and the specification of a be..."@en ; -rdfs:domain :Signifier ; -rdfs:isDefinedBy :interaction .""" ] ] ; - earl:subject _:all-modules ; - earl:test acimov-model-test:terms-differenciation . +skos:definition "A behavior possibility that is a relationship between an abi..."@en ; +skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; +skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; +skos:prefLabel "affordance"@en ; +skos:related :Signifier .""" ] ] ; + earl:subject _:core-manufacturing-environments-discover-core ; + earl:test acimov-model-test:labeled-terms . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; @@ -275,138 +177,111 @@ rdfs:isDefinedBy :interaction .""" ] ] ; earl:outcome [ a earl:Pass ; dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; dcterms:title "OWL RL consistent"@en ] ] ; - earl:subject _:regulation-logistics-create-organization ; + earl:subject _:interaction-manufacturing-environments-discover-behavior-specifications ; earl:test acimov-model-test:owl-rl-constraint . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "Each rdfs:range is defined within the fragment"@en ; - dcterms:title "Ranges properly defined"@en ] ] ; - earl:subject _:regulation-logistics-create-organization ; - earl:test acimov-model-test:domain-and-range-referencing . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "The subject is included in the OWL TC sublanguage"@en ; - dcterms:title "OWL TC Profile compatible"@en ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL RL sublanguage"@en ; - dcterms:title "OWL RL Profile compatible"@en ], + dcterms:description "The subject is included in the OWL EL sublanguage"@en ; + dcterms:title "OWL EL Profile compatible"@en ], [ a earl:Pass ; dcterms:description "The subject is included in the OWL QL sublanguage"@en ; dcterms:title "OWL QL Profile compatible"@en ], [ a earl:Pass ; - dcterms:description "The subject is included in the OWL EL sublanguage"@en ; - dcterms:title "OWL EL Profile compatible"@en ] ] ; - earl:subject _:regulation-logistics-create-organization ; + dcterms:description "The subject is included in the OWL RL sublanguage"@en ; + dcterms:title "OWL RL Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL TC sublanguage"@en ; + dcterms:title "OWL TC Profile compatible"@en ] ] ; + earl:subject _:logistics-create-organization ; earl:test acimov-model-test:profile-compatibility . -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The property :hosts has a range out of the ontology: "@en ; - dcterms:title "Range out of vocabulary"@en ; - rdfs:seeAlso :Hostable, - """:hosts a owl:AsymmetricProperty, -owl:ObjectProperty ; -rdfs:label "hosts"@en, -"héberge"@fr ; -dct:source <https://github.com/HyperAgents/ns.hyperagents.org/issues/8#issuecomment-1025991719> ; -rdfs:comment "A relation that refers to an information resource or a proce..."@en ; -rdfs:domain :HypermediaMASPlatform ; -rdfs:isDefinedBy :core ; -rdfs:range :Hostable ; -rdfs:seeAlso <https://github.com/HyperAgents/ns.hyperagents.org/issues/18>, -<https://github.com/HyperAgents/ns.hyperagents.org/issues/49> ; -owl:inverseOf :isHostedOn .""" ] ] ; - earl:subject _:core-manufacturing-environments-discover-platforms ; - earl:test acimov-model-test:domain-and-range-referencing . - [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:NotTested ; - dcterms:description "The subject needs to be syntaxically correct"@en ; + dcterms:description "The subject must be syntaxically correct"@en ; dcterms:title "The test could not be run"@en ] ] ; - earl:subject _:manufacturing-environments-safety-rules ; - earl:test acimov-model-test:terms-differenciation . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; - dcterms:title "OWL RL consistent"@en ] ] ; - earl:subject _:all-fragments ; - earl:test acimov-model-test:owl-rl-constraint . + earl:subject _:meta ; + earl:test acimov-model-test:profile-compatibility . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "Each rdfs:domain is defined within the fragment"@en ; - dcterms:title "Domains properly defined"@en ] ] ; - earl:subject _:regulation-logistics-structure-organization ; - earl:test acimov-model-test:domain-and-range-referencing . + earl:outcome [ a earl:NotTested ; + dcterms:description "The subject must be syntaxically correct"@en ; + dcterms:title "The test could not be run"@en ] ] ; + earl:subject _:meta ; + earl:test acimov-model-test:profile-compatibility . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; - dcterms:title "OWL RL consistent"@en ] ] ; - earl:subject _:interaction ; - earl:test acimov-model-test:owl-rl-constraint . + dcterms:description "The subject is included in the OWL TC sublanguage"@en ; + dcterms:title "OWL TC Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL QL sublanguage"@en ; + dcterms:title "OWL QL Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL RL sublanguage"@en ; + dcterms:title "OWL RL Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL EL sublanguage"@en ; + dcterms:title "OWL EL Profile compatible"@en ] ] ; + earl:subject _:fipa ; + earl:test acimov-model-test:profile-compatibility . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The term :regulation has no rdfs:label to define it in natural language"@en ; + dcterms:description "The term :fipa has no rdfs:label to define it in natural language"@en ; dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:regulation a owl:Ontology ; -cc:license <https://creativecommons.org/licenses/by/4.0/> ; -dct:contributor <http://maxime-lefrancois.info/me#>, -<http://ns.inria.fr/fabien.gandon#me>, -<https://danaivach.inrupt.net/profile/card#me>, -<https://orcid.org/0000-0002-2956-0533>, -<https://orcid.org/0000-0002-3497-8758>, -<https://orcid.org/0000-0003-0821-6095>, -<https://orcid.org/0000-0003-4509-9537> ; -dct:creator <https://orcid.org/0000-0002-4506-2745> ; -dct:description "An ontology to describe the regulation of Hypermedia Multi-A..."@en, -"L'ontologie pour décrire la régulation des systèmes multi-ag..."@fr ; -dct:issued "2022-05-01"^^xsd:date ; -dct:title "Hypermedia MAS Regulation Ontology"@en, -"Ontologie de Régulation des SMA Hypermédias"@fr ; + rdfs:seeAlso """:fipa a owl:Ontology ; vann:preferredNamespacePrefix "hmas" ; vann:preferredNamespaceUri : ; owl:imports :core .""" ] ] ; - earl:subject _:regulation-logistics-create-organization ; + earl:subject _:fipa ; earl:test acimov-model-test:labeled-terms . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; - dcterms:title "Terms differenciated enough"@en ] ] ; - earl:subject _:manufacturing-environments-discover-platforms ; - earl:test acimov-model-test:terms-differenciation . + dcterms:description "The subject is included in the OWL EL sublanguage"@en ; + dcterms:title "OWL EL Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL RL sublanguage"@en ; + dcterms:title "OWL RL Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL TC sublanguage"@en ; + dcterms:title "OWL TC Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL QL sublanguage"@en ; + dcterms:title "OWL QL Profile compatible"@en ] ] ; + earl:subject _:interaction-manufacturing-environments-discover-behavior-specifications ; + earl:test acimov-model-test:profile-compatibility . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:NotTested ; + dcterms:description "The subject must be syntaxically correct"@en ; + dcterms:title "The test could not be run"@en ] ] ; + earl:subject _:meta ; + earl:test acimov-model-test:profile-compatibility . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; - dcterms:title "Terms differenciated enough"@en ] ] ; - earl:subject _:manufacturing-environments-discover-organization ; - earl:test acimov-model-test:terms-differenciation . + dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; + dcterms:title "OWL RL consistent"@en ] ] ; + earl:subject _:all-fragments ; + earl:test acimov-model-test:owl-rl-constraint . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; @@ -414,24 +289,15 @@ owl:imports :core .""" ] ] ; earl:outcome [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; -dc:references [ a owl:NamedIndividual ; + rdfs:seeAlso """[] rdfs:label "Chemero and Turvey, 2007"@en ; +dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL QL Profile incompatible"@en ; + rdfs:seeAlso """[] a owl:NamedIndividual ; rdfs:label "Chemero and Turvey, 2007"@en ; dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; -dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], -[ a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> ] ; -rdfs:isDefinedBy <https://purl.org/hmas/core> ; -skos:definition "A behavior possibility that is a relationship between an abi..."@en ; -skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; -skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; -skos:prefLabel "affordance"@en ; -skos:related <https://purl.org/hmas/Signifier> .""" ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL TC sublanguage"@en ; - dcterms:title "OWL TC Profile compatible"@en ], +dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL QL Profile incompatible"@en ; @@ -439,16 +305,38 @@ skos:related <https://purl.org/hmas/Signifier> .""" ], rdfs:label "Norman, 2013"@en ; dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL RL sublanguage"@en ; - dcterms:title "OWL RL Profile compatible"@en ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL EL Profile incompatible"@en ; rdfs:seeAlso """[] a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], +rdfs:label "Chemero and Turvey, 2007"@en ; +dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; +dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL QL Profile incompatible"@en ; + rdfs:seeAlso """[] rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Statement not supported"@en ; + dcterms:title "OWL EL Profile incompatible"@en ; + rdfs:seeAlso """<https://purl.org/hmas/hasProfile> a owl:AsymmetricProperty, +owl:ObjectProperty ; +rdfs:label "has for profile"@en, +"has profile"@en, +"a pour profil"@fr ; +rdfs:comment "A relation that links a resource to its profile."@en ; +rdfs:isDefinedBy <https://purl.org/hmas/core> ; +rdfs:range <https://purl.org/hmas/ResourceProfile> ; +owl:inverseOf <https://purl.org/hmas/isProfileOf> .""" ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL TC sublanguage"@en ; + dcterms:title "OWL TC Profile compatible"@en ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL QL Profile incompatible"@en ; + rdfs:seeAlso """[] rdfs:label "Chemero and Turvey, 2007"@en ; +dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL QL Profile incompatible"@en ; @@ -460,26 +348,24 @@ dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], [ a owl:NamedIndividual ; rdfs:label "Norman, 2013"@en ; dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> ] ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> ], +[ rdfs:label "Chemero and Turvey, 2007"@en ; +dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ], +[ rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ] ; rdfs:isDefinedBy <https://purl.org/hmas/core> ; skos:definition "A behavior possibility that is a relationship between an abi..."@en ; skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; skos:prefLabel "affordance"@en ; skos:related <https://purl.org/hmas/Signifier> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """[] a owl:NamedIndividual ; -rdfs:label "Chemero and Turvey, 2007"@en ; -dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; -dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Statement not supported"@en ; dcterms:title "OWL QL Profile incompatible"@en ; rdfs:seeAlso """<https://purl.org/hmas/transitivelyContains> a owl:ObjectProperty, owl:TransitiveProperty ; rdfs:label "transitively contains"@en, +"transitivelyContains"@en, "contient transitivement"@fr ; dc:source <https://github.com/HyperAgents/ns.hyperagents.org/issues/8#issuecomment-1025991719> ; rdfs:comment "Links all the resources that are logically contained in a wo..."@en ; @@ -490,42 +376,102 @@ rdfs:seeAlso <https://github.com/HyperAgents/ns.hyperagents.org/issues/18>, owl:inverseOf <https://purl.org/hmas/isTransitivelyContainedIn> .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL QL Profile incompatible"@en ; - rdfs:seeAlso """[] a owl:NamedIndividual ; + dcterms:title "OWL EL Profile incompatible"@en ; + rdfs:seeAlso """[] rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL EL Profile incompatible"@en ; + rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; +dc:references [ a owl:NamedIndividual ; rdfs:label "Chemero and Turvey, 2007"@en ; dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; -dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ], +dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], +[ a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> ], +[ rdfs:label "Chemero and Turvey, 2007"@en ; +dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ], +[ rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ] ; +rdfs:isDefinedBy <https://purl.org/hmas/core> ; +skos:definition "A behavior possibility that is a relationship between an abi..."@en ; +skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; +skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; +skos:prefLabel "affordance"@en ; +skos:related <https://purl.org/hmas/Signifier> .""" ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL RL sublanguage"@en ; + dcterms:title "OWL RL Profile compatible"@en ], [ a acimov-model-test:MinorFail ; - dcterms:description "Statement not supported"@en ; + dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """<https://purl.org/hmas/hasProfile> a owl:AsymmetricProperty, -owl:ObjectProperty ; -rdfs:label "has for profile"@en, -"a pour profil"@fr ; -rdfs:comment "A relation that links a resource to its profile."@en ; -rdfs:isDefinedBy <https://purl.org/hmas/core> ; -rdfs:range <https://purl.org/hmas/ResourceProfile> ; -owl:inverseOf <https://purl.org/hmas/isProfileOf> .""" ] ] ; - earl:subject _:core-manufacturing-environments-discover-organization ; + rdfs:seeAlso """[] a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ] ] ; + earl:subject _:all-fragments ; earl:test acimov-model-test:profile-compatibility . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; - dcterms:title "Terms differenciated enough"@en ] ] ; - earl:subject _:manufacturing-environments-discover-core ; - earl:test acimov-model-test:terms-differenciation . - + dcterms:description "Each rdfs:range is defined within the fragment"@en ; + dcterms:title "Ranges properly defined"@en ] ] ; + earl:subject _:core ; + earl:test acimov-model-test:domain-and-range-referencing . + [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Any term is referenced"@en ] ] ; - earl:subject _:core-manufacturing-environments-discover-platforms ; - earl:test acimov-model-test:term-referencing . + dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; + dcterms:title "Terms differenciated enough"@en ] ] ; + earl:subject _:manufacturing-environments-discover-behavior-specifications ; + earl:test acimov-model-test:terms-differenciation . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "The subject is included in the OWL RL sublanguage"@en ; + dcterms:title "OWL RL Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL QL sublanguage"@en ; + dcterms:title "OWL QL Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL EL sublanguage"@en ; + dcterms:title "OWL EL Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL TC sublanguage"@en ; + dcterms:title "OWL TC Profile compatible"@en ] ] ; + earl:subject _:regulation-logistics-create-organization ; + earl:test acimov-model-test:profile-compatibility . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a acimov-model-test:MinorFail ; + dcterms:description "The term :interaction has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:interaction a owl:Ontology ; +cc:license <https://creativecommons.org/licenses/by/4.0/> ; +dct:contributor <http://ns.inria.fr/fabien.gandon#me>, +<https://pod.inrupt.com/andreiciortea/profile/card#me>, +<https://pod.inrupt.com/smnmyr/profile/card#me> ; +dct:creator <https://danaivach.inrupt.net/profile/card#me> ; +dct:description "An ontology to describe interaction in Hypermedia Multi-Agen..."@en, +"L'ontologie pour décrire l'interaction dans les systèmes mul..."@fr ; +dct:issued "2023-01-13"^^xsd:date ; +dct:title "Hypermedia MAS Interaction Ontology"@en, +"Ontologie d'Interaction des SMA Hypermédias"@fr ; +vann:preferredNamespacePrefix "hmas" ; +vann:preferredNamespaceUri : ; +owl:imports :core .""" ] ] ; + earl:subject _:interaction-manufacturing-environments-discover-behavior-specifications ; + earl:test acimov-model-test:labeled-terms . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; @@ -539,68 +485,11 @@ owl:inverseOf <https://purl.org/hmas/isProfileOf> .""" ] ] ; [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :IIOPMessageTransportService not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:IIOPMessageTransportService a owl:Class ; -rdfs:label "IIOP Message Transport Service"@en ; -rdfs:comment "An HTTP-based message transport service that confirms to the..."@en ; -rdfs:subClassOf :MessageTransportService .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :FIPAAgentPlatform not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:FIPAAgentPlatform a owl:Class ; -rdfs:label "FIPA Agent Platform"@en ; -rdfs:comment "A platform that conforms to the FIPA Abstract Architecture S..."@en ; -rdfs:subClassOf <https://ci.mines-stetienne.fr/hmas#Platform> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :AgentIdentifierDescription not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:AgentIdentifierDescription a owl:Class ; -rdfs:label "Agent Identifier Description"@en ; -rdfs:comment "A resource profile that describes an agent using the Agent I..."@en ; -rdfs:subClassOf <https://ci.mines-stetienne.fr/hmas#ResourceProfile> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :HTTPMessageTransportService not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:HTTPMessageTransportService a owl:Class ; -rdfs:label "HTTP Message Transport Service"@en ; -rdfs:comment "An HTTP-based message transport service that confirms to the..."@en ; -rdfs:subClassOf :MessageTransportService .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :hasServiceType not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:hasServiceType a owl:ObjectProperty ; -rdfs:label "has Service Type"@en ; -rdfs:domain :APService .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :APService not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:APService a owl:Class ; -rdfs:label "Agent Platform Service"@en ; -rdfs:comment "A service exposed by a FIPA Agent Platform as defined by the..."@en .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :hasServiceName not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:hasServiceName a owl:ObjectProperty ; -rdfs:label "has Service Name"@en ; -rdfs:domain :APService .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :AgentPlatformDescription not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:AgentPlatformDescription a owl:Class ; -rdfs:label "Agent Platform Description"@en ; -rdfs:comment "A resource profile that descripe a FIPA Agent Platform using..."@en ; -rdfs:subClassOf <https://ci.mines-stetienne.fr/hmas#ResourceProfile> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :MessageTransportService not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:MessageTransportService a owl:Class ; -rdfs:label "Message Transport Service"@en ; -rdfs:comment "A service for transporting messages among agents that confor..."@en ; -rdfs:subClassOf :APService .""" ] ] ; - earl:subject _:all-modules ; - earl:test acimov-model-test:term-referencing . + earl:outcome [ a earl:Pass ; + dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; + dcterms:title "OWL RL consistent"@en ] ] ; + earl:subject _:manufacturing-environments-discover-organization ; + earl:test acimov-model-test:owl-rl-constraint . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; @@ -608,301 +497,90 @@ rdfs:subClassOf :APService .""" ] ] ; earl:outcome [ a earl:Pass ; dcterms:description "Each rdfs:range is defined within the fragment"@en ; dcterms:title "Ranges properly defined"@en ] ] ; - earl:subject _:core ; + earl:subject _:regulation ; earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "The subject is included in the OWL EL sublanguage"@en ; - dcterms:title "OWL EL Profile compatible"@en ], - [ a earl:Pass ; dcterms:description "The subject is included in the OWL RL sublanguage"@en ; dcterms:title "OWL RL Profile compatible"@en ], [ a earl:Pass ; - dcterms:description "The subject is included in the OWL TC sublanguage"@en ; - dcterms:title "OWL TC Profile compatible"@en ], + dcterms:description "The subject is included in the OWL EL sublanguage"@en ; + dcterms:title "OWL EL Profile compatible"@en ], [ a earl:Pass ; dcterms:description "The subject is included in the OWL QL sublanguage"@en ; - dcterms:title "OWL QL Profile compatible"@en ] ] ; - earl:subject _:manufacturing-environments-discover-behavior-specifications ; + dcterms:title "OWL QL Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL TC sublanguage"@en ; + dcterms:title "OWL TC Profile compatible"@en ] ] ; + earl:subject _:regulation-logistics-structure-organization ; earl:test acimov-model-test:profile-compatibility . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "Each rdfs:range is defined within the fragment"@en ; - dcterms:title "Ranges properly defined"@en ] ] ; - earl:subject _:interaction ; - earl:test acimov-model-test:domain-and-range-referencing . + dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; + dcterms:title "OWL RL consistent"@en ] ] ; + earl:subject _:core-manufacturing-environments-discover-platforms ; + earl:test acimov-model-test:owl-rl-constraint . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:NotTested ; + dcterms:description "The subject syntax must be correct"@en ; + dcterms:title "The test could not be run"@en ] ] ; + earl:subject _:manufacturing-environments-safety-rules ; + earl:test acimov-model-test:term-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; - dcterms:title "OWL RL consistent"@en ] ] ; - earl:subject _:manufacturing-environments-discover-organization ; - earl:test acimov-model-test:owl-rl-constraint . + dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Any term is referenced"@en ] ] ; + earl:subject _:core ; + earl:test acimov-model-test:term-referencing . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:NotTested ; + dcterms:description "The subject must be syntaxically correct"@en ; + dcterms:title "The test could not be run"@en ] ] ; + earl:subject _:manufacturing-environments-safety-rules ; + earl:test acimov-model-test:profile-compatibility . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :AgentPlatformDescription not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:AgentPlatformDescription a owl:Class ; -rdfs:label "Agent Platform Description"@en ; -rdfs:comment "A resource profile that descripe a FIPA Agent Platform using..."@en ; -rdfs:subClassOf <https://ci.mines-stetienne.fr/hmas#ResourceProfile> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :AgentIdentifierDescription not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:AgentIdentifierDescription a owl:Class ; -rdfs:label "Agent Identifier Description"@en ; -rdfs:comment "A resource profile that describes an agent using the Agent I..."@en ; -rdfs:subClassOf <https://ci.mines-stetienne.fr/hmas#ResourceProfile> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :HTTPMessageTransportService not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:HTTPMessageTransportService a owl:Class ; -rdfs:label "HTTP Message Transport Service"@en ; -rdfs:comment "An HTTP-based message transport service that confirms to the..."@en ; -rdfs:subClassOf :MessageTransportService .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :MessageTransportService not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:MessageTransportService a owl:Class ; -rdfs:label "Message Transport Service"@en ; -rdfs:comment "A service for transporting messages among agents that confor..."@en ; -rdfs:subClassOf :APService .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :FIPAAgentPlatform not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:FIPAAgentPlatform a owl:Class ; -rdfs:label "FIPA Agent Platform"@en ; -rdfs:comment "A platform that conforms to the FIPA Abstract Architecture S..."@en ; -rdfs:subClassOf <https://ci.mines-stetienne.fr/hmas#Platform> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :IIOPMessageTransportService not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:IIOPMessageTransportService a owl:Class ; -rdfs:label "IIOP Message Transport Service"@en ; -rdfs:comment "An HTTP-based message transport service that confirms to the..."@en ; -rdfs:subClassOf :MessageTransportService .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :hasServiceType not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:hasServiceType a owl:ObjectProperty ; -rdfs:label "has Service Type"@en ; -rdfs:domain :APService .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :APService not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:APService a owl:Class ; -rdfs:label "Agent Platform Service"@en ; -rdfs:comment "A service exposed by a FIPA Agent Platform as defined by the..."@en .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :hasServiceName not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:hasServiceName a owl:ObjectProperty ; -rdfs:label "has Service Name"@en ; -rdfs:domain :APService .""" ] ] ; + dcterms:description "The property :isHostedOn has a domain out of the ontology: "@en ; + dcterms:title "Domain out of vocabulary"@en ; + rdfs:seeAlso :Hostable, + """:isHostedOn a owl:AsymmetricProperty, +owl:ObjectProperty ; +rdfs:label "is hosted on"@en, +"est hébergé sur"@fr ; +rdfs:comment "A relation that refers to the platform that hosts an informa..."@en, +"A relation that refers to the platform that hosts the inform..."@en ; +rdfs:domain :Hostable ; +rdfs:isDefinedBy :core ; +rdfs:range :HypermediaMASPlatform ; +owl:inverseOf :hosts .""" ] ] ; earl:subject _:all-fragments ; - earl:test acimov-model-test:term-referencing . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL QL Profile incompatible"@en ; - rdfs:seeAlso """[] a owl:NamedIndividual ; -rdfs:label "Chemero and Turvey, 2007"@en ; -dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; -dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """[] a owl:NamedIndividual ; -rdfs:label "Chemero and Turvey, 2007"@en ; -dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; -dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; -dc:references [ a owl:NamedIndividual ; -rdfs:label "Chemero and Turvey, 2007"@en ; -dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; -dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], -[ a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> ], -<https://www.example.org/Noneb12198>, -<https://www.example.org/Noneb12199> ; -rdfs:isDefinedBy <https://purl.org/hmas/core> ; -skos:definition "A behavior possibility that is a relationship between an abi..."@en ; -skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; -skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; -skos:prefLabel "affordance"@en ; -skos:related <https://purl.org/hmas/Signifier> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """[] a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL RL sublanguage"@en ; - dcterms:title "OWL RL Profile compatible"@en ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Statement not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """<https://purl.org/hmas/hasProfile> a owl:AsymmetricProperty, -owl:ObjectProperty ; -rdfs:label "has for profile"@en, -"a pour profil"@fr ; -rdfs:comment "A relation that links a resource to its profile."@en ; -rdfs:isDefinedBy <https://purl.org/hmas/core> ; -rdfs:range <https://purl.org/hmas/ResourceProfile> ; -owl:inverseOf <https://purl.org/hmas/isProfileOf> .""" ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL TC sublanguage"@en ; - dcterms:title "OWL TC Profile compatible"@en ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL QL Profile incompatible"@en ; - rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; -dc:references [ a owl:NamedIndividual ; -rdfs:label "Chemero and Turvey, 2007"@en ; -dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; -dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], -[ a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> ], -<https://www.example.org/Noneb12198>, -<https://www.example.org/Noneb12199> ; -rdfs:isDefinedBy <https://purl.org/hmas/core> ; -skos:definition "A behavior possibility that is a relationship between an abi..."@en ; -skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; -skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; -skos:prefLabel "affordance"@en ; -skos:related <https://purl.org/hmas/Signifier> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Statement not supported"@en ; - dcterms:title "OWL QL Profile incompatible"@en ; - rdfs:seeAlso """<https://purl.org/hmas/transitivelyContains> a owl:ObjectProperty, -owl:TransitiveProperty ; -rdfs:label "transitively contains"@en, -"contient transitivement"@fr ; -dc:source <https://github.com/HyperAgents/ns.hyperagents.org/issues/8#issuecomment-1025991719> ; -rdfs:comment "Links all the resources that are logically contained in a wo..."@en ; -rdfs:domain <https://purl.org/hmas/Workspace> ; -rdfs:isDefinedBy <https://purl.org/hmas/core> ; -rdfs:seeAlso <https://github.com/HyperAgents/ns.hyperagents.org/issues/18>, -<https://github.com/HyperAgents/ns.hyperagents.org/issues/39> ; -owl:inverseOf <https://purl.org/hmas/isTransitivelyContainedIn> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL QL Profile incompatible"@en ; - rdfs:seeAlso """[] a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ] ] ; - earl:subject _:core-manufacturing-environments-discover-signifiers ; - earl:test acimov-model-test:profile-compatibility . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:NotTested ; - dcterms:description "The subject must be syntaxically correct"@en ; - dcterms:title "The test could not be run"@en ] ] ; - earl:subject _:manufacturing-environments-safety-rules ; - earl:test acimov-model-test:profile-compatibility . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """[] rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL QL Profile incompatible"@en ; - rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; -dc:references [ rdfs:label "Chemero and Turvey, 2007"@en ; -dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ], -[ rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ] ; -rdfs:isDefinedBy <https://purl.org/hmas/core> ; -skos:definition "A behavior possibility that is a relationship between an abi..."@en ; -skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; -skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; -skos:prefLabel "affordance"@en ; -skos:related <https://purl.org/hmas/Signifier> .""" ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL TC sublanguage"@en ; - dcterms:title "OWL TC Profile compatible"@en ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL QL Profile incompatible"@en ; - rdfs:seeAlso """[] rdfs:label "Chemero and Turvey, 2007"@en ; -dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL QL Profile incompatible"@en ; - rdfs:seeAlso """[] rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en .""" ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL RL sublanguage"@en ; - dcterms:title "OWL RL Profile compatible"@en ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """[] rdfs:label "Chemero and Turvey, 2007"@en ; -dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; -dc:references [ rdfs:label "Chemero and Turvey, 2007"@en ; -dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ], -[ rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ] ; -rdfs:isDefinedBy <https://purl.org/hmas/core> ; -skos:definition "A behavior possibility that is a relationship between an abi..."@en ; -skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; -skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; -skos:prefLabel "affordance"@en ; -skos:related <https://purl.org/hmas/Signifier> .""" ] ] ; - earl:subject _:manufacturing-environments-discover-signifiers ; - earl:test acimov-model-test:profile-compatibility . + earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "Each rdfs:domain is defined within the fragment"@en ; - dcterms:title "Domains properly defined"@en ] ] ; - earl:subject _:regulation-logistics-create-organization ; - earl:test acimov-model-test:domain-and-range-referencing . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:NotTested ; - dcterms:description "The syntax of the subject and any of its imports must be syntaxically correct"@en ; - dcterms:title "The test could not be run"@en ] ] ; - earl:subject _:meta ; + dcterms:description "Each rdfs:range is defined within the fragment"@en ; + dcterms:title "Ranges properly defined"@en ] ] ; + earl:subject _:interaction ; earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; @@ -911,17 +589,17 @@ skos:related <https://purl.org/hmas/Signifier> .""" ] ] ; earl:outcome [ a earl:Pass ; dcterms:description "All the terms defined in the subject have a rdfs:label in English"@en ; dcterms:title "All terms labeled"@en ] ] ; - earl:subject _:manufacturing-environments-discover-behavior-specifications ; + earl:subject _:manufacturing-environments-discover-organization ; earl:test acimov-model-test:labeled-terms . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; - dcterms:title "Terms differenciated enough"@en ] ] ; - earl:subject _:manufacturing-environments-discover-behavior-specifications ; - earl:test acimov-model-test:terms-differenciation . + dcterms:description "Each rdfs:range is defined within the fragment"@en ; + dcterms:title "Ranges properly defined"@en ] ] ; + earl:subject _:core-manufacturing-environments-discover-organization ; + earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; @@ -929,36 +607,9 @@ skos:related <https://purl.org/hmas/Signifier> .""" ] ] ; earl:outcome [ a earl:Pass ; dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; dcterms:title "Any term is referenced"@en ] ] ; - earl:subject _:regulation ; + earl:subject _:manufacturing-environments-discover-platforms ; earl:test acimov-model-test:term-referencing . -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The term :regulation has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:regulation a owl:Ontology ; -cc:license <https://creativecommons.org/licenses/by/4.0/> ; -dct:contributor <http://maxime-lefrancois.info/me#>, -<http://ns.inria.fr/fabien.gandon#me>, -<https://danaivach.inrupt.net/profile/card#me>, -<https://orcid.org/0000-0002-2956-0533>, -<https://orcid.org/0000-0002-3497-8758>, -<https://orcid.org/0000-0003-0821-6095>, -<https://orcid.org/0000-0003-4509-9537> ; -dct:creator <https://orcid.org/0000-0002-4506-2745> ; -dct:description "An ontology to describe the regulation of Hypermedia Multi-A..."@en, -"L'ontologie pour décrire la régulation des systèmes multi-ag..."@fr ; -dct:issued "2022-05-01"^^xsd:date ; -dct:title "Hypermedia MAS Regulation Ontology"@en, -"Ontologie de Régulation des SMA Hypermédias"@fr ; -vann:preferredNamespacePrefix "hmas" ; -vann:preferredNamespaceUri : ; -owl:imports :core .""" ] ] ; - earl:subject _:regulation ; - earl:test acimov-model-test:labeled-terms . - [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; @@ -979,84 +630,82 @@ dct:title "Hypermedia MAS Interaction Ontology"@en, vann:preferredNamespacePrefix "hmas" ; vann:preferredNamespaceUri : ; owl:imports :core .""" ] ] ; - earl:subject _:interaction-manufacturing-environments-discover-behavior-specifications ; + earl:subject _:interaction ; earl:test acimov-model-test:labeled-terms . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MajorFail ; - dcterms:description "Encountered \"\\\"Associates exceptions to a context of application of a norm\\\"\" at line 82, column 30."@en ; - dcterms:title "Test subject has syntax errors"@en ] ] ; - earl:subject _:manufacturing-environments-safety-rules ; - earl:test acimov-model-test:syntax . + earl:outcome [ a earl:Pass ; + dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Any term is referenced"@en ] ] ; + earl:subject _:core-manufacturing-environments-discover-core ; + earl:test acimov-model-test:term-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "The subject is included in the OWL EL sublanguage"@en ; - dcterms:title "OWL EL Profile compatible"@en ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL TC sublanguage"@en ; - dcterms:title "OWL TC Profile compatible"@en ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL QL sublanguage"@en ; - dcterms:title "OWL QL Profile compatible"@en ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL RL sublanguage"@en ; - dcterms:title "OWL RL Profile compatible"@en ] ] ; - earl:subject _:manufacturing-environments-discover-organization ; - earl:test acimov-model-test:profile-compatibility . + dcterms:description "Each rdfs:domain is defined within the fragment"@en ; + dcterms:title "Domains properly defined"@en ] ] ; + earl:subject _:core-manufacturing-environments-discover-signifiers ; + earl:test acimov-model-test:domain-and-range-referencing . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:NotTested ; + dcterms:description "The subject and its recursive imports must be syntaxically correct"@en ; + dcterms:title "The test could not be run"@en ] ] ; + earl:subject _:meta ; + earl:test acimov-model-test:labeled-terms . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "The subject is included in the OWL TC sublanguage"@en ; - dcterms:title "OWL TC Profile compatible"@en ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL QL sublanguage"@en ; - dcterms:title "OWL QL Profile compatible"@en ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL RL sublanguage"@en ; - dcterms:title "OWL RL Profile compatible"@en ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL EL sublanguage"@en ; - dcterms:title "OWL EL Profile compatible"@en ] ] ; + dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; + dcterms:title "OWL RL consistent"@en ] ] ; earl:subject _:interaction ; - earl:test acimov-model-test:profile-compatibility . + earl:test acimov-model-test:owl-rl-constraint . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The term :OrganizationModel has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:OrganizationModel a skos:Concept ; -skos:definition "An Organization Model is the combination of Roles, Missions,..."@en ; -skos:editorialNote "The Organization Model is represented as SHACL Shapes."@en ; -skos:prefLabel "organization model"@en ; -skos:related :Organization .""" ] ] ; - earl:subject _:logistics-create-organization ; - earl:test acimov-model-test:labeled-terms . + earl:outcome [ a earl:NotTested ; + dcterms:description "The syntax of the subject and any of its imports must be syntaxically correct"@en ; + dcterms:title "The test could not be run"@en ] ] ; + earl:subject _:manufacturing-environments-safety-rules ; + earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a earl:NotTested ; - dcterms:description "The subject must be syntaxically correct"@en ; - dcterms:title "The test could not be run"@en ] ] ; - earl:subject _:meta ; - earl:test acimov-model-test:profile-compatibility . + earl:outcome [ a earl:Pass ; + dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Any term is referenced"@en ] ] ; + earl:subject _:manufacturing-environments-discover-core ; + earl:test acimov-model-test:term-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a earl:NotTested ; - dcterms:description "The subject needs to be syntaxically correct"@en ; - dcterms:title "The test could not be run"@en ] ] ; - earl:subject _:meta ; + earl:outcome [ a acimov-model-test:MinorFail ; + dcterms:description "The following terms are too similar: :isMembershipOf and :isMembershipIn"@en ; + dcterms:title "Too close terms"@en ; + rdfs:seeAlso """:isMembershipIn a owl:ObjectProperty ; +rdfs:label "is membership in"@en, +"est l'appartenance à"@fr ; +rdfs:comment "A relation that refers to the Group involved in a Membership..."@en ; +rdfs:domain :Membership ; +rdfs:isDefinedBy :regulation .""", + """:isMembershipOf a owl:ObjectProperty ; +rdfs:label "is membership of"@en, +"est l'appartenance à"@fr ; +rdfs:comment "A relation that refers to the Agent involved in a Membership..."@en ; +rdfs:domain :Membership ; +rdfs:isDefinedBy :regulation .""" ] ] ; + earl:subject _:logistics-structure-organization ; earl:test acimov-model-test:terms-differenciation . [] a earl:Assertion ; @@ -1065,31 +714,72 @@ skos:related :Organization .""" ] ] ; earl:outcome [ a earl:Pass ; dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; dcterms:title "Any term is referenced"@en ] ] ; - earl:subject _:regulation-logistics-structure-organization ; + earl:subject _:core-manufacturing-environments-discover-platforms ; earl:test acimov-model-test:term-referencing . +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a acimov-model-test:MajorFail ; + dcterms:description "Encountered \"\\\"Associates exceptions to a context of application of a norm\\\"\" at line 82, column 30."@en ; + dcterms:title "Test subject has syntax errors"@en ] ] ; + earl:subject _:manufacturing-environments-safety-rules ; + earl:test acimov-model-test:syntax . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "Each rdfs:domain is defined within the fragment"@en ; + dcterms:title "Domains properly defined"@en ] ] ; + earl:subject _:core-manufacturing-environments-discover-core ; + earl:test acimov-model-test:domain-and-range-referencing . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; + dcterms:title "OWL RL consistent"@en ] ] ; + earl:subject _:manufacturing-environments-discover-behavior-specifications ; + earl:test acimov-model-test:owl-rl-constraint . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; + dcterms:title "OWL RL consistent"@en ] ] ; + earl:subject _:logistics-create-organization ; + earl:test acimov-model-test:owl-rl-constraint . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a acimov-model-test:MinorFail ; + dcterms:description "The following terms are too similar: :isMembershipOf and :isMembershipIn"@en ; + dcterms:title "Too close terms"@en ; + rdfs:seeAlso """:isMembershipIn a owl:ObjectProperty ; +rdfs:label "is membership in"@en, +"est l'appartenance à"@fr ; +rdfs:comment "A relation that refers to the Group involved in a Membership..."@en ; +rdfs:domain :Membership ; +rdfs:isDefinedBy :regulation ; +rdfs:range :Group .""", + """:isMembershipOf a owl:ObjectProperty ; +rdfs:label "is membership of"@en, +"est l'appartenance à"@fr ; +rdfs:comment "A relation that refers to the Agent involved in a Membership..."@en ; +rdfs:domain :Membership ; +rdfs:isDefinedBy :regulation ; +rdfs:range :Agent .""" ] ] ; + earl:subject _:regulation-logistics-structure-organization ; + earl:test acimov-model-test:terms-differenciation . + [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The term :Affordance has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:Affordance a skos:Concept ; -dct:references [ a owl:NamedIndividual ; -rdfs:label "Chemero and Turvey, 2007"@en ; -dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; -dct:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], -[ a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dct:identifier <https://mitpress.mit.edu/9780262640374/> ] ; -rdfs:isDefinedBy :core ; -skos:definition "A behavior possibility that is a relationship between an abi..."@en ; -skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; -skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; -skos:prefLabel "affordance"@en ; -skos:related :Signifier .""" ], - [ a acimov-model-test:MinorFail ; dcterms:description "The term :core has no rdfs:label to define it in natural language"@en ; dcterms:title "Terms not labeled"@en ; rdfs:seeAlso """:core a owl:Ontology ; @@ -1110,72 +800,84 @@ dct:issued "2021-11-21"^^xsd:date ; dct:title "Hypermedia MAS Core Ontology"@en, "Ontologie Centrale des SMA Hypermédias"@fr ; vann:preferredNamespacePrefix "hmas" ; -vann:preferredNamespaceUri : .""" ] ] ; +vann:preferredNamespaceUri : .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "The term :Affordance has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:Affordance a skos:Concept ; +dct:references [ a owl:NamedIndividual ; +rdfs:label "Chemero and Turvey, 2007"@en ; +dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; +dct:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], +[ a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dct:identifier <https://mitpress.mit.edu/9780262640374/> ] ; +rdfs:isDefinedBy :core ; +skos:definition "A behavior possibility that is a relationship between an abi..."@en ; +skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; +skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; +skos:prefLabel "affordance"@en ; +skos:related :Signifier .""" ] ] ; earl:subject _:core ; earl:test acimov-model-test:labeled-terms . +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Any term is referenced"@en ] ] ; + earl:subject _:interaction ; + earl:test acimov-model-test:term-referencing . + [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:NotTested ; - dcterms:description "The subject and its recursive imports must be syntaxically correct"@en ; + dcterms:description "The subject syntax must be correct"@en ; dcterms:title "The test could not be run"@en ] ] ; earl:subject _:meta ; - earl:test acimov-model-test:owl-rl-constraint . + earl:test acimov-model-test:term-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a earl:NotTested ; - dcterms:description "The syntax of the subject and any of its imports must be syntaxically correct"@en ; - dcterms:title "The test could not be run"@en ] ] ; - earl:subject _:manufacturing-environments-safety-rules ; - earl:test acimov-model-test:domain-and-range-referencing . + earl:outcome [ a earl:Pass ; + dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Any term is referenced"@en ] ] ; + earl:subject _:logistics-create-organization ; + earl:test acimov-model-test:term-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "Each rdfs:range is defined within the fragment"@en ; - dcterms:title "Ranges properly defined"@en ] ] ; - earl:subject _:core-manufacturing-environments-discover-core ; + dcterms:description "Each rdfs:domain is defined within the fragment"@en ; + dcterms:title "Domains properly defined"@en ] ] ; + earl:subject _:regulation-logistics-create-organization ; earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "The subject is included in the OWL RL sublanguage"@en ; - dcterms:title "OWL RL Profile compatible"@en ], - [ a acimov-model-test:MinorFail ; + earl:outcome [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL QL Profile incompatible"@en ; - rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; -dc:references [ a owl:NamedIndividual ; -rdfs:label "Chemero and Turvey, 2007"@en ; -dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; -dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], -[ a owl:NamedIndividual ; + rdfs:seeAlso """[] a owl:NamedIndividual ; rdfs:label "Norman, 2013"@en ; dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> ] ; -rdfs:isDefinedBy <https://purl.org/hmas/core> ; -skos:definition "A behavior possibility that is a relationship between an abi..."@en ; -skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; -skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; -skos:prefLabel "affordance"@en ; -skos:related <https://purl.org/hmas/Signifier> .""" ], +dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL RL sublanguage"@en ; + dcterms:title "OWL RL Profile compatible"@en ], [ a acimov-model-test:MinorFail ; - dcterms:description "Statement not supported"@en ; + dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """<https://purl.org/hmas/hasProfile> a owl:AsymmetricProperty, -owl:ObjectProperty ; -rdfs:label "has for profile"@en, -"a pour profil"@fr ; -rdfs:comment "A relation that links a resource to its profile."@en ; -rdfs:isDefinedBy <https://purl.org/hmas/core> ; -rdfs:range <https://purl.org/hmas/ResourceProfile> ; -owl:inverseOf <https://purl.org/hmas/isProfileOf> .""" ], + rdfs:seeAlso """[] a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Statement not supported"@en ; dcterms:title "OWL QL Profile incompatible"@en ; @@ -1190,12 +892,9 @@ rdfs:isDefinedBy <https://purl.org/hmas/core> ; rdfs:seeAlso <https://github.com/HyperAgents/ns.hyperagents.org/issues/18>, <https://github.com/HyperAgents/ns.hyperagents.org/issues/39> ; owl:inverseOf <https://purl.org/hmas/isTransitivelyContainedIn> .""" ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL TC sublanguage"@en ; - dcterms:title "OWL TC Profile compatible"@en ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; + dcterms:title "OWL QL Profile incompatible"@en ; rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; dc:references [ a owl:NamedIndividual ; rdfs:label "Chemero and Turvey, 2007"@en ; @@ -1213,21 +912,25 @@ skos:prefLabel "affordance"@en ; skos:related <https://purl.org/hmas/Signifier> .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL QL Profile incompatible"@en ; + dcterms:title "OWL EL Profile incompatible"@en ; rdfs:seeAlso """[] a owl:NamedIndividual ; rdfs:label "Chemero and Turvey, 2007"@en ; dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ], [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL QL Profile incompatible"@en ; - rdfs:seeAlso """[] a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], + dcterms:description "Statement not supported"@en ; + dcterms:title "OWL EL Profile incompatible"@en ; + rdfs:seeAlso """<https://purl.org/hmas/hasProfile> a owl:AsymmetricProperty, +owl:ObjectProperty ; +rdfs:label "has for profile"@en, +"a pour profil"@fr ; +rdfs:comment "A relation that links a resource to its profile."@en ; +rdfs:isDefinedBy <https://purl.org/hmas/core> ; +rdfs:range <https://purl.org/hmas/ResourceProfile> ; +owl:inverseOf <https://purl.org/hmas/isProfileOf> .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; + dcterms:title "OWL QL Profile incompatible"@en ; rdfs:seeAlso """[] a owl:NamedIndividual ; rdfs:label "Chemero and Turvey, 2007"@en ; dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; @@ -1235,149 +938,33 @@ dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """[] a owl:NamedIndividual ; + rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; +dc:references [ a owl:NamedIndividual ; +rdfs:label "Chemero and Turvey, 2007"@en ; +dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; +dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], +[ a owl:NamedIndividual ; rdfs:label "Norman, 2013"@en ; dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ] ] ; - earl:subject _:all-modules ; - earl:test acimov-model-test:profile-compatibility . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; - dcterms:title "OWL RL consistent"@en ] ] ; - earl:subject _:manufacturing-environments-discover-platforms ; - earl:test acimov-model-test:owl-rl-constraint . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The term :regulation has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:regulation a owl:Ontology ; -cc:license <https://creativecommons.org/licenses/by/4.0/> ; -dct:contributor <http://maxime-lefrancois.info/me#>, -<http://ns.inria.fr/fabien.gandon#me>, -<https://danaivach.inrupt.net/profile/card#me>, -<https://orcid.org/0000-0002-2956-0533>, -<https://orcid.org/0000-0002-3497-8758>, -<https://orcid.org/0000-0003-0821-6095>, -<https://orcid.org/0000-0003-4509-9537> ; -dct:creator <https://orcid.org/0000-0002-4506-2745> ; -dct:description "An ontology to describe the regulation of Hypermedia Multi-A..."@en, -"L'ontologie pour décrire la régulation des systèmes multi-ag..."@fr ; -dct:issued "2022-05-01"^^xsd:date ; -dct:title "Hypermedia MAS Regulation Ontology"@en, -"Ontologie de Régulation des SMA Hypermédias"@fr ; -vann:preferredNamespacePrefix "hmas" ; -vann:preferredNamespaceUri : ; -owl:imports :core .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "The term :OrganizationModel has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:OrganizationModel a skos:Concept ; -skos:definition "An Organization Model is the combination of Roles, Missions,..."@en ; -skos:editorialNote "The Organization Model is represented as SHACL Shapes."@en ; -skos:prefLabel "organization model"@en ; -skos:related :Organization .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "The term :core has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:core a owl:Ontology ; -cc:license <https://creativecommons.org/licenses/by/4.0/> ; -dct:contributor <http://maxime-lefrancois.info/me#>, -<http://ns.inria.fr/fabien.gandon#me>, -<http://w3id.org/people/az/me>, -<https://danaivach.inrupt.net/profile/card#me>, -<https://id.inrupt.com/smnmyr>, -<https://orcid.org/0000-0002-2956-0533>, -<https://orcid.org/0000-0002-4506-2745>, -<https://orcid.org/0000-0003-0821-6095>, -<https://www.vcharpenay.link/#me> ; -dct:creator <https://id.inrupt.com/andreiciortea> ; -dct:description "An ontology to describe Hypermedia Multi-Agent Systems."@en, -"Une ontologie pour la description de systèmes multi-agents h..."@fr ; -dct:issued "2021-11-21"^^xsd:date ; -dct:title "Hypermedia MAS Core Ontology"@en, -"Ontologie Centrale des SMA Hypermédias"@fr ; -vann:preferredNamespacePrefix "hmas" ; -vann:preferredNamespaceUri : .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "The term :interaction has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:interaction a owl:Ontology ; -cc:license <https://creativecommons.org/licenses/by/4.0/> ; -dct:contributor <http://ns.inria.fr/fabien.gandon#me>, -<https://pod.inrupt.com/andreiciortea/profile/card#me>, -<https://pod.inrupt.com/smnmyr/profile/card#me> ; -dct:creator <https://danaivach.inrupt.net/profile/card#me> ; -dct:description "An ontology to describe interaction in Hypermedia Multi-Agen..."@en, -"L'ontologie pour décrire l'interaction dans les systèmes mul..."@fr ; -dct:issued "2023-01-13"^^xsd:date ; -dct:title "Hypermedia MAS Interaction Ontology"@en, -"Ontologie d'Interaction des SMA Hypermédias"@fr ; -vann:preferredNamespacePrefix "hmas" ; -vann:preferredNamespaceUri : ; -owl:imports :core .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "The term :Affordance has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:Affordance a skos:Concept ; -dct:references [ a owl:NamedIndividual ; -rdfs:label "Chemero and Turvey, 2007"@en ; -dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; -dct:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], -[ a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dct:identifier <https://mitpress.mit.edu/9780262640374/> ], -[ rdfs:label "Chemero and Turvey, 2007"@en ; -dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ], -[ rdfs:label "Norman, 2013"@en ; -dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ] ; -rdfs:isDefinedBy :core ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> ] ; +rdfs:isDefinedBy <https://purl.org/hmas/core> ; skos:definition "A behavior possibility that is a relationship between an abi..."@en ; skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; skos:prefLabel "affordance"@en ; -skos:related :Signifier .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "The term :fipa has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:fipa a owl:Ontology ; -vann:preferredNamespacePrefix "hmas" ; -vann:preferredNamespaceUri : ; -owl:imports :core .""" ] ] ; - earl:subject _:all-fragments ; - earl:test acimov-model-test:labeled-terms . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "The subject is included in the OWL RL sublanguage"@en ; - dcterms:title "OWL RL Profile compatible"@en ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL EL sublanguage"@en ; - dcterms:title "OWL EL Profile compatible"@en ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL QL sublanguage"@en ; - dcterms:title "OWL QL Profile compatible"@en ], +skos:related <https://purl.org/hmas/Signifier> .""" ], [ a earl:Pass ; dcterms:description "The subject is included in the OWL TC sublanguage"@en ; dcterms:title "OWL TC Profile compatible"@en ] ] ; - earl:subject _:regulation ; + earl:subject _:all-modules ; earl:test acimov-model-test:profile-compatibility . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "Each rdfs:range is defined within the fragment"@en ; - dcterms:title "Ranges properly defined"@en ] ] ; + dcterms:description "Each rdfs:domain is defined within the fragment"@en ; + dcterms:title "Domains properly defined"@en ] ] ; earl:subject _:regulation ; earl:test acimov-model-test:domain-and-range-referencing . @@ -1385,10 +972,10 @@ owl:imports :core .""" ] ] ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Any term is referenced"@en ] ] ; - earl:subject _:manufacturing-environments-discover-signifiers ; - earl:test acimov-model-test:term-referencing . + dcterms:description "Each rdfs:domain is defined within the fragment"@en ; + dcterms:title "Domains properly defined"@en ] ] ; + earl:subject _:core ; + earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; @@ -1396,104 +983,186 @@ owl:imports :core .""" ] ] ; earl:outcome [ a earl:Pass ; dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; dcterms:title "OWL RL consistent"@en ] ] ; - earl:subject _:manufacturing-environments-discover-behavior-specifications ; + earl:subject _:regulation ; earl:test acimov-model-test:owl-rl-constraint . +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "The subject is included in the OWL RL sublanguage"@en ; + dcterms:title "OWL RL Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL EL sublanguage"@en ; + dcterms:title "OWL EL Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL QL sublanguage"@en ; + dcterms:title "OWL QL Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL TC sublanguage"@en ; + dcterms:title "OWL TC Profile compatible"@en ] ] ; + earl:subject _:interaction ; + earl:test acimov-model-test:profile-compatibility . + [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; dcterms:title "Terms differenciated enough"@en ] ] ; - earl:subject _:logistics-create-organization ; + earl:subject _:core-manufacturing-environments-discover-platforms ; earl:test acimov-model-test:terms-differenciation . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; - dcterms:title "OWL RL consistent"@en ] ] ; - earl:subject _:interaction-manufacturing-environments-discover-behavior-specifications ; - earl:test acimov-model-test:owl-rl-constraint . + dcterms:description "The subject is included in the OWL QL sublanguage"@en ; + dcterms:title "OWL QL Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL TC sublanguage"@en ; + dcterms:title "OWL TC Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL RL sublanguage"@en ; + dcterms:title "OWL RL Profile compatible"@en ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Statement not supported"@en ; + dcterms:title "OWL EL Profile incompatible"@en ; + rdfs:seeAlso """<https://purl.org/hmas/hosts> a owl:AsymmetricProperty, +owl:ObjectProperty ; +rdfs:label "hosts"@en ; +dc:source <https://github.com/HyperAgents/ns.hyperagents.org/issues/8#issuecomment-1025991719> ; +rdfs:comment "A relation that refers to an information resource or a proce..."@en ; +rdfs:domain <https://purl.org/hmas/HypermediaMASPlatform> ; +rdfs:isDefinedBy <https://purl.org/hmas/core> ; +rdfs:range <https://purl.org/hmas/Hostable> ; +rdfs:seeAlso <https://github.com/HyperAgents/ns.hyperagents.org/issues/18>, +<https://github.com/HyperAgents/ns.hyperagents.org/issues/49> .""" ] ] ; + earl:subject _:manufacturing-environments-discover-platforms ; + earl:test acimov-model-test:profile-compatibility . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "Each rdfs:domain is defined within the fragment"@en ; - dcterms:title "Domains properly defined"@en ] ] ; - earl:subject _:core-manufacturing-environments-discover-signifiers ; + earl:outcome [ a earl:NotTested ; + dcterms:description "The syntax of the subject and any of its imports must be syntaxically correct"@en ; + dcterms:title "The test could not be run"@en ] ] ; + earl:subject _:meta ; earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; - dcterms:title "Terms differenciated enough"@en ] ] ; + dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; + dcterms:title "OWL RL consistent"@en ] ] ; earl:subject _:core-manufacturing-environments-discover-core ; - earl:test acimov-model-test:terms-differenciation . + earl:test acimov-model-test:owl-rl-constraint . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The term :Affordance has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:Affordance a skos:Concept ; -dct:references [ a owl:NamedIndividual ; -rdfs:label "Chemero and Turvey, 2007"@en ; -dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; -dct:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], -[ a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dct:identifier <https://mitpress.mit.edu/9780262640374/> ] ; + dcterms:description "The property :hosts has a range out of the ontology: "@en ; + dcterms:title "Range out of vocabulary"@en ; + rdfs:seeAlso :Hostable, + """:hosts a owl:AsymmetricProperty, +owl:ObjectProperty ; +rdfs:label "hosts"@en, +"héberge"@fr ; +dct:source <https://github.com/HyperAgents/ns.hyperagents.org/issues/8#issuecomment-1025991719> ; +rdfs:comment "A relation that refers to an information resource or a proce..."@en ; +rdfs:domain :HypermediaMASPlatform ; rdfs:isDefinedBy :core ; -skos:definition "A behavior possibility that is a relationship between an abi..."@en ; -skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; -skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; -skos:prefLabel "affordance"@en ; -skos:related :Signifier .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "The term :core has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:core a owl:Ontology ; -cc:license <https://creativecommons.org/licenses/by/4.0/> ; -dct:contributor <http://maxime-lefrancois.info/me#>, -<http://ns.inria.fr/fabien.gandon#me>, -<http://w3id.org/people/az/me>, -<https://danaivach.inrupt.net/profile/card#me>, -<https://id.inrupt.com/smnmyr>, -<https://orcid.org/0000-0002-2956-0533>, -<https://orcid.org/0000-0002-4506-2745>, -<https://orcid.org/0000-0003-0821-6095>, -<https://www.vcharpenay.link/#me> ; -dct:creator <https://id.inrupt.com/andreiciortea> ; -dct:description "An ontology to describe Hypermedia Multi-Agent Systems."@en, -"Une ontologie pour la description de systèmes multi-agents h..."@fr ; -dct:issued "2021-11-21"^^xsd:date ; -dct:title "Hypermedia MAS Core Ontology"@en, -"Ontologie Centrale des SMA Hypermédias"@fr ; -vann:preferredNamespacePrefix "hmas" ; -vann:preferredNamespaceUri : .""" ] ] ; - earl:subject _:core-manufacturing-environments-discover-organization ; - earl:test acimov-model-test:labeled-terms . +rdfs:range :Hostable ; +rdfs:seeAlso <https://github.com/HyperAgents/ns.hyperagents.org/issues/18>, +<https://github.com/HyperAgents/ns.hyperagents.org/issues/49> ; +owl:inverseOf :isHostedOn .""" ] ] ; + earl:subject _:all-fragments ; + earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a earl:NotTested ; - dcterms:description "The syntax of the subject and any of its imports must be syntaxically correct"@en ; - dcterms:title "The test could not be run"@en ] ] ; - earl:subject _:meta ; - earl:test acimov-model-test:domain-and-range-referencing . + earl:outcome [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :hasServiceName not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:hasServiceName a owl:ObjectProperty ; +rdfs:label "has Service Name"@en ; +rdfs:domain :APService .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :FIPAAgentPlatform not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:FIPAAgentPlatform a owl:Class ; +rdfs:label "FIPA Agent Platform"@en ; +rdfs:comment "A platform that conforms to the FIPA Abstract Architecture S..."@en ; +rdfs:subClassOf <https://ci.mines-stetienne.fr/hmas#Platform> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :AgentPlatformDescription not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:AgentPlatformDescription a owl:Class ; +rdfs:label "Agent Platform Description"@en ; +rdfs:comment "A resource profile that descripe a FIPA Agent Platform using..."@en ; +rdfs:subClassOf <https://ci.mines-stetienne.fr/hmas#ResourceProfile> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :HTTPMessageTransportService not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:HTTPMessageTransportService a owl:Class ; +rdfs:label "HTTP Message Transport Service"@en ; +rdfs:comment "An HTTP-based message transport service that confirms to the..."@en ; +rdfs:subClassOf :MessageTransportService .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :AgentIdentifierDescription not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:AgentIdentifierDescription a owl:Class ; +rdfs:label "Agent Identifier Description"@en ; +rdfs:comment "A resource profile that describes an agent using the Agent I..."@en ; +rdfs:subClassOf <https://ci.mines-stetienne.fr/hmas#ResourceProfile> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :IIOPMessageTransportService not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:IIOPMessageTransportService a owl:Class ; +rdfs:label "IIOP Message Transport Service"@en ; +rdfs:comment "An HTTP-based message transport service that confirms to the..."@en ; +rdfs:subClassOf :MessageTransportService .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :hasServiceType not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:hasServiceType a owl:ObjectProperty ; +rdfs:label "has Service Type"@en ; +rdfs:domain :APService .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :MessageTransportService not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:MessageTransportService a owl:Class ; +rdfs:label "Message Transport Service"@en ; +rdfs:comment "A service for transporting messages among agents that confor..."@en ; +rdfs:subClassOf :APService .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :APService not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:APService a owl:Class ; +rdfs:label "Agent Platform Service"@en ; +rdfs:comment "A service exposed by a FIPA Agent Platform as defined by the..."@en .""" ] ] ; + earl:subject _:fipa ; + earl:test acimov-model-test:term-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MinorFail ; + earl:outcome [ a earl:Pass ; + dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Any term is referenced"@en ] ] ; + earl:subject _:regulation-logistics-create-organization ; + earl:test acimov-model-test:term-referencing . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "The subject is included in the OWL RL sublanguage"@en ; + dcterms:title "OWL RL Profile compatible"@en ], + [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL EL Profile incompatible"@en ; rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; @@ -1513,7 +1182,7 @@ skos:prefLabel "affordance"@en ; skos:related <https://purl.org/hmas/Signifier> .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL QL Profile incompatible"@en ; + dcterms:title "OWL EL Profile incompatible"@en ; rdfs:seeAlso """[] a owl:NamedIndividual ; rdfs:label "Norman, 2013"@en ; dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; @@ -1521,52 +1190,16 @@ dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL QL Profile incompatible"@en ; - rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; -dc:references [ a owl:NamedIndividual ; -rdfs:label "Chemero and Turvey, 2007"@en ; -dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; -dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], -[ a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> ] ; -rdfs:isDefinedBy <https://purl.org/hmas/core> ; -skos:definition "A behavior possibility that is a relationship between an abi..."@en ; -skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; -skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; -skos:prefLabel "affordance"@en ; -skos:related <https://purl.org/hmas/Signifier> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL QL Profile incompatible"@en ; - rdfs:seeAlso """[] a owl:NamedIndividual ; -rdfs:label "Chemero and Turvey, 2007"@en ; -dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; -dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; rdfs:seeAlso """[] a owl:NamedIndividual ; rdfs:label "Chemero and Turvey, 2007"@en ; dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL TC sublanguage"@en ; - dcterms:title "OWL TC Profile compatible"@en ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """[] a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Statement not supported"@en ; dcterms:title "OWL QL Profile incompatible"@en ; rdfs:seeAlso """<https://purl.org/hmas/transitivelyContains> a owl:ObjectProperty, owl:TransitiveProperty ; rdfs:label "transitively contains"@en, -"transitivelyContains"@en, "contient transitivement"@fr ; dc:source <https://github.com/HyperAgents/ns.hyperagents.org/issues/8#issuecomment-1025991719> ; rdfs:comment "Links all the resources that are logically contained in a wo..."@en ; @@ -1575,50 +1208,72 @@ rdfs:isDefinedBy <https://purl.org/hmas/core> ; rdfs:seeAlso <https://github.com/HyperAgents/ns.hyperagents.org/issues/18>, <https://github.com/HyperAgents/ns.hyperagents.org/issues/39> ; owl:inverseOf <https://purl.org/hmas/isTransitivelyContainedIn> .""" ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL RL sublanguage"@en ; - dcterms:title "OWL RL Profile compatible"@en ], [ a acimov-model-test:MinorFail ; dcterms:description "Statement not supported"@en ; dcterms:title "OWL EL Profile incompatible"@en ; rdfs:seeAlso """<https://purl.org/hmas/hasProfile> a owl:AsymmetricProperty, owl:ObjectProperty ; rdfs:label "has for profile"@en, -"has profile"@en, "a pour profil"@fr ; rdfs:comment "A relation that links a resource to its profile."@en ; rdfs:isDefinedBy <https://purl.org/hmas/core> ; rdfs:range <https://purl.org/hmas/ResourceProfile> ; -owl:inverseOf <https://purl.org/hmas/isProfileOf> .""" ] ] ; - earl:subject _:core-manufacturing-environments-discover-core ; +owl:inverseOf <https://purl.org/hmas/isProfileOf> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL QL Profile incompatible"@en ; + rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; +dc:references [ a owl:NamedIndividual ; +rdfs:label "Chemero and Turvey, 2007"@en ; +dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; +dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], +[ a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> ] ; +rdfs:isDefinedBy <https://purl.org/hmas/core> ; +skos:definition "A behavior possibility that is a relationship between an abi..."@en ; +skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; +skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; +skos:prefLabel "affordance"@en ; +skos:related <https://purl.org/hmas/Signifier> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL QL Profile incompatible"@en ; + rdfs:seeAlso """[] a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL TC sublanguage"@en ; + dcterms:title "OWL TC Profile compatible"@en ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL EL Profile incompatible"@en ; + rdfs:seeAlso """[] a owl:NamedIndividual ; +rdfs:label "Chemero and Turvey, 2007"@en ; +dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; +dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ] ] ; + earl:subject _:core-manufacturing-environments-discover-organization ; earl:test acimov-model-test:profile-compatibility . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "The subject is included in the OWL RL sublanguage"@en ; - dcterms:title "OWL RL Profile compatible"@en ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL TC sublanguage"@en ; - dcterms:title "OWL TC Profile compatible"@en ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL QL sublanguage"@en ; - dcterms:title "OWL QL Profile compatible"@en ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL EL sublanguage"@en ; - dcterms:title "OWL EL Profile compatible"@en ] ] ; - earl:subject _:logistics-create-organization ; - earl:test acimov-model-test:profile-compatibility . + dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Any term is referenced"@en ] ] ; + earl:subject _:core-manufacturing-environments-discover-organization ; + earl:test acimov-model-test:term-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "Each rdfs:domain is defined within the fragment"@en ; - dcterms:title "Domains properly defined"@en ] ] ; - earl:subject _:core-manufacturing-environments-discover-core ; - earl:test acimov-model-test:domain-and-range-referencing . + earl:outcome [ a earl:NotTested ; + dcterms:description "The subject must be syntaxically correct"@en ; + dcterms:title "The test could not be run"@en ] ] ; + earl:subject _:manufacturing-environments-safety-rules ; + earl:test acimov-model-test:profile-compatibility . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; @@ -1626,16 +1281,34 @@ owl:inverseOf <https://purl.org/hmas/isProfileOf> .""" ] ] ; earl:outcome [ a earl:Pass ; dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; dcterms:title "OWL RL consistent"@en ] ] ; - earl:subject _:regulation-logistics-structure-organization ; + earl:subject _:manufacturing-environments-discover-platforms ; earl:test acimov-model-test:owl-rl-constraint . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a earl:NotTested ; - dcterms:description "The subject must be syntaxically correct"@en ; - dcterms:title "The test could not be run"@en ] ] ; - earl:subject _:meta ; + earl:outcome [ a earl:Pass ; + dcterms:description "Each rdfs:range is defined within the fragment"@en ; + dcterms:title "Ranges properly defined"@en ] ] ; + earl:subject _:interaction-manufacturing-environments-discover-behavior-specifications ; + earl:test acimov-model-test:domain-and-range-referencing . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "The subject is included in the OWL TC sublanguage"@en ; + dcterms:title "OWL TC Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL QL sublanguage"@en ; + dcterms:title "OWL QL Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL RL sublanguage"@en ; + dcterms:title "OWL RL Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL EL sublanguage"@en ; + dcterms:title "OWL EL Profile compatible"@en ] ] ; + earl:subject _:manufacturing-environments-discover-organization ; earl:test acimov-model-test:profile-compatibility . [] a earl:Assertion ; @@ -1644,99 +1317,68 @@ owl:inverseOf <https://purl.org/hmas/isProfileOf> .""" ] ] ; earl:outcome [ a earl:Pass ; dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; dcterms:title "Any term is referenced"@en ] ] ; - earl:subject _:manufacturing-environments-discover-core ; + earl:subject _:interaction-manufacturing-environments-discover-behavior-specifications ; earl:test acimov-model-test:term-referencing . +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a acimov-model-test:MinorFail ; + dcterms:description "The property :isHostedOn has a domain out of the ontology: "@en ; + dcterms:title "Domain out of vocabulary"@en ; + rdfs:seeAlso :Hostable, + """:isHostedOn a owl:AsymmetricProperty, +owl:ObjectProperty ; +rdfs:label "is hosted on"@en, +"est hébergé sur"@fr ; +rdfs:comment "A relation that refers to the platform that hosts an informa..."@en, +"A relation that refers to the platform that hosts the inform..."@en ; +rdfs:domain :Hostable ; +rdfs:isDefinedBy :core ; +rdfs:range :HypermediaMASPlatform ; +owl:inverseOf :hosts .""" ] ] ; + earl:subject _:core-manufacturing-environments-discover-platforms ; + earl:test acimov-model-test:domain-and-range-referencing . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; + dcterms:title "Terms differenciated enough"@en ] ] ; + earl:subject _:manufacturing-environments-discover-platforms ; + earl:test acimov-model-test:terms-differenciation . + [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; dcterms:description "Each rdfs:range is defined within the fragment"@en ; dcterms:title "Ranges properly defined"@en ] ] ; - earl:subject _:all-modules ; + earl:subject _:regulation-logistics-structure-organization ; earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The term :Affordance has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:Affordance a skos:Concept ; -dct:references [ a owl:NamedIndividual ; -rdfs:label "Chemero and Turvey, 2007"@en ; -dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; -dct:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], -[ a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dct:identifier <https://mitpress.mit.edu/9780262640374/> ] ; + dcterms:description "The property :hosts has a range out of the ontology: "@en ; + dcterms:title "Range out of vocabulary"@en ; + rdfs:seeAlso :Hostable, + """:hosts a owl:AsymmetricProperty, +owl:ObjectProperty ; +rdfs:label "hosts"@en, +"héberge"@fr ; +dct:source <https://github.com/HyperAgents/ns.hyperagents.org/issues/8#issuecomment-1025991719> ; +rdfs:comment "A relation that refers to an information resource or a proce..."@en ; +rdfs:domain :HypermediaMASPlatform ; rdfs:isDefinedBy :core ; -skos:definition "A behavior possibility that is a relationship between an abi..."@en ; -skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; -skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; -skos:prefLabel "affordance"@en ; -skos:related :Signifier .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "The term :core has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:core a owl:Ontology ; -cc:license <https://creativecommons.org/licenses/by/4.0/> ; -dct:contributor <http://maxime-lefrancois.info/me#>, -<http://ns.inria.fr/fabien.gandon#me>, -<http://w3id.org/people/az/me>, -<https://danaivach.inrupt.net/profile/card#me>, -<https://id.inrupt.com/smnmyr>, -<https://orcid.org/0000-0002-2956-0533>, -<https://orcid.org/0000-0002-4506-2745>, -<https://orcid.org/0000-0003-0821-6095>, -<https://www.vcharpenay.link/#me> ; -dct:creator <https://id.inrupt.com/andreiciortea> ; -dct:description "An ontology to describe Hypermedia Multi-Agent Systems."@en, -"Une ontologie pour la description de systèmes multi-agents h..."@fr ; -dct:issued "2021-11-21"^^xsd:date ; -dct:title "Hypermedia MAS Core Ontology"@en, -"Ontologie Centrale des SMA Hypermédias"@fr ; -vann:preferredNamespacePrefix "hmas" ; -vann:preferredNamespaceUri : .""" ] ] ; - earl:subject _:core-manufacturing-environments-discover-platforms ; - earl:test acimov-model-test:labeled-terms . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Any term is referenced"@en ] ] ; - earl:subject _:logistics-create-organization ; - earl:test acimov-model-test:term-referencing . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; - dcterms:title "OWL RL consistent"@en ] ] ; - earl:subject _:logistics-structure-organization ; - earl:test acimov-model-test:owl-rl-constraint . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; - dcterms:title "Terms differenciated enough"@en ] ] ; +rdfs:range :Hostable ; +rdfs:seeAlso <https://github.com/HyperAgents/ns.hyperagents.org/issues/18>, +<https://github.com/HyperAgents/ns.hyperagents.org/issues/49> ; +owl:inverseOf :isHostedOn .""" ] ] ; earl:subject _:core-manufacturing-environments-discover-platforms ; - earl:test acimov-model-test:terms-differenciation . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "All the terms defined in the subject have a rdfs:label in English"@en ; - dcterms:title "All terms labeled"@en ] ] ; - earl:subject _:manufacturing-environments-discover-organization ; - earl:test acimov-model-test:labeled-terms . + earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; @@ -1753,88 +1395,16 @@ vann:preferredNamespaceUri : .""" ] ] ; [ a earl:Pass ; dcterms:description "The subject is included in the OWL QL sublanguage"@en ; dcterms:title "OWL QL Profile compatible"@en ] ] ; - earl:subject _:fipa ; + earl:subject _:manufacturing-environments-discover-behavior-specifications ; earl:test acimov-model-test:profile-compatibility . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The following terms are too similar: :isMembershipOf and :isMembershipIn"@en ; - dcterms:title "Too close terms"@en ; - rdfs:seeAlso """:isMembershipIn a owl:ObjectProperty ; -rdfs:label "is membership in"@en, -"est l'appartenance à"@fr ; -rdfs:comment "A relation that refers to the Group involved in a Membership..."@en ; -rdfs:domain :Membership ; -rdfs:isDefinedBy :regulation ; -rdfs:range :Group .""", - """:isMembershipOf a owl:ObjectProperty ; -rdfs:label "is membership of"@en, -"est l'appartenance à"@fr ; -rdfs:comment "A relation that refers to the Agent involved in a Membership..."@en ; -rdfs:domain :Membership ; -rdfs:isDefinedBy :regulation ; -rdfs:range :Agent .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "The following terms are too similar: :signifies and :Signifier"@en ; - dcterms:title "Too close terms"@en ; - rdfs:seeAlso """:Signifier a owl:Class ; -rdfs:label "Signifier"@en, -"signifier"@en, -"Signifiant"@fr, -"signifiant"@fr ; -rdfs:comment "A perceivable sign/cue that can be interpreted meaningfully ..."@en ; -rdfs:isDefinedBy :core ; -rdfs:seeAlso <https://github.com/HyperAgents/ns.hyperagents.org/issues/13#issuecomment-1028904491>, -<https://github.com/HyperAgents/ns.hyperagents.org/issues/41> ; -rdfs:subClassOf :Hostable ; -skos:note ":Signifier works as a bridge between the Core and the Intera..."@en ; -skos:related :Affordance, -:Signifier .""", - """:signifies a owl:ObjectProperty ; -rdfs:label "signifies"@en, -"signifie"@fr ; -rdfs:comment "A relation between a signifier and the specification of a be..."@en ; -rdfs:domain :Signifier ; -rdfs:isDefinedBy :interaction .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "The following terms are too similar: :core and :Role"@en ; - dcterms:title "Too close terms"@en ; - rdfs:seeAlso """:Role a owl:Class ; -rdfs:label "role"@en, -"rôle"@fr ; -rdfs:comment "A Role defines positions of members (i.e., Agents) in an Org..."@en ; -rdfs:isDefinedBy :regulation .""", - """:core a owl:Ontology ; -cc:license <https://creativecommons.org/licenses/by/4.0/> ; -dct:contributor <http://maxime-lefrancois.info/me#>, -<http://ns.inria.fr/fabien.gandon#me>, -<http://w3id.org/people/az/me>, -<https://danaivach.inrupt.net/profile/card#me>, -<https://id.inrupt.com/smnmyr>, -<https://orcid.org/0000-0002-2956-0533>, -<https://orcid.org/0000-0002-4506-2745>, -<https://orcid.org/0000-0003-0821-6095>, -<https://www.vcharpenay.link/#me> ; -dct:creator <https://id.inrupt.com/andreiciortea> ; -dct:description "An ontology to describe Hypermedia Multi-Agent Systems."@en, -"Une ontologie pour la description de systèmes multi-agents h..."@fr ; -dct:issued "2021-11-21"^^xsd:date ; -dct:title "Hypermedia MAS Core Ontology"@en, -"Ontologie Centrale des SMA Hypermédias"@fr ; -vann:preferredNamespacePrefix "hmas" ; -vann:preferredNamespaceUri : .""" ] ] ; - earl:subject _:all-fragments ; - earl:test acimov-model-test:terms-differenciation . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "Each rdfs:domain is defined within the fragment"@en ; - dcterms:title "Domains properly defined"@en ] ] ; - earl:subject _:interaction-manufacturing-environments-discover-behavior-specifications ; + earl:outcome [ a earl:NotTested ; + dcterms:description "The syntax of the subject and any of its imports must be syntaxically correct"@en ; + dcterms:title "The test could not be run"@en ] ] ; + earl:subject _:meta ; earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; @@ -1843,37 +1413,26 @@ vann:preferredNamespaceUri : .""" ] ] ; earl:outcome [ a earl:Pass ; dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; dcterms:title "Terms differenciated enough"@en ] ] ; - earl:subject _:core-manufacturing-environments-discover-signifiers ; + earl:subject _:interaction ; earl:test acimov-model-test:terms-differenciation . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The property :isHostedOn has a domain out of the ontology: "@en ; - dcterms:title "Domain out of vocabulary"@en ; - rdfs:seeAlso :Hostable, - """:isHostedOn a owl:AsymmetricProperty, -owl:ObjectProperty ; -rdfs:label "is hosted on"@en, -"est hébergé sur"@fr ; -rdfs:comment "A relation that refers to the platform that hosts an informa..."@en, -"A relation that refers to the platform that hosts the inform..."@en ; -rdfs:domain :Hostable ; -rdfs:isDefinedBy :core ; -rdfs:range :HypermediaMASPlatform ; -owl:inverseOf :hosts .""" ] ] ; - earl:subject _:all-fragments ; + earl:outcome [ a earl:Pass ; + dcterms:description "Each rdfs:range is defined within the fragment"@en ; + dcterms:title "Ranges properly defined"@en ] ] ; + earl:subject _:fipa ; earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a earl:NotTested ; - dcterms:description "The subject and its recursive imports must be syntaxically correct"@en ; - dcterms:title "The test could not be run"@en ] ] ; - earl:subject _:manufacturing-environments-safety-rules ; - earl:test acimov-model-test:owl-rl-constraint . + earl:outcome [ a earl:Pass ; + dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Any term is referenced"@en ] ] ; + earl:subject _:manufacturing-environments-discover-behavior-specifications ; + earl:test acimov-model-test:term-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; @@ -1881,72 +1440,187 @@ owl:inverseOf :hosts .""" ] ] ; earl:outcome [ a earl:Pass ; dcterms:description "Each rdfs:domain is defined within the fragment"@en ; dcterms:title "Domains properly defined"@en ] ] ; - earl:subject _:core ; + earl:subject _:fipa ; earl:test acimov-model-test:domain-and-range-referencing . -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; - dcterms:title "OWL RL consistent"@en ] ] ; - earl:subject _:core-manufacturing-environments-discover-organization ; - earl:test acimov-model-test:owl-rl-constraint . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:NotTested ; - dcterms:description "The subject and its recursive imports must be syntaxically correct"@en ; - dcterms:title "The test could not be run"@en ] ] ; - earl:subject _:manufacturing-environments-safety-rules ; - earl:test acimov-model-test:labeled-terms . - [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL QL Profile incompatible"@en ; + rdfs:seeAlso """[] rdfs:label "Chemero and Turvey, 2007"@en ; +dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en .""" ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL RL sublanguage"@en ; + dcterms:title "OWL RL Profile compatible"@en ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL EL Profile incompatible"@en ; rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; -dc:references [ a owl:NamedIndividual ; -rdfs:label "Chemero and Turvey, 2007"@en ; -dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; -dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], -[ a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> ] ; +dc:references [ rdfs:label "Chemero and Turvey, 2007"@en ; +dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ], +[ rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ] ; rdfs:isDefinedBy <https://purl.org/hmas/core> ; skos:definition "A behavior possibility that is a relationship between an abi..."@en ; skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; skos:prefLabel "affordance"@en ; skos:related <https://purl.org/hmas/Signifier> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL EL Profile incompatible"@en ; + rdfs:seeAlso """[] rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL QL Profile incompatible"@en ; - rdfs:seeAlso """[] a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], + rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; +dc:references [ rdfs:label "Chemero and Turvey, 2007"@en ; +dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ], +[ rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ] ; +rdfs:isDefinedBy <https://purl.org/hmas/core> ; +skos:definition "A behavior possibility that is a relationship between an abi..."@en ; +skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; +skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; +skos:prefLabel "affordance"@en ; +skos:related <https://purl.org/hmas/Signifier> .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """[] a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], + rdfs:seeAlso """[] rdfs:label "Chemero and Turvey, 2007"@en ; +dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en .""" ], [ a earl:Pass ; - dcterms:description "The subject is included in the OWL RL sublanguage"@en ; - dcterms:title "OWL RL Profile compatible"@en ], + dcterms:description "The subject is included in the OWL TC sublanguage"@en ; + dcterms:title "OWL TC Profile compatible"@en ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """[] a owl:NamedIndividual ; + dcterms:title "OWL QL Profile incompatible"@en ; + rdfs:seeAlso """[] rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en .""" ] ] ; + earl:subject _:manufacturing-environments-discover-signifiers ; + earl:test acimov-model-test:profile-compatibility . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a acimov-model-test:MinorFail ; + dcterms:description "The term :Affordance has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:Affordance a skos:Concept ; +dct:references [ rdfs:label "Chemero and Turvey, 2007"@en ; +dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ], +[ rdfs:label "Norman, 2013"@en ; +dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ], +[ a owl:NamedIndividual ; rdfs:label "Chemero and Turvey, 2007"@en ; -dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; -dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ], +dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; +dct:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], +[ a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dct:identifier <https://mitpress.mit.edu/9780262640374/> ] ; +rdfs:isDefinedBy :core ; +skos:definition "A behavior possibility that is a relationship between an abi..."@en ; +skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; +skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; +skos:prefLabel "affordance"@en ; +skos:related :Signifier .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "The term :fipa has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:fipa a owl:Ontology ; +vann:preferredNamespacePrefix "hmas" ; +vann:preferredNamespaceUri : ; +owl:imports :core .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "The term :interaction has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:interaction a owl:Ontology ; +cc:license <https://creativecommons.org/licenses/by/4.0/> ; +dct:contributor <http://ns.inria.fr/fabien.gandon#me>, +<https://pod.inrupt.com/andreiciortea/profile/card#me>, +<https://pod.inrupt.com/smnmyr/profile/card#me> ; +dct:creator <https://danaivach.inrupt.net/profile/card#me> ; +dct:description "An ontology to describe interaction in Hypermedia Multi-Agen..."@en, +"L'ontologie pour décrire l'interaction dans les systèmes mul..."@fr ; +dct:issued "2023-01-13"^^xsd:date ; +dct:title "Hypermedia MAS Interaction Ontology"@en, +"Ontologie d'Interaction des SMA Hypermédias"@fr ; +vann:preferredNamespacePrefix "hmas" ; +vann:preferredNamespaceUri : ; +owl:imports :core .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "The term :regulation has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:regulation a owl:Ontology ; +cc:license <https://creativecommons.org/licenses/by/4.0/> ; +dct:contributor <http://maxime-lefrancois.info/me#>, +<http://ns.inria.fr/fabien.gandon#me>, +<https://danaivach.inrupt.net/profile/card#me>, +<https://orcid.org/0000-0002-2956-0533>, +<https://orcid.org/0000-0002-3497-8758>, +<https://orcid.org/0000-0003-0821-6095>, +<https://orcid.org/0000-0003-4509-9537> ; +dct:creator <https://orcid.org/0000-0002-4506-2745> ; +dct:description "An ontology to describe the regulation of Hypermedia Multi-A..."@en, +"L'ontologie pour décrire la régulation des systèmes multi-ag..."@fr ; +dct:issued "2022-05-01"^^xsd:date ; +dct:title "Hypermedia MAS Regulation Ontology"@en, +"Ontologie de Régulation des SMA Hypermédias"@fr ; +vann:preferredNamespacePrefix "hmas" ; +vann:preferredNamespaceUri : ; +owl:imports :core .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "The term :core has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:core a owl:Ontology ; +cc:license <https://creativecommons.org/licenses/by/4.0/> ; +dct:contributor <http://maxime-lefrancois.info/me#>, +<http://ns.inria.fr/fabien.gandon#me>, +<http://w3id.org/people/az/me>, +<https://danaivach.inrupt.net/profile/card#me>, +<https://id.inrupt.com/smnmyr>, +<https://orcid.org/0000-0002-2956-0533>, +<https://orcid.org/0000-0002-4506-2745>, +<https://orcid.org/0000-0003-0821-6095>, +<https://www.vcharpenay.link/#me> ; +dct:creator <https://id.inrupt.com/andreiciortea> ; +dct:description "An ontology to describe Hypermedia Multi-Agent Systems."@en, +"Une ontologie pour la description de systèmes multi-agents h..."@fr ; +dct:issued "2021-11-21"^^xsd:date ; +dct:title "Hypermedia MAS Core Ontology"@en, +"Ontologie Centrale des SMA Hypermédias"@fr ; +vann:preferredNamespacePrefix "hmas" ; +vann:preferredNamespaceUri : .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "The term :OrganizationModel has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:OrganizationModel a skos:Concept ; +skos:definition "An Organization Model is the combination of Roles, Missions,..."@en ; +skos:editorialNote "The Organization Model is represented as SHACL Shapes."@en ; +skos:prefLabel "organization model"@en ; +skos:related :Organization .""" ] ] ; + earl:subject _:all-fragments ; + earl:test acimov-model-test:labeled-terms . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Any term is referenced"@en ] ] ; + earl:subject _:regulation ; + earl:test acimov-model-test:term-referencing . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "The subject is included in the OWL TC sublanguage"@en ; + dcterms:title "OWL TC Profile compatible"@en ], [ a acimov-model-test:MinorFail ; dcterms:description "Statement not supported"@en ; dcterms:title "OWL EL Profile incompatible"@en ; @@ -1958,9 +1632,6 @@ rdfs:comment "A relation that links a resource to its profile."@en ; rdfs:isDefinedBy <https://purl.org/hmas/core> ; rdfs:range <https://purl.org/hmas/ResourceProfile> ; owl:inverseOf <https://purl.org/hmas/isProfileOf> .""" ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL TC sublanguage"@en ; - dcterms:title "OWL TC Profile compatible"@en ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL QL Profile incompatible"@en ; @@ -1999,79 +1670,17 @@ skos:definition "A behavior possibility that is a relationship between an abi... skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; skos:prefLabel "affordance"@en ; -skos:related <https://purl.org/hmas/Signifier> .""" ] ] ; - earl:subject _:core ; - earl:test acimov-model-test:profile-compatibility . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:NotTested ; - dcterms:description "The syntax of the subject and any of its imports must be syntaxically correct"@en ; - dcterms:title "The test could not be run"@en ] ] ; - earl:subject _:manufacturing-environments-safety-rules ; - earl:test acimov-model-test:domain-and-range-referencing . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; - dcterms:title "Terms differenciated enough"@en ] ] ; - earl:subject _:core ; - earl:test acimov-model-test:terms-differenciation . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "All the terms defined in the subject have a rdfs:label in English"@en ; - dcterms:title "All terms labeled"@en ] ] ; - earl:subject _:manufacturing-environments-discover-platforms ; - earl:test acimov-model-test:labeled-terms . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Any term is referenced"@en ] ] ; - earl:subject _:manufacturing-environments-discover-platforms ; - earl:test acimov-model-test:term-referencing . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; - dcterms:title "OWL RL consistent"@en ] ] ; - earl:subject _:core ; - earl:test acimov-model-test:owl-rl-constraint . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "Each rdfs:range is defined within the fragment"@en ; - dcterms:title "Ranges properly defined"@en ] ] ; - earl:subject _:interaction-manufacturing-environments-discover-behavior-specifications ; - earl:test acimov-model-test:domain-and-range-referencing . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:NotTested ; - dcterms:description "The subject must be syntaxically correct"@en ; - dcterms:title "The test could not be run"@en ] ] ; - earl:subject _:manufacturing-environments-safety-rules ; - earl:test acimov-model-test:profile-compatibility . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MinorFail ; +skos:related <https://purl.org/hmas/Signifier> .""" ], + [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL EL Profile incompatible"@en ; + rdfs:seeAlso """[] a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL QL Profile incompatible"@en ; rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; dc:references [ a owl:NamedIndividual ; rdfs:label "Chemero and Turvey, 2007"@en ; @@ -2080,11 +1689,7 @@ dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], [ a owl:NamedIndividual ; rdfs:label "Norman, 2013"@en ; dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> ], -[ rdfs:label "Chemero and Turvey, 2007"@en ; -dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ], -[ rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ] ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> ] ; rdfs:isDefinedBy <https://purl.org/hmas/core> ; skos:definition "A behavior possibility that is a relationship between an abi..."@en ; skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; @@ -2101,38 +1706,181 @@ dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL QL Profile incompatible"@en ; - rdfs:seeAlso """[] rdfs:label "Chemero and Turvey, 2007"@en ; -dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """[] rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL QL Profile incompatible"@en ; - rdfs:seeAlso """[] rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """[] rdfs:label "Chemero and Turvey, 2007"@en ; -dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en .""" ], + rdfs:seeAlso """[] a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], [ a earl:Pass ; - dcterms:description "The subject is included in the OWL TC sublanguage"@en ; - dcterms:title "OWL TC Profile compatible"@en ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Statement not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """<https://purl.org/hmas/hasProfile> a owl:AsymmetricProperty, -owl:ObjectProperty ; -rdfs:label "has for profile"@en, -"has profile"@en, -"a pour profil"@fr ; -rdfs:comment "A relation that links a resource to its profile."@en ; -rdfs:isDefinedBy <https://purl.org/hmas/core> ; -rdfs:range <https://purl.org/hmas/ResourceProfile> ; -owl:inverseOf <https://purl.org/hmas/isProfileOf> .""" ], + dcterms:description "The subject is included in the OWL RL sublanguage"@en ; + dcterms:title "OWL RL Profile compatible"@en ] ] ; + earl:subject _:core-manufacturing-environments-discover-platforms ; + earl:test acimov-model-test:profile-compatibility . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a acimov-model-test:MinorFail ; + dcterms:description "The following terms are too similar: :core and :Role"@en ; + dcterms:title "Too close terms"@en ; + rdfs:seeAlso """:Role a owl:Class ; +rdfs:label "role"@en, +"rôle"@fr ; +rdfs:comment "A Role defines positions of members (i.e., Agents) in an Org..."@en ; +rdfs:isDefinedBy :regulation .""", + """:core a owl:Ontology ; +cc:license <https://creativecommons.org/licenses/by/4.0/> ; +dct:contributor <http://maxime-lefrancois.info/me#>, +<http://ns.inria.fr/fabien.gandon#me>, +<http://w3id.org/people/az/me>, +<https://danaivach.inrupt.net/profile/card#me>, +<https://id.inrupt.com/smnmyr>, +<https://orcid.org/0000-0002-2956-0533>, +<https://orcid.org/0000-0002-4506-2745>, +<https://orcid.org/0000-0003-0821-6095>, +<https://www.vcharpenay.link/#me> ; +dct:creator <https://id.inrupt.com/andreiciortea> ; +dct:description "An ontology to describe Hypermedia Multi-Agent Systems."@en, +"Une ontologie pour la description de systèmes multi-agents h..."@fr ; +dct:issued "2021-11-21"^^xsd:date ; +dct:title "Hypermedia MAS Core Ontology"@en, +"Ontologie Centrale des SMA Hypermédias"@fr ; +vann:preferredNamespacePrefix "hmas" ; +vann:preferredNamespaceUri : .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "The following terms are too similar: :isMembershipOf and :isMembershipIn"@en ; + dcterms:title "Too close terms"@en ; + rdfs:seeAlso """:isMembershipIn a owl:ObjectProperty ; +rdfs:label "is membership in"@en, +"est l'appartenance à"@fr ; +rdfs:comment "A relation that refers to the Group involved in a Membership..."@en ; +rdfs:domain :Membership ; +rdfs:isDefinedBy :regulation ; +rdfs:range :Group .""", + """:isMembershipOf a owl:ObjectProperty ; +rdfs:label "is membership of"@en, +"est l'appartenance à"@fr ; +rdfs:comment "A relation that refers to the Agent involved in a Membership..."@en ; +rdfs:domain :Membership ; +rdfs:isDefinedBy :regulation ; +rdfs:range :Agent .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "The following terms are too similar: :signifies and :Signifier"@en ; + dcterms:title "Too close terms"@en ; + rdfs:seeAlso """:Signifier a owl:Class ; +rdfs:label "signifier"@en, +"signifiant"@fr ; +rdfs:comment "A perceivable sign/cue that can be interpreted meaningfully ..."@en ; +rdfs:isDefinedBy :core ; +rdfs:seeAlso <https://github.com/HyperAgents/ns.hyperagents.org/issues/13#issuecomment-1028904491>, +<https://github.com/HyperAgents/ns.hyperagents.org/issues/41> ; +skos:note ":Signifier works as a bridge between the Core and the Intera..."@en ; +skos:related :Affordance .""", + """:signifies a owl:ObjectProperty ; +rdfs:label "signifies"@en, +"signifie"@fr ; +rdfs:comment "A relation between a signifier and the specification of a be..."@en ; +rdfs:domain :Signifier ; +rdfs:isDefinedBy :interaction .""" ] ] ; + earl:subject _:all-modules ; + earl:test acimov-model-test:terms-differenciation . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; + dcterms:title "OWL RL consistent"@en ] ] ; + earl:subject _:fipa ; + earl:test acimov-model-test:owl-rl-constraint . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :AgentPlatformDescription not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:AgentPlatformDescription a owl:Class ; +rdfs:label "Agent Platform Description"@en ; +rdfs:comment "A resource profile that descripe a FIPA Agent Platform using..."@en ; +rdfs:subClassOf <https://ci.mines-stetienne.fr/hmas#ResourceProfile> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :HTTPMessageTransportService not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:HTTPMessageTransportService a owl:Class ; +rdfs:label "HTTP Message Transport Service"@en ; +rdfs:comment "An HTTP-based message transport service that confirms to the..."@en ; +rdfs:subClassOf :MessageTransportService .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :FIPAAgentPlatform not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:FIPAAgentPlatform a owl:Class ; +rdfs:label "FIPA Agent Platform"@en ; +rdfs:comment "A platform that conforms to the FIPA Abstract Architecture S..."@en ; +rdfs:subClassOf <https://ci.mines-stetienne.fr/hmas#Platform> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :APService not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:APService a owl:Class ; +rdfs:label "Agent Platform Service"@en ; +rdfs:comment "A service exposed by a FIPA Agent Platform as defined by the..."@en .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :hasServiceName not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:hasServiceName a owl:ObjectProperty ; +rdfs:label "has Service Name"@en ; +rdfs:domain :APService .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :MessageTransportService not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:MessageTransportService a owl:Class ; +rdfs:label "Message Transport Service"@en ; +rdfs:comment "A service for transporting messages among agents that confor..."@en ; +rdfs:subClassOf :APService .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :IIOPMessageTransportService not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:IIOPMessageTransportService a owl:Class ; +rdfs:label "IIOP Message Transport Service"@en ; +rdfs:comment "An HTTP-based message transport service that confirms to the..."@en ; +rdfs:subClassOf :MessageTransportService .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :AgentIdentifierDescription not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:AgentIdentifierDescription a owl:Class ; +rdfs:label "Agent Identifier Description"@en ; +rdfs:comment "A resource profile that describes an agent using the Agent I..."@en ; +rdfs:subClassOf <https://ci.mines-stetienne.fr/hmas#ResourceProfile> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :hasServiceType not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:hasServiceType a owl:ObjectProperty ; +rdfs:label "has Service Type"@en ; +rdfs:domain :APService .""" ] ] ; + earl:subject _:all-fragments ; + earl:test acimov-model-test:term-referencing . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; + dcterms:title "Terms differenciated enough"@en ] ] ; + earl:subject _:fipa ; + earl:test acimov-model-test:terms-differenciation . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "The subject is included in the OWL TC sublanguage"@en ; + dcterms:title "OWL TC Profile compatible"@en ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL EL Profile incompatible"@en ; + rdfs:seeAlso """[] a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL QL Profile incompatible"@en ; @@ -2142,14 +1890,14 @@ dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hyper dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; + dcterms:title "OWL QL Profile incompatible"@en ; rdfs:seeAlso """[] a owl:NamedIndividual ; rdfs:label "Norman, 2013"@en ; dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL QL Profile incompatible"@en ; + dcterms:title "OWL EL Profile incompatible"@en ; rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; dc:references [ a owl:NamedIndividual ; rdfs:label "Chemero and Turvey, 2007"@en ; @@ -2158,34 +1906,19 @@ dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], [ a owl:NamedIndividual ; rdfs:label "Norman, 2013"@en ; dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> ], -[ rdfs:label "Chemero and Turvey, 2007"@en ; -dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ], -[ rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ] ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> ] ; rdfs:isDefinedBy <https://purl.org/hmas/core> ; skos:definition "A behavior possibility that is a relationship between an abi..."@en ; skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; skos:prefLabel "affordance"@en ; skos:related <https://purl.org/hmas/Signifier> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL QL Profile incompatible"@en ; - rdfs:seeAlso """[] a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL RL sublanguage"@en ; - dcterms:title "OWL RL Profile compatible"@en ], [ a acimov-model-test:MinorFail ; dcterms:description "Statement not supported"@en ; dcterms:title "OWL QL Profile incompatible"@en ; rdfs:seeAlso """<https://purl.org/hmas/transitivelyContains> a owl:ObjectProperty, owl:TransitiveProperty ; rdfs:label "transitively contains"@en, -"transitivelyContains"@en, "contient transitivement"@fr ; dc:source <https://github.com/HyperAgents/ns.hyperagents.org/issues/8#issuecomment-1025991719> ; rdfs:comment "Links all the resources that are logically contained in a wo..."@en ; @@ -2193,27 +1926,102 @@ rdfs:domain <https://purl.org/hmas/Workspace> ; rdfs:isDefinedBy <https://purl.org/hmas/core> ; rdfs:seeAlso <https://github.com/HyperAgents/ns.hyperagents.org/issues/18>, <https://github.com/HyperAgents/ns.hyperagents.org/issues/39> ; -owl:inverseOf <https://purl.org/hmas/isTransitivelyContainedIn> .""" ] ] ; - earl:subject _:all-fragments ; +owl:inverseOf <https://purl.org/hmas/isTransitivelyContainedIn> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL QL Profile incompatible"@en ; + rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; +dc:references [ a owl:NamedIndividual ; +rdfs:label "Chemero and Turvey, 2007"@en ; +dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; +dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], +[ a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> ] ; +rdfs:isDefinedBy <https://purl.org/hmas/core> ; +skos:definition "A behavior possibility that is a relationship between an abi..."@en ; +skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; +skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; +skos:prefLabel "affordance"@en ; +skos:related <https://purl.org/hmas/Signifier> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL EL Profile incompatible"@en ; + rdfs:seeAlso """[] a owl:NamedIndividual ; +rdfs:label "Chemero and Turvey, 2007"@en ; +dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; +dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL RL sublanguage"@en ; + dcterms:title "OWL RL Profile compatible"@en ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Statement not supported"@en ; + dcterms:title "OWL EL Profile incompatible"@en ; + rdfs:seeAlso """<https://purl.org/hmas/hasProfile> a owl:AsymmetricProperty, +owl:ObjectProperty ; +rdfs:label "has for profile"@en, +"a pour profil"@fr ; +rdfs:comment "A relation that links a resource to its profile."@en ; +rdfs:isDefinedBy <https://purl.org/hmas/core> ; +rdfs:range <https://purl.org/hmas/ResourceProfile> ; +owl:inverseOf <https://purl.org/hmas/isProfileOf> .""" ] ] ; + earl:subject _:core ; earl:test acimov-model-test:profile-compatibility . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "Each rdfs:range is defined within the fragment"@en ; - dcterms:title "Ranges properly defined"@en ] ] ; - earl:subject _:regulation-logistics-structure-organization ; - earl:test acimov-model-test:domain-and-range-referencing . + dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; + dcterms:title "OWL RL consistent"@en ] ] ; + earl:subject _:manufacturing-environments-discover-core ; + earl:test acimov-model-test:owl-rl-constraint . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "Each rdfs:domain is defined within the fragment"@en ; - dcterms:title "Domains properly defined"@en ] ] ; - earl:subject _:all-modules ; - earl:test acimov-model-test:domain-and-range-referencing . + dcterms:description "All the terms defined in the subject have a rdfs:label in English"@en ; + dcterms:title "All terms labeled"@en ] ] ; + earl:subject _:manufacturing-environments-discover-platforms ; + earl:test acimov-model-test:labeled-terms . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "All the terms defined in the subject have a rdfs:label in English"@en ; + dcterms:title "All terms labeled"@en ] ] ; + earl:subject _:logistics-structure-organization ; + earl:test acimov-model-test:labeled-terms . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:NotTested ; + dcterms:description "The subject needs to be syntaxically correct"@en ; + dcterms:title "The test could not be run"@en ] ] ; + earl:subject _:meta ; + earl:test acimov-model-test:terms-differenciation . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:NotTested ; + dcterms:description "The subject and its recursive imports must be syntaxically correct"@en ; + dcterms:title "The test could not be run"@en ] ] ; + earl:subject _:manufacturing-environments-safety-rules ; + earl:test acimov-model-test:owl-rl-constraint . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; + dcterms:title "OWL RL consistent"@en ] ] ; + earl:subject _:core-manufacturing-environments-discover-signifiers ; + earl:test acimov-model-test:owl-rl-constraint . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; @@ -2221,67 +2029,227 @@ owl:inverseOf <https://purl.org/hmas/isTransitivelyContainedIn> .""" ] ] ; earl:outcome [ a earl:Pass ; dcterms:description "Each rdfs:domain is defined within the fragment"@en ; dcterms:title "Domains properly defined"@en ] ] ; - earl:subject _:core-manufacturing-environments-discover-organization ; + earl:subject _:interaction ; earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Any term is referenced"@en ] ] ; + dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; + dcterms:title "Terms differenciated enough"@en ] ] ; earl:subject _:interaction-manufacturing-environments-discover-behavior-specifications ; - earl:test acimov-model-test:term-referencing . + earl:test acimov-model-test:terms-differenciation . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a earl:NotTested ; - dcterms:description "The subject must be syntaxically correct"@en ; - dcterms:title "The test could not be run"@en ] ] ; + earl:outcome [ a earl:Pass ; + dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; + dcterms:title "OWL RL consistent"@en ] ] ; + earl:subject _:core ; + earl:test acimov-model-test:owl-rl-constraint . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; + dcterms:title "Terms differenciated enough"@en ] ] ; + earl:subject _:manufacturing-environments-discover-organization ; + earl:test acimov-model-test:terms-differenciation . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a acimov-model-test:MajorFail ; + dcterms:description "Undefined prefix: doco:Glossary"@en ; + dcterms:title "Test subject has syntax errors"@en ], + [ a acimov-model-test:MajorFail ; + dcterms:description "Undefined prefix: dcterms:source"@en ; + dcterms:title "Test subject has syntax errors"@en ] ] ; earl:subject _:meta ; - earl:test acimov-model-test:profile-compatibility . + earl:test acimov-model-test:syntax . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; - dcterms:title "OWL RL consistent"@en ] ] ; - earl:subject _:all-modules ; - earl:test acimov-model-test:owl-rl-constraint . + dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; + dcterms:title "Terms differenciated enough"@en ] ] ; + earl:subject _:core ; + earl:test acimov-model-test:terms-differenciation . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a acimov-model-test:MinorFail ; + dcterms:description "The term :Affordance has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:Affordance a skos:Concept ; +dct:references [ a owl:NamedIndividual ; +rdfs:label "Chemero and Turvey, 2007"@en ; +dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; +dct:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], +[ a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dct:identifier <https://mitpress.mit.edu/9780262640374/> ] ; +rdfs:isDefinedBy :core ; +skos:definition "A behavior possibility that is a relationship between an abi..."@en ; +skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; +skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; +skos:prefLabel "affordance"@en ; +skos:related :Signifier .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "The term :core has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:core a owl:Ontology ; +cc:license <https://creativecommons.org/licenses/by/4.0/> ; +dct:contributor <http://maxime-lefrancois.info/me#>, +<http://ns.inria.fr/fabien.gandon#me>, +<http://w3id.org/people/az/me>, +<https://danaivach.inrupt.net/profile/card#me>, +<https://id.inrupt.com/smnmyr>, +<https://orcid.org/0000-0002-2956-0533>, +<https://orcid.org/0000-0002-4506-2745>, +<https://orcid.org/0000-0003-0821-6095>, +<https://www.vcharpenay.link/#me> ; +dct:creator <https://id.inrupt.com/andreiciortea> ; +dct:description "An ontology to describe Hypermedia Multi-Agent Systems."@en, +"Une ontologie pour la description de systèmes multi-agents h..."@fr ; +dct:issued "2021-11-21"^^xsd:date ; +dct:title "Hypermedia MAS Core Ontology"@en, +"Ontologie Centrale des SMA Hypermédias"@fr ; +vann:preferredNamespacePrefix "hmas" ; +vann:preferredNamespaceUri : .""" ] ] ; + earl:subject _:core-manufacturing-environments-discover-organization ; + earl:test acimov-model-test:labeled-terms . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; + dcterms:title "Terms differenciated enough"@en ] ] ; + earl:subject _:logistics-create-organization ; + earl:test acimov-model-test:terms-differenciation . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "Each rdfs:range is defined within the fragment"@en ; + dcterms:title "Ranges properly defined"@en ] ] ; + earl:subject _:core-manufacturing-environments-discover-signifiers ; + earl:test acimov-model-test:domain-and-range-referencing . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a acimov-model-test:MinorFail ; + dcterms:description "The term :regulation has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:regulation a owl:Ontology ; +cc:license <https://creativecommons.org/licenses/by/4.0/> ; +dct:contributor <http://maxime-lefrancois.info/me#>, +<http://ns.inria.fr/fabien.gandon#me>, +<https://danaivach.inrupt.net/profile/card#me>, +<https://orcid.org/0000-0002-2956-0533>, +<https://orcid.org/0000-0002-3497-8758>, +<https://orcid.org/0000-0003-0821-6095>, +<https://orcid.org/0000-0003-4509-9537> ; +dct:creator <https://orcid.org/0000-0002-4506-2745> ; +dct:description "An ontology to describe the regulation of Hypermedia Multi-A..."@en, +"L'ontologie pour décrire la régulation des systèmes multi-ag..."@fr ; +dct:issued "2022-05-01"^^xsd:date ; +dct:title "Hypermedia MAS Regulation Ontology"@en, +"Ontologie de Régulation des SMA Hypermédias"@fr ; +vann:preferredNamespacePrefix "hmas" ; +vann:preferredNamespaceUri : ; +owl:imports :core .""" ] ] ; + earl:subject _:regulation-logistics-structure-organization ; + earl:test acimov-model-test:labeled-terms . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a acimov-model-test:MinorFail ; + dcterms:description "The term :regulation has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:regulation a owl:Ontology ; +cc:license <https://creativecommons.org/licenses/by/4.0/> ; +dct:contributor <http://maxime-lefrancois.info/me#>, +<http://ns.inria.fr/fabien.gandon#me>, +<https://danaivach.inrupt.net/profile/card#me>, +<https://orcid.org/0000-0002-2956-0533>, +<https://orcid.org/0000-0002-3497-8758>, +<https://orcid.org/0000-0003-0821-6095>, +<https://orcid.org/0000-0003-4509-9537> ; +dct:creator <https://orcid.org/0000-0002-4506-2745> ; +dct:description "An ontology to describe the regulation of Hypermedia Multi-A..."@en, +"L'ontologie pour décrire la régulation des systèmes multi-ag..."@fr ; +dct:issued "2022-05-01"^^xsd:date ; +dct:title "Hypermedia MAS Regulation Ontology"@en, +"Ontologie de Régulation des SMA Hypermédias"@fr ; +vann:preferredNamespacePrefix "hmas" ; +vann:preferredNamespaceUri : ; +owl:imports :core .""" ] ] ; + earl:subject _:regulation-logistics-create-organization ; + earl:test acimov-model-test:labeled-terms . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a acimov-model-test:MinorFail ; + dcterms:description "The term :Affordance has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:Affordance a skos:Concept ; +dct:references [ rdfs:label "Chemero and Turvey, 2007"@en ; +dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ], +[ rdfs:label "Norman, 2013"@en ; +dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ] ; +rdfs:isDefinedBy :core ; +skos:definition "A behavior possibility that is a relationship between an abi..."@en ; +skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; +skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; +skos:prefLabel "affordance"@en ; +skos:related :Signifier .""" ] ] ; + earl:subject _:manufacturing-environments-discover-signifiers ; + earl:test acimov-model-test:labeled-terms . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "The subject is included in the OWL QL sublanguage"@en ; - dcterms:title "OWL QL Profile compatible"@en ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL TC sublanguage"@en ; - dcterms:title "OWL TC Profile compatible"@en ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL RL sublanguage"@en ; - dcterms:title "OWL RL Profile compatible"@en ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL EL sublanguage"@en ; - dcterms:title "OWL EL Profile compatible"@en ] ] ; - earl:subject _:regulation-logistics-structure-organization ; - earl:test acimov-model-test:profile-compatibility . + dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Any term is referenced"@en ] ] ; + earl:subject _:logistics-structure-organization ; + earl:test acimov-model-test:term-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; - dcterms:title "OWL RL consistent"@en ] ] ; - earl:subject _:fipa ; - earl:test acimov-model-test:owl-rl-constraint . + dcterms:description "Each rdfs:domain is defined within the fragment"@en ; + dcterms:title "Domains properly defined"@en ] ] ; + earl:subject _:interaction-manufacturing-environments-discover-behavior-specifications ; + earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL EL Profile incompatible"@en ; + rdfs:seeAlso """[] a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL RL sublanguage"@en ; + dcterms:title "OWL RL Profile compatible"@en ], + [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL EL Profile incompatible"@en ; rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; @@ -2292,44 +2260,15 @@ dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], [ a owl:NamedIndividual ; rdfs:label "Norman, 2013"@en ; dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> ] ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> ], +<https://www.example.org/Noneb12198>, +<https://www.example.org/Noneb12199> ; rdfs:isDefinedBy <https://purl.org/hmas/core> ; skos:definition "A behavior possibility that is a relationship between an abi..."@en ; skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; skos:prefLabel "affordance"@en ; skos:related <https://purl.org/hmas/Signifier> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Statement not supported"@en ; - dcterms:title "OWL QL Profile incompatible"@en ; - rdfs:seeAlso """<https://purl.org/hmas/transitivelyContains> a owl:ObjectProperty, -owl:TransitiveProperty ; -rdfs:label "transitively contains"@en, -"contient transitivement"@fr ; -dc:source <https://github.com/HyperAgents/ns.hyperagents.org/issues/8#issuecomment-1025991719> ; -rdfs:comment "Links all the resources that are logically contained in a wo..."@en ; -rdfs:domain <https://purl.org/hmas/Workspace> ; -rdfs:isDefinedBy <https://purl.org/hmas/core> ; -rdfs:seeAlso <https://github.com/HyperAgents/ns.hyperagents.org/issues/18>, -<https://github.com/HyperAgents/ns.hyperagents.org/issues/39> ; -owl:inverseOf <https://purl.org/hmas/isTransitivelyContainedIn> .""" ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL RL sublanguage"@en ; - dcterms:title "OWL RL Profile compatible"@en ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """[] a owl:NamedIndividual ; -rdfs:label "Chemero and Turvey, 2007"@en ; -dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; -dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL QL Profile incompatible"@en ; - rdfs:seeAlso """[] a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL QL Profile incompatible"@en ; @@ -2341,7 +2280,9 @@ dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], [ a owl:NamedIndividual ; rdfs:label "Norman, 2013"@en ; dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> ] ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> ], +<https://www.example.org/Noneb12198>, +<https://www.example.org/Noneb12199> ; rdfs:isDefinedBy <https://purl.org/hmas/core> ; skos:definition "A behavior possibility that is a relationship between an abi..."@en ; skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; @@ -2350,11 +2291,11 @@ skos:prefLabel "affordance"@en ; skos:related <https://purl.org/hmas/Signifier> .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Anonymous individuals are not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; + dcterms:title "OWL QL Profile incompatible"@en ; rdfs:seeAlso """[] a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], +rdfs:label "Chemero and Turvey, 2007"@en ; +dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; +dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ], [ a earl:Pass ; dcterms:description "The subject is included in the OWL TC sublanguage"@en ; dcterms:title "OWL TC Profile compatible"@en ], @@ -2362,6 +2303,13 @@ dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], dcterms:description "Anonymous individuals are not supported"@en ; dcterms:title "OWL QL Profile incompatible"@en ; rdfs:seeAlso """[] a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL EL Profile incompatible"@en ; + rdfs:seeAlso """[] a owl:NamedIndividual ; rdfs:label "Chemero and Turvey, 2007"@en ; dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ], @@ -2375,148 +2323,50 @@ rdfs:label "has for profile"@en, rdfs:comment "A relation that links a resource to its profile."@en ; rdfs:isDefinedBy <https://purl.org/hmas/core> ; rdfs:range <https://purl.org/hmas/ResourceProfile> ; -owl:inverseOf <https://purl.org/hmas/isProfileOf> .""" ] ] ; - earl:subject _:core-manufacturing-environments-discover-platforms ; - earl:test acimov-model-test:profile-compatibility . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :MessageTransportService not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:MessageTransportService a owl:Class ; -rdfs:label "Message Transport Service"@en ; -rdfs:comment "A service for transporting messages among agents that confor..."@en ; -rdfs:subClassOf :APService .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :AgentPlatformDescription not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:AgentPlatformDescription a owl:Class ; -rdfs:label "Agent Platform Description"@en ; -rdfs:comment "A resource profile that descripe a FIPA Agent Platform using..."@en ; -rdfs:subClassOf <https://ci.mines-stetienne.fr/hmas#ResourceProfile> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :IIOPMessageTransportService not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:IIOPMessageTransportService a owl:Class ; -rdfs:label "IIOP Message Transport Service"@en ; -rdfs:comment "An HTTP-based message transport service that confirms to the..."@en ; -rdfs:subClassOf :MessageTransportService .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :hasServiceName not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:hasServiceName a owl:ObjectProperty ; -rdfs:label "has Service Name"@en ; -rdfs:domain :APService .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :AgentIdentifierDescription not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:AgentIdentifierDescription a owl:Class ; -rdfs:label "Agent Identifier Description"@en ; -rdfs:comment "A resource profile that describes an agent using the Agent I..."@en ; -rdfs:subClassOf <https://ci.mines-stetienne.fr/hmas#ResourceProfile> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :APService not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:APService a owl:Class ; -rdfs:label "Agent Platform Service"@en ; -rdfs:comment "A service exposed by a FIPA Agent Platform as defined by the..."@en .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :FIPAAgentPlatform not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:FIPAAgentPlatform a owl:Class ; -rdfs:label "FIPA Agent Platform"@en ; -rdfs:comment "A platform that conforms to the FIPA Abstract Architecture S..."@en ; -rdfs:subClassOf <https://ci.mines-stetienne.fr/hmas#Platform> .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :hasServiceType not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:hasServiceType a owl:ObjectProperty ; -rdfs:label "has Service Type"@en ; -rdfs:domain :APService .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Subject :HTTPMessageTransportService not linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Term not referenced to a module"@en ; - rdfs:seeAlso """:HTTPMessageTransportService a owl:Class ; -rdfs:label "HTTP Message Transport Service"@en ; -rdfs:comment "An HTTP-based message transport service that confirms to the..."@en ; -rdfs:subClassOf :MessageTransportService .""" ] ] ; - earl:subject _:fipa ; - earl:test acimov-model-test:term-referencing . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Any term is referenced"@en ] ] ; - earl:subject _:core-manufacturing-environments-discover-core ; - earl:test acimov-model-test:term-referencing . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Any term is referenced"@en ] ] ; - earl:subject _:logistics-structure-organization ; - earl:test acimov-model-test:term-referencing . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "The subject is included in the OWL RL sublanguage"@en ; - dcterms:title "OWL RL Profile compatible"@en ], +owl:inverseOf <https://purl.org/hmas/isProfileOf> .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Statement not supported"@en ; - dcterms:title "OWL EL Profile incompatible"@en ; - rdfs:seeAlso """<https://purl.org/hmas/hosts> a owl:AsymmetricProperty, -owl:ObjectProperty ; -rdfs:label "hosts"@en ; + dcterms:title "OWL QL Profile incompatible"@en ; + rdfs:seeAlso """<https://purl.org/hmas/transitivelyContains> a owl:ObjectProperty, +owl:TransitiveProperty ; +rdfs:label "transitively contains"@en, +"contient transitivement"@fr ; dc:source <https://github.com/HyperAgents/ns.hyperagents.org/issues/8#issuecomment-1025991719> ; -rdfs:comment "A relation that refers to an information resource or a proce..."@en ; -rdfs:domain <https://purl.org/hmas/HypermediaMASPlatform> ; +rdfs:comment "Links all the resources that are logically contained in a wo..."@en ; +rdfs:domain <https://purl.org/hmas/Workspace> ; rdfs:isDefinedBy <https://purl.org/hmas/core> ; -rdfs:range <https://purl.org/hmas/Hostable> ; rdfs:seeAlso <https://github.com/HyperAgents/ns.hyperagents.org/issues/18>, -<https://github.com/HyperAgents/ns.hyperagents.org/issues/49> .""" ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL QL sublanguage"@en ; - dcterms:title "OWL QL Profile compatible"@en ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL TC sublanguage"@en ; - dcterms:title "OWL TC Profile compatible"@en ] ] ; - earl:subject _:manufacturing-environments-discover-platforms ; +<https://github.com/HyperAgents/ns.hyperagents.org/issues/39> ; +owl:inverseOf <https://purl.org/hmas/isTransitivelyContainedIn> .""" ] ] ; + earl:subject _:core-manufacturing-environments-discover-signifiers ; earl:test acimov-model-test:profile-compatibility . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "All the terms defined in the subject have a rdfs:label in English"@en ; - dcterms:title "All terms labeled"@en ] ] ; - earl:subject _:logistics-structure-organization ; - earl:test acimov-model-test:labeled-terms . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "The subject is included in the OWL RL sublanguage"@en ; - dcterms:title "OWL RL Profile compatible"@en ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL EL sublanguage"@en ; - dcterms:title "OWL EL Profile compatible"@en ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL TC sublanguage"@en ; - dcterms:title "OWL TC Profile compatible"@en ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL QL sublanguage"@en ; - dcterms:title "OWL QL Profile compatible"@en ] ] ; - earl:subject _:interaction-manufacturing-environments-discover-behavior-specifications ; - earl:test acimov-model-test:profile-compatibility . + earl:outcome [ a acimov-model-test:MinorFail ; + dcterms:description "The term :regulation has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:regulation a owl:Ontology ; +cc:license <https://creativecommons.org/licenses/by/4.0/> ; +dct:contributor <http://maxime-lefrancois.info/me#>, +<http://ns.inria.fr/fabien.gandon#me>, +<https://danaivach.inrupt.net/profile/card#me>, +<https://orcid.org/0000-0002-2956-0533>, +<https://orcid.org/0000-0002-3497-8758>, +<https://orcid.org/0000-0003-0821-6095>, +<https://orcid.org/0000-0003-4509-9537> ; +dct:creator <https://orcid.org/0000-0002-4506-2745> ; +dct:description "An ontology to describe the regulation of Hypermedia Multi-A..."@en, +"L'ontologie pour décrire la régulation des systèmes multi-ag..."@fr ; +dct:issued "2022-05-01"^^xsd:date ; +dct:title "Hypermedia MAS Regulation Ontology"@en, +"Ontologie de Régulation des SMA Hypermédias"@fr ; +vann:preferredNamespacePrefix "hmas" ; +vann:preferredNamespaceUri : ; +owl:imports :core .""" ] ] ; + earl:subject _:regulation ; + earl:test acimov-model-test:labeled-terms . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; @@ -2524,35 +2374,22 @@ rdfs:seeAlso <https://github.com/HyperAgents/ns.hyperagents.org/issues/18>, earl:outcome [ a earl:Pass ; dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; dcterms:title "Any term is referenced"@en ] ] ; - earl:subject _:regulation-logistics-create-organization ; + earl:subject _:manufacturing-environments-discover-organization ; earl:test acimov-model-test:term-referencing . +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; + dcterms:title "OWL RL consistent"@en ] ] ; + earl:subject _:regulation-logistics-create-organization ; + earl:test acimov-model-test:owl-rl-constraint . + [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The term :core has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:core a owl:Ontology ; -cc:license <https://creativecommons.org/licenses/by/4.0/> ; -dct:contributor <http://maxime-lefrancois.info/me#>, -<http://ns.inria.fr/fabien.gandon#me>, -<http://w3id.org/people/az/me>, -<https://danaivach.inrupt.net/profile/card#me>, -<https://id.inrupt.com/smnmyr>, -<https://orcid.org/0000-0002-2956-0533>, -<https://orcid.org/0000-0002-4506-2745>, -<https://orcid.org/0000-0003-0821-6095>, -<https://www.vcharpenay.link/#me> ; -dct:creator <https://id.inrupt.com/andreiciortea> ; -dct:description "An ontology to describe Hypermedia Multi-Agent Systems."@en, -"Une ontologie pour la description de systèmes multi-agents h..."@fr ; -dct:issued "2021-11-21"^^xsd:date ; -dct:title "Hypermedia MAS Core Ontology"@en, -"Ontologie Centrale des SMA Hypermédias"@fr ; -vann:preferredNamespacePrefix "hmas" ; -vann:preferredNamespaceUri : .""" ], - [ a acimov-model-test:MinorFail ; dcterms:description "The term :Affordance has no rdfs:label to define it in natural language"@en ; dcterms:title "Terms not labeled"@en ; rdfs:seeAlso """:Affordance a skos:Concept ; @@ -2563,7 +2400,11 @@ dct:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], [ a owl:NamedIndividual ; rdfs:label "Norman, 2013"@en ; dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dct:identifier <https://mitpress.mit.edu/9780262640374/> ] ; +dct:identifier <https://mitpress.mit.edu/9780262640374/> ], +[ rdfs:label "Chemero and Turvey, 2007"@en ; +dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ], +[ rdfs:label "Norman, 2013"@en ; +dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ] ; rdfs:isDefinedBy :core ; skos:definition "A behavior possibility that is a relationship between an abi..."@en ; skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; @@ -2571,124 +2412,223 @@ skos:historyNote "The definition of the concept follows affordance theorists [.. skos:prefLabel "affordance"@en ; skos:related :Signifier .""" ], [ a acimov-model-test:MinorFail ; - dcterms:description "The term :regulation has no rdfs:label to define it in natural language"@en ; + dcterms:description "The term :core has no rdfs:label to define it in natural language"@en ; dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:regulation a owl:Ontology ; + rdfs:seeAlso """:core a owl:Ontology ; cc:license <https://creativecommons.org/licenses/by/4.0/> ; dct:contributor <http://maxime-lefrancois.info/me#>, <http://ns.inria.fr/fabien.gandon#me>, +<http://w3id.org/people/az/me>, <https://danaivach.inrupt.net/profile/card#me>, +<https://id.inrupt.com/smnmyr>, <https://orcid.org/0000-0002-2956-0533>, -<https://orcid.org/0000-0002-3497-8758>, +<https://orcid.org/0000-0002-4506-2745>, <https://orcid.org/0000-0003-0821-6095>, -<https://orcid.org/0000-0003-4509-9537> ; -dct:creator <https://orcid.org/0000-0002-4506-2745> ; -dct:description "An ontology to describe the regulation of Hypermedia Multi-A..."@en, -"L'ontologie pour décrire la régulation des systèmes multi-ag..."@fr ; -dct:issued "2022-05-01"^^xsd:date ; -dct:title "Hypermedia MAS Regulation Ontology"@en, -"Ontologie de Régulation des SMA Hypermédias"@fr ; -vann:preferredNamespacePrefix "hmas" ; -vann:preferredNamespaceUri : ; -owl:imports :core .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "The term :interaction has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:interaction a owl:Ontology ; -cc:license <https://creativecommons.org/licenses/by/4.0/> ; -dct:contributor <http://ns.inria.fr/fabien.gandon#me>, -<https://pod.inrupt.com/andreiciortea/profile/card#me>, -<https://pod.inrupt.com/smnmyr/profile/card#me> ; -dct:creator <https://danaivach.inrupt.net/profile/card#me> ; -dct:description "An ontology to describe interaction in Hypermedia Multi-Agen..."@en, -"L'ontologie pour décrire l'interaction dans les systèmes mul..."@fr ; -dct:issued "2023-01-13"^^xsd:date ; -dct:title "Hypermedia MAS Interaction Ontology"@en, -"Ontologie d'Interaction des SMA Hypermédias"@fr ; -vann:preferredNamespacePrefix "hmas" ; -vann:preferredNamespaceUri : ; -owl:imports :core .""" ], - [ a acimov-model-test:MinorFail ; - dcterms:description "The term :fipa has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:fipa a owl:Ontology ; +<https://www.vcharpenay.link/#me> ; +dct:creator <https://id.inrupt.com/andreiciortea> ; +dct:description "An ontology to describe Hypermedia Multi-Agent Systems."@en, +"Une ontologie pour la description de systèmes multi-agents h..."@fr ; +dct:issued "2021-11-21"^^xsd:date ; +dct:title "Hypermedia MAS Core Ontology"@en, +"Ontologie Centrale des SMA Hypermédias"@fr ; vann:preferredNamespacePrefix "hmas" ; -vann:preferredNamespaceUri : ; -owl:imports :core .""" ] ] ; - earl:subject _:all-modules ; +vann:preferredNamespaceUri : .""" ] ] ; + earl:subject _:core-manufacturing-environments-discover-signifiers ; earl:test acimov-model-test:labeled-terms . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; - dcterms:title "Terms differenciated enough"@en ] ] ; - earl:subject _:manufacturing-environments-discover-signifiers ; - earl:test acimov-model-test:terms-differenciation . + earl:outcome [ a earl:NotTested ; + dcterms:description "The subject and its recursive imports must be syntaxically correct"@en ; + dcterms:title "The test could not be run"@en ] ] ; + earl:subject _:meta ; + earl:test acimov-model-test:owl-rl-constraint . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The term :fipa has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:fipa a owl:Ontology ; -vann:preferredNamespacePrefix "hmas" ; -vann:preferredNamespaceUri : ; -owl:imports :core .""" ] ] ; - earl:subject _:fipa ; + dcterms:description "The following terms are too similar: :isMembershipOf and :isMembershipIn"@en ; + dcterms:title "Too close terms"@en ; + rdfs:seeAlso """:isMembershipIn a owl:ObjectProperty ; +rdfs:label "is membership in"@en, +"est l'appartenance à"@fr ; +rdfs:comment "A relation that refers to the Group involved in a Membership..."@en ; +rdfs:domain :Membership ; +rdfs:isDefinedBy :regulation ; +rdfs:range :Group .""", + """:isMembershipOf a owl:ObjectProperty ; +rdfs:label "is membership of"@en, +"est l'appartenance à"@fr ; +rdfs:comment "A relation that refers to the Agent involved in a Membership..."@en ; +rdfs:domain :Membership ; +rdfs:isDefinedBy :regulation ; +rdfs:range :Agent .""" ] ] ; + earl:subject _:regulation ; + earl:test acimov-model-test:terms-differenciation . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "All the terms defined in the subject have a rdfs:label in English"@en ; + dcterms:title "All terms labeled"@en ] ] ; + earl:subject _:manufacturing-environments-discover-behavior-specifications ; earl:test acimov-model-test:labeled-terms . +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; + dcterms:title "Terms differenciated enough"@en ] ] ; + earl:subject _:manufacturing-environments-discover-signifiers ; + earl:test acimov-model-test:terms-differenciation . + [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; dcterms:description "Each rdfs:domain is defined within the fragment"@en ; dcterms:title "Domains properly defined"@en ] ] ; - earl:subject _:fipa ; + earl:subject _:all-modules ; earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; + dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; + dcterms:title "Terms differenciated enough"@en ] ] ; + earl:subject _:manufacturing-environments-discover-core ; + earl:test acimov-model-test:terms-differenciation . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a acimov-model-test:MinorFail ; + dcterms:description "The term :OrganizationModel has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:OrganizationModel a skos:Concept ; +skos:definition "An Organization Model is the combination of Roles, Missions,..."@en ; +skos:editorialNote "The Organization Model is represented as SHACL Shapes."@en ; +skos:prefLabel "organization model"@en ; +skos:related :Organization .""" ] ] ; + earl:subject _:logistics-create-organization ; + earl:test acimov-model-test:labeled-terms . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL QL Profile incompatible"@en ; + rdfs:seeAlso """[] a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL QL Profile incompatible"@en ; + rdfs:seeAlso """[] a owl:NamedIndividual ; +rdfs:label "Chemero and Turvey, 2007"@en ; +dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; +dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL EL Profile incompatible"@en ; + rdfs:seeAlso """[] a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> .""" ], + [ a earl:Pass ; dcterms:description "The subject is included in the OWL TC sublanguage"@en ; dcterms:title "OWL TC Profile compatible"@en ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL EL Profile incompatible"@en ; + rdfs:seeAlso """[] a owl:NamedIndividual ; +rdfs:label "Chemero and Turvey, 2007"@en ; +dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; +dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> .""" ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL RL sublanguage"@en ; + dcterms:title "OWL RL Profile compatible"@en ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Statement not supported"@en ; + dcterms:title "OWL QL Profile incompatible"@en ; + rdfs:seeAlso """<https://purl.org/hmas/transitivelyContains> a owl:ObjectProperty, +owl:TransitiveProperty ; +rdfs:label "transitively contains"@en, +"transitivelyContains"@en, +"contient transitivement"@fr ; +dc:source <https://github.com/HyperAgents/ns.hyperagents.org/issues/8#issuecomment-1025991719> ; +rdfs:comment "Links all the resources that are logically contained in a wo..."@en ; +rdfs:domain <https://purl.org/hmas/Workspace> ; +rdfs:isDefinedBy <https://purl.org/hmas/core> ; +rdfs:seeAlso <https://github.com/HyperAgents/ns.hyperagents.org/issues/18>, +<https://github.com/HyperAgents/ns.hyperagents.org/issues/39> ; +owl:inverseOf <https://purl.org/hmas/isTransitivelyContainedIn> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL EL Profile incompatible"@en ; + rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; +dc:references [ a owl:NamedIndividual ; +rdfs:label "Chemero and Turvey, 2007"@en ; +dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; +dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], +[ a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> ] ; +rdfs:isDefinedBy <https://purl.org/hmas/core> ; +skos:definition "A behavior possibility that is a relationship between an abi..."@en ; +skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; +skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; +skos:prefLabel "affordance"@en ; +skos:related <https://purl.org/hmas/Signifier> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Anonymous individuals are not supported"@en ; + dcterms:title "OWL QL Profile incompatible"@en ; + rdfs:seeAlso """<https://purl.org/hmas/Affordance> a skos:Concept ; +dc:references [ a owl:NamedIndividual ; +rdfs:label "Chemero and Turvey, 2007"@en ; +dc:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; +dc:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], +[ a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dc:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dc:identifier <https://mitpress.mit.edu/9780262640374/> ] ; +rdfs:isDefinedBy <https://purl.org/hmas/core> ; +skos:definition "A behavior possibility that is a relationship between an abi..."@en ; +skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; +skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; +skos:prefLabel "affordance"@en ; +skos:related <https://purl.org/hmas/Signifier> .""" ], [ a acimov-model-test:MinorFail ; dcterms:description "Statement not supported"@en ; dcterms:title "OWL EL Profile incompatible"@en ; rdfs:seeAlso """<https://purl.org/hmas/hasProfile> a owl:AsymmetricProperty, owl:ObjectProperty ; -rdfs:label "has profile"@en ; +rdfs:label "has for profile"@en, +"has profile"@en, +"a pour profil"@fr ; rdfs:comment "A relation that links a resource to its profile."@en ; rdfs:isDefinedBy <https://purl.org/hmas/core> ; rdfs:range <https://purl.org/hmas/ResourceProfile> ; -owl:inverseOf <https://purl.org/hmas/isProfileOf> .""" ], - [ a earl:Pass ; - dcterms:description "The subject is included in the OWL RL sublanguage"@en ; - dcterms:title "OWL RL Profile compatible"@en ], - [ a acimov-model-test:MinorFail ; - dcterms:description "Statement not supported"@en ; - dcterms:title "OWL QL Profile incompatible"@en ; - rdfs:seeAlso """<https://purl.org/hmas/transitivelyContains> a owl:ObjectProperty, -owl:TransitiveProperty ; -rdfs:label "transitivelyContains"@en ; -rdfs:comment "Links all the resources that are logically contained in a wo..."@en ; -rdfs:domain <https://purl.org/hmas/Workspace> ; -rdfs:isDefinedBy <https://purl.org/hmas/core> ; -owl:inverseOf <https://purl.org/hmas/isTransitivelyContainedIn> .""" ] ] ; - earl:subject _:manufacturing-environments-discover-core ; +owl:inverseOf <https://purl.org/hmas/isProfileOf> .""" ] ] ; + earl:subject _:core-manufacturing-environments-discover-core ; earl:test acimov-model-test:profile-compatibility . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; - dcterms:title "OWL RL consistent"@en ] ] ; - earl:subject _:logistics-create-organization ; - earl:test acimov-model-test:owl-rl-constraint . + dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; + dcterms:title "Terms differenciated enough"@en ] ] ; + earl:subject _:core-manufacturing-environments-discover-signifiers ; + earl:test acimov-model-test:terms-differenciation . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; @@ -2699,15 +2639,6 @@ owl:inverseOf <https://purl.org/hmas/isTransitivelyContainedIn> .""" ] ] ; earl:subject _:manufacturing-environments-discover-core ; earl:test acimov-model-test:labeled-terms . -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; - dcterms:title "OWL RL consistent"@en ] ] ; - earl:subject _:core-manufacturing-environments-discover-core ; - earl:test acimov-model-test:owl-rl-constraint . - [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; @@ -2728,28 +2659,16 @@ rdfs:comment "A relation that refers to the Agent involved in a Membership..."@e rdfs:domain :Membership ; rdfs:isDefinedBy :regulation ; rdfs:range :Agent .""" ] ] ; - earl:subject _:regulation-logistics-structure-organization ; + earl:subject _:regulation-logistics-create-organization ; earl:test acimov-model-test:terms-differenciation . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The following terms are too similar: :isMembershipOf and :isMembershipIn"@en ; - dcterms:title "Too close terms"@en ; - rdfs:seeAlso """:isMembershipIn a owl:ObjectProperty ; -rdfs:label "is membership in"@en, -"est l'appartenance à"@fr ; -rdfs:comment "A relation that refers to the Group involved in a Membership..."@en ; -rdfs:domain :Membership ; -rdfs:isDefinedBy :regulation .""", - """:isMembershipOf a owl:ObjectProperty ; -rdfs:label "is membership of"@en, -"est l'appartenance à"@fr ; -rdfs:comment "A relation that refers to the Agent involved in a Membership..."@en ; -rdfs:domain :Membership ; -rdfs:isDefinedBy :regulation .""" ] ] ; - earl:subject _:logistics-structure-organization ; + earl:outcome [ a earl:Pass ; + dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; + dcterms:title "Terms differenciated enough"@en ] ] ; + earl:subject _:core-manufacturing-environments-discover-core ; earl:test acimov-model-test:terms-differenciation . [] a earl:Assertion ; @@ -2758,7 +2677,7 @@ rdfs:isDefinedBy :regulation .""" ] ] ; earl:outcome [ a earl:Pass ; dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; dcterms:title "Terms differenciated enough"@en ] ] ; - earl:subject _:interaction-manufacturing-environments-discover-behavior-specifications ; + earl:subject _:core-manufacturing-environments-discover-organization ; earl:test acimov-model-test:terms-differenciation . [] a earl:Assertion ; @@ -2767,9 +2686,36 @@ rdfs:isDefinedBy :regulation .""" ] ] ; earl:outcome [ a earl:Pass ; dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; dcterms:title "OWL RL consistent"@en ] ] ; - earl:subject _:core-manufacturing-environments-discover-signifiers ; + earl:subject _:core-manufacturing-environments-discover-organization ; earl:test acimov-model-test:owl-rl-constraint . +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:Pass ; + dcterms:description "The subject is included in the OWL RL sublanguage"@en ; + dcterms:title "OWL RL Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL TC sublanguage"@en ; + dcterms:title "OWL TC Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL QL sublanguage"@en ; + dcterms:title "OWL QL Profile compatible"@en ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL EL sublanguage"@en ; + dcterms:title "OWL EL Profile compatible"@en ] ] ; + earl:subject _:logistics-structure-organization ; + earl:test acimov-model-test:profile-compatibility . + +[] a earl:Assertion ; + earl:assertedBy _:NicoRobertIn-actions ; + earl:result [ a earl:TestResult ; + earl:outcome [ a earl:NotTested ; + dcterms:description "The subject and its recursive imports must be syntaxically correct"@en ; + dcterms:title "The test could not be run"@en ] ] ; + earl:subject _:manufacturing-environments-safety-rules ; + earl:test acimov-model-test:labeled-terms . + [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; @@ -2789,53 +2735,16 @@ rdfs:label "is membership of"@en, rdfs:comment "A relation that refers to the Agent involved in a Membership..."@en ; rdfs:domain :Membership ; rdfs:isDefinedBy :regulation ; -rdfs:range :Agent .""" ] ] ; - earl:subject _:regulation-logistics-create-organization ; - earl:test acimov-model-test:terms-differenciation . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "Each rdfs:domain is defined within the fragment"@en ; - dcterms:title "Domains properly defined"@en ] ] ; - earl:subject _:interaction ; - earl:test acimov-model-test:domain-and-range-referencing . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "Each rdfs:domain is defined within the fragment"@en ; - dcterms:title "Domains properly defined"@en ] ] ; - earl:subject _:regulation ; - earl:test acimov-model-test:domain-and-range-referencing . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The term :Affordance has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:Affordance a skos:Concept ; -dct:references [ a owl:NamedIndividual ; -rdfs:label "Chemero and Turvey, 2007"@en ; -dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; -dct:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], -[ a owl:NamedIndividual ; -rdfs:label "Norman, 2013"@en ; -dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; -dct:identifier <https://mitpress.mit.edu/9780262640374/> ] ; -rdfs:isDefinedBy :core ; -skos:definition "A behavior possibility that is a relationship between an abi..."@en ; -skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; -skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; -skos:prefLabel "affordance"@en ; -skos:related :Signifier .""" ], +rdfs:range :Agent .""" ], [ a acimov-model-test:MinorFail ; - dcterms:description "The term :core has no rdfs:label to define it in natural language"@en ; - dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:core a owl:Ontology ; + dcterms:description "The following terms are too similar: :core and :Role"@en ; + dcterms:title "Too close terms"@en ; + rdfs:seeAlso """:Role a owl:Class ; +rdfs:label "role"@en, +"rôle"@fr ; +rdfs:comment "A Role defines positions of members (i.e., Agents) in an Org..."@en ; +rdfs:isDefinedBy :regulation .""", + """:core a owl:Ontology ; cc:license <https://creativecommons.org/licenses/by/4.0/> ; dct:contributor <http://maxime-lefrancois.info/me#>, <http://ns.inria.fr/fabien.gandon#me>, @@ -2853,93 +2762,124 @@ dct:issued "2021-11-21"^^xsd:date ; dct:title "Hypermedia MAS Core Ontology"@en, "Ontologie Centrale des SMA Hypermédias"@fr ; vann:preferredNamespacePrefix "hmas" ; -vann:preferredNamespaceUri : .""" ] ] ; - earl:subject _:core-manufacturing-environments-discover-core ; - earl:test acimov-model-test:labeled-terms . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:NotTested ; - dcterms:description "The subject syntax must be correct"@en ; - dcterms:title "The test could not be run"@en ] ] ; - earl:subject _:meta ; - earl:test acimov-model-test:term-referencing . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; - dcterms:title "Terms differenciated enough"@en ] ] ; - earl:subject _:fipa ; +vann:preferredNamespaceUri : .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "The following terms are too similar: :signifies and :Signifier"@en ; + dcterms:title "Too close terms"@en ; + rdfs:seeAlso """:Signifier a owl:Class ; +rdfs:label "Signifier"@en, +"signifier"@en, +"Signifiant"@fr, +"signifiant"@fr ; +rdfs:comment "A perceivable sign/cue that can be interpreted meaningfully ..."@en ; +rdfs:isDefinedBy :core ; +rdfs:seeAlso <https://github.com/HyperAgents/ns.hyperagents.org/issues/13#issuecomment-1028904491>, +<https://github.com/HyperAgents/ns.hyperagents.org/issues/41> ; +rdfs:subClassOf :Hostable ; +skos:note ":Signifier works as a bridge between the Core and the Intera..."@en ; +skos:related :Affordance, +:Signifier .""", + """:signifies a owl:ObjectProperty ; +rdfs:label "signifies"@en, +"signifie"@fr ; +rdfs:comment "A relation between a signifier and the specification of a be..."@en ; +rdfs:domain :Signifier ; +rdfs:isDefinedBy :interaction .""" ] ] ; + earl:subject _:all-fragments ; earl:test acimov-model-test:terms-differenciation . -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:NotTested ; - dcterms:description "The subject must be syntaxically correct"@en ; - dcterms:title "The test could not be run"@en ] ] ; - earl:subject _:meta ; - earl:test acimov-model-test:profile-compatibility . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "Each rdfs:range is defined within the fragment"@en ; - dcterms:title "Ranges properly defined"@en ] ] ; - earl:subject _:fipa ; - earl:test acimov-model-test:domain-and-range-referencing . - [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; dcterms:title "Any term is referenced"@en ] ] ; - earl:subject _:interaction ; + earl:subject _:core-manufacturing-environments-discover-signifiers ; earl:test acimov-model-test:term-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Any term is referenced"@en ] ] ; - earl:subject _:core-manufacturing-environments-discover-organization ; - earl:test acimov-model-test:term-referencing . + earl:outcome [ a earl:NotTested ; + dcterms:description "The syntax of the subject and any of its imports must be syntaxically correct"@en ; + dcterms:title "The test could not be run"@en ] ] ; + earl:subject _:manufacturing-environments-safety-rules ; + earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Any term is referenced"@en ] ] ; - earl:subject _:core-manufacturing-environments-discover-signifiers ; + earl:outcome [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :HTTPMessageTransportService not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:HTTPMessageTransportService a owl:Class ; +rdfs:label "HTTP Message Transport Service"@en ; +rdfs:comment "An HTTP-based message transport service that confirms to the..."@en ; +rdfs:subClassOf :MessageTransportService .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :AgentIdentifierDescription not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:AgentIdentifierDescription a owl:Class ; +rdfs:label "Agent Identifier Description"@en ; +rdfs:comment "A resource profile that describes an agent using the Agent I..."@en ; +rdfs:subClassOf <https://ci.mines-stetienne.fr/hmas#ResourceProfile> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :hasServiceType not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:hasServiceType a owl:ObjectProperty ; +rdfs:label "has Service Type"@en ; +rdfs:domain :APService .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :MessageTransportService not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:MessageTransportService a owl:Class ; +rdfs:label "Message Transport Service"@en ; +rdfs:comment "A service for transporting messages among agents that confor..."@en ; +rdfs:subClassOf :APService .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :hasServiceName not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:hasServiceName a owl:ObjectProperty ; +rdfs:label "has Service Name"@en ; +rdfs:domain :APService .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :FIPAAgentPlatform not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:FIPAAgentPlatform a owl:Class ; +rdfs:label "FIPA Agent Platform"@en ; +rdfs:comment "A platform that conforms to the FIPA Abstract Architecture S..."@en ; +rdfs:subClassOf <https://ci.mines-stetienne.fr/hmas#Platform> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :AgentPlatformDescription not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:AgentPlatformDescription a owl:Class ; +rdfs:label "Agent Platform Description"@en ; +rdfs:comment "A resource profile that descripe a FIPA Agent Platform using..."@en ; +rdfs:subClassOf <https://ci.mines-stetienne.fr/hmas#ResourceProfile> .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :IIOPMessageTransportService not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:IIOPMessageTransportService a owl:Class ; +rdfs:label "IIOP Message Transport Service"@en ; +rdfs:comment "An HTTP-based message transport service that confirms to the..."@en ; +rdfs:subClassOf :MessageTransportService .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Subject :APService not linked to a module by a rdfs:isDefinedBy property"@en ; + dcterms:title "Term not referenced to a module"@en ; + rdfs:seeAlso """:APService a owl:Class ; +rdfs:label "Agent Platform Service"@en ; +rdfs:comment "A service exposed by a FIPA Agent Platform as defined by the..."@en .""" ] ] ; + earl:subject _:all-modules ; earl:test acimov-model-test:term-referencing . -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MajorFail ; - dcterms:description "Undefined prefix: dcterms:source"@en ; - dcterms:title "Test subject has syntax errors"@en ], - [ a acimov-model-test:MajorFail ; - dcterms:description "Undefined prefix: doco:Glossary"@en ; - dcterms:title "Test subject has syntax errors"@en ] ] ; - earl:subject _:meta ; - earl:test acimov-model-test:syntax . - [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; - dcterms:title "Terms differenciated enough"@en ] ] ; + dcterms:description "Each rdfs:domain is defined within the fragment"@en ; + dcterms:title "Domains properly defined"@en ] ] ; earl:subject _:core-manufacturing-environments-discover-organization ; - earl:test acimov-model-test:terms-differenciation . + earl:test acimov-model-test:domain-and-range-referencing . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; @@ -2947,22 +2887,79 @@ vann:preferredNamespaceUri : .""" ] ] ; earl:outcome [ a earl:Pass ; dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; dcterms:title "OWL RL consistent"@en ] ] ; - earl:subject _:regulation ; + earl:subject _:all-modules ; earl:test acimov-model-test:owl-rl-constraint . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a earl:Pass ; - dcterms:description "All the terms have have a satisfying Levenshtein distance from each other term."@en ; - dcterms:title "Terms differenciated enough"@en ] ] ; - earl:subject _:interaction ; - earl:test acimov-model-test:terms-differenciation . + dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; + dcterms:title "OWL RL consistent"@en ] ] ; + earl:subject _:logistics-structure-organization ; + earl:test acimov-model-test:owl-rl-constraint . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a acimov-model-test:MinorFail ; + dcterms:description "The term :interaction has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:interaction a owl:Ontology ; +cc:license <https://creativecommons.org/licenses/by/4.0/> ; +dct:contributor <http://ns.inria.fr/fabien.gandon#me>, +<https://pod.inrupt.com/andreiciortea/profile/card#me>, +<https://pod.inrupt.com/smnmyr/profile/card#me> ; +dct:creator <https://danaivach.inrupt.net/profile/card#me> ; +dct:description "An ontology to describe interaction in Hypermedia Multi-Agen..."@en, +"L'ontologie pour décrire l'interaction dans les systèmes mul..."@fr ; +dct:issued "2023-01-13"^^xsd:date ; +dct:title "Hypermedia MAS Interaction Ontology"@en, +"Ontologie d'Interaction des SMA Hypermédias"@fr ; +vann:preferredNamespacePrefix "hmas" ; +vann:preferredNamespaceUri : ; +owl:imports :core .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "The term :core has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:core a owl:Ontology ; +cc:license <https://creativecommons.org/licenses/by/4.0/> ; +dct:contributor <http://maxime-lefrancois.info/me#>, +<http://ns.inria.fr/fabien.gandon#me>, +<http://w3id.org/people/az/me>, +<https://danaivach.inrupt.net/profile/card#me>, +<https://id.inrupt.com/smnmyr>, +<https://orcid.org/0000-0002-2956-0533>, +<https://orcid.org/0000-0002-4506-2745>, +<https://orcid.org/0000-0003-0821-6095>, +<https://www.vcharpenay.link/#me> ; +dct:creator <https://id.inrupt.com/andreiciortea> ; +dct:description "An ontology to describe Hypermedia Multi-Agent Systems."@en, +"Une ontologie pour la description de systèmes multi-agents h..."@fr ; +dct:issued "2021-11-21"^^xsd:date ; +dct:title "Hypermedia MAS Core Ontology"@en, +"Ontologie Centrale des SMA Hypermédias"@fr ; +vann:preferredNamespacePrefix "hmas" ; +vann:preferredNamespaceUri : .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "The term :Affordance has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:Affordance a skos:Concept ; +dct:references [ a owl:NamedIndividual ; +rdfs:label "Chemero and Turvey, 2007"@en ; +dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; +dct:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], +[ a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dct:identifier <https://mitpress.mit.edu/9780262640374/> ] ; +rdfs:isDefinedBy :core ; +skos:definition "A behavior possibility that is a relationship between an abi..."@en ; +skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; +skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; +skos:prefLabel "affordance"@en ; +skos:related :Signifier .""" ], + [ a acimov-model-test:MinorFail ; dcterms:description "The term :regulation has no rdfs:label to define it in natural language"@en ; dcterms:title "Terms not labeled"@en ; rdfs:seeAlso """:regulation a owl:Ontology ; @@ -2982,91 +2979,94 @@ dct:title "Hypermedia MAS Regulation Ontology"@en, "Ontologie de Régulation des SMA Hypermédias"@fr ; vann:preferredNamespacePrefix "hmas" ; vann:preferredNamespaceUri : ; +owl:imports :core .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "The term :fipa has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:fipa a owl:Ontology ; +vann:preferredNamespacePrefix "hmas" ; +vann:preferredNamespaceUri : ; owl:imports :core .""" ] ] ; - earl:subject _:regulation-logistics-structure-organization ; + earl:subject _:all-modules ; earl:test acimov-model-test:labeled-terms . -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; - dcterms:title "OWL RL consistent"@en ] ] ; - earl:subject _:manufacturing-environments-discover-core ; - earl:test acimov-model-test:owl-rl-constraint . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "The provided graph is consistent for any OWL RL constraint"@en ; - dcterms:title "OWL RL consistent"@en ] ] ; - earl:subject _:core-manufacturing-environments-discover-platforms ; - earl:test acimov-model-test:owl-rl-constraint . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:Pass ; - dcterms:description "Each term of the test subject is linked to a module by a rdfs:isDefinedBy property"@en ; - dcterms:title "Any term is referenced"@en ] ] ; - earl:subject _:manufacturing-environments-discover-organization ; - earl:test acimov-model-test:term-referencing . - -[] a earl:Assertion ; - earl:assertedBy _:NicoRobertIn-actions ; - earl:result [ a earl:TestResult ; - earl:outcome [ a earl:NotTested ; - dcterms:description "The subject must be syntaxically correct"@en ; - dcterms:title "The test could not be run"@en ] ] ; - earl:subject _:manufacturing-environments-safety-rules ; - earl:test acimov-model-test:profile-compatibility . - [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The term :interaction has no rdfs:label to define it in natural language"@en ; + dcterms:description "The term :core has no rdfs:label to define it in natural language"@en ; dcterms:title "Terms not labeled"@en ; - rdfs:seeAlso """:interaction a owl:Ontology ; + rdfs:seeAlso """:core a owl:Ontology ; cc:license <https://creativecommons.org/licenses/by/4.0/> ; -dct:contributor <http://ns.inria.fr/fabien.gandon#me>, -<https://pod.inrupt.com/andreiciortea/profile/card#me>, -<https://pod.inrupt.com/smnmyr/profile/card#me> ; -dct:creator <https://danaivach.inrupt.net/profile/card#me> ; -dct:description "An ontology to describe interaction in Hypermedia Multi-Agen..."@en, -"L'ontologie pour décrire l'interaction dans les systèmes mul..."@fr ; -dct:issued "2023-01-13"^^xsd:date ; -dct:title "Hypermedia MAS Interaction Ontology"@en, -"Ontologie d'Interaction des SMA Hypermédias"@fr ; +dct:contributor <http://maxime-lefrancois.info/me#>, +<http://ns.inria.fr/fabien.gandon#me>, +<http://w3id.org/people/az/me>, +<https://danaivach.inrupt.net/profile/card#me>, +<https://id.inrupt.com/smnmyr>, +<https://orcid.org/0000-0002-2956-0533>, +<https://orcid.org/0000-0002-4506-2745>, +<https://orcid.org/0000-0003-0821-6095>, +<https://www.vcharpenay.link/#me> ; +dct:creator <https://id.inrupt.com/andreiciortea> ; +dct:description "An ontology to describe Hypermedia Multi-Agent Systems."@en, +"Une ontologie pour la description de systèmes multi-agents h..."@fr ; +dct:issued "2021-11-21"^^xsd:date ; +dct:title "Hypermedia MAS Core Ontology"@en, +"Ontologie Centrale des SMA Hypermédias"@fr ; vann:preferredNamespacePrefix "hmas" ; -vann:preferredNamespaceUri : ; -owl:imports :core .""" ] ] ; - earl:subject _:interaction ; +vann:preferredNamespaceUri : .""" ], + [ a acimov-model-test:MinorFail ; + dcterms:description "The term :Affordance has no rdfs:label to define it in natural language"@en ; + dcterms:title "Terms not labeled"@en ; + rdfs:seeAlso """:Affordance a skos:Concept ; +dct:references [ a owl:NamedIndividual ; +rdfs:label "Chemero and Turvey, 2007"@en ; +dct:bibliographicCitation "Chemero, A., & Turvey, M. T. (2007). Complexity, hypersets, ..."@en ; +dct:identifier <https://doi.org/10.1162/biot.2007.2.1.23> ], +[ a owl:NamedIndividual ; +rdfs:label "Norman, 2013"@en ; +dct:bibliographicCitation "Norman, D. (2013). The design of everyday things: Revised an..."@en ; +dct:identifier <https://mitpress.mit.edu/9780262640374/> ] ; +rdfs:isDefinedBy :core ; +skos:definition "A behavior possibility that is a relationship between an abi..."@en ; +skos:editorialNote "The concept has been considered as a candidate term for repr..."@en ; +skos:historyNote "The definition of the concept follows affordance theorists [..."@en ; +skos:prefLabel "affordance"@en ; +skos:related :Signifier .""" ] ] ; + earl:subject _:core-manufacturing-environments-discover-platforms ; earl:test acimov-model-test:labeled-terms . [] a earl:Assertion ; earl:assertedBy _:NicoRobertIn-actions ; earl:result [ a earl:TestResult ; - earl:outcome [ a acimov-model-test:MinorFail ; - dcterms:description "The following terms are too similar: :isMembershipOf and :isMembershipIn"@en ; - dcterms:title "Too close terms"@en ; - rdfs:seeAlso """:isMembershipIn a owl:ObjectProperty ; -rdfs:label "is membership in"@en, -"est l'appartenance à"@fr ; -rdfs:comment "A relation that refers to the Group involved in a Membership..."@en ; -rdfs:domain :Membership ; -rdfs:isDefinedBy :regulation ; -rdfs:range :Group .""", - """:isMembershipOf a owl:ObjectProperty ; -rdfs:label "is membership of"@en, -"est l'appartenance à"@fr ; -rdfs:comment "A relation that refers to the Agent involved in a Membership..."@en ; -rdfs:domain :Membership ; -rdfs:isDefinedBy :regulation ; -rdfs:range :Agent .""" ] ] ; - earl:subject _:regulation ; - earl:test acimov-model-test:terms-differenciation . + earl:outcome [ a earl:Pass ; + dcterms:description "The subject is included in the OWL TC sublanguage"@en ; + dcterms:title "OWL TC Profile compatible"@en ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Statement not supported"@en ; + dcterms:title "OWL EL Profile incompatible"@en ; + rdfs:seeAlso """<https://purl.org/hmas/hasProfile> a owl:AsymmetricProperty, +owl:ObjectProperty ; +rdfs:label "has profile"@en ; +rdfs:comment "A relation that links a resource to its profile."@en ; +rdfs:isDefinedBy <https://purl.org/hmas/core> ; +rdfs:range <https://purl.org/hmas/ResourceProfile> ; +owl:inverseOf <https://purl.org/hmas/isProfileOf> .""" ], + [ a earl:Pass ; + dcterms:description "The subject is included in the OWL RL sublanguage"@en ; + dcterms:title "OWL RL Profile compatible"@en ], + [ a acimov-model-test:MinorFail ; + dcterms:description "Statement not supported"@en ; + dcterms:title "OWL QL Profile incompatible"@en ; + rdfs:seeAlso """<https://purl.org/hmas/transitivelyContains> a owl:ObjectProperty, +owl:TransitiveProperty ; +rdfs:label "transitivelyContains"@en ; +rdfs:comment "Links all the resources that are logically contained in a wo..."@en ; +rdfs:domain <https://purl.org/hmas/Workspace> ; +rdfs:isDefinedBy <https://purl.org/hmas/core> ; +owl:inverseOf <https://purl.org/hmas/isTransitivelyContainedIn> .""" ] ] ; + earl:subject _:manufacturing-environments-discover-core ; + earl:test acimov-model-test:profile-compatibility . _:NicoRobertIn a foaf:Person ; schema:mainEntityOfPage . @@ -3203,7 +3203,7 @@ _:meta a earl:TestSubject ; dcterms:title "Standalone module src/meta.ttl from branch primer"@en . _:NicoRobertIn-actions a foaf:OnlineAccount ; - dcterms:date "2024-06-04T15:16:44.735686"^^xsd:dateTime ; + dcterms:date "2024-06-04T15:29:54.802733"^^xsd:dateTime ; dcterms:description "Test triggered by @NicoRobertIn by actions trigger"@en ; dcterms:title "NicoRobertIn using actions script"@en ; foaf:member ;