オントロジーにおける推論

コメント

選択しているユーザー

• Eguchi Takashi

  株式会社MDIU CEO/CTO

  ・2020年05月12日

  オントロジーの核になる推論に関する記述です。命題の証明を行うさい等にタブロー法という方法がありますが
  そちらはオントロジーでも用いられます。
  
  DL（記述論理）等、複雑な話題の話になります。