検索結果
ナビゲーションに移動
検索に移動
- 2キロバイト (200 語) - 2020年5月20日 (水) 12:23
- '''Web Ontology Language'''（'''OWL'''）は[[インターネット]]上に存在する[[オントロジー (情報科学)|オントロジー]]を用いてデータ交換を行うための[[データ記述言語]]。OWLは[[Resource Description Framework|RDF]]の語彙拡張 * [[オントロジー (情報科学)]] …5キロバイト (451 語) - 2024年11月22日 (金) 22:43
- 近年、保存拡大は[[オントロジー (情報科学)|オントロジー]]のモジュールを定義する際に使われるようになってきている<ref>例: 博物資料の記述に用いるオントロジ CIDOC CRM のドキュメント（7.1. …4キロバイト (159 語) - 2024年2月3日 (土) 16:11
- クレイグの補間定理は、一貫性の証明、[[モデル検査]]、[[モジュール]][[仕様記述言語|仕様]]の証明、モジュール[[オントロジー]]の証明などに使われる。 …3キロバイト (177 語) - 2022年8月1日 (月) 11:09
- 20世紀のフランスの哲学者[[アラン・バディウ]]は[[オントロジー]]は数学であると主張する。バティウは数学、詩、そして哲学の間の深いつながりを信じている。 …29キロバイト (1,228 語) - 2024年9月22日 (日) 19:49