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

Lib update (structure, inference) in spec2B

parent e0f8db10
No related tags found
No related merge requests found
This diff is collapsed.
This diff is collapsed.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/message#SRSA-IP_STB_PHON_00100_mission>
a <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/mission> ;
rdfs:label "SRSA-IP_STB_PHON_00100_mission" ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/relation/stateProperty_include>
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/message#SRSA-IP_STB_PHON_00100_radio_channel> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/ARS_operational_manager>
rdfs:label "ARS_operational_manager" ;
rdfs:subClassOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/operational_manager> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/has_feature>
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/ARS> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/CDC>
rdfs:label "CDC" ;
rdfs:subClassOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/place> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/agent#SRSA-IP_STB_PHON_00100_operator>
a <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/operator> , <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/operational_manager> ;
rdfs:label "SRSA-IP_STB_PHON_00100_operator" ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/relation/action_create>
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/message#SRSA-IP_STB_PHON_00100_mission> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/message#SRSA-IP_STB_PHON_00100_radio_channel>
a <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/radio_channel> ;
rdfs:label "SRSA-IP_STB_PHON_00100_radio_channel" ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/relation/action_create>
a owl:ObjectProperty ;
rdfs:domain <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/ARS_operational_manager> , <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/CDC_operational_manager> ;
rdfs:range <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/mission> ;
rdfs:subPropertyOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/action> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/create>
rdfs:label "create" ;
rdfs:subClassOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/action_verb> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/system>
rdfs:label "system" ;
rdfs:subClassOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/component> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/radio_channel>
rdfs:label "radio_channel" ;
rdfs:subClassOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/message> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/relation/action_define>
a owl:ObjectProperty ;
rdfs:subPropertyOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/action> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/ARS>
rdfs:label "ARS" ;
rdfs:subClassOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/place> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/define>
rdfs:label "define" ;
rdfs:subClassOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/action_verb> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/component#SRSA-IP_STB_PHON_00100_system>
a <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/system> ;
rdfs:label "SRSA-IP_STB_PHON_00100_system" ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/relation/action_allow>
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/action_verb#SRSA-IP_STB_PHON_00100_create> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/Event_operator-create-mission>
rdfs:label "operator-create-mission" ;
rdfs:subClassOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/Event> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/include>
rdfs:label "include" ;
rdfs:subClassOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/attributive_verb> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/allow>
rdfs:label "allow" ;
rdfs:subClassOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/action_verb> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/relation/action_allow>
a owl:ObjectProperty ;
rdfs:domain <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/system> ;
rdfs:range <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/create> ;
rdfs:subPropertyOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/action> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/Event_system-allow-create>
rdfs:label "system-allow-create" ;
rdfs:subClassOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/Event> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/mission>
rdfs:label "mission" ;
rdfs:subClassOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/message> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/CDC-or-ARS_operational_manager>
rdfs:label "CDC-or-ARS_operational_manager" ;
rdfs:subClassOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/operational_manager> ;
owl:equivalentClass [ a owl:Class ;
owl:unionOf ( <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/CDC_operational_manager> <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/ARS_operational_manager> )
] ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/operational_manager>
rdfs:label "operational_manager" ;
rdfs:subClassOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/operator> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/Event_mission-include-radio_channel>
rdfs:label "mission-include-radio_channel" ;
rdfs:subClassOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/Event> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/CDC_operational_manager>
rdfs:label "CDC_operational_manager" ;
rdfs:subClassOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/operational_manager> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/has_feature>
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/CDC> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/action_verb#SRSA-IP_STB_PHON_00100_create>
a <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/create> ;
rdfs:label "SRSA-IP_STB_PHON_00100_create" ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/operator>
rdfs:label "operator" ;
rdfs:subClassOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/agent> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/relation/stateProperty_include>
a owl:ObjectProperty ;
rdfs:domain <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/mission> ;
rdfs:range <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/radio_channel> ;
rdfs:subPropertyOf <https://unsel.tetras-libre.fr/tenet/frame/system-ontology/stateProperty> ;
<https://unsel.tetras-libre.fr/tenet/frame/system-ontology/from_structure>
<http://unsel.rdf-unl.org/store/CCTP-SRSA-IP-20210831/SRSA-IP_STB_PHON_00100/current/sentence_0#sentence_0> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
<http://unsel.unl-rdf.org/test-shacl-construct#test-instance>
rdfs:comment "Execution de la regle OK" .
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment