Résultats de la recherche

...ption Framework|RDF]]. Il fournit les moyens pour définir des [[ontologie (informatique)|ontologies]] [[web]] structurées. Sa deuxième version est devenue une reco ...gique de description]]. Il peut être vu en quelque sorte comme un standard informatique qui met en œuvre certaines [[logiques de description]], et permet à des out ...

{{portail|informatique|Ontologie}} [[Catégorie:Ontologie (informatique)]] ...

C'est un axiome qui propose une extension de l'ontologie ensembliste. En effet dans un univers de la théorie [[Théorie des ensembles L'[[axiome de fondation]] limite l'ontologie ensembliste aux ensembles bien fondés, il équivaut à ce que tout ensemble a ...

En [[mathématiques]] et en [[informatique théorique]], une '''mesure de similarité''', plus exactement une mesure de Ce concept provient du [[Similarité (informatique)|concept informatique de similarité]], notamment utilisé dans le cadre de tâche de classification ...

...[web sémantique]] (par exemple représentation d'[[Ontologie (informatique)|ontologie]]s, et [[recherche d'information]] basée sur la logique) * médecine/bio-informatique (par exemple pour représenter et gérer des ontologies biomédicales) ...

! Taille de l'ontologie {{Portail|programmation informatique|Internet|Web sémantique}} ...

* En termes [[Informatique|informatiques]], un graphe attribué est une [[structure de données]] représ ...ns le cadre de la notion d'[[Attribut (informatique)|attribut]] usuelle en informatique, c'est pourquoi l'appellation de "graphe attribué" est pertinente. Contrair ...

En [[informatique]], la {{Lien|Syntaxe (informatique)|trad=Syntax (programming languages)|texte=syntaxe}} est un terme qui se ré ...quelque chose de [[Vérité|vrai]] ou faux. Une proposition est identifiée [[Ontologie (philosophie)|ontologiquement]] à une [[idée]], un [[Concept (philosophie)| ...

...upe défini l'espace des prédicats. Il énumère les prédicats du système. En informatique un groupement de prédicats est appelé interface. Chaque couche à sa propre ontologie et tout l'art réside dans la connexion des couches entre elles. ...

...Mathématiques|mathématique]] de la logique. Sa convergence opérée avec l'[[informatique]] depuis la fin du {{s|XX|e}} lui a donné un regain de vitalité. ...-05-28}}</ref> afin de prouver qu'il n'y a pas d'[[Ontologie (philosophie)|ontologie]] possible : {{citation|ce n'est pas l'être qui est l'objet de nos pensées} ...

Cette dernière question est d'une importance capitale en ce qui concerne l'[[informatique quantique]] puisque cette dernière repose sur la maîtrise de l'évolution d' ...la mécanique quantique]] possèdent une certaine [[Ontologie (philosophie)|ontologie]], et décrivent (au moins partiellement) la réalité. Si on prend la positio ...

Cytoscape est un logiciel [[open source]] [[bio-informatique]] qui permet la visualisation des réseaux d'interactions moléculaires et l' ===== Ontologie des gènes (GO : gene ontology) ===== ...

...é [[Wolfram Research]]<ref>{{Lien web|langue=fr|auteur1=|titre=Wolfram : L'informatique rencontre la connaissance|url=http://www.wolfram.com/|site=www.wolfram.com| ...èmes sur le calcul. Cependant, aussi récemment que dans les années 1970, l'informatique a été décrite comme étant à la croisée des traditions mathématiques, empiri ...

* {{Lien|lang=en|fr=Ontologie de biologie des systèmes|trad=Systems Biology Ontology}} {{Portail|Informatique|biologie}} ...

:: {{Souligner|Dilemme}} : logique → mathématiques → informatique ...nyata en même temps que celui de l'ontologie<ref name=VIEVARD8384/>. Ainsi ontologie et sunyata, [[samsara]] et [[Nirvana (monde indien)|nirvana]] sont-ils en s ...

...é néanmoins, à ses débuts, de réelles difficultés en tant qu’il s'engage [[Ontologie (philosophie)|ontologiquement]] par rapport aux classes. La théorie des cla ...e et cohérente des principes généraux des mathématiques, elle a, grâce à l'informatique, repris de la vigueur à la fin du XXe siècle et au début du XXIe et devient ...

...e la [[théorie des automates]] au milieu du {{s-|XX}}. L'apparition de l'[[informatique quantique]] à la fin du {{s-|XX}} et celle de la conception forte de la [[t ...Analyse (mathématiques)|analyse]], [[topologie]], [[Informatique théorique|informatique]]). Elle est aussi revenue à son domaine d'origine, à savoir l'explication ...

...mbres]], [[Portail:Géométrie|Géométrie]], [[Portail:Informatique théorique|Informatique théorique]], [[Portail:Logique|Logique]], [[Portail:Probabilités et statist ...[Égalité (mathématiques)|l'égalité]] est une/la relation (selon le domaine/ontologie envisagée) où toute classe d'équivalence est un <u>singleton</u>. ...

| principaux intérêts = [[Métaphysique]], [[Ontologie (philosophie)|ontologie]], [[théologie]], [[éthique]], [[psychologie]], [[épistémologie]], [[logiqu ...alcul grâce au {{Langue|la|''[[calculus ratiocinator]]''}}, anticipant l'[[informatique]] de plus de trois siècles. En [[métaphysique]], il invente le concept de [ ...

...ributions de l'utilisateur et je pense qu'il a quelque chose a voir avec l'informatique. Il est par exemple intervenu sur [[Suite de Conway]] qui contient une imag ...les autres disciplines (épistémologie des sciences, histoire des sciences, informatique, logique, physique, ...) pour faire comprendre un peu les maths et l'introd ...