Revision 7272: /DAMLLisaKB

• ..
• CREDITS
• LICENSE
• README
• TODO.old
• daml-facts.lisp
• daml-rules.lisp
• damllisakb-main.lisp
• lisa-wilbur-interaction.png
• owl-lang-macros.lisp
• owl-rules.lisp
• owl-testcases.lisp
• owllisakb-main.lisp
• passed-testcases.html
• rdf-facts.lisp
• rdf-rules.lisp
• rdfs-rules.lisp
• setup.lisp
• tests/
• transfig.tex
• wilbur-glue.lisp