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…)
Posts Tagged ‘logique’
Un monde ouvert
Mardi, décembre 13th, 2005Les 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…)
Logiques non-standards
Dimanche, décembre 11th, 2005Une bibliographie des logiques non-standard, par Peter Suber.
Lesquelles se prêtent le mieux au calcul formel sur les ontologies ?
(via varia )
Pourquoi le Web Sémantique a-t-il autant de succès ?
Dimanche, novembre 20th, 2005C’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…)
Guide pour construire une ontologie
Dimanche, novembre 13th, 2005Voici 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…)
