<posts user="" update="2012-02-16 14:13:55"><post time="2010-11-24T12:44:03+0100" tag=" logic swt1011 swt1011_06 swt1112 swt1112_06" user="lysander07" hash="4b6e57a74a0f954edbd22c818700c121" description="J.A. Robinson A Machine-Oriented Logic Based on the Resolution Principle" href="http://portal.acm.org/citation.cfm?id=321253"/><post time="2010-01-05T16:04:12+0100" tag=" descriptionlogics logic sw0910_08 swt1011 swt1011_08 swt1112 swt1112_07" user="lysander07" hash="91a8e196e6aced5035f2291bbb902e27" description="Baader, Nutt: Basic Description Logics" href="http://www.inf.unibz.it/~franconi/dl/course/dlhb/dlhb-02.pdf"/><post time="2010-01-05T16:03:03+0100" tag=" descriptionlogics logic sw0910_08 swt1011 swt1011_08 swt1112 swt1112_07" user="lysander07" hash="0fecdd62013be5938ff7c0d0b4f1b8df" description="Nardi, Brachmann: An Introduction to Description Logics" href="http://www.inf.unibz.it/~franconi/dl/course/dlhb/dlhb-01.pdf"/><post time="2006-11-25T13:18:52+0100" tag=" logic semwebss06 sw0910 sw0910_06 swss06-05" user="lysander07" hash="251597c64c7cb541c10044364b4a87bb" description="Thoralf Skolem and Skolemnisation (wikipedia)" href="http://en.wikipedia.org/wiki/Skolem"/><post time="2006-11-25T13:17:03+0100" tag=" logic semwebss06 sw0910 sw0910_06 swss06-05" user="lysander07" hash="c2e06fc25d3a21bab7e053b2da6633a2" description="Augustus DeMorgan and DeMorgan&#039;s Laws (wikipedia)" href="http://en.wikipedia.org/wiki/Augustus_De_Morgan"/></posts>
