Art

J-GLOBAL ID：201802218056289458   Reference number：18A0564413

Linked Dataを用いた理論グリッドの構築-公理的集合論の形式理論フラグメントを用いた事例研究

Author (4)： SAKUMA ATOMU (埼玉大) ,  GOTO YUICHI (埼玉大) ,  GAO Hongbiao (埼玉大) ,  CHENG Jingde (埼玉大)
Material： 情報処理学会全国大会講演論文集
Volume： 80th  Issue： 1  Page： 1.463-1.464  Publication year： Mar. 13, 2018 
JST Material Number： S0731A  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： case study ,  *data ,  *Web (information system) ,  *set theory ,  axiom ,  Logic ,  *inference machine ,  *theory ,  *linked data ,  formal logic
Semi thesaurus term： *axiomatic set theory ,  *形式理論 ,  *inference engine

JST classification (1)： Mathematical linguistics  (JB05000V)

Reference (5)：

• J. Cheng: Entailment Calculus as the Logical Basis of Automated Theorem Finding in Scientific Discovery, AAAI Technical Report SS-95-03, pp. 105-110, AAAI Press, March 1995.
• J. Cheng et al.: FreeEnCal: A Forward Reasoning Engine with General-Purpose, LNAI/LNCS, Vol. 4693, pp. 444-452, Springer-Verlag, September 2007.
• J. Cheng et al.: A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing, LNAI/LNCS, Vol. 4693, pp. 840-851, Springer-Verlag, September 2007.
• 神崎 正英: セマンティック・ウェブのための RDF/OWL入門, 森北出版株式会社, 2005年3月.
• OpenLink Software: https://virtuoso.openlinksw.com/dataspace/doc/dav/wiki/Main/

Terms in the title (7)： 理論 ,  グリッド ,  構築 ,  公理的集合論 ,  形式 ,  フラグメント ,  研究