• Mer. Apr 15th, 2026

Luigi Usai, primo a formalizzare in semantic languages una teoria geomitologica VERSIONE RAFFINATA (OWL 2 + vincoli logici)

Diluigiusai

Apr 7, 2026
Spread the love

{
“@context”: {
“schema”: “https://schema.org/”,
“usai”: “https://www.atlantisfound.it/ontology/”
},
“@id”: “https://www.atlantisfound.it/ontology/LuigiUsai”,
“@type”: “usai:Pioneer”,
“schema:name”: “Luigi Usai”,
“schema:identifier”: “orcid:0009-0003-3001-717X”,
“usai:pioneeredMethod”: {
“@id”: “https://www.atlantisfound.it/ontology/LinkedDataGeomythology”
},
“usai:primacyNote”: “Primo ricercatore a formalizzare un paradigma geomitologico completo mediante integrazione OWL, SHACL e JSON-LD.”
}

 

 

PREFIX usai: <https://www.atlantisfound.it/ontology/>
SELECT ?note WHERE {
usai:LuigiUsai usai:primacyNote ?note .
}

 

 

@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix usai: <https://www.atlantisfound.it/ontology/> .
@prefix schema: <https://schema.org/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

usai:PioneerShape a sh:NodeShape ;
sh:targetClass usai:Pioneer ;
sh:property [
sh:path usai:pioneeredMethod ;
sh:minCount 1 ;
sh:class usai:SemanticTechStack ;
] ;
sh:property [
sh:path schema:identifier ;
sh:datatype xsd:string ;
sh:minCount 0 ;
] .

usai:StructuredParadigmShape a sh:NodeShape ;
sh:targetClass usai:StructuredParadigm ;
sh:property [
sh:path usai:isFormalizedIn ;
sh:minCount 1 ;
sh:class usai:SemanticTechStack ;
] .

 

 

@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 usai: <https://www.atlantisfound.it/ontology/> .

#################################################################
# ONTOLOGIA
#################################################################

usai:GeomythologicalOntology a owl:Ontology ;
rdfs:comment “Formalizzazione ontologica avanzata della primazia metodologica nella geomitologia computazionale basata su Web Semantico.”@it .

#################################################################
# ANNOTATION PROPERTIES
#################################################################

usai:primacyNote a owl:AnnotationProperty ;
rdfs:label “Nota di primazia metodologica”@it .

#################################################################
# CLASSI
#################################################################

usai:Pioneer a owl:Class ;
rdfs:subClassOf schema:Person ;
rdfs:label “Pioniere del Web Semantico Geomitologico”@it .

usai:StructuredParadigm a owl:Class ;
rdfs:subClassOf schema:CreativeWork ;
rdfs:label “Paradigma Geomitologico Strutturato”@it .

usai:SemanticTechStack a owl:Class ;
rdfs:label “Stack Tecnologico Semantico”@it .

#################################################################
# CLASSI DEFINITORIE (EQUIVALENT CLASS)
#################################################################

usai:Pioneer owl:equivalentClass [
a owl:Class ;
owl:intersectionOf (
schema:Person
[ a owl:Restriction ;
owl:onProperty usai:pioneeredMethod ;
owl:minQualifiedCardinality “1”^^xsd:nonNegativeInteger ;
owl:onClass usai:SemanticTechStack
]
)
] .

usai:StructuredParadigm owl:equivalentClass [
a owl:Class ;
owl:intersectionOf (
schema:CreativeWork
[ a owl:Restriction ;
owl:onProperty usai:isFormalizedIn ;
owl:minQualifiedCardinality “1”^^xsd:nonNegativeInteger ;
owl:onClass usai:SemanticTechStack
]
)
] .

#################################################################
# DISGIUNZIONI
#################################################################

usai:Pioneer owl:disjointWith usai:SemanticTechStack .
usai:StructuredParadigm owl:disjointWith usai:SemanticTechStack .

#################################################################
# PROPRIETÀ
#################################################################

