是的，公式多一定要用Latex排版，否则很难看。

那是基本功，所见即所得。没让你用Latex做PPT。其实Latex用熟了做PPT也很容易，beamer方法做起来很简单。不过如果觉得麻烦还是Power Point吧。

Slides，我的意思怎么方便怎么来。

你是搞逻辑的，所以那里面有一堆的符号，选择Latex+beamer是必然的，我看很多做应用的，并不需要那么多公式，定义，定理什么，用ms的powerpoint做出来的东西也很漂亮。

看你的文章那么多符号，定理，怎么搞出来的。我一直认为逻辑这玩意只是把你的思想形式化的一个工具。但是这个工具只是知其然，不知其所以然，灵活运用更是根基欠缺了。

欢迎介绍点经验了，谢谢。

那就以这篇文章为例说说吧，A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies 2007 AAAI，这种类型的文章我看不懂，头比较大。我觉得DL太抽象了，不如FOL来的容易理解，而且动不动就NEXPTIME，也不知道怎么就NEXPTIME了。看了2个月的DL和Ontology，一头雾水。这篇文章说的那个ontology语言应该就是逻辑语言吧，如果要实现，怎么个实现法？从这点角度没有FOL和DBMS来的直接和容易理解。