Une bibliographie des logiques non-standard, par Peter Suber.
Lesquelles se prêtent le mieux au calcul formel sur les ontologies ?
(via varia )
Autres notes similaires :
- Vous pouvez à présent suivre l’actualité d’Ars Industrialis sur Twitter. Signaler sur Twitter......
- J’avais déjà évoqué la difficulté d’introduire de la temporalité dans les modélisations en OWL. Les choses évoluent très vite sur ce sujet critique, notamment avec la publication d’un Working Draft du W3C. On m’a récemment demandé : « mais pourquoi mettre du temps dans les ontologies ? ». Réponse : pour pouvoir aborder des problématiques de gestion [...]......
- Sacrées Logiques Descriptives, on n’a décidément pas fini d’en parler ! Et ce pour plusieurs raisons : D’abord parce que le Web Sémantique, les Ontologies et la norme OWL reposent sur ces logiques descriptives (en fait une sous-classe des logiques de premier ordre) Parce que si l’on veut stocker ces « bases de connaissances « (j’aime de [...]......
[...] Les référentiels statiques peuvent être des mots clés, des listes à plats, des thesaurus, des ontologies. Le moteur de text-mining va rajouter aux documents qu’il traite l’ensemble des informations que peut contenir le référentiel. Les référentiels dynamiques existent aujourd’hui surtout dans ma tête. Ce sont des référentiels qui mettent en oeuvre des logiques. Celles-ci peuvent être des logiques formelles (celles que décrivent OWL), mais aussi des logiques probabilistes (comme les réseaux bayesiens). La différence avec le référentiel statique est que le document qui passe par le moteur de text-mining va être enrichi par des informations qui sont déduites du référentiel : le référentiel fait un travail de déduction avant de donner sa réponse au moteur de text-ming qui va enrichir le document. [...]