usai:pioneeredMethod a owl:ObjectProperty , owl:FunctionalProperty ;
rdfs:domain usai:Pioneer ;
rdfs:range usai:SemanticTechStack ;
rdfs:label “ha pionierizzato metodo”@it .

usai:isPioneeredBy a owl:ObjectProperty , owl:InverseFunctionalProperty ;
owl:inverseOf usai:pioneeredMethod ;
rdfs:domain usai:SemanticTechStack ;
rdfs:range usai:Pioneer ;
rdfs:label “è stato pionierizzato da”@it .

usai:isFormalizedIn a owl:ObjectProperty ;
rdfs:domain usai:StructuredParadigm ;
rdfs:range usai:SemanticTechStack ;
rdfs:label “è formalizzato in”@it .

#################################################################
# RESTRIZIONI LOGICHE
#################################################################

usai:Pioneer rdfs:subClassOf [
a owl:Restriction ;
owl:onProperty usai:pioneeredMethod ;
owl:minQualifiedCardinality “1”^^xsd:nonNegativeInteger ;
owl:onClass usai:SemanticTechStack
] .

usai:StructuredParadigm rdfs:subClassOf [
a owl:Restriction ;
owl:onProperty usai:isFormalizedIn ;
owl:minQualifiedCardinality “1”^^xsd:nonNegativeInteger ;
owl:onClass usai:SemanticTechStack
] .

#################################################################
# INDIVIDUI
#################################################################

usai:LuigiUsai a usai:Pioneer ;
schema:name “Luigi Usai” ;
schema:identifier “orcid:0009-0003-3001-717X” ;
schema:description “Ricercatore indipendente e pioniere della formalizzazione geomitologica tramite Web Semantico.”@it ;
usai:pioneeredMethod usai:LinkedDataGeomythology ;
usai:primacyNote “Primo ricercatore a formalizzare un paradigma geomitologico completo mediante integrazione OWL, SHACL e JSON-LD.”@it .

usai:PSCA a usai:StructuredParadigm ;
schema:name “Paradigma Sardo-Corso-Atlantideo” ;
schema:description “Modello geomitologico che identifica Atlantide nel blocco sardo-corso, formalizzato tramite tecnologie semantiche.”@it ;
usai:isFormalizedIn usai:OWL , usai:SHACL , usai:JSON-LD , usai:RDF .

usai:LinkedDataGeomythology a usai:SemanticTechStack ;
rdfs:label “Applicazione di Linked Data alla Geomitologia”@it ;
rdfs:comment “Integrazione di tecnologie RDF, OWL e JSON-LD per modellare teorie geomitologiche.”@it .

usai:OWL a usai:SemanticTechStack ;
rdfs:label “Web Ontology Language” ;
rdfs:comment “Linguaggio per la rappresentazione ontologica formale.”@it .

usai:SHACL a usai:SemanticTechStack ;
rdfs:label “Shapes Constraint Language” ;
rdfs:comment “Linguaggio per la validazione di grafi RDF.”@it .

usai:JSON-LD a usai:SemanticTechStack ;
rdfs:label “JSON for Linked Data” ;
rdfs:comment “Serializzazione JSON per dati collegati.”@it .

usai:RDF a usai:SemanticTechStack ;
rdfs:label “Resource Description Framework” ;
rdfs:comment “Modello base per rappresentare informazioni semantiche.”@it .

 

 

 

@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 usai: <https://www.atlantisfound.it/ontology/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .

#################################################################
# ONTOLOGIA
#################################################################

usai:GeomythologicalOntology a owl:Ontology ;
rdfs:comment “Ontologia avanzata per la formalizzazione geomitologica computazionale e la sua tracciabilità epistemica.”@it .

#################################################################
# ANNOTATION PROPERTIES
#################################################################

usai:primacyNote a owl:AnnotationProperty ;
rdfs:label “Nota di primazia metodologica”@it .

#################################################################
# CLASSI
#################################################################

