Documentazione di ONTO
Linguaggio e motore database orientati alle proprietà, con logica trivalente V/F/N.
Guida
Per iniziareCos'è ONTO, come si compila, primo script, comandi della CLI.
LinguaggioRiferimento della sintassi: valori, connettivi, elementi, classi, funzioni, interrogazioni del motore.
Quando usarloGuida alla scelta: casi d'uso concreti, diagramma decisionale, limiti.
ArchitetturaModuli, indice bitset trivalente, interprete, persistenza.
BenchmarkMetodologia e risultati del confronto con SQLite, sled e scan lineare.
Logica
Logica ontologicaI tre valori, le tavole canoniche, il principio di identità, leggi e principi, proprietà metalogiche.
Leggi logicheQuadro completo delle leggi a confronto con la logica booleana, con distribuzioni e controesempi.
MetalogicaRiduzione bivalente, correttezza e completezza, decidibilità, conservatività, adeguatezza, struttura modale.