Web Ontology Language

Logique de description Un article de Wikipédia, l'encyclopédie libre. Les logiques de description aussi appelé logiques descriptives (LD) sont une famille de langages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d'un domaine d'application d'une manière formelle et structurée. Le nom de logique de description se rapporte, d'une part à la description de concepts utilisée pour décrire un domaine et d'autre part à la sémantique basée sur la logique qui peut être donnée par une transcription en logique des prédicats du premier ordre. La logique de description a été développée comme une extension des frames et des réseaux sémantiques, qui ne possédaient pas de sémantique formelle basée sur la logique. Origines et applications des logiques de description[modifier | modifier le code] Définition des logiques de description[modifier | modifier le code]

Réseau sémantique Un article de Wikipédia, l'encyclopédie libre. Exemple de réseau sémantique (incomplet) Dans les années 60, Quillian et Collins s'en sont d'abord servis pour modéliser l'usage des taxonomies dans la mémoire sémantique. Ces réseaux ont ensuite été employés par exemple pour gérer des thésaurus, pour modéliser la signification d'un texte, ou en robotique pour modéliser les états d'un système en vue d'élaborer des plans d'action.

hcard-cheatsheet-fr · Microformats Wiki Profil Propriétés (Noms de Classes) vcard {1} adr* type [work|home|pref|postal|dom|intl]? Pearltrees: mise à jour de l’export RDF Pour rentrer dans le vif du sujet, voici les modifications apportées sur l’export RDF de pearltrees : Fixe des problèmes de casse Remplace owl:sameAs par dc:identifier sur la class pt:Pearl Remplace owl:sameAs par rdfs:seeAlso sur les perles référencant des pt:Tree Natural Semantic Metalanguage Un article de Wikipédia, l'encyclopédie libre. Le Natural Semantic Metalanguage (NSM) est une approche sémantique basée sur la réduction des concepts à des mots clés ou primitives sémantiques (en anglais: primes, ou semantic primitives) afin de définir de façon très simple des idées complexes ou même des scénarios. Ces primitives sont supposées être des concepts irréductibles ou atomiques. Cette façon de voir plonge ses racines dans le XVIIIe siècle avec les travaux de Descartes et Leibniz. Le NSM est une façon de décrire les mots et concepts d'une langue naturelle avec le moins de vocabulaire possible, comme dans un glossaire résolument simplifié.

Analyse de concepts formels Un article de Wikipédia, l'encyclopédie libre. Définitions[modifier | modifier le code] Un contexte est un triplet où Dublin Core Un article de Wikipédia, l'encyclopédie libre. Le Dublin Core est un schéma de métadonnées générique qui permet de décrire des ressources numériques ou physiques et d’établir des relations avec d'autres ressources. Il comprend officiellement 15 éléments de description formels (titre, créateur, éditeur), thématiques (sujet, description, langue…) et relatifs à la propriété intellectuelle. Le Dublin Core fait l'objet de la norme internationale ISO 15836, disponible en anglais et en français depuis 2003. Il est employé par l'Organisation mondiale de la santé, ainsi que d'autres organisations intergouvernementales. Le Dublin Core a un statut officiel au sein du W3C et de la norme ISO 23950.

Métalangage Un article de Wikipédia, l'encyclopédie libre. Un métalangage est un formalisme conçu pour décrire rigoureusement un langage. Si le langage en question est décrit par une grammaire, la description de la grammaire est le métalangage. Ainsi le langage des expressions rationnelles ou la forme de Backus-Naur en informatique sont des métalangages. Un métalangage ne décrit pas seulement la syntaxe, il sert aussi à décrire la sémantique. Meta language ou ML : langage de programmation conçu pour décrire d'autres langages de programmation et écrire leurs compilateurs, pour programmer des systèmes de preuve formelle et plus généralement pour programmer des applications.NSM (Natural Semantic Metalanguage) permet la description de scripts linguistiques avec peu de mots (< 80).Métamodèle.