In computer science and artificial intelligence, ontology languages are formal languages used to construct ontologies. They allow the encoding of knowledge about specific domains and often include reasoning rules that support the processing of that knowledge. Ontology languages are usually declarative languages, are almost always generalizations of frame languages, and are commonly based on either first-order logic or on description logic. Common Logic - and its dialects CycL DOGMA (Developing Ontology-Grounded Methods and Applications) F-Logic (Frame Logic) FO-dot (First-order logic extended with types, arithmetic, aggregates and inductive definitions) KIF (Knowledge Interchange Format) Ontolingua based on KIF KL-ONE KM programming language LOOM (ontology) OCML (Operational Conceptual Modelling Language) OKBC (Open Knowledge Base Connectivity) PLIB (Parts LIBrary) RACER These languages use a markup scheme to encode knowledge, most commonly with XML. DAML+OIL Ontology Inference Layer (OIL) Web Ontology Language (OWL) Resource Description Framework (RDF) RDF Schema (RDFS) SHOE Attempto Controlled English Executable English Three languages are completely or partially frame-based languages. F-Logic OKBC KM Description logic provides an extension of frame languages, without going so far as to take the leap to first-order logic and support for arbitrary predicates. KL-ONE RACER OWL. Gellish is an example of a combined ontology language and ontology that is description logic based. It distinguishes between the semantic differences among others of: relation types for relations between concepts (classes) relation types for relations between individuals relation types for relations between individuals and classes It also contains constructs to express queries and communicative intent. Several ontology languages support expressions in first-order logic and allow general predicates.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Concepts associés (6)
Cadre (intelligence artificielle)
Le terme de cadres (en anglais frames) a été proposé par Marvin Minsky dans son article de 1974 intitulé A Framework for Representing Knowledge. Un cadre en intelligence artificielle est une structure de données utilisée pour subdiviser la connaissance en sous-structures représentant des situations stéréotypées. Les cadres sont reliés entre eux pour former une idée complète. Un cadre contient de l'information sur la manière d'utiliser le cadre, sur ce qu'on peut en attendre, et sur ce qu'on peut faire lorsque cette attente n'est pas satisfaite.
Web Ontology Language
Web Ontology Language (OWL) est un langage de représentation des connaissances construit sur le modèle de données de RDF. Il fournit les moyens pour définir des ontologies web structurées. Sa deuxième version est devenue une recommandation du W3C fin 2012. Le langage OWL est basé sur les recherches effectuées dans le domaine de la logique de description.
Logique de description
Les logiques de description aussi appelées 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.
Afficher plus

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.