集合論とOWL Full
2011 年 2011 巻 SWO-024 号 p. 11-
詳細
2011 年 2011 巻 SWO-024 号 p. 11-
集合論はRDFおよびOWL意味論の基礎である．ところが，RDF意味論はラッセルのパラドックスを招くという誤った攻撃がコミュニティの一部から行われた．本論文でははじめに包括原理とラッセルのパラドックスを紹介し，その数学的解決であるツェルメロの分出原理について概観し，オントロジー的解決であるKIF3.0 の集合論を紹介する．次にラッセルの分岐タイプ理論(Ramified Type Theory) を紹介し，OWL Fullの根拠，およびRDF意味論とOWL意味論は矛盾無く統合し得ることを述べる．
