{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:04:50Z","timestamp":1730297090101,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/smartworld.2018.00067","type":"proceedings-article","created":{"date-parts":[[2018,12,6]],"date-time":"2018-12-06T19:38:21Z","timestamp":1544125101000},"page":"186-191","source":"Crossref","is-referenced-by-count":0,"title":["An Implementation of Theory Grid with Linked Data Technologies"],"prefix":"10.1109","author":[{"given":"Tomoya","family":"Yamazaki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atomu","family":"Sakuma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuichi","family":"Goto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"125","article-title":"A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning","volume":"10192","author":"goto","year":"0","journal-title":"Intelligent Information and Database Systems 9th Asian Conference ACIIDS 2017"},{"journal-title":"RDF Rene","year":"2018","author":"maali","key":"ref11"},{"journal-title":"Object-oriented Scripting Language Ruby","year":"2018","author":"matsumoto","key":"ref12"},{"journal-title":"Metaweb OpenRene","year":"2018","key":"ref13"},{"journal-title":"NIST Federal Information Processing Standards Publication 180–4 Secure Hash Standards (SHS)","year":"2015","key":"ref14"},{"journal-title":"OpenLink Software Building Virtuoso Open-Source Edition","year":"2018","key":"ref15"},{"journal-title":"Rails core team Ruby on Rails","year":"2018","key":"ref16"},{"journal-title":"Rdf data access working group sparql query language for rdf","year":"2018","key":"ref17"},{"journal-title":"Hipp SQLite Home Page","year":"2018","author":"richard","key":"ref18"},{"journal-title":"W3C RDF 1 1 Primer","year":"2018","key":"ref19"},{"key":"ref4","first-page":"136","article-title":"A Strong Relevant Logic Model of Epistemic Processes in Scientic Discovery","volume":"61","author":"cheng","year":"2000","journal-title":"Information Modeling and Knowledge Bases XII"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-34979-4_56"},{"key":"ref6","first-page":"444","article-title":"FreeEnCal: A Forward Reasoning Engine with General-Purpose","volume":"4693","author":"cheng","year":"2007","journal-title":"LNAI"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74827-4_106"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2014.06.028"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SKG.2007.94"},{"key":"ref2","first-page":"105","article-title":"Entailment Calculus as the Logical Basis of Automated Theorem Finding in Scientic Discovery","author":"cheng","year":"1995","journal-title":"R Valdes-Perez (Ed ) AAAI Technical Report SS-95–03"},{"journal-title":"Linked data","year":"2018","author":"berners-lee","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38768-5_62"},{"journal-title":"W3C Describing Linked Datasets with the VoID Vocabulary","year":"2018","key":"ref20"},{"journal-title":"W3C DCMI DCMI Metadata Terms","year":"2018","key":"ref22"},{"journal-title":"W3C RDF Schema 1 1","year":"2018","key":"ref21"},{"journal-title":"Automated Reasoning 33 Basic Research Problem","year":"1987","author":"wos","key":"ref24"},{"journal-title":"W3C RDF 1 1 Turtle","year":"2018","key":"ref23"}],"event":{"name":"2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld\/SCALCOM\/UIC\/ATC\/CBDCom\/IOP\/SCI)","start":{"date-parts":[[2018,10,8]]},"location":"Guangzhou, China","end":{"date-parts":[[2018,10,12]]}},"container-title":["2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld\/SCALCOM\/UIC\/ATC\/CBDCom\/IOP\/SCI)"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/8533596\/8559978\/08560045.pdf?arnumber=8560045","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,20]],"date-time":"2018-12-20T11:07:30Z","timestamp":1545304050000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/ieeexplore.ieee.org\/document\/8560045\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":24,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/smartworld.2018.00067","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}