{"id":416,"date":"2012-08-16T18:10:44","date_gmt":"2012-08-16T18:10:44","guid":{"rendered":"http:\/\/217.76.133.156\/?p=416"},"modified":"2012-08-16T18:12:12","modified_gmt":"2012-08-16T18:12:12","slug":"re-reasoning-starting","status":"publish","type":"post","link":"https:\/\/www.josemalvarez.es\/?p=416","title":{"rendered":"Re-reasoning starting&#8230;"},"content":{"rendered":"<p>Last days I have read a lot of papers about different topics such as FOL, inference, artificial intelligence, large scale reasoning, rule engines, etc. I have collected all these references in <a title=\"ROCAS Wiki\" href=\"http:\/\/code.google.com\/p\/rocas\/wiki\/References\">ROCAS wiki<\/a>\u00a0with the objective of saving all relevant works that can help me to finally develop our semantic reasoner for large datasets.<\/p>\n<p>This afternoon I have found a paper entitled as &#8220;<a title=\"Making Web-Scale Semantic Reasoning More Service- Oriented: The Large Knowledge Collider\" href=\"http:\/\/www.semantic-web-journal.net\/content\/making-web-scale-semantic-reasoning-more-service-oriented-large-knowledge-collider\">Making Web-Scale Semantic Reasoning More Service- Oriented: The Large Knowledge Collider<\/a>&#8221; that presents the whole architecture of the well-know project <a title=\"LarKc\" href=\"http:\/\/www.larkc.eu\/\">LarKc<\/a>, in some sense the ROCAS project was inspired by this European project but with a restricted scope and different objectives. This paper has two main points for me:<\/p>\n<ol>\n<li>One of the authors is\u00a0<a title=\"Zisheng Huang\" href=\"http:\/\/www.cs.vu.nl\/~huang\/\">Zhisheng Huang<\/a> who helped me in 2004 to use his Distributed Logic Programming system to animate humanoids when I was developing my final degree project to get the Bachelor Degree.<\/li>\n<li>From a research point of view, authors present a compilation of works made during the execution of the LarKc project that should be relevant to ROCAS. It is not a research paper but a good summary of this project.<\/li>\n<\/ol>\n<p>This is a short post but I want to highlight that the world is small enough to meet same people (in this case researchers) again and again! It is incredible! \ud83d\ude42<\/p>\n<p>Finally, I would also like to report my first progresses in the development. I have deployed a job in Hadoop to perform the classical graph-algorithm &#8220;Breadth-First Search&#8221;, this is one of the tries I am thinking about for performing reasoning tasks&#8230;the other approches can be summarized:<\/p>\n<ol>\n<li>Distribute Jena rule engine (reusing source code)<\/li>\n<li>Develop from scratch the typical backward chain engine using unification and resolution<\/li>\n<li>Mix of 1 and 2 to avoid parsing rules, matching triples, etc.<\/li>\n<li>Build a graph (rules in backward chain can be shown as an AND\/OR tree) and try to infer new facts using unification and search.<\/li>\n<li>&#8230;<\/li>\n<\/ol>\n<blockquote><p>Let&#8217;s rock it!<\/p><\/blockquote>\n","protected":false},"excerpt":{"rendered":"<a href=\"https:\/\/www.josemalvarez.es\/?p=416\" rel=\"bookmark\" title=\"Permalink to Re-reasoning starting&#8230;\"><p>Last days I have read a lot of papers about different topics such as FOL, inference, artificial intelligence, large scale reasoning, rule engines, etc. I have collected all these references in ROCAS wiki\u00a0with the objective of saving all relevant works that can help me to finally develop our semantic reasoner for large datasets. This afternoon [&hellip;]<\/p>\n<\/a>","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[72],"tags":[79,103,106,11,105,13,101],"class_list":{"0":"post-416","1":"post","2":"type-post","3":"status-publish","4":"format-standard","6":"category-research-blog","7":"tag-algorithms","8":"tag-amsterdam","9":"tag-hpc","10":"tag-research","11":"tag-rocas","12":"tag-semantic-web","13":"tag-uva","14":"h-entry","15":"hentry"},"_links":{"self":[{"href":"https:\/\/www.josemalvarez.es\/index.php?rest_route=\/wp\/v2\/posts\/416","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.josemalvarez.es\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.josemalvarez.es\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.josemalvarez.es\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.josemalvarez.es\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=416"}],"version-history":[{"count":3,"href":"https:\/\/www.josemalvarez.es\/index.php?rest_route=\/wp\/v2\/posts\/416\/revisions"}],"predecessor-version":[{"id":418,"href":"https:\/\/www.josemalvarez.es\/index.php?rest_route=\/wp\/v2\/posts\/416\/revisions\/418"}],"wp:attachment":[{"href":"https:\/\/www.josemalvarez.es\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=416"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.josemalvarez.es\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=416"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.josemalvarez.es\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=416"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}