| 演題番号 | 1F1-04 |
|---|---|
| 題目 | OWLにおける明示的閉世界と局所閉世界仮説 |
| 著者 | 小出 誠二 (国立情報学研究所，総研大，（株）ＩＨＩ) 武田 英明 (国立情報学研究所，総合研究大学院大学，東京大学人工物工学研究センター) |
| 時間 | 6月11日(水) 10:00〜10:20 |
| 概要 | owl:oneOf やカージナリティなどOWLにおける明示的閉世界の性質と，論理的開世界仮説と矛盾することなく閉世界の有効性を推論にもたらす局所閉世界推論について述べ，セマンティックウェブサービスへの適応について議論する． |
| 論文 | PDFファイル |