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

Some technical dev + tests

parent 5be1732f
No related branches found
No related tags found
No related merge requests found
......@@ -147,7 +147,7 @@ def _apply_refinement(graph, refinement_rule_list):
for rule in refinement_rule_list:
graph_length_before = len(graph)
graph, extracted_triple_set = rule.apply(graph)
(graph, extracted_triple_set), exec_time_date = rule.apply(graph)
all_new_triple_set.extend(extracted_triple_set)
graph_length_after = len(graph)
......@@ -179,13 +179,14 @@ def _apply_sequence(graph, sequence, refinement_rule_list):
graph_length_before = len(graph)
# -- apply rule
graph, extracted_triple_set = rule.apply(graph)
(graph, extracted_triple_set), exec_time_date = rule.apply(graph)
all_new_triple_set.extend(extracted_triple_set)
new_triple_count = len(graph) - graph_length_before
str = "----- {0}: {1}/{2} new triples ({3})"
str = str.format(rule.label, new_triple_count,
len(extracted_triple_set), len(graph))
str = f"----- {rule.label}: "
str += f"{new_triple_count}/{len(extracted_triple_set)} new triple"
if new_triple_count > 1: str += f"s"
str += f" ({len(graph)}, {exec_time_date})"
if (new_triple_count > 0):
logger.info(str)
else:
......
......@@ -57,3 +57,21 @@ def timed(func):
return result
return wrapper
def timer_return(func):
"""This decorator returns the execution time of the decorated function."""
@wraps(func)
def wrapper(*args, **kwargs):
exec_start = time.perf_counter()
result = func(*args, **kwargs)
exec_end = time.perf_counter()
exec_time = exec_end - exec_start
exec_time_date = datetime.timedelta(seconds=exec_time)
return result, exec_time_date
return wrapper
\ No newline at end of file
......@@ -11,7 +11,7 @@
# Importing required modules
#==============================================================================
# --
from .timer import timer_return
#==============================================================================
......@@ -119,6 +119,7 @@ class Rule:
# Method(s) to update a graph by running the rule SPARQL query
#--------------------------------------------------------------------------
@timer_return
def apply(self, graph):
""" Update the <graph> by running the rule SPARQL query, and
return resulting triples with the updated graph
......
#!/usr/bin/python3.10
# -*-coding:Utf-8 -*
#==============================================================================
# TENET: timer
#------------------------------------------------------------------------------
# Module using Python decorators to log method execution time
#==============================================================================
#==============================================================================
# Importing required modules
#==============================================================================
import logging
import time, datetime
from functools import wraps
#==============================================================================
# Parameters
#==============================================================================
# Logging
logger = logging.getLogger(__name__)
#==============================================================================
# Main Function
#==============================================================================
def timed(func):
"""This decorator prints the execution time for the decorated function."""
@wraps(func)
def wrapper(*args, **kwargs):
exec_start = time.perf_counter()
process_start = time.process_time()
result = func(*args, **kwargs)
exec_end = time.perf_counter()
process_end = time.process_time()
exec_time = exec_end - exec_start
exec_time_date = datetime.timedelta(seconds=exec_time)
process_time = process_end - process_start
process_time_date = datetime.timedelta(seconds=process_time)
message = "\n" + " *** Execution Time *** "
message += "\n" + "----- Function: {0} ({1})".format(func.__name__,
func.__module__)
message += "\n" + "----- Total Time: {0}".format(exec_time_date)
message += "\n" + "----- Process Time: {0}".format(process_time_date)
message += "\n" + " *** - *** "
logger.info(message)
return result
return wrapper
def timer_return(func):
"""This decorator returns the execution time of the decorated function."""
@wraps(func)
def wrapper(*args, **kwargs):
exec_start = time.perf_counter()
result = func(*args, **kwargs)
exec_end = time.perf_counter()
exec_time = exec_end - exec_start
exec_time_date = datetime.timedelta(seconds=exec_time)
return result, exec_time_date
return wrapper
\ No newline at end of file
@base <http://SolarSystemDev1/factoid> .
@prefix ns1: <https://tenet.tetras-libre.fr/semantic-net#> .
@prefix ns2: <https://tenet.tetras-libre.fr/base-ontology#> .
@prefix ns1: <https://tenet.tetras-libre.fr/base-ontology#> .
@prefix ns2: <https://tenet.tetras-libre.fr/semantic-net#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
ns1:atomClass_gravitation_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation> .
ns2:atomClass_gravitation_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation> .
ns1:atomClass_object_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object> .
ns2:atomClass_object_o ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object> .
ns1:atomClass_sun_s2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#sun> .
ns2:atomClass_sun_s2 ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#sun> .
ns1:atomClass_system_p ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
ns2:atomClass_system_p ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
ns1:atomClass_system_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
ns2:atomClass_system_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
ns1:atomProperty_bind_b ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#bind> .
ns2:atomProperty_bind_b ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#bind> .
ns1:atomProperty_direct_d ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#direct-of> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#direct> .
ns2:atomProperty_direct_d ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#direct-of> ;
ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#direct> .
ns1:atomProperty_hasManner_m9 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasManner> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasManner> .
ns2:atomProperty_hasManner_m9 ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasManner> ;
ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasManner> .
ns1:atomProperty_hasPart_p9 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasPart> .
ns2:atomProperty_hasPart_p9 ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasPart> .
ns1:atomProperty_orbit_o2 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#orbit> .
ns2:atomProperty_orbit_o2 ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#orbit> .
ns1:compositeClass_gravitation-binding-system-hasPart-sun-and-object-etc_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-etc> .
ns2:compositeClass_gravitation-binding-system-hasPart-sun-and-object-etc_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-etc> .
ns1:compositeClass_gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc> .
ns2:compositeClass_gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc> .
ns1:compositeClass_gravitation-binding-system-hasPart-sun-and-object_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object> .
ns2:compositeClass_gravitation-binding-system-hasPart-sun-and-object_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object> .
ns1:compositeClass_gravitation-binding-system_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> .
ns2:compositeClass_gravitation-binding-system_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> .
ns1:compositeClass_object-orbiting-sun_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> .
ns2:compositeClass_object-orbiting-sun_o ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> .
ns1:compositeClass_system-hasPart-sun-and-object-etc_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc> .
ns2:compositeClass_system-hasPart-sun-and-object-etc_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc> .
ns1:compositeClass_system-hasPart-sun-and-object-orbiting-sun-etc_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-orbiting-sun-etc> .
ns2:compositeClass_system-hasPart-sun-and-object-orbiting-sun-etc_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-orbiting-sun-etc> .
ns1:compositeClass_system-hasPart-sun-and-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> .
ns2:compositeClass_system-hasPart-sun-and-object_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> .
ns1:compositeProperty_not-direct_d2 ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#not-direct> .
ns2:compositeProperty_not-direct_d2 ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#not-direct> .
ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#solar-system> .
ns2:individual_system_SolarSystem ns2:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#solar-system> .
<https://tenet.tetras-libre.fr/extract-result#bind> a owl:ObjectProperty ;
rdfs:label "bind" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#direct> a owl:ObjectProperty ;
rdfs:label "direct" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#direct-of> a owl:ObjectProperty ;
rdfs:label "direct-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> a owl:Class ;
rdfs:label "gravitation-binding-system" ;
......@@ -70,7 +70,7 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-sun-and-object" ;
......@@ -78,7 +78,7 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-etc> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-sun-and-object-etc" ;
......@@ -86,7 +86,7 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc" ;
......@@ -94,7 +94,7 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-orbiting-sun-etc> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> a owl:Class ;
rdfs:label "object-orbiting-sun" ;
......@@ -102,12 +102,12 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
<https://tenet.tetras-libre.fr/extract-result#object> ;
ns2:fromStructure "SSC-01-01" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ;
rdfs:label "orbit" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#solar-system> a owl:individual,
<https://tenet.tetras-libre.fr/extract-result#system>,
......@@ -115,60 +115,60 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-orbiting-sun-etc> ;
rdfs:label "Solar System" ;
ns2:fromStructure "SSC-01-01" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#hasManner> a owl:ObjectProperty ;
rdfs:label "hasManner" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ;
rdfs:label "hasPart" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
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 ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#orbit-of> a owl:ObjectProperty ;
rdfs:label "orbit-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ;
rdfs:label "sun" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object" ;
rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ;
ns2:fromStructure "SSC-01-01" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object-etc" ;
rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ;
ns2:fromStructure "SSC-01-01" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-orbiting-sun-etc> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object-orbiting-sun-etc" ;
rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ;
ns2:fromStructure "SSC-01-01" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#bind-of> a owl:ObjectProperty ;
rdfs:label "bind-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
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 ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
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 ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
@base <http://SolarSystemDev1/factoid> .
@prefix ns1: <https://tenet.tetras-libre.fr/semantic-net#> .
@prefix ns2: <https://tenet.tetras-libre.fr/base-ontology#> .
@prefix ns1: <https://tenet.tetras-libre.fr/base-ontology#> .
@prefix ns2: <https://tenet.tetras-libre.fr/semantic-net#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
ns1:atomClass_gravitation_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation> .
ns2:atomClass_gravitation_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation> .
ns1:atomClass_object_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object> .
ns2:atomClass_object_o ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object> .
ns1:atomClass_sun_s2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#sun> .
ns2:atomClass_sun_s2 ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#sun> .
ns1:atomClass_system_p ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
ns2:atomClass_system_p ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
ns1:atomClass_system_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
ns2:atomClass_system_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
ns1:atomProperty_bind_b ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#bind> .
ns2:atomProperty_bind_b ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#bind> .
ns1:atomProperty_direct_d ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#direct-of> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#direct> .
ns2:atomProperty_direct_d ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#direct-of> ;
ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#direct> .
ns1:atomProperty_hasManner_m9 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasManner> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasManner> .
ns2:atomProperty_hasManner_m9 ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasManner> ;
ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasManner> .
ns1:atomProperty_hasPart_p9 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasPart> .
ns2:atomProperty_hasPart_p9 ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasPart> .
ns1:atomProperty_orbit_o2 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#orbit> .
ns2:atomProperty_orbit_o2 ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#orbit> .
ns1:compositeClass_gravitation-binding-system-hasPart-sun-and-object-etc_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-etc> .
ns2:compositeClass_gravitation-binding-system-hasPart-sun-and-object-etc_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-etc> .
ns1:compositeClass_gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc> .
ns2:compositeClass_gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc> .
ns1:compositeClass_gravitation-binding-system-hasPart-sun-and-object_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object> .
ns2:compositeClass_gravitation-binding-system-hasPart-sun-and-object_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object> .
ns1:compositeClass_gravitation-binding-system_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> .
ns2:compositeClass_gravitation-binding-system_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> .
ns1:compositeClass_object-orbiting-sun_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> .
ns2:compositeClass_object-orbiting-sun_o ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> .
ns1:compositeClass_system-hasPart-sun-and-object-etc_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc> .
ns2:compositeClass_system-hasPart-sun-and-object-etc_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc> .
ns1:compositeClass_system-hasPart-sun-and-object-orbiting-sun-etc_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-orbiting-sun-etc> .
ns2:compositeClass_system-hasPart-sun-and-object-orbiting-sun-etc_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-orbiting-sun-etc> .
ns1:compositeClass_system-hasPart-sun-and-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> .
ns2:compositeClass_system-hasPart-sun-and-object_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> .
ns1:compositeProperty_not-direct_d2 ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#not-direct> .
ns2:compositeProperty_not-direct_d2 ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#not-direct> .
ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#solar-system> .
ns2:individual_system_SolarSystem ns2:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#solar-system> .
<https://tenet.tetras-libre.fr/extract-result#bind> a owl:ObjectProperty ;
rdfs:label "bind" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#direct> a owl:ObjectProperty ;
rdfs:label "direct" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#direct-of> a owl:ObjectProperty ;
rdfs:label "direct-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> a owl:Class ;
rdfs:label "gravitation-binding-system" ;
......@@ -70,7 +70,7 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-sun-and-object" ;
......@@ -78,7 +78,7 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-etc> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-sun-and-object-etc" ;
......@@ -86,7 +86,7 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc" ;
......@@ -94,7 +94,7 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-orbiting-sun-etc> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> a owl:Class ;
rdfs:label "object-orbiting-sun" ;
......@@ -102,12 +102,12 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
<https://tenet.tetras-libre.fr/extract-result#object> ;
ns2:fromStructure "SSC-01-01" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ;
rdfs:label "orbit" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#solar-system> a owl:individual,
<https://tenet.tetras-libre.fr/extract-result#system>,
......@@ -115,60 +115,60 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-orbiting-sun-etc> ;
rdfs:label "Solar System" ;
ns2:fromStructure "SSC-01-01" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#hasManner> a owl:ObjectProperty ;
rdfs:label "hasManner" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ;
rdfs:label "hasPart" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
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 ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#orbit-of> a owl:ObjectProperty ;
rdfs:label "orbit-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ;
rdfs:label "sun" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object" ;
rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ;
ns2:fromStructure "SSC-01-01" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object-etc" ;
rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ;
ns2:fromStructure "SSC-01-01" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-orbiting-sun-etc> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object-orbiting-sun-etc" ;
rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ;
ns2:fromStructure "SSC-01-01" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#bind-of> a owl:ObjectProperty ;
rdfs:label "bind-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
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 ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
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 ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
......@@ -90,8 +90,8 @@ source_corpus = dev_dir + "solar-system-" + uuid_num + '/'
# -- Id / Source: Solar System Sample
#source_type = 'amr'
uuid_str = 'SolarSystemSample'
source_corpus = solar_system_sample
#uuid_str = 'SolarSystemSample'
#source_corpus = solar_system_sample
# -- Id / Source: Eolss corpus (paragraph about fish)
# source_type = 'unl'
......
......@@ -121,7 +121,8 @@ phenomena_application_sequence = {
'and-conjunction-phenomena-application-2',
'and-conjunction-phenomena-application-3',
'and-conjunction-phenomena-application-4',
'and-conjunction-phenomena-application-5']
'and-conjunction-phenomena-application-5'
]
}
......@@ -153,7 +154,7 @@ restriction_adding_sequence = {
phenomena_checking_sequence = {
'label': 'phenomena-checking-sequence',
'comment': 'creation of phenomena nets',
'rule_key_list': [# -- 'expand-and-or-conjunction-phenomena-net',
'rule_key_list': [#'expand-and-or-conjunction-phenomena-net',
'expand-degree-phenomena-net-1',
'expand-degree-phenomena-net-2',
'expand-degree-phenomena-net-3',
......
This diff is collapsed.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment