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

Refine phenomena analyzer rule: mod_analyzer_1

parent 4d0f1588
No related branches found
No related tags found
No related merge requests found
Showing
with 0 additions and 15815 deletions
@prefix ns1: <https://tenet.tetras-libre.fr/base-ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
<https://tenet.tetras-libre.fr/extract-result#SolarSystem> a owl:Individual,
<https://tenet.tetras-libre.fr/extract-result#system>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> ;
rdfs:label "SolarSystem" ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#direct> a owl:ObjectProperty ;
rdfs:label "direct" ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-bind-system> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#hasManner> a owl:ObjectProperty ;
rdfs:label "hasManner" ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#not-direct> a owl:ObjectProperty ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#object-SSC-01-01> a owl:Individual,
<https://tenet.tetras-libre.fr/extract-result#object> ;
rdfs:label "any object" ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#object-orbit-hasManner-direct-sun> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-direct> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
<https://tenet.tetras-libre.fr/extract-result#object> ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#object-orbit-hasManner-not-direct-sun> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-not-direct> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
<https://tenet.tetras-libre.fr/extract-result#object> ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#sun-SSC-01-01> a owl:Individual,
<https://tenet.tetras-libre.fr/extract-result#sun> ;
rdfs:label "any sun" ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#bind> a owl:ObjectProperty ;
rdfs:label "bind" ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation> a owl:Class ;
rdfs:label "gravitation" ;
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-direct> a owl:ObjectProperty ;
rdfs:subPropertyOf <https://tenet.tetras-libre.fr/extract-result#orbit> ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-not-direct> a owl:ObjectProperty ;
rdfs:subPropertyOf <https://tenet.tetras-libre.fr/extract-result#orbit> ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#object> ],
<https://tenet.tetras-libre.fr/extract-result#system> ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
<https://tenet.tetras-libre.fr/extract-result#system> ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ;
rdfs:label "hasPart" ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ;
rdfs:label "orbit" ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ;
rdfs:label "object" ;
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ;
rdfs:label "sun" ;
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ;
rdfs:label "system" ;
rdfs:subClassOf ns1:Entity,
ns1:Undetermined_Thing ;
ns1:fromStructure "SSC-01-01" .
@prefix ns1: <https://tenet.tetras-libre.fr/base-ontology#> .
@prefix ns2: <https://tenet.tetras-libre.fr/extract-result#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
ns2:direct a owl:ObjectProperty ;
rdfs:label "direct" ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
ns2:gravitation-SSC-01-01 a owl:Individual,
ns2:gravitation-bind-system ;
rdfs:label "any gravitation" ;
ns1:fromStructure "SSC-01-01" ;
ns2:bind ns2:SolarSystem .
ns2:hasManner a owl:ObjectProperty ;
rdfs:label "hasManner" ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
ns2:not-direct a owl:ObjectProperty ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
ns2:SolarSystem a owl:Individual,
ns2:system,
ns2:system-hasPart-object,
ns2:system-hasPart-sun ;
rdfs:label "SolarSystem" ;
ns1:fromStructure "SSC-01-01" ;
ns2:hasPart ns2:object-SSC-01-01,
ns2:sun-SSC-01-01 .
ns2:bind a owl:ObjectProperty ;
rdfs:label "bind" ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
ns2:gravitation a owl:Class ;
rdfs:label "gravitation" ;
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
ns2:gravitation-bind-system a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty ns2:bind ;
owl:someValuesFrom ns2:system ],
ns2:gravitation ;
ns1:fromStructure "SSC-01-01" .
ns2:object-SSC-01-01 a owl:Individual,
ns2:object,
ns2:object-orbit-hasManner-direct-sun,
ns2:object-orbit-hasManner-not-direct-sun ;
rdfs:label "any object" ;
ns1:fromStructure "SSC-01-01" ;
ns2:orbit-hasManner-direct ns2:sun-SSC-01-01 ;
ns2:orbit-hasManner-not-direct ns2:sun-SSC-01-01 .
ns2:object-orbit-hasManner-direct-sun a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty ns2:orbit-hasManner-direct ;
owl:someValuesFrom ns2:sun ],
ns2:object ;
ns1:fromStructure "SSC-01-01" .
ns2:object-orbit-hasManner-not-direct-sun a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty ns2:orbit-hasManner-not-direct ;
owl:someValuesFrom ns2:sun ],
ns2:object ;
ns1:fromStructure "SSC-01-01" .
ns2:orbit-hasManner-direct a owl:ObjectProperty ;
rdfs:subPropertyOf ns2:orbit ;
ns1:fromStructure "SSC-01-01" .
ns2:orbit-hasManner-not-direct a owl:ObjectProperty ;
rdfs:subPropertyOf ns2:orbit ;
ns1:fromStructure "SSC-01-01" .
ns2:system-hasPart-object a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty ns2:hasPart ;
owl:someValuesFrom ns2:object ],
ns2:system ;
ns1:fromStructure "SSC-01-01" .
ns2:system-hasPart-sun a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty ns2:hasPart ;
owl:someValuesFrom ns2:sun ],
ns2:system ;
ns1:fromStructure "SSC-01-01" .
ns2:hasPart a owl:ObjectProperty ;
rdfs:label "hasPart" ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
ns2:orbit a owl:ObjectProperty ;
rdfs:label "orbit" ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
ns2:sun-SSC-01-01 a owl:Individual,
ns2:sun ;
rdfs:label "any sun" ;
ns1:fromStructure "SSC-01-01" .
ns2:object a owl:Class ;
rdfs:label "object" ;
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
ns2:sun a owl:Class ;
rdfs:label "sun" ;
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
ns2:system a owl:Class ;
rdfs:label "system" ;
rdfs:subClassOf ns1:Entity,
ns1:Undetermined_Thing ;
ns1:fromStructure "SSC-01-01" .
@prefix ns1: <https://tenet.tetras-libre.fr/base-ontology#> .
@prefix ns2: <https://tenet.tetras-libre.fr/extract-result#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
ns2:direct a owl:ObjectProperty ;
rdfs:label "direct" ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
ns2:gravitation-SSC-01-01 a owl:Individual,
ns2:gravitation-bind-system ;
rdfs:label "any gravitation" ;
ns1:fromStructure "SSC-01-01" ;
ns2:bind ns2:SolarSystem .
ns2:hasManner a owl:ObjectProperty ;
rdfs:label "hasManner" ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
ns2:not-direct a owl:ObjectProperty ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
ns2:SolarSystem a owl:Individual,
ns2:system,
ns2:system-hasPart-object,
ns2:system-hasPart-sun ;
rdfs:label "SolarSystem" ;
ns1:fromStructure "SSC-01-01" ;
ns2:hasPart ns2:object-SSC-01-01,
ns2:sun-SSC-01-01 .
ns2:bind a owl:ObjectProperty ;
rdfs:label "bind" ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
ns2:gravitation a owl:Class ;
rdfs:label "gravitation" ;
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
ns2:gravitation-bind-system a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty ns2:bind ;
owl:someValuesFrom ns2:system ],
ns2:gravitation ;
ns1:fromStructure "SSC-01-01" .
ns2:object-SSC-01-01 a owl:Individual,
ns2:object,
ns2:object-orbit-hasManner-direct-sun,
ns2:object-orbit-hasManner-not-direct-sun ;
rdfs:label "any object" ;
ns1:fromStructure "SSC-01-01" ;
ns2:orbit-hasManner-direct ns2:sun-SSC-01-01 ;
ns2:orbit-hasManner-not-direct ns2:sun-SSC-01-01 .
ns2:object-orbit-hasManner-direct-sun a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty ns2:orbit-hasManner-direct ;
owl:someValuesFrom ns2:sun ],
ns2:object ;
ns1:fromStructure "SSC-01-01" .
ns2:object-orbit-hasManner-not-direct-sun a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty ns2:orbit-hasManner-not-direct ;
owl:someValuesFrom ns2:sun ],
ns2:object ;
ns1:fromStructure "SSC-01-01" .
ns2:orbit-hasManner-direct a owl:ObjectProperty ;
rdfs:subPropertyOf ns2:orbit ;
ns1:fromStructure "SSC-01-01" .
ns2:orbit-hasManner-not-direct a owl:ObjectProperty ;
rdfs:subPropertyOf ns2:orbit ;
ns1:fromStructure "SSC-01-01" .
ns2:system-hasPart-object a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty ns2:hasPart ;
owl:someValuesFrom ns2:object ],
ns2:system ;
ns1:fromStructure "SSC-01-01" .
ns2:system-hasPart-sun a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty ns2:hasPart ;
owl:someValuesFrom ns2:sun ],
ns2:system ;
ns1:fromStructure "SSC-01-01" .
ns2:hasPart a owl:ObjectProperty ;
rdfs:label "hasPart" ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
ns2:orbit a owl:ObjectProperty ;
rdfs:label "orbit" ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
ns2:sun-SSC-01-01 a owl:Individual,
ns2:sun ;
rdfs:label "any sun" ;
ns1:fromStructure "SSC-01-01" .
ns2:object a owl:Class ;
rdfs:label "object" ;
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
ns2:sun a owl:Class ;
rdfs:label "sun" ;
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
ns2:system a owl:Class ;
rdfs:label "system" ;
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment