182 uc manufacturing

.acimov/parameters.json

@@ -0,0 +1,9 @@
+{
+    "ontology_url": "https://purl.org/hmas/",
+    "term_distance_threshold": 3,
+    "blocking_errors": [
+        "syntax-error",
+        "owl-rl-constraint-violation"
+    ],
+    "gist_index": "8c53b62989486f3212758420b7008379"
+}

.gitignore

@@ -1,2 +1,4 @@
 public
 .venv
+*.jar
+.acimov/output/*

README.md

@@ -1,117 +1,71 @@
+![Pass Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/8c53b62989486f3212758420b7008379/raw/heads_182-uc-manufacturing_PASS.json)
+![NotTested Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/8c53b62989486f3212758420b7008379/raw/heads_182-uc-manufacturing_NOTTESTED.json)
+![CannotTell Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/8c53b62989486f3212758420b7008379/raw/heads_182-uc-manufacturing_CANNOTTELL.json)
+![MinorFail Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/8c53b62989486f3212758420b7008379/raw/heads_182-uc-manufacturing_MINORFAIL.json)
+![MajorFail Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/8c53b62989486f3212758420b7008379/raw/heads_182-uc-manufacturing_MAJORFAIL.json)
+
+![OWL EL Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/8c53b62989486f3212758420b7008379/raw/heads_182-uc-manufacturing_EL.json)
+![OWL QL Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/8c53b62989486f3212758420b7008379/raw/heads_182-uc-manufacturing_QL.json)
+![OWL RL Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/8c53b62989486f3212758420b7008379/raw/heads_182-uc-manufacturing_RL.json)
+
 # Hyperagent ontology git space
-
 [HyperAgents](https://www.hyperagents.org/) is an ANR/SNF project working towards the deployment of world-wide hybrid communities of people and artificial agents on the Web. For this purpose, we are defining a new class of multi-agent systems (MAS) that are: 
-
 1) aligned with the Web architecture to inherit the properties of the Web as a world-wide, open, and long-lived system ; 
-
 2) transparent and accountable to support acceptance by people. 
-
 Our systems use semantic hypermedia to enable uniform interaction among heterogeneous entities in MAS: people, artificial agents, devices, digital serivces, knowledge repositories, etc. We refer to this new class of Web-based MAS as Hypermedia MAS.
 To undertake this investigation, HyperAgents brings together internationally recognized researchers actively contributing to research on autonomous agents and MAS, the Web architecture and the Web of Things, Semantic Web and Linked Data, and to the standardization of the Web.
-
-
 ![view of the ontology](https://github.com/HyperAgents/ns.hyperagents.org/blob/master/resources/hmas-webvowl-v2.jpg)
-
-
 ## I - General information
-
 This git repository contains the methodology and results of the ontology modelling activity of the [HyperAgent project](https://www.hyperagents.org/).
 The root of the repository contains three introductory files respectively describing the code of conduct, the process for contributing and the method followed for designing this ontology.
-
 ## II - Guide and standardistaiion
-
 ### 1) How to use the ontology
-
 The file [current ontology](https://github.com/HyperAgents/ns.hyperagents.org/blob/master/MODELING-ONTOLOGIES.md) describes :
 * the different features of the project
 * how to use in practice the ontology
-
-
 ### 2) How to contribute to HyperAgent
-
 If you want to contribute, please follow the [contributing file](https://github.com/HyperAgents/ns.hyperagents.org/blob/master/CONTRIBUTING.md).
-
-
 ## III - Versions
-
-
-
 List of the latest versions : 
 * V1 - (15/04/22) - [Core ontology](https://github.com/HyperAgents/ns.hyperagents.org/milestone/1?closed=1) 
-
-
 ## IV - Authors
-
-
 * [Fabien Gandon](http://fabien.info/)
-
   email : fabien.gandon@inria.fr 
 
   affiliation : [INRIA](https://inria.fr/) 
-
-
-
 * [Chistopher Leturc](https://emse.fr/~leturc/) 
-
   email : christopher.leturc@inria.fr
 
   affiliation :  [INRIA](https://inria.fr/) 
-
-
 * [Maxime Lefrançois](http://maxime-lefrancois.info/me#) 
 
   email : maxime.lefrancois@emse.fr 
 
   affiliation : [EMSE](https://www.mines-stetienne.fr/) 
-
-
 * [Andrei Ciortea](http://iri.for/andrei) 
-
   email : andrei.ciortea@unisg.ch 
 
   affiliation : [UNISG](https://www.unisg.ch/en)  
-
-
 * [Olivier Boissier](https://www.emse.fr/~boissier/) 
-
   email : "olivier.boissier@emse.fr" 
 
   affiliation : [EMSE](https://mines-stetienne.fr) 
 
-
 * [Danai Vachtsevanou](https://danaivach.inrupt.net/profile/card#me)
-
   email : danai.vachtsevanou@unisg.ch 
 
   affiliation : [UNISG](https://www.unisg.ch/en) 
-
 * [Luis Gustavo Nardin](https://www.emse.fr/~gardin/) 
-
   email : "gnardin@emse.fr" 
 
   affiliation : [EMSE](https://mines-stetienne.fr) 
-
 ## V - Licence
-
-
 ## Acknowledgments
-
 We thank INRIA/UNISG/EMSE for supporting and hosting this project.
-
-
 ## Ideas for the README
-
 Section :  Getting started ?
-
 Subsection: Prerequisites ?
-
 Subsection : Installing the project and dependencies ?
-
 Subsection : Running the project ?
-
-
-
 ## References
-
-
 * https://2associes.com/readme-sa-structure-et-son-contenu/

src/alignment/interaction-td.ttl

@@ -10,6 +10,7 @@
 @prefix dct: <http://purl.org/dc/terms/> .
 @prefix td: <https://www.w3.org/2019/wot/td#> .
 @prefix sh: <http://www.w3.org/ns/shacl#> .
+@prefix hctl: <https://www.w3.org/2019/wot/hypermedia#> .
 
 #################################################################
 #    Ontology alignement between the Interaction Module and
@@ -37,3 +38,77 @@ td:InteractionAffordance
 #td:PropertyAffordance rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sh:class ; owl:hasValue :ActionExecution ] .
 #td:ActionAffordance rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sh:class ; owl:hasValue :ActionExecution ] .
 #td:EventAffordance rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sh:class ; owl:hasValue :ActionExecution ] .
+
+#############################################################
+# Universals
+#############################################################
+
+:null a xsd:simpleType ;
+    rdfs:isDefinedBy :interaction ;
+    rdfs:comment "The null type"@en .
+
+:nullValue a :null ;
+    rdfs:isDefinedBy :interaction .
+
+:InvokeAction a sh:PropertyShape ;
+    rdfs:isDefinedBy :interaction-td ;
+    sh:path hctl:hasOperationType ;
+    sh:minCount 1 ;
+    sh:maxCount 1 ;
+    sh:hasValue td:invokeAction .
+
+:ReadProperty a sh:PropertyShape ;
+    rdfs:isDefinedBy :interaction-td ;
+    sh:path hctl:hasOperationType ;
+    sh:minCount 1 ;
+    sh:maxCount 1 ;
+    sh:hasValue td:readProperty .
+
+:WriteProperty a sh:PropertyShape ;
+    rdfs:isDefinedBy :interaction-td ;
+    sh:path hctl:hasOperationType ;
+    sh:minCount 1 ;
+    sh:maxCount 1 ;
+    sh:hasValue td:writeProperty .
+
+:ObserveProperty a sh:PropertyShape ;
+    rdfs:isDefinedBy :interaction-td ;
+    sh:path hctl:hasOperationType ;
+    sh:minCount 1 ;
+    sh:maxCount 1 ;
+    sh:hasValue td:observeProperty .
+
+:UnobserveProperty a sh:PropertyShape ;
+    rdfs:isDefinedBy :interaction-td ;
+    sh:path hctl:hasOperationType ;
+    sh:minCount 1 ;
+    sh:maxCount 1 ;
+    sh:hasValue td:unobserveProperty .
+
+:QueryAction a sh:PropertyShape ;
+    rdfs:isDefinedBy :interaction-td ;
+    sh:path hctl:hasOperationType ;
+    sh:minCount 1 ;
+    sh:maxCount 1 ;
+    sh:hasValue td:queryAction .
+
+:CancelAction a sh:PropertyShape ;
+    rdfs:isDefinedBy :interaction-td ;
+    sh:path hctl:hasOperationType ;
+    sh:minCount 1 ;
+    sh:maxCount 1 ;
+    sh:hasValue td:cancelAction .
+
+:SubscribeEvent a sh:PropertyShape ;
+    rdfs:isDefinedBy :interaction-td ;
+    sh:path hctl:hasOperationType ;
+    sh:minCount 1 ;
+    sh:maxCount 1 ;
+    sh:hasValue td:subscribeEvent .
+
+:UnsubscribeEvent a sh:PropertyShape ;
+    rdfs:isDefinedBy :interaction-td ;
+    sh:path hctl:hasOperationType ;
+    sh:minCount 1 ;
+    sh:maxCount 1 ;
+    sh:hasValue td:unsubscribeEvent .

src/core.ttl

@@ -10,6 +10,7 @@
 @prefix schema: <http://schema.org/>.
 @prefix dct: <http://purl.org/dc/terms/>.
 @prefix skos: <http://www.w3.org/2004/02/skos/core#>.
+@prefix sh: <http://www.w3.org/ns/shacl#> .
 
 
 #################################################################
@@ -345,6 +346,10 @@ _:norman2013 a owl:NamedIndividual ;
           rdfs:domain :ResourceProfile ;
           rdfs:range :Signifier ;
           owl:inverseOf :isExposedIn ;
+          owl:propertyChainAxiom (
+            :exposeSignifiersFrom
+            :proposesSignifier
+          ) ;
           rdfs:comment "A relation between a resource profile and a signifier it exposes."@en ; 
           rdfs:label "exposes signifier"@en, "expose le signifiant"@fr ;
           dct:source <https://github.com/HyperAgents/ns.hyperagents.org/issues/13#issuecomment-1029349488> ;
@@ -364,9 +369,31 @@ _:norman2013 a owl:NamedIndividual ;
           rdfs:comment "A relation between an Artifact and an Organization it belongs to."@en ;
           rdfs:label "is material of"@en .
 
+:SignifiersCatalog a owl:Class ;
+    rdfs:isDefinedBy :core ;
+    rdfs:label "Catalog"@en, "Catalogue"@en ;
+    rdfs:comment "A catalogue of signifiers reusable from a resource profile" .
 
+:proposesSignifier a owl:ObjectProperty ;
+    rdfs:isDefinedBy :core ;
+    rdfs:domain :SignifiersCatalog ;
+    rdfs:range :Signifier ;
+    rdfs:label "proposes signifiers"@en , "propose les signifiants"@fr ;
+    rdfs:comment "A relation between a catalog and signifiers it contains"@en .
 
+:exposeSignifiersFrom a owl:ObjectProperty ;
+    rdfs:isDefinedBy :core ;
+    rdfs:domain :ResourceProfile ;
+    rdfs:range :SignifiersCatalog ;
+    rdfs:label "exposes signifiers from"@en , "expose les signifiants depuis"@fr ;
+    rdfs:comment "A relation beween a resource profile and signifiers it exposes from a catalog"@en .
 
+:globalSpecification a owl:ObjectProperty ;
+    rdfs:isDefinedBy :core ;
+    rdfs:label "has global specification"@en ;
+    rdfs:comment "A relation between a resource profile and additional specifications for the data involved in any Action Execution targeting a signifier from this resource profile"@en ;
+    rdfs:domain :ResourceProfile ;
+    rdfs:range sh:NodeShape .
 
 #### 
 # Notions of HOME saved for later