Indice
13 relazioni: Association for Computing Machinery, Assunzione del mondo aperto, Assunzione del mondo chiuso, Base di conoscenza, Lingua inglese, Logica descrittiva, Ontologia (informatica), Rappresentazione della conoscenza, Simmetria (matematica), Sinonimia, Sus scrofa domesticus, Web Ontology Language, Web semantico.
Association for Computing Machinery
La Association for Computing Machinery (ACM) è un'associazione internazionale accademica e senza scopo di lucro dedicata a scienziati ed educatori dell'informatica ACM,.
Vedere Assunzione di unicità del nome e Association for Computing Machinery
Assunzione del mondo aperto
In un sistema logico formale utilizzato per la rappresentazione della conoscenza, lassunzione del mondo aperto (dall'inglese open-world assumption, o OWA, talvolta tradotta come ipotesi del mondo aperto), è l'assunzione secondo cui il valore di verità di una dichiarazione può essere positivo indipendentemente dal fatto che la dichiarazione sia un fatto conosciuto essere vero.
Vedere Assunzione di unicità del nome e Assunzione del mondo aperto
Assunzione del mondo chiuso
In un sistema logico formale utilizzato per la rappresentazione della conoscenza, lassunzione del mondo chiuso (dall'inglese closed-world assumption, o CWA, talvolta tradotta come ipotesi del mondo chiuso) è l'assunzione secondo cui ogni affermazione il cui valore di verità non è noto è considerata falsa.
Vedere Assunzione di unicità del nome e Assunzione del mondo chiuso
Base di conoscenza
Una base di conoscenza (individuata anche con il termine inglese knowledge base e con l'acronimo KB) è un tipo speciale di banca dati per la gestione della conoscenza per scopi aziendali, culturali o didattici.
Vedere Assunzione di unicità del nome e Base di conoscenza
Lingua inglese
Linglese (nome nativo: English) è una lingua indoeuropea, parlata da circa 1,452 miliardi di persone al 2022. Secondo Ethnologue 2022 (25ª edizione), è la lingua più parlata al mondo per numero di parlanti totali (nativi e stranieri) ed è la terza per numero di parlanti madrelingua (L1) (la prima è il cinese e la seconda è lo spagnolo).
Vedere Assunzione di unicità del nome e Lingua inglese
Logica descrittiva
Le logiche descrittive (indicate anche con la sigla DL, dall'inglese, description logics) sono una famiglia di formalismi utilizzati per rappresentare la conoscenza in un dominio di applicazione detto mondo.
Vedere Assunzione di unicità del nome e Logica descrittiva
Ontologia (informatica)
In informatica, un'ontologia è una rappresentazione formale, condivisa ed esplicita di una concettualizzazione di un dominio di interesse. Più nel dettaglio, si tratta di una teoria assiomatica del primo ordine esprimibile in una logica descrittiva.
Vedere Assunzione di unicità del nome e Ontologia (informatica)
Rappresentazione della conoscenza
La rappresentazione della conoscenza è una branca dell'intelligenza artificiale che studia il modo in cui avviene il ragionamento umano, e si preoccupa di definire dei simbolismi o dei linguaggi che permettano di formalizzare la conoscenza al fine di renderla comprensibile alle macchine, per potervi fare dei ragionamenti automatici (inferendo le informazioni presenti) ed estrarre così nuova conoscenza.
Vedere Assunzione di unicità del nome e Rappresentazione della conoscenza
Simmetria (matematica)
In matematica, una simmetria è un'operazione che muove o trasforma un oggetto lasciandone inalterato l'aspetto. L'oggetto può essere, ad esempio, una figura geometrica o un'equazione.
Vedere Assunzione di unicità del nome e Simmetria (matematica)
Sinonimia
In semantica, la sinonimia (dal greco synōnymía, "comunanza di nome") indica la relazione che intercorre fra due lessemi, detti "sinonimi", che hanno lo stesso significato (ossia che sono scomponibili negli stessi semi).
Vedere Assunzione di unicità del nome e Sinonimia
Sus scrofa domesticus
Il maiale (Sus scrofa domesticus L.), chiamato anche suino (che più propriamente è la sottofamiglia di cui fa parte) o porco, è un suide addomesticato appartenente ai mammiferi dell'ordine artiodattili suiformi.
Vedere Assunzione di unicità del nome e Sus scrofa domesticus
Web Ontology Language
Il Web Ontology Language (OWL) è un linguaggio di markup per rappresentare esplicitamente significato e semantica di termini con vocabolari e relazioni tra gli stessi.
Vedere Assunzione di unicità del nome e Web Ontology Language
Web semantico
Il web semantico è un'estensione del World Wide Web in cui i documenti pubblicati (pagine HTML, file, immagini, e così via) sono associati ad informazioni e dati (metadati) che ne specificano il contesto semantico in un formato adatto all'interrogazione e all'interpretazione (es.
Vedere Assunzione di unicità del nome e Web semantico
Conosciuto come Ipotesi di unicità del nome.