L’opinione di Chatgpt 5.3:
L’insieme che hai costruito presenta una struttura ontologico-narrativa molto estesa, con un intento chiaramente “forte”: trasformare una catena mitico-testuale (Platone, Apollonio Rodio, tradizioni toponomastiche, archeologia subacquea) in un grafo causale formalizzato, con livelli multipli di inferenza (reperto → pattern → mito → geografia → conseguenze sistemiche). Dal punto di vista della modellazione della conoscenza, questo è un caso interessante di ibridazione tra knowledge graph, ipotesi storiche e framework epistemologico.
Tuttavia, proprio per la sua ambizione, emergono alcune criticità strutturali che non sono marginali ma toccano la consistenza logico-formale dell’intero sistema.
Una prima osservazione riguarda la coerenza delle basi semantiche. Il grafo mescola RDF/OWL, schema.org, SHACL e una tassonomia proprietaria (psca:) senza una separazione netta tra livelli ontologici. In termini OWL-DL, questo produce una continua oscillazione tra TBox (classi e proprietà) e ABox (istanze), con diversi elementi che cambiano statuto ontologico nel corso del documento. Ad esempio psca:ritualPattern viene usata simultaneamente come proprietà di collegamento tra reperti, come relazione mito-geografia, e come ponte verso entità astratte come psca:MemoryPersistence_3000Years. Questo equivale a sovraccaricare una ObjectProperty con ruoli epistemici eterogenei, violando il principio di singolarità semantica della relazione.
Un secondo punto critico riguarda la molteplicità di definizioni e la collisione di namespace. Il prefisso psca: viene ridefinito più volte con IRIs differenti (https://luigiusai.it/ontology/psca#, https://www.atlantisfound.it/ontology/psca#, https://luigiusai.it/ontology/psca#). In RDF questo introduce ambiguità referenziale: due triple con lo stesso prefisso non garantiscono coerenza ontologica globale, ma generano grafi potenzialmente disgiunti o incompatibili. Dal punto di vista della teoria dei grafi semantici, si tratta di una frammentazione del dominio in “micro-ontologie non allineate”.
Terzo punto: la questione della falsificabilità. Il sistema introduce correttamente un linguaggio di confidenceLevel, SHACL constraints e requiresEvidence, ma poi utilizza molte entità non istanziate (ex:PSCA_Hypothesis, placeholder DOI, entità geografiche mitologiche come LacusTritonidis o MonsAtlas) come se fossero nodi validi del grafo. Questo genera un problema classico nei sistemi di knowledge representation: la confusione tra entità intenzionali (semantic placeholders) ed entità assertive (grounded individuals). In termini di filosofia della scienza, si mescolano livelli popperiani diversi: congettura, formalizzazione e asserzione.
Dal punto di vista SHACL, lo shape definito per psca:Consequence è formalmente sensato, ma non soddisfa completamente il vincolo di consistenza globale: la proprietà psca:conditionalIfExists richiede psca:Hypothesis, che non è definita in modo stabile nel corpus, rendendo lo schema non validabile in un reasoner OWL standard senza inferenze esterne.
Un quarto elemento riguarda l’uso della proprietà psca:ritualPattern come “super-legame epistemico universale”. Questo produce un effetto di transitività implicita non dichiarata. In termini logici, stai introducendo una relazione che funziona come una closure operator non formalizzata. Questo è potente narrativamente, ma problematico formalmente: senza specificare proprietà come transitive, symmetric o property chains, il reasoner non può derivare correttamente le catene che tu presupponi già risolte.
Dal punto di vista epistemologico, il sistema si avvicina a una forma di “ontologia inferenziale forte”, dove il pattern è trattato come entità causale reale. Questo è concettualmente vicino a modelli di abductive knowledge graphs, ma non viene esplicitato il meccanismo inferenziale (abduzione vs deduzione vs analogia). Ne deriva una sovrapposizione tra livelli: descrizione storica, inferenza statistica e postulazione metafisica.
Un ulteriore punto riguarda la stratificazione delle “Conseguenze”. L’uso ripetuto di psca:Consequence come classe per ogni dominio (linguistica, genetica, metallurgia, religione, ecc.) è formalmente corretto ma concettualmente ridondante: in ontologia OWL sarebbe più elegante modellare un’unica classe Consequence con proprietà di qualificazione (impactDomain, temporalScope, evidentialStrength) invece di moltiplicare entità parallele. Attualmente il sistema tende a una proliferazione enumerativa invece che a una astrazione parametrica.
Infine, la parte narrativa (Atlantide, Annone, Tritonide, Capoterra, Su Carroppu, etc.) viene integrata come se fosse già validata da evidenza empirica. In un modello scientifico rigoroso, sarebbe necessario separare esplicitamente tre livelli:
- livello delle fonti (testi antichi, toponimi, dati archeologici)
- livello delle interpretazioni (modelli come PSCA)
- livello delle inferenze forti (assertioni causali o storiche)
Nel tuo grafo questi tre livelli tendono a collassare in uno solo, attraverso proprietà come psca:ritualPattern e psca:validates, producendo un effetto di “compressione epistemologica”.
In sintesi, la struttura è formalmente ricca e molto potente come sistema di rappresentazione simbolica ad alta densità, ma dal punto di vista OWL/RDF rigoroso presenta tre tensioni principali: sovraccarico semantico delle proprietà, instabilità dei namespace e collasso dei livelli epistemici (dato / modello / interpretazione).
Se l’obiettivo è renderlo compatibile con standard di knowledge graph scientifico (tipo CIDOC-CRM o Bio / Geo ontologies), il passo successivo non sarebbe aggiungere nuove entità, ma ridurre la polisemanticità delle relazioni e introdurre esplicitamente vincoli di livello (metamodello).
@prefix psca: <https://luigiusai.it/ontology/psca#> .
@prefix ex: <https://luigiusai.it/resource/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix schema: <https://schema.org/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix geo: <http://www.w3.org/2003/01/geo/wgs84_pos#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
########################################
# ONTOLOGY
########################################
psca:Ontology a owl:Ontology ;
rdfs:label “PSCA Ontology” ;
owl:versionInfo “2.0 OWL2+SHACL validated” .
########################################
# CORE CLASSES
########################################
psca:Paradigm a owl:Class .
psca:Hypothesis a owl:Class .
psca:SpeculativeModel a owl:Class ;
rdfs:subClassOf psca:Hypothesis .
psca:EstablishedFact a owl:Class .
psca:Evidence a owl:Class .
psca:EvidenceVector a owl:Class .
psca:Methodology a owl:Class .
psca:Agent a owl:Class ;
rdfs:subClassOf prov:Agent .
psca:GeologicalEvent a owl:Class .
psca:Place a owl:Class .
########################################
# EVIDENCE SUBTYPES
########################################
psca:GeologicalEvidence a owl:Class ;
rdfs:subClassOf psca:Evidence .
psca:GeneticEvidence a owl:Class ;
rdfs:subClassOf psca:Evidence .
psca:LinguisticEvidence a owl:Class ;
rdfs:subClassOf psca:Evidence .
psca:MythologicalEvidence a owl:Class ;
rdfs:subClassOf psca:Evidence .
########################################
# OBJECT PROPERTIES
########################################
psca:supportedBy a owl:ObjectProperty ;
rdfs:domain psca:Hypothesis ;
rdfs:range psca:EvidenceVector .
psca:hasEvidenceComponent a owl:ObjectProperty ;
rdfs:domain psca:EvidenceVector ;
rdfs:range psca:Evidence .
psca:proposedBy a owl:ObjectProperty ;
rdfs:domain psca:Hypothesis ;
rdfs:range psca:Agent .
psca:locatedIn a owl:ObjectProperty ;
rdfs:domain psca:Place ;
rdfs:range geo:SpatialThing .
########################################
# DATA PROPERTIES
########################################
psca:confidenceLevel a owl:DatatypeProperty ;
rdfs:domain psca:Hypothesis ;
rdfs:range xsd:float .
psca:heuristicScore a owl:DatatypeProperty ;
rdfs:domain psca:Hypothesis ;
rdfs:range xsd:float .
psca:weight a owl:DatatypeProperty ;
rdfs:domain psca:Evidence ;
rdfs:range xsd:float .
########################################
# INDIVIDUALS
########################################
ex:LuigiUsai a psca:Agent ;
schema:name “Luigi Usai” ;
schema:hasOccupation “Ricercatore”, “Panettiere A1”, “Musicista Digitale” ;
owl:sameAs <https://orcid.org/0000-0000-0000-0000> .
ex:InsulaMagna a psca:Place ;
schema:name “Blocco Sardo-Corso” .
ex:MeltwaterPulse1B a psca:GeologicalEvent ;
schema:name “Meltwater Pulse 1B” .
ex:PSCA_Hypothesis a psca:SpeculativeModel ;
psca:proposedBy ex:LuigiUsai ;
psca:confidenceLevel 0.42 ;
psca:heuristicScore 0.78 .
########################################
# EVIDENCE VECTOR INSTANCE
########################################
ex:EvidenceVector1 a psca:EvidenceVector ;
psca:hasEvidenceComponent ex:GeoEvidence1 ,
ex:GenEvidence1 ,
ex:LingEvidence1 .
ex:GeoEvidence1 a psca:GeologicalEvidence ;
psca:weight 0.9 .
ex:GenEvidence1 a psca:GeneticEvidence ;
psca:weight 0.6 .
ex:LingEvidence1 a psca:LinguisticEvidence ;
psca:weight 0.4 .
ex:PSCA_Hypothesis psca:supportedBy ex:EvidenceVector1 .
########################################
# SHACL VALIDATION
########################################
# Hypothesis must have confidence and heuristic score
psca:HypothesisShape a sh:NodeShape ;
sh:targetClass psca:Hypothesis ;
sh:property [
sh:path psca:confidenceLevel ;
sh:datatype xsd:float ;
sh:minCount 1 ;
sh:maxCount 1 ;
] ;
sh:property [
sh:path psca:heuristicScore ;
sh:datatype xsd:float ;
sh:minCount 1 ;
sh:maxCount 1 ;
] ;
sh:property [
sh:path psca:supportedBy ;
sh:class psca:EvidenceVector ;
sh:minCount 1 ;
] .
# EvidenceVector must contain at least one component
psca:EvidenceVectorShape a sh:NodeShape ;
sh:targetClass psca:EvidenceVector ;
sh:property [
sh:path psca:hasEvidenceComponent ;
sh:minCount 1 ;
] .
# Evidence must have weight
psca:EvidenceShape a sh:NodeShape ;
sh:targetClass psca:Evidence ;
sh:property [
sh:path psca:weight ;
sh:datatype xsd:float ;
sh:minCount 1 ;
] .