- 我們會簡單介紹一下推理器、查詢的功能，以及如何利用我們知道的檔案格式，增加我們的檔案資料。
- 推理器
- 選擇推理器 （Reasoner =》HermiT）（軟體插件中有不同的推理器）
- 啟動推理器 （Reasoner =》Start reasoner）
- 資料有時打多了，需要先將資料和推理器同步，才能進行查詢
- （Reasoner =》 Synchronize reasoner）
- 資料一致性出問題時，可以查看解釋
- （Reasoner =》 Explain inconsistent ontology）
- 把推理器關掉的時候，軟體運行比較快
- （Reasoner => Stop reasoner）
- 查詢 （DL query:)
- http://protegewiki.stanford.edu/wiki/DLQueryTab
- 個體查詢
- 資料屬性 value 值
- 利用 ^^ 來指定屬性類型
- and, not, or
- 類別查詢
- 類別名
- 物件屬性 (some, exactly, max, min, only, Self, value)
- and, not, or
- 復習與實做：然後請大家就著以前教過的功能提出問題，討論。結束後，我們現場一起邊做孟子的段落，一邊復習、熟悉這些功能。之後，讓大家再回到自己的文本，改善自己的ontology，希望在現場我和漢祥能夠看著每一個人進行三到五分鐘。
- 匯入資料