Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Ontology language
Résumé
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.
Source officielle
À 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.