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

CTS update: relations (event or stateProperty) whose source or target is not typed

parent 6097004b
No related branches found
No related tags found
No related merge requests found
......@@ -384,7 +384,7 @@ PREFIX req: <https://unsel.tetras-libre.fr/tenet/frame/requirement-ontology#>
PREFIX sys: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/>
PREFIX fprm: <https://unsel.tetras-libre.fr/tenet/frame/parameters#>
# -- Compose a subject Entity (agt), an action Verb and an object Entity (obj) to obtain an event
# -- Compose a subject (agt), an action Verb and an object (obj) to obtain an event
CONSTRUCT {
# Net: Event
?newNet a net:Instance.
......@@ -409,14 +409,14 @@ WHERE {
# net2: entity (actor)
?net2 a net:Instance.
?net2 net:type net:atom.
?net2 net:atomOf sys:Entity.
# -- old --- ?net2 net:atomOf sys:Entity.
?net2 net:has_structure ?req.
?net2 net:has_node ?uw2.
?net2 net:has_atom ?actorObject.
# net3: entity (target)
?net3 a net:Instance.
?net3 net:type net:atom.
?net3 net:atomOf sys:Entity.
# -- old --- ?net3 net:atomOf sys:Entity.
?net3 net:has_structure ?req.
?net3 net:has_node ?uw3.
?net3 net:has_atom ?targetObject.
......@@ -456,7 +456,7 @@ PREFIX req: <https://unsel.tetras-libre.fr/tenet/frame/requirement-ontology#>
PREFIX sys: <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/>
PREFIX fprm: <https://unsel.tetras-libre.fr/tenet/frame/parameters#>
# -- Compose a subject Entity (aoj), an action Verb and an object Entity (obj) / result Entity (res) to obtain a state property
# -- Compose a subject (aoj), an attributibe Verb and an object (obj) / result (res) to obtain a state property
CONSTRUCT {
# Net: State Property
?newNet a net:Instance.
......@@ -481,14 +481,14 @@ WHERE {
# net2: entity (actor)
?net2 a net:Instance.
?net2 net:type net:atom.
?net2 net:atomOf sys:Entity.
# -- old --- ?net2 net:atomOf sys:Entity.
?net2 net:has_structure ?req.
?net2 net:has_node ?uw2.
?net2 net:has_atom ?actorObject.
# net3: entity (target)
?net3 a net:Instance.
?net3 net:type net:atom.
?net3 net:atomOf sys:Entity.
# -- old --- ?net3 net:atomOf sys:Entity.
?net3 net:has_structure ?req.
?net3 net:has_node ?uw3.
?net3 net:has_atom ?targetObject.
......
......@@ -204,10 +204,10 @@ 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, 'R300c', target_ref)
run(corpus_40, 'Corpus-CCTP-40a', target_ref)
run(req_100, 'R100d', target_ref)
run(req_200, 'R200d', target_ref)
run(req_300, 'R300d', target_ref)
run(corpus_40, 'Corpus-CCTP-40d', target_ref)
#run(corpus_ERTMS, 'Corpus-ERTMS', 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