background preloader

Logique de description

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. Origines et applications des logiques de description[modifier | modifier le code] Les logiques de description forment une famille de langages de représentation de connaissances qui peuvent être utilisés pour représenter la connaissance terminologique d'un domaine d'application d'une façon structurée et formelle. Définition des logiques de description[modifier | modifier le code] , où Sémantique[modifier | modifier le code] . Related:  Sémantique

Web sémantique Logo du W3C pour le Web sémantique Le Web sémantique, ou toile sémantique[1], est une extension du Web standardisée par le World Wide Web Consortium (W3C)[2]. Ces standards encouragent l'utilisation de formats de données et de protocoles d'échange normés sur le Web, en s'appuyant sur le modèle Resource Description Framework (RDF). Le web sémantique est par certains qualifié de web 3.0 . Alors que ses détracteurs ont mis en doute sa faisabilité, ses promoteurs font valoir que les applications réalisées par les chercheurs dans l'industrie, la biologie et les sciences humaines ont déjà prouvé la validité de ce nouveau concept[5]. L'article original de Tim Berners-Lee en 2001 dans le Scientific American a décrit une évolution attendue du Web existant vers un Web sémantique[6], mais cela n'a pas encore eu lieu. Histoire[modifier | modifier le code] Tim Berners-Lee à l'origine exprimait la vision du Web sémantique comme suit : — Tim Berners-Lee, Weaving the Web[13] — Weaving the Web[13]

Description Logic Complexity Navigator Books The Description Logic Handbook: Theory, Implementation and Applications, 2nd Edition The Description Logic Handbook: Theory, Implementation and Applications Handbook of Modal Logic Modal Logic Computational Complexity Theses Normal multimodal logics: Automatic deduction and logic programming extension [ pdf | ps.zip ] PhD thesis, Dipartimento di Informatica, Università degli Studi di Torino, Italy, . Unrestricted and finite model reasoning in class-based representation formalisms [ pdf ] PhD Thesis, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", . Decidability of class-based knowledge representation formalisms [ pdf | ps.zip ] PhD Thesis, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", . The complexity of Description Logics with concrete domains [ pdf ] PhD Thesis, LuFG Theoretical Computer Science, RWTH Aachen, Germany, . Konsistenz von Wissensbasen in Beschreibungslogiken mit Rollenoperatoren [ pdf | ps.zip ] In A.

Web Ontology Language Un article de Wikipédia, l'encyclopédie libre. Pour les articles homonymes, voir OWL. Le langage OWL est basé sur les recherches effectuées dans le domaine de la logique de description. Il peut être vu en quelque sorte comme un standard informatique qui met en oeuvre certaines logiques de description, et permet à des outils qui comprennent OWL de travailler avec ces données, de vérifier que les données sont cohérentes, de déduire des connaissances nouvelles ou d'extraires certaines informations de cette base de données. Une extension de RDF[modifier | modifier le code] En pratique, le langage OWL est conçu comme une extension de Resource Description Framework (RDF) et RDF Schema (RDFS) ; OWL est destiné à la description de classes au travers de caractéristiques des instances de cette classes et de types de propriétés. RDF permet par exemple de décrire que <Jean> est le père de <Paul>, au travers des individus <Jean>, <Paul>, et de la relation est le père de. .

Calcul des prédicats Un article de Wikipédia, l'encyclopédie libre. Le calcul des prédicats du premier ordre, ou calcul des relations, ou logique du premier ordre, ou tout simplement calcul des prédicats est une formalisation du langage des mathématiques proposée par les logiciens de la fin du XIXe siècle et du début du XXe siècle. Le trait caractéristique de la logique du premier ordre est l'introduction : Ceci permet de formuler des énoncés tels que « Tout x est P » et « Il existe un x tel que pour tout y, x entretient la relation R avec y » en symboles : et Le calcul des prédicats du premier ordre égalitaire adjoint au calcul des prédicats un symbole de relation, l'égalité, dont l'interprétation est obligée : c'est l'identité des éléments du modèle, et qui est axiomatisée en conséquence. Le calcul des propositions est la partie du calcul des prédicats qui concerne ce qui ne contient pas les notions de variables, de fonctions et de prédicats et donc pas les quantificateurs . On se donne pour alphabet : ou . ?

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é. Vue d'ensemble[modifier | modifier le code] Les mots d'un langage humain sont analysables par une suite de primitives NSM. Plante: living things / these things can't feel something / these things can't do something Anna Wierzbicka a créé la théorie du NSM au début des années 1970 (Wierzbicka 1972). Substantifs Prédicats mentaux Parole Existence Temps

