start | find | index | login or register | edit
by earl, 5740 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 7021 days • c'est un vanilla site