Utilisation de B en droit
Selon B. Bachimont, « Une ontologie est une représen-tation linguistique et formelle des concepts d’un domainepour un contexte applicatif. L’aspect linguistique renvoieau fait que les concepts sont tirés de la langue du do-maine et doivent rester intelligibles pour les spécialistes.L’aspect formel renvoie au fait que les concepts doiventêtre manipulables par la machine et produire un compor-tement prédictible. » et, en paraphrasant Gruber (7) on peutdire qu’une ontologie formelle est une « spécification for-melle d’une conceptualisation ». Cet article rapporte uneexpérimentation d’une telle « ontologie formelle » avec lelangage B (1; 10) qui utilise la logique des prédicats dupremier ordre et la théorie des ensembles. Nous avonschoisi B de préférence à un autre langage comme KIF(6) parce que B utilise la puissance de la théorie des en-sembles et différents mécanismes permettant une spécifi-cation modulaire. B est un langage allant de la spécifi-cation au code exécutable et pour lequel nous disposonsd’outils (ateliers de génie logiciel, prouveurs). Par rapportaux autres approches citées, l’aspect formel nous apportela preuve de propriétés (des théorèmes sur les ontologies).Pour résumer, nous qualifions notre approche comme uneméthode formelle pour les ontologies formelles
Selon B. Bachimont, « Une ontologie est une représen-tation linguistique et formelle des concepts d’un domainepour un contexte applicatif. L’aspect linguistique renvoieau fait que les concepts sont tirés de la langue du do-maine et doivent rester intelligibles pour les spécialistes.L’aspect formel renvoie au fait que les concepts doiventêtre manipulables par la machine et produire un compor-tement prédictible. » et, en paraphrasant Gruber (7) on peutdire qu’une ontologie formelle est une « spécification for-melle d’une conceptualisation ». Cet article rapporte uneexpérimentation d’une telle « ontologie formelle » avec lelangage B (1; 10) qui utilise la logique des prédicats dupremier ordre et la théorie des ensembles. Nous avonschoisi B de préférence à un autre langage comme KIF(6) parce que B utilise la puissance de la théorie des en-sembles et différents mécanismes permettant une spécifi-cation modulaire. B est un langage allant de la spécifi-cation au code exécutable et pour lequel nous disposonsd’outils (ateliers de génie logiciel, prouveurs). Par rapportaux autres approches citées, l’aspect formel nous apportela preuve de propriétés (des théorèmes sur les ontologies).Pour résumer, nous qualifions notre approche comme uneméthode formelle pour les ontologies formelles. Badiou citépar F. Nef (13), p. 62 a considéré que la théorie des en-sembles s’identifie à l’ontologie
Selon B. Bachimont, « Une ontologie est une représen-tation linguistique et formelle des concepts d’un domainepour un contexte applicatif. L’aspect linguistique renvoieau fait que les concepts sont tirés de la langue du do-maine et doivent rester intelligibles pour les spécialistes.L’aspect formel renvoie au fait que les concepts doiventêtre manipulables par la machine et produire un compor-tement prédictible. » et, en paraphrasant Gruber (7) on peutdire qu’une ontologie formelle est une « spécification for-melle d’une conceptualisation ». Cet article rapporte uneexpérimentation d’une telle « ontologie formelle » avec lelangage B (1; 10) qui utilise la logique des prédicats dupremier ordre et la théorie des ensembles. Nous avonschoisi B de préférence à un autre langage comme KIF(6) parce que B utilise la puissance de la théorie des en-sembles et différents mécanismes permettant une spécifi-cation modulaire. B est un langage allant de la spécifi-cation au code exécutable et pour lequel nous disposonsd’outils (ateliers de génie logiciel, prouveurs). Par rapportaux autres approches citées, l’aspect formel nous apportela preuve de propriétés (des théorèmes sur les ontologies).Pour résumer, nous qualifions notre approche comme uneméthode formelle pour les ontologies formelles
Comments
Post a Comment