ScienceDirect - Knowledge-Based Systems : Comparison of a Deductive Database with a Semantic Web reasoning engine Abstract Knowledge engineering is a discipline concerned with constructing and maintaining knowledge bases to store knowledge of various domains and using the knowledge by automated reasoning techniques to solve problems in domains that ordinarily require human logical reasoning. Therefore, the two key issues in knowledge engineering are how to construct and maintain knowledge bases, and how to reason out new knowledge from known knowledge effectively and efficiently. The objective of this paper is the comparison and evaluation of a Deductive Database system (ConceptBase) with a Semantic Web reasoning engine (Racer). For each system a knowledge base is implemented in such a way that a fair comparison can be achieved. Keywords Knowledge engineering; Semantic Web; Performance comparison; ConceptBase; Racer; Protege Copyright © 2010 Elsevier B.V.

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. 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.

Une introduction aux logiques de description Ce document est une adaptation du chapitre 4 de : Fournier-Viger, Philippe (2005) "Un modèle de représentation des connaissances à trois niveaux de sémantique pour les systèmes tutoriels intelligents". Mémoire de maîtrise (M.Sc.), Université de Sherbrooke, Sherbrooke, Canada. Le document est seulement mis à jour pour corriger des erreurs. Vous pouvez me contacter pour rapporter des erreurs. Ce document présente les logiques de description (LD), une famille de langages de représentation de connaissances qui exploitent, en général, des sous-ensembles décidables (pour une logique, un problème de raisonnement est décidable si une machine de Turing peut le résoudre en un nombre ni d'étapes) de la logique de premier ordre. Ils ont été largement étudiés et utilisés dans plusieurs systèmes à base de connaissances (Nardi et Brachman, 2003). 1.1 Le contexte 1.1.1 Une approche ontologique 1.1.2 Un historique des logique de description La première génération de logiques de description (1980 - 1990) . b

Information Economy Meta Language Un article de Wikipédia, l'encyclopédie libre. Information Economy Meta Language (IEML, fr. : métalangage de l'économie de l'information) est un langage informatique. Dans le monde, une quarantaine de personnes travaillent actuellement sur le projet, dont des chercheurs du laboratoire Paragraphe de Paris VIII, du MCR Lab de l’Université d’Ottawa et des informaticiens de l'association DixièmeFamille.com. L'objectif est d'arriver à des applications concrètes d'ici 2010. Structure du métalangage[modifier | modifier le code] Synoptique de la grammaire[modifier | modifier le code] La grammaire d'IEML comporte quatre parties. 1) La structure fondamentale : le flux d'information circulant entre une source et une destination (optionnel : traductrice). 2) cinq éléments, composantes primitives des flux : Pôle pragmatique O : le virtuel Ul'actuel APôle sémantique M : le signe Sl'être Bla chose T. 4) Les graphes, ou textes IEML : flux d'information entre glyphes. Dictionnaires[modifier | modifier le code]

La sémantique générale Négation (linguistique) Un article de Wikipédia, l'encyclopédie libre. Pour les articles homonymes, voir négation. Bien que nécessairement liés à la négation logique, les multiples faits de langue correspondants posent des problèmes d’interprétation spécifiques, qui gagnent à être étudiés dans un cadre non strictement syntaxique ou monolinguistique. Les points de vue des linguistes étant variés, discutés et parfois contradictoires, il n'est pas question ici de proposer une théorie de la négation lisse et cohérente mais plutôt de rassembler, en les résumant, des données et des idées éparpillées ici et là, en mentionnant les sources. Sur les autres projets Wikimedia : négation, sur le Wiktionnaire Comme beaucoup de termes abstraits similaires, le mot négation prend plusieurs sens qui, plutôt qu'à des cas d'homonymie ou même de polysémie, correspondent aux différents aspects d'un même concept : En grammaire traditionnelle, on distingue habituellement[6] trois (ou quatre) types principaux de phrases simples :

Related: