zlacker

Most of human knowledge are represented in logic. Semantic web is designed from description logic. A less powerful logic than first order logic.