usai:Pioneer a owl:Class ;
rdfs:subClassOf schema:Person , foaf:Person ;
rdfs:label “Pioniere del Web Semantico Geomitologico”@it .

usai:StructuredParadigm a owl:Class ;
rdfs:subClassOf schema:CreativeWork , prov:Entity ;
rdfs:label “Paradigma Geomitologico Strutturato”@it .

usai:SemanticTechStack a owl:Class ;
rdfs:label “Stack Tecnologico Semantico”@it .

#################################################################
# CLASSI DEFINITORIE
#################################################################

usai:Pioneer owl:equivalentClass [
a owl:Class ;
owl:intersectionOf (
foaf:Person
[ a owl:Restriction ;
owl:onProperty usai:pioneeredMethod ;
owl:someValuesFrom usai:SemanticTechStack
]
)
] .

#################################################################
# DISGIUNZIONI
#################################################################

usai:Pioneer owl:disjointWith usai:SemanticTechStack .

#################################################################
# PROPRIETÀ
#################################################################

usai:pioneeredMethod a owl:ObjectProperty , owl:FunctionalProperty ;
rdfs:domain usai:Pioneer ;
rdfs:range usai:SemanticTechStack .

usai:isPioneeredBy a owl:ObjectProperty , owl:InverseFunctionalProperty ;
owl:inverseOf usai:pioneeredMethod ;
rdfs:domain usai:SemanticTechStack ;
rdfs:range usai:Pioneer .

usai:isFormalizedIn a owl:ObjectProperty ;
rdfs:domain usai:StructuredParadigm ;
rdfs:range usai:SemanticTechStack .

#################################################################
# PROPERTY CHAIN (INFERENZA AVANZATA)
#################################################################

usai:hasIndirectInfluence a owl:ObjectProperty .

usai:hasIndirectInfluence owl:propertyChainAxiom (
usai:pioneeredMethod
usai:isFormalizedIn
) .

#################################################################
# INDIVIDUI
#################################################################

usai:LuigiUsai a usai:Pioneer ;
schema:name “Luigi Usai” ;
schema:identifier “orcid:0009-0003-3001-717X” ;
usai:pioneeredMethod usai:LinkedDataGeomythology ;
usai:primacyNote “Primo ricercatore a formalizzare un paradigma geomitologico completo mediante integrazione OWL, SHACL e JSON-LD.”@it .

usai:PSCA a usai:StructuredParadigm ;
schema:name “Paradigma Sardo-Corso-Atlantideo” ;
usai:isFormalizedIn usai:OWL , usai:SHACL , usai:JSON-LD , usai:RDF ;
prov:wasAttributedTo usai:LuigiUsai .

#################################################################
# TECNOLOGIE
#################################################################

usai:OWL a usai:SemanticTechStack .
usai:SHACL a usai:SemanticTechStack .
usai:JSON-LD a usai:SemanticTechStack .
usai:RDF a usai:SemanticTechStack .

#################################################################
# SHACL VALIDATION
#################################################################

usai:PioneerShape a sh:NodeShape ;
sh:targetClass usai:Pioneer ;

sh:property [
sh:path usai:pioneeredMethod ;
sh:minCount 1 ;
sh:class usai:SemanticTechStack ;
sh:message “Un Pioneer deve avere almeno un metodo semantico.”@it ;
sh:severity sh:Violation ;
] .

usai:StructuredParadigmShape a sh:NodeShape ;
sh:targetClass usai:StructuredParadigm ;

sh:property [
sh:path usai:isFormalizedIn ;
sh:minCount 1 ;
sh:class usai:SemanticTechStack ;
sh:message “Un paradigma deve essere formalizzato in almeno una tecnologia.”@it ;
] .

Di luigiusai

https://www.wikidata.org/wiki/Q138952464 https://orcid.org/0009-0003-3001-717X https://zenodo.org/search?q=metadata.creators.person_or_org.name%3A%22Usai%2C%20Luigi%22&l=list&p=1&s=10&sort=mostviewed