archiwum wpisów z 3 lipca 2006

DL w OWL wstydliwie skrywane(?)

Przeglądając niedawno rekomendacje W3C dotyczące OWL (a jest ich dziwnie sporo) zastanowiła mnie znikoma ilość (żeby nie powiedzieć całkowity brak) odwołań do formalizmu logiki opisowej (Description Logic), który to podobno jest podstawą OWL DL.