Una piattaforma semantica può rispondere a domande le cui risposte non sono direttamente catturate dai fatti, ragionando sui fatti usando le regole, alcune delle quali sono incorporate e altre aggiunte da un esperto di dominio.
In una piattaforma semantica, puoi descrivere una proprietà come transitiva, cioè se c'è una relazione R tra A e B e c'è una relazione R tra B e C, può dedurre che esiste una relazione R tra A e C.
Questo solo è alquanto sofisticato e difficile da codificare all'interno di una singola query complessa in un db grafico o in una piattaforma non semantica. Si potrebbe sicuramente codificare un esempio, certo, ma la transitivity potrebbe avere un numero qualsiasi di hop (che alcuni db grafici possono effettivamente supportare). Inoltre, usando una piattaforma semantica, non dobbiamo codificare il luppolo, i loop o la ricorsione, piuttosto ci limitiamo a dire alla piattaforma che alcune proprietà o relazioni sono transitive e ne inferisce il resto.
Possiamo anche descrivere un'entità come una sottoclasse di un'altra entità, dove essere una sottoclasse significa che i membri, le proprietà o le qualità della base si applicano alle sottoclassi.
Inoltre, queste regole e / o descrizioni possono essere combinate e interagire. La piattaforma semantica può ragionare attraverso più regole che collegano più entità e relazioni per dare risposte.
Quindi, usando queste regole, ad esempio, possiamo descrivere logicamente un sistema tradizionale di classi e istanze con membri (, proprietà o qualità). Se le istanze di classe A hanno un membro (o qualità) M, e la classe B è una sottoclasse di A, e la classe C è sottoclasse di B, allora il sistema di ragionamento comprenderà che (1) C è una sottoclasse di A, e (2 ) M è applicabile alle istanze di C.
Questo tipo di cose sarebbe relativamente difficile da codificare in una query db di un grafico non semantico (anche usando le viste), cioè senza che l'applicazione ricorra a più query e sia guidata dalla propria logica esterna (che va a cosa @Robert ha detto di stratificazione della semantica in cima al grafico db).
Le piattaforme semantiche hanno in genere dozzine e dozzine di regole, ad es.
Assioma transitivo: link
Ci sono anche vari livelli di logica, che sono progressivamente più potenti. Le piattaforme semantiche di solito utilizzano il logico descrizione ( link ), che è specificamente limitato in modo da avere certe qualità di computabilità (aka decidibilità) . I sistemi di logica del primo ordine ( link ) hanno una maggiore espressività, attraverso il loro uso di variabili e quantificatori. Quindi, possono risolvere i problemi che i DL non possono. Esistono anche sistemi logici più complessi oltre a FOL ...