TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

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.  3, fiche 1, Anglais, - ontology%20language

Record number: 1, Textual support number: 2 CONT

An ontology language is a type of computer language used for specifying classes, properties, and restrictions in the context of information processing by applications. The latest ontology language in use is the Web Ontology Language (OWL).  4, fiche 1, Anglais, - ontology%20language

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 CONT

En informatique et en intelligence artificielle, les langages d'ontologie sont des langages formels utilisés pour construire des ontologies. Ils permettent l'encodage des connaissances sur des domaines spécifiques et incluent souvent des règles de raisonnement qui prennent en charge le traitement de ces connaissances. Les langages d'ontologie sont habituellement des langages déclaratifs, sont presque toujours des généralisations de langages de trame, et sont couramment basés sur une logique de premier ordre ou sur une logique de description.  3, fiche 1, Français, - langage%20d%27ontologie

Record number: 1, Textual support number: 2 CONT

La construction des ontologies est fondée sur les langages formels. Un langage d'ontologie permet de signifier l'appartenance d'un objet à une catégorie, de déclarer la relation de généralisation entre catégories et de typer les objets que lie une relation.  4, fiche 1, Français, - langage%20d%27ontologie

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 DEF

Logique ne pouvant résoudre un problème que si tous les éléments de ce problème ont été au préalable déclarés.  2, fiche 2, Français, - logique%20d%C3%A9clarative

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 CONT

Answer set programming(ASP) is a form of declarative programming based on the stable model semantics of logic programming. It is used for knowledge representation and reasoning under the answer set semantics.  2, fiche 3, Anglais, - answer%20set%20programming

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 CONT

[La] programmation par ensembles réponses [est une] forme de programmation déclarative adaptée aux problèmes de recherche difficiles [qui] est basée sur la sémantique des modèles stables (ensemble de réponses) de la programmation logique.  2, fiche 3, Français, - programmation%20par%20ensembles%20r%C3%A9ponses

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 DEF

A class of programming languages, and a subclass of the declarative languages, that is based on symbolic logic. The objective is to program in "pure" logic, but this has not yet been achieved. The most widely used logic programming language is PROLOG(based on the Horn clause subset of logic) but includes certain "impure" features.  1, fiche 4, Anglais, - logic%20programming%20language

Fiche 4,  Justifications,  Français

Record number: 4, Textual support number: 1 CONT

Il est prévu au contraire de mettre au point un langage (en cours de définition), relevant de la catégorie des langages de programmation logiques, qui permet d'exprimer non pas des instructions à exécuter scrupuleusement, mais des contraintes logiques portant sur des variables, un "moteur" se chargeant de trouver toutes les combinaisons de valeurs qui satisfont ces contraintes.  1, fiche 4, Français, - langage%20de%20programmation%20logique

Fiche 4,  Justifications,  Espagnol