5 relazioni: Ipotesi del mondo chiuso, Ipotesi di unicità del nome, Logica descrittiva, OWA, Risorsa anonima.
Ipotesi del mondo chiuso
In un sistema logico formale utilizzato per la rappresentazione della conoscenza, lipotesi del mondo chiuso (nota anche in inglese come closed-world assumption, o CWA) è l'ipotesi secondo cui ogni affermazione il cui valore di verità non è noto è considerata falsa.
Nuovo!!: Ipotesi del mondo aperto e Ipotesi del mondo chiuso · Mostra di più »
Ipotesi di unicità del nome
L'ipotesi di unicità del nome è un'ipotesi semplificativa che viene fatta durante la definizione di alcuni linguaggi per ontologie e logiche descrittive.
Nuovo!!: Ipotesi del mondo aperto e Ipotesi di unicità del nome · Mostra di più »
Logica descrittiva
Le logiche descrittive (in inglese, description logics) sono una famiglia di formalismi utilizzati per rappresentare la conoscenza in un dominio di applicazione detto mondo.
Nuovo!!: Ipotesi del mondo aperto e Logica descrittiva · Mostra di più »
OWA
Nessuna descrizione.
Nuovo!!: Ipotesi del mondo aperto e OWA · Mostra di più »
Risorsa anonima
Una risorsa anonima (chiamata anche in inglese blank node, abbreviato in bnode) è un nodo di un grafo RDF rappresentante una risorsa per la quale non è assegnato un percorso IRI.
Nuovo!!: Ipotesi del mondo aperto e Risorsa anonima · Mostra di più »