Houston, we’ve got a problem
Mercredi, décembre 14th, 2005Sacrées Logiques Descriptives, on n’a décidément pas fini d’en parler !
(Lire la suite…)
Sacrées Logiques Descriptives, on n’a décidément pas fini d’en parler !
(Lire la suite…)
Les Logiques Descriptives, celles utilisées pour faire des calculs d’inférence sur les ontologies, sont basées sur des Open World Assumptions (OWA), qui réfèrent à l’ Open World Reasoning (OWA). C’est à dire qu’elle reposent sur l’hypothèse d’un monde ouvert.
(Lire la suite…)
Une bibliographie des logiques non-standard, par Peter Suber.
Lesquelles se prêtent le mieux au calcul formel sur les ontologies ?
(via varia )
C’est d’abord parce qu’il est destiné à être utilisé par les machines, non par les hommes. Il est destiné à être utilisé par des machines car il repose sur les logiques descriptives dont le formalisme permet de faire du calcul. Attardons-nous quelques instants sur ces logiques descriptives qui sont au coeur même des démarches « sémantiques» .
(Lire la suite…)
Voici un petit guide pour ceux qui veulent mettre en place une ontologie. Ce n’est bien sûr pas la seule façon de procéder, mais c’est celle que je trouve la plus pertinente.
(Lire la suite…)