Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
tenet
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Package registry
Container registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
Service Desk
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
GitLab community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Tetras MARS
tenet
Commits
85a35ce4
Commit
85a35ce4
authored
Aug 26, 2021
by
Aurélien Lamercerie
Browse files
Options
Downloads
Patches
Plain Diff
Update CTS to add simple entity in System Ontology
parent
b865d14e
No related branches found
No related tags found
No related merge requests found
Changes
3
Show whitespace changes
Inline
Side-by-side
Showing
3 changed files
.gitignore
+1
-0
1 addition, 0 deletions
.gitignore
config/transduction-schemes.ttl
+20
-17
20 additions, 17 deletions
config/transduction-schemes.ttl
frame/ontology-parameters.ttl
+3
-3
3 additions, 3 deletions
frame/ontology-parameters.ttl
with
24 additions
and
20 deletions
.gitignore
+
1
−
0
View file @
85a35ce4
...
@@ -4,3 +4,4 @@ __pycache__
...
@@ -4,3 +4,4 @@ __pycache__
devtemp*.py
devtemp*.py
corpus/CCTP-SRSA-IP*
corpus/CCTP-SRSA-IP*
.project
.project
*.ttl.tbc
This diff is collapsed.
Click to expand it.
config/transduction-schemes.ttl
+
20
−
17
View file @
85a35ce4
...
@@ -92,7 +92,7 @@ PREFIX req: <https://unsel.tetras-libre.fr/tenet/frame/requirement-ontology#>
...
@@ -92,7 +92,7 @@ PREFIX req: <https://unsel.tetras-libre.fr/tenet/frame/requirement-ontology#>
PREFIX sys: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology#>
PREFIX sys: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology#>
PREFIX fprm: <https://unsel.tetras-libre.fr/tenet/frame/parameters#>
PREFIX fprm: <https://unsel.tetras-libre.fr/tenet/frame/parameters#>
# --
Query to a
dd Entity classes in System Ontology
# --
A
dd Entity classes in System Ontology
CONSTRUCT {
CONSTRUCT {
?mainEntityUri rdfs:subClassOf ?entityUri.
?mainEntityUri rdfs:subClassOf ?entityUri.
?subEntityUri rdfs:subClassOf ?mainEntityUri.
?subEntityUri rdfs:subClassOf ?mainEntityUri.
...
@@ -105,8 +105,9 @@ WHERE {
...
@@ -105,8 +105,9 @@ WHERE {
?net1 net:type net:entity_class_list.
?net1 net:type net:entity_class_list.
?net1 net:entityClass ?entityClass.
?net1 net:entityClass ?entityClass.
?net1 net:class1 ?mainEntity.
?net1 net:class1 ?mainEntity.
?net1 net:class2 ?
subEntity
.
?net1 net:class2 ?
concept2
.
# Label(s) / URI
# Label(s) / URI
BIND (concat(?concept2, '_', ?mainEntity) AS ?subEntity).
cprm:Config_Parameters cprm:baseURI ?baseURI.
cprm:Config_Parameters cprm:baseURI ?baseURI.
fprm:System_Ontology fprm:frameURI ?frameURI.
fprm:System_Ontology fprm:frameURI ?frameURI.
fprm:System_Entity rdfs:label ?entityLabel.
fprm:System_Entity rdfs:label ?entityLabel.
...
@@ -133,7 +134,7 @@ PREFIX req: <https://unsel.tetras-libre.fr/tenet/frame/requirement-ontology#>
...
@@ -133,7 +134,7 @@ PREFIX req: <https://unsel.tetras-libre.fr/tenet/frame/requirement-ontology#>
PREFIX sys: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology#>
PREFIX sys: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology#>
PREFIX fprm: <https://unsel.tetras-libre.fr/tenet/frame/parameters#>
PREFIX fprm: <https://unsel.tetras-libre.fr/tenet/frame/parameters#>
# --
Request to extend
UNL relation
# --
Bypass reification (extension of
UNL relation
s)
CONSTRUCT {
CONSTRUCT {
?node1 ?unlRel ?node2.
?node1 ?unlRel ?node2.
}
}
...
@@ -167,8 +168,8 @@ CONSTRUCT {
...
@@ -167,8 +168,8 @@ CONSTRUCT {
?newNet net:entityClass ?entityClass.
?newNet net:entityClass ?entityClass.
?newNet net:featureClass ?featureClass.
?newNet net:featureClass ?featureClass.
?newNet net:class1 ?mainEntity.
?newNet net:class1 ?mainEntity.
?newNet net:class2 ?
subEntity
2.
?newNet net:class2 ?
concept
2.
?newNet net:class2 ?
subEntity
3.
?newNet net:class2 ?
concept
3.
}
}
WHERE {
WHERE {
# UW: type UW-Occurrence and substructure of req sentence
# UW: type UW-Occurrence and substructure of req sentence
...
@@ -198,8 +199,8 @@ WHERE {
...
@@ -198,8 +199,8 @@ WHERE {
?uw3 rdfs:label ?uw3Label.
?uw3 rdfs:label ?uw3Label.
BIND (strbefore(?uw2Label, '(') AS ?concept2)
BIND (strbefore(?uw2Label, '(') AS ?concept2)
BIND (strbefore(?uw3Label, '(') AS ?concept3)
BIND (strbefore(?uw3Label, '(') AS ?concept3)
BIND (concat(?concept2, '_', ?mainEntity) AS ?subEntity2).
#
BIND (concat(?concept2, '_', ?mainEntity) AS ?subEntity2).
BIND (concat(?concept3, '_', ?mainEntity) AS ?subEntity3).
#
BIND (concat(?concept3, '_', ?mainEntity) AS ?subEntity3).
cprm:Config_Parameters cprm:netURI ?netURI.
cprm:Config_Parameters cprm:netURI ?netURI.
net:class_list rdfs:label ?classListLabel.
net:class_list rdfs:label ?classListLabel.
BIND (concat( ?netURI, ?classListLabel, '_') AS ?s1).
BIND (concat( ?netURI, ?classListLabel, '_') AS ?s1).
...
@@ -232,8 +233,8 @@ CONSTRUCT {
...
@@ -232,8 +233,8 @@ CONSTRUCT {
?newNet net:node ?uw3.
?newNet net:node ?uw3.
?newNet net:entityClass ?entityClass1.
?newNet net:entityClass ?entityClass1.
?newNet net:class1 ?mainEntity.
?newNet net:class1 ?mainEntity.
?newNet net:class2 ?
subEntity
2.
?newNet net:class2 ?
concept
2.
?newNet net:class2 ?
subEntity
3.
?newNet net:class2 ?
concept
3.
}
}
WHERE {
WHERE {
# UW: type UW-Occurrence and substructure of req sentence
# UW: type UW-Occurrence and substructure of req sentence
...
@@ -262,8 +263,8 @@ WHERE {
...
@@ -262,8 +263,8 @@ WHERE {
?uw3 rdfs:label ?uw3Label.
?uw3 rdfs:label ?uw3Label.
BIND (strbefore(?uw2Label, '(') AS ?concept2)
BIND (strbefore(?uw2Label, '(') AS ?concept2)
BIND (strbefore(?uw3Label, '(') AS ?concept3)
BIND (strbefore(?uw3Label, '(') AS ?concept3)
BIND (concat(?concept2, '_', ?mainEntity) AS ?subEntity2).
#
BIND (concat(?concept2, '_', ?mainEntity) AS ?subEntity2).
BIND (concat(?concept3, '_', ?mainEntity) AS ?subEntity3).
#
BIND (concat(?concept3, '_', ?mainEntity) AS ?subEntity3).
cprm:Config_Parameters cprm:netURI ?netURI.
cprm:Config_Parameters cprm:netURI ?netURI.
net:class_list rdfs:label ?classListLabel.
net:class_list rdfs:label ?classListLabel.
BIND (concat( ?netURI, ?classListLabel, '_') AS ?s1).
BIND (concat( ?netURI, ?classListLabel, '_') AS ?s1).
...
@@ -287,7 +288,7 @@ PREFIX req: <https://unsel.tetras-libre.fr/tenet/frame/requirement-ontology#>
...
@@ -287,7 +288,7 @@ PREFIX req: <https://unsel.tetras-libre.fr/tenet/frame/requirement-ontology#>
PREFIX sys: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology#>
PREFIX sys: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology#>
PREFIX fprm: <https://unsel.tetras-libre.fr/tenet/frame/parameters#>
PREFIX fprm: <https://unsel.tetras-libre.fr/tenet/frame/parameters#>
# --
Query to c
reate Entity net
# --
C
reate Entity net
CONSTRUCT {
CONSTRUCT {
?semNet a net:Instance.
?semNet a net:Instance.
?semNet net:type net:entity.
?semNet net:type net:entity.
...
@@ -353,7 +354,7 @@ PREFIX req: <https://unsel.tetras-libre.fr/tenet/frame/requirement-ontology#>
...
@@ -353,7 +354,7 @@ PREFIX req: <https://unsel.tetras-libre.fr/tenet/frame/requirement-ontology#>
PREFIX sys: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology#>
PREFIX sys: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology#>
PREFIX fprm: <https://unsel.tetras-libre.fr/tenet/frame/parameters#>
PREFIX fprm: <https://unsel.tetras-libre.fr/tenet/frame/parameters#>
# --
Query to complem
en
t
Entity classes in System Ontology
# --
Ext
en
d
Entity classes in System Ontology
CONSTRUCT {
CONSTRUCT {
?subEntityUri rdfs:subClassOf ?mainEntityUri.
?subEntityUri rdfs:subClassOf ?mainEntityUri.
?subEntityUri rdfs:label ?subEntity.
?subEntityUri rdfs:label ?subEntity.
...
@@ -364,8 +365,9 @@ WHERE {
...
@@ -364,8 +365,9 @@ WHERE {
?net1 net:type net:entity_class_list.
?net1 net:type net:entity_class_list.
?net1 net:entityClass ?entityClass.
?net1 net:entityClass ?entityClass.
?net1 net:class1 ?mainEntity.
?net1 net:class1 ?mainEntity.
?net1 net:class2 ?
subEntity
.
?net1 net:class2 ?
concept2
.
# Label(s) / URI
# Label(s) / URI
BIND (concat(?concept2, '_', ?mainEntity) AS ?subEntity).
cprm:Config_Parameters cprm:baseURI ?baseURI.
cprm:Config_Parameters cprm:baseURI ?baseURI.
fprm:System_Ontology fprm:frameURI ?frameURI.
fprm:System_Ontology fprm:frameURI ?frameURI.
fprm:System_Entity rdfs:label ?entityLabel.
fprm:System_Entity rdfs:label ?entityLabel.
...
@@ -391,7 +393,7 @@ PREFIX req: <https://unsel.tetras-libre.fr/tenet/frame/requirement-ontology#>
...
@@ -391,7 +393,7 @@ PREFIX req: <https://unsel.tetras-libre.fr/tenet/frame/requirement-ontology#>
PREFIX sys: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology#>
PREFIX sys: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology#>
PREFIX fprm: <https://unsel.tetras-libre.fr/tenet/frame/parameters#>
PREFIX fprm: <https://unsel.tetras-libre.fr/tenet/frame/parameters#>
# --
Query to e
xtend a ModList net
# --
E
xtend a ModList net
CONSTRUCT {
CONSTRUCT {
?semNet net:node ?uw2.
?semNet net:node ?uw2.
?semNet net:concept ?concept1.
?semNet net:concept ?concept1.
...
@@ -443,7 +445,7 @@ PREFIX req: <https://unsel.tetras-libre.fr/tenet/frame/requirement-ontology#>
...
@@ -443,7 +445,7 @@ PREFIX req: <https://unsel.tetras-libre.fr/tenet/frame/requirement-ontology#>
PREFIX sys: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology#>
PREFIX sys: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology#>
PREFIX fprm: <https://unsel.tetras-libre.fr/tenet/frame/parameters#>
PREFIX fprm: <https://unsel.tetras-libre.fr/tenet/frame/parameters#>
# --
Query to i
nitialize a ModList net
# --
I
nitialize a ModList net
CONSTRUCT {
CONSTRUCT {
?semNet a net:Instance.
?semNet a net:Instance.
?semNet net:type net:mod_list.
?semNet net:type net:mod_list.
...
@@ -482,7 +484,7 @@ PREFIX req: <https://unsel.tetras-libre.fr/tenet/frame/requirement-ontology#>
...
@@ -482,7 +484,7 @@ PREFIX req: <https://unsel.tetras-libre.fr/tenet/frame/requirement-ontology#>
PREFIX sys: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology#>
PREFIX sys: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology#>
PREFIX fprm: <https://unsel.tetras-libre.fr/tenet/frame/parameters#>
PREFIX fprm: <https://unsel.tetras-libre.fr/tenet/frame/parameters#>
# --
Request to extend
UNL relation to scope
s
# --
Link
UNL relation to scope
entry
# (by connecting the source node of the scope to the entry node of the scope)
# (by connecting the source node of the scope to the entry node of the scope)
CONSTRUCT {
CONSTRUCT {
?node1Occ ?unlRel ?node2Occ.
?node1Occ ?unlRel ?node2Occ.
...
@@ -536,6 +538,7 @@ CONSTRUCT {
...
@@ -536,6 +538,7 @@ CONSTRUCT {
WHERE {
WHERE {
?net1 a net:Instance.
?net1 a net:Instance.
}"""
;
}"""
;
sh:
order
"000"
^^
xsd:
decimal
;
.
.
cts:
typify-modlist-entity
cts:
typify-modlist-entity
rdf:
type
sh:
SPARQLRule
;
rdf:
type
sh:
SPARQLRule
;
...
...
This diff is collapsed.
Click to expand it.
frame/ontology-parameters.ttl
+
3
−
3
View file @
85a35ce4
...
@@ -72,10 +72,10 @@ fprm:system_agent
...
@@ -72,10 +72,10 @@ fprm:system_agent
fprm:
restriction
"icl>administrator"
;
fprm:
restriction
"icl>administrator"
;
fprm:
restriction
"icl>person"
;
fprm:
restriction
"icl>person"
;
.
.
fprm:
system_compo
sa
nt
fprm:
system_compo
ne
nt
rdf:
type
fprm:
System_Entity
;
rdf:
type
fprm:
System_Entity
;
rdfs:
label
"compo
sa
nt"
;
rdfs:
label
"compo
ne
nt"
;
fprm:
class
"compo
sa
nt"
;
fprm:
class
"compo
ne
nt"
;
fprm:
restriction
"icl>device"
;
fprm:
restriction
"icl>device"
;
fprm:
restriction
"icl>electronic_device"
;
fprm:
restriction
"icl>electronic_device"
;
fprm:
restriction
"icl>instrumentality"
;
fprm:
restriction
"icl>instrumentality"
;
...
...
This diff is collapsed.
Click to expand it.
Preview
0%
Loading
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment