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 :
- 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 [...]......
- Vous pouvez à présent suivre l’actualité d’Ars Industrialis sur Twitter. Signaler sur Twitter......
{ 1 trackback }