Skip to content
Snippets Groups Projects
Commit 8c1ae688 authored by Aurélien Lamercerie's avatar Aurélien Lamercerie
Browse files

Merge Master and Qivalio POC

parents c57adbbf 8dc555f9
No related branches found
No related tags found
No related merge requests found
......@@ -5,19 +5,29 @@ All notable changes to this project will be documented in this file.
-------------------------------------------------------------------------------
## [0.2.0] - 2021-09-28
## [0.2.0] - 2021-10-19 DGA Demo 1
### Added
- CTS to define URIs in net objects (net: Object)
- Generic CTS to generate atom classes and instances
- Generic CTS to create mod list nets
- Generic CTS to generate relation properties
### Changed
- Fusion of CTS for atom elements (entity, feature, verb, ...)
- Addition of seeds in system ontology
- Abandonment of parameter ontology for frame ontologies
- Shapes refactoring (preprocessing rules to dispatch shaclRule)
- Update CTS to improve composition of atom and list
### Fix
- Fix bug in state property generation
- Patch for DGA demo in generation shapes
-------------------------------------------------------------------------------
## [0.1.3] - 2021-09-17 Demo CS 2
## [0.1.3] - 2021-09-17 CS Demo 2
### Added
- Relation between classes/instances and requirements
......@@ -29,7 +39,7 @@ All notable changes to this project will be documented in this file.
- Order of CTS (Compositional Transduction Schemes)
## [0.1.2] - 2021-09-08 Demo CS 1
## [0.1.2] - 2021-09-08 CS Demo 1
### Added
- Transduction Schemes to extract Entity classes and instances
......
......@@ -95,11 +95,6 @@ net:featureClass
rdfs:label "feature class" ;
rdfs:subPropertyOf net:objectValue ;
.
net:has_actor
rdf:type rdf:Property ;
rdfs:label "has actor" ;
rdfs:subPropertyOf net:has_atom ;
.
net:has_atom
rdf:type rdf:Property ;
rdfs:label "has atom" ;
......@@ -150,6 +145,11 @@ net:has_mother_class
rdfs:label "has mother class" ;
rdfs:subPropertyOf net:objectValue ;
.
net:has_mother_class_uri
rdf:type rdf:Property ;
rdfs:label "parent class uri" ;
rdfs:subPropertyOf net:objectValue ;
.
net:has_node
rdf:type rdf:Property ;
rdfs:label "UNL Node" ;
......@@ -185,6 +185,21 @@ net:has_possible_range
rdfs:label "has possible range" ;
rdfs:subPropertyOf net:has_object ;
.
net:has_relation
rdf:type rdf:Property ;
rdfs:label "has relation" ;
rdfs:subPropertyOf net:has_relation_value ;
.
net:has_relation_value
rdf:type rdf:Property ;
rdfs:label "has relation value" ;
rdfs:subPropertyOf net:has_object ;
.
net:has_source
rdf:type rdf:Property ;
rdfs:label "has source" ;
rdfs:subPropertyOf net:has_relation_value ;
.
net:has_structure
rdf:type rdf:Property ;
rdfs:label "Linguistic Structure (in UNL Document)" ;
......@@ -193,12 +208,7 @@ net:has_structure
net:has_target
rdf:type rdf:Property ;
rdfs:label "has target" ;
rdfs:subPropertyOf net:has_atom ;
.
net:has_verb
rdf:type rdf:Property ;
rdfs:label "has verb" ;
rdfs:subPropertyOf net:has_atom ;
rdfs:subPropertyOf net:has_relation_value ;
.
net:list
rdf:type owl:Class ;
......@@ -248,6 +258,16 @@ net:objectValue
rdfs:label "valuations"@fr ;
rdfs:subPropertyOf net:objectProperty ;
.
net:relation
rdf:type owl:Class ;
rdfs:label "relation" ;
rdfs:subClassOf net:Type ;
.
net:relationOf
rdf:type rdf:Property ;
rdfs:label "relation of" ;
rdfs:subPropertyOf net:typeProperty ;
.
net:state_property
rdf:type owl:Class ;
rdfs:label "stateProperty" ;
......
This diff is collapsed.
......@@ -13,6 +13,7 @@
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sys-relation: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/relation/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology>
......@@ -25,6 +26,11 @@ sys:Climate_Policy
rdfs:subClassOf sys:Structure ;
sys:is_class "Climate_Policy" ;
.
sys:Annotation
rdf:type rdf:Property ;
rdfs:label "structure property" ;
rdfs:subPropertyOf sys:Property ;
.
sys:Environmental_Actor
rdf:type owl:Class ;
rdfs:label "physical"@en ;
......@@ -47,6 +53,27 @@ sys:Impact
rdfs:subClassOf sys:Structure ;
sys:is_class "Impact" ;
.
sys:ObjectProperty
rdf:type rdf:Property ;
rdfs:label "Object Property" ;
rdfs:subPropertyOf sys:Property ;
.
sys:Property
rdf:type rdf:Property ;
rdfs:label "Property" ;
sys:has_reference "property" ;
.
sys:Relation
rdf:type rdf:Property ;
rdfs:label "system property" ;
rdfs:subPropertyOf sys:Property ;
sys:has_frame_uri "https://unsel.tetras-libre.fr/tenet/frame/system-ontology/relation/" ;
.
sys:Seed
rdf:type rdf:Property ;
rdfs:label "seed property" ;
rdfs:subPropertyOf sys:Property ;
.
sys:Physical
rdf:type owl:Class ;
rdfs:label "physical"@en ;
......@@ -58,6 +85,7 @@ sys:Structure
rdf:type owl:Class ;
rdfs:label "System Ontology Structure" ;
sys:has_frame_uri "https://unsel.tetras-libre.fr/tenet/frame/system-ontology/" ;
sys:has_reference "class" ;
.
sys:Verb
rdf:type owl:Class ;
......@@ -65,6 +93,23 @@ sys:Verb
rdfs:subClassOf sys:Structure ;
sys:is_class "Verb" ;
.
sys:abstract_thing
rdf:type owl:Class ;
rdfs:label "abstract thing"@en ;
rdfs:label "élément abstrait"@fr ;
rdfs:subClassOf sys:Abstraction ;
sys:has_mother_class sys:Abstraction ;
sys:has_restriction "icl>abstract_thing" ;
sys:is_class "abstract_thing" ;
.
sys:action
rdf:type rdf:Property ;
rdfs:label "action" ;
rdfs:subPropertyOf sys:Relation ;
sys:has_mother_property sys:action ;
sys:has_reference "action" ;
sys:has_restriction_on_class sys:action_verb ;
.
sys:action_verb
rdf:type owl:Class ;
rdfs:label "action verb" ;
......@@ -121,22 +166,17 @@ sys:consumption
sys:entityClassProperty
rdf:type rdf:Property ;
rdfs:label "entity property" ;
rdfs:subPropertyOf sys:classProperty ;
rdfs:subPropertyOf sys:ObjectProperty ;
.
sys:eventClassProperty
rdf:type rdf:Property ;
rdfs:label "event property" ;
rdfs:subPropertyOf sys:classProperty ;
.
sys:eventObjectProperty
rdf:type rdf:Property ;
rdfs:label "event object property" ;
rdfs:subPropertyOf sys:objectProperty ;
rdfs:subPropertyOf sys:ObjectProperty ;
.
sys:from_structure
rdf:type rdf:Property ;
rdfs:label "from structure" ;
rdfs:subPropertyOf sys:classProperty ;
rdfs:subPropertyOf sys:ObjectProperty ;
.
sys:green_capex
rdf:type owl:Class ;
......@@ -159,36 +199,58 @@ sys:has_feature
sys:has_frame_base_uri
rdf:type rdf:Property ;
rdfs:label "has frame base uri" ;
rdfs:subPropertyOf sys:seedProperty ;
rdfs:subPropertyOf sys:Seed ;
sys:has_frame_base_uri "https://unsel.tetras-libre.fr/tenet/frame/system-ontology/" ;
.
sys:has_frame_uri
rdf:type rdf:Property ;
rdfs:label "has frame uri" ;
rdfs:subPropertyOf sys:structureProperty ;
rdfs:subPropertyOf sys:Annotation ;
.
sys:has_mother_class
rdf:type rdf:Property ;
rdfs:label "has mother class" ;
rdfs:range owl:Thing ;
rdfs:subPropertyOf sys:seedProperty ;
sys:has_mother_class "Entity" ;
sys:has_restriction "icl>administrator" ;
sys:has_restriction "icl>operator" ;
sys:has_restriction "icl>person" ;
sys:is_class "agent" ;
rdfs:subPropertyOf sys:Seed ;
.
sys:has_mother_property
rdf:type rdf:Property ;
rdfs:label "has mother property" ;
rdfs:range rdf:Property ;
rdfs:subPropertyOf sys:Seed ;
.
sys:has_object_property
rdf:type rdf:Property ;
rdfs:label "has object property" ;
rdfs:subPropertyOf sys:seedProperty ;
rdfs:subPropertyOf sys:Seed ;
sys:has_object_property "eventObjectProperty" ;
sys:is_class "Event" ;
.
sys:has_reference
rdf:type rdf:Property ;
rdfs:label "is property" ;
rdfs:subPropertyOf sys:Seed ;
.
sys:has_restriction
rdf:type rdf:Property ;
rdfs:label "has restriction" ;
rdfs:subPropertyOf sys:seedProperty ;
rdfs:subPropertyOf sys:Seed ;
.
sys:has_restriction_on_class
rdf:type rdf:Property ;
rdfs:label "has restriction on class" ;
rdfs:range owl:Thing ;
rdfs:subPropertyOf sys:Seed ;
.
sys:has_restriction_on_unl_relation_source
rdf:type rdf:Property ;
rdfs:label "has restriction on unl relation source" ;
rdfs:subPropertyOf sys:Seed ;
.
sys:has_restriction_on_unl_relation_target
rdf:type rdf:Property ;
rdfs:label "has restriction on unl relation target" ;
rdfs:subPropertyOf sys:Seed ;
.
sys:has_target
rdf:type rdf:Property ;
......@@ -203,9 +265,7 @@ sys:has_verb
sys:is_class
rdf:type rdf:Property ;
rdfs:label "is class" ;
rdfs:subPropertyOf sys:seedProperty ;
sys:has_object_property "statePropertyObjectProperty" ;
sys:is_class "State_Property" ;
rdfs:subPropertyOf sys:Seed ;
.
sys:matter
rdf:type owl:Class ;
......@@ -229,23 +289,18 @@ sys:phenomenon
sys:has_restriction "icl>physical_phenomenon" ;
sys:is_class "place" ;
.
sys:seedProperty
rdf:type rdf:Property ;
rdfs:label "seed property" ;
.
sys:statePropertyObjectProperty
rdf:type rdf:Property ;
rdfs:label "state property object property" ;
rdfs:subPropertyOf sys:objectProperty ;
.
sys:structureProperty
sys:stateProperty
rdf:type rdf:Property ;
rdfs:label "structure property" ;
rdfs:label "state property" ;
rdfs:subPropertyOf sys:Relation ;
sys:has_mother_property sys:stateProperty ;
sys:has_reference "stateProperty" ;
sys:has_restriction_on_class sys:attributive_verb ;
.
sys:verbClassProperty
rdf:type rdf:Property ;
rdfs:label "verb property" ;
rdfs:subPropertyOf sys:classProperty ;
rdfs:subPropertyOf sys:ObjectProperty ;
.
sys:verbType
rdf:type rdf:Property ;
......
......@@ -34,15 +34,13 @@ schema_file = "unl-rdf-schema.ttl"
semantic_net_file = "semantic-net.ttl"
cts_file = "transduction-schemes.ttl"
c_param_file = "config-parameters.ttl"
# -- old --- req_onto_file = "requirement" + ONTO_FILE
# -- old --- sys_onto_file = "system" + ONTO_FILE
# -- old --- f_param_file = "ontology-parameters.ttl"
# Dev Tests
base_uri = "https://unsel.tetras-libre.fr/tenet/working"
req_100 = "CCTP-SRSA-IP-20210831-R100/"
req_200 = "CCTP-SRSA-IP-20210831-R200/"
req_300 = "CCTP-SRSA-IP-20210831-R300/"
req_1100 = "CCTP-SRSA-IP-20210831-R1100/"
corpus_40 = "CCTP-SRSA-IP-20210831/"
corpus_ERTMS = "ERTMS/"
corpus_PEV = "PEV-RSE-Approach/"
......@@ -155,7 +153,11 @@ def finalize_export_file(export_file):
with open(export_file, "wt") as file:
x = x.replace(
"@prefix sys: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/> .",
"""@prefix sys: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/> .
"""
@prefix sys: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/> .
@prefix sys-class: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/class/> .
@prefix sys-property: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/property/> .
@prefix sys-relation: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/relation/> .
@prefix sys-Event: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/Event#> .
@prefix sys-event: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/eventObjectProperty#> .
@prefix sys-State_Property: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/State_Property#> .
......@@ -166,7 +168,8 @@ def finalize_export_file(export_file):
@prefix sys-attributive_verb: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/attributive_verb#> .
@prefix sys-component: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/component#> .
@prefix sys-message: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/message#> .
@prefix sys-place: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/place#> .""")
@prefix sys-place: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/place#> .
""")
file.write(x)
#==============================================================================
......@@ -207,12 +210,13 @@ def run(corpus, source_ref, target_ref):
if __name__ == '__main__':
target_ref = "system"
#target_ref = "environment"
#run(req_100, 'R100b', target_ref)
#run(req_200, 'R200b', target_ref)
#run(req_300, 'R300b', target_ref)
#run(corpus_40, 'Corpus-CCTP-40c', target_ref)
run(req_100, 'R100f', target_ref)
run(req_200, 'R200f', target_ref)
run(req_300, 'R300f', target_ref)
run(req_1100, 'R1100f', target_ref)
run(corpus_40, 'Corpus-CCTP-40f', target_ref)
#run(corpus_ERTMS, 'Corpus-ERTMS', target_ref)
run(corpus_PEV, 'Corpus-PEV', target_ref)
#run(corpus_PEV, 'Corpus-PEV', target_ref)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment