04第四堂課

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