start | find | index | login or register | edit
by earl, 7222 days ago
A Literate Haskell exploration of DL: "This file is my attempt to better understand the structure and uses of Description Logics (DL) languages for knowledge representation and inference, with the ultimate aim of better understanding the capabilities and limitations of [..] OWL, whose design draws much from Description Logic languages."
powered by vanilla
echo earlZstrainYat|tr ZY @. • esa3 • online for 8503 days • c'est un vanilla site