目前，互联网载体信息具有海量繁杂和多源异构特点。多源异构知识的异质性和分散性严重地阻碍了知识在多主体和软件实体之间的语义互操作、共享和重用。从技术发展趋势来看，形式本体已被认为是很有前途的解决方法。为此，本章首先介绍形式领域本体、领域知识获取本体；其次，阐述模式本体和考古学领域本体；最后，论述数学课程本体。
