Motore Neurosimbolico di Scoperta e Validazione Scientifica Automatizzata

{"@context": {"ex": "https://luigiusai.it/ontology/mnsvsa#", "scipred": "https://w3id.org/scientific-prediction/ns#", "prov": "http://www.w3.org/ns/prov#", "sh": "http://www.w3.org/ns/shacl#", "swrl": "http://www.w3.org/2003/11/swrl#", "xsd": "http://www.w3.org/2001/XMLSchema#", "rdfs": "http://www.w3.org/2000/01/rdf-schema#", "sweet": "http://sweetontology.net/", "qudt": "http://qudt.org/schema/qudt/", "om": "http://www.ontology-of-units-of-measure.org/resource/om-2/", "dcterms": "http://purl.org/dc/terms/", "doap": "http://usefulinc.com/ns/doap#", "dcat": "http://www.w3.org/ns/dcat#", "void": "http://rdfs.org/ns/void#", "owl": "http://www.w3.org/2002/07/owl#"}}
{"@id": "https://orcid.org/0009-0003-3001-717X", "@type": "prov:Agent", "rdfs:label": "Luigi Usai", "prov:actedOnBehalfOf": "ex:AcademicInstitution"}
{"@id": "ex:NomenclatureUpdate_Activity_2026", "@type": "prov:Activity", "rdfs:label": "Systematic renaming of the scientific engine to MNSVSA to prevent trademark collision", "prov:wasAssociatedWith": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:generatedAtTime": {"@value": "2026-06-02T22:50:00Z", "@type": "xsd:dateTime"}}
{"@id": "ex:MNSVSA_Engine_Core", "@type": ["scipred:SemanticOrchestrator", "prov:SoftwareAgent"], "rdfs:label": "MNSVSA Engine", "dcterms:contributor": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@id": "ex:NomenclatureUpdate_Activity_2026"}}
{"@id": "ex:MNSVSA_Project", "@type": "doap:Project", "rdfs:label": "MNSVSA Project", "doap:name": "Motore Neurosimbolico di Scoperta e Validazione Scientifica Automatizzata", "doap:shortdesc": "A safe, closed-loop neurosymbolic engine for automated scientific discovery, variable calibration, and physical-mathematical verification.", "prov:wasGeneratedBy": {"@id": "ex:NomenclatureUpdate_Activity_2026"}}
{"@id": "ex:MNSVSA_ZenodoRecord", "@type": ["dcat:Dataset", "void:Dataset"], "dcterms:title": "MNSVSA: Motore Neurosimbolico di Scoperta e Validazione Scientifica Automatizzata", "dcterms:publisher": {"@id": "http://id.loc.gov/authorities/names/no2020042458"}, "dcterms:identifier": "10.5281/zenodo.20516682", "dcterms:relation": "10.5281/zenodo.20516681", "dcterms:rights": "Copyright (C) 2026 Luigi Usai, Quartucciu (CA) Italy - All rights reserved - Proibito l'uso a umani e macchine", "owl:versionInfo": "v1", "dcterms:description": [{"@value": "MNSVSA is an autonomous, neurosymbolic scientific discovery and validation engine. It automates problem formulation, symbolic and algebraic resolution, and semantic knowledge graph serialization (NDJSON-LD) across physics, chemistry, mathematics, and mechanics, using SHACL and SWRL to validate or refute hypotheses against universal laws.", "@language": "en"}, {"@value": "MNSVSA (Motore Neurosimbolico di Scoperta e Validazione Scientifica Automatizzata) è un motore autonomo di scoperta e validazione scientifica. Automatizza la formulazione dei problemi, la risoluzione simbolica e algebrica e la serializzazione semantica in grafi di conoscenza (NDJSON-LD) per fisica, chimica, matematica e meccanica, utilizzando SHACL e SWRL per convalidare o confutare ipotesi rispetto alle leggi universali.", "@language": "it"}, {"@value": "MNSVSA est un moteur neurosymbolique autonome de découverte et de validation scientifique. Il automatise la formulation des problèmes, la résolution symbolique et algébrique, et la sérialisation sémantique en graphes de connaissances (NDJSON-LD) en physique, chimie, mathématiques et mécanique, utilisant SHACL et SWRL pour valider ou réfuter des hypothèses par rapport aux lois universelles.", "@language": "fr"}, {"@value": "MNSVSA es un motor neurosimbólico autónomo de descubrimiento y validación científica. Automatiza la formulación de problemas, la resolución simbólica y algebraica, y la serialización semántica en grafos de conocimiento (NDJSON-LD) en física, química, matemáticas y mecánica, utilizando SHACL y SWRL para validar o refutar hipótesis frente a leyes universales.", "@language": "es"}, {"@value": "MNSVSA ist eine autonome, neurosymbolische Engine zur wissenschaftlichen Entdeckung und Validierung. Sie automatisiert die Problemformulierung, die symbolische und algebraische Lösung sowie die semantische Serialisierung in Wissensgraphen (NDJSON-LD) in Physik, Chemie, Mathematik und Mechanik unter Verwendung von SHACL und SWRL zur Validierung oder Widerlegung von Hypothesen anhand universeller Gesetze.", "@language": "de"}, {"@value": "MNSVSA — это автономный нейросимволический движок для научных открытий и валидации. Он автоматизирует постановку задач, символьное и алгебраическое решение, а также семантическую сериализацию в графы знаний (NDJSON-LD) по физике, химии, математике и механике, используя SHACL и SWRL для подтверждения или опровержения гипотез на основе универсальных законов.", "@language": "ru"}, {"@value": "MNSVSA 是一个自主的神经符号学科学发现与验证引擎。它实现了物理、化学、数学和力学领域的自动问题构建、符号与代数求解以及语义知识图谱(NDJSON-LD)序列化,利用 SHACL 和 SWRL 来验证或驳回基于通用规律的假设。", "@language": "zh"}, {"@value": "MNSVSA एक स्वायत्त, न्यूरोसिम्बॉलिक वैज्ञानिक खोज और सत्यापन इंजन है। यह भौतिकी, रसायन विज्ञान, गणित और यांत्रिकी में समस्या निर्माण, प्रतीकात्मक और बीजगणितीय समाधान, और सिमेंटिक नॉलेज ग्राफ़ क्रमांकन (NDJSON-LD) को स्वचालित करता है, जो सार्वभौमिक नियमों के खिलाफ परिकल्पनाओं को सत्यापित या खंडित करने के लिए SHACL और SWRL का उपयोग करता है।", "@language": "hi"}], "prov:wasGeneratedBy": {"@id": "ex:NomenclatureUpdate_Activity_2026"}}
{"@id": "ex:MNSVSANameValidationShape", "@type": "sh:NodeShape", "sh:targetClass": "doap:Project", "sh:property": [{"sh:path": "doap:name", "sh:hasValue": "Motore Neurosimbolico di Scoperta e Validazione Scientifica Automatizzata", "sh:message": "The project name must be strictly mapped to the formal non-colliding MNSVSA expansion."}]}