形式オントロジーと順序ソート論理の拡張

• 兼岩 憲

  国立情報学研究所情報学基礎研究系

• 溝口 理一郎

  大阪大学産業科学研究所

書誌事項

タイトル別名

• Formal Ontology and Extensions of Order-Sorted Logic
• ケイシキ オントロジー ト ジュンジョ ソート ロンリ ノ カクチョウ

抄録

This paper presents several extensions of order-sorted logic based on the notion of property classification in formal ontology. The refined order-sorted language contains types (as rigid sorts), anti-rigid sorts, and unary predicates in order to distinctly express the following properties: substantial sorts, non-substantial sorts, and non-sortal properties. For many separated knowledge bases constructed using the logic, we propose an enriched reasoning mechanism such that each independent knowledge base can extract rigid property information from other knowledge bases (called rigid property derivation). Additionally, we classify (i) anti-rigid properties on the basis of their dependences on time, situation, and belief and (ii) non-sortal properties on the basis of the countability of the elements of the properties.

収録刊行物

• 人工知能学会論文誌

  人工知能学会論文誌 20 387-395, 2005

  一般社団法人 人工知能学会

キーワード

• formal ontology
• order-sorted logic
• ontological property classification
• rigidity

詳細情報

• CRID: 1390001205107979776
• NII論文ID: 10022005583
• NII書誌ID: AA11579226
• DOI: 10.1527/tjsai.20.387
• ISSN: 13468030
• ISSN: 13460714
• NDL書誌ID: 8685442
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I8685442
• Web Site: http://www.jstage.jst.go.jp/article/tjsai/20/6/20_6_387/_pdf
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • Crossref
  • CiNii Articles
  • KAKEN
• 抄録ライセンスフラグ: 使用不可