{"id":3788,"date":"2020-04-01T08:01:13","date_gmt":"2020-04-01T06:01:13","guid":{"rendered":"http:\/\/www.dlvsystem.it\/dlvsite\/?page_id=3788"},"modified":"2022-03-08T17:14:00","modified_gmt":"2022-03-08T16:14:00","slug":"jdlv","status":"publish","type":"page","link":"https:\/\/www.dlvsystem.it\/dlvsite\/jdlv\/","title":{"rendered":"JDLV"},"content":{"rendered":"<div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-1 nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-background-position:left top;--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:0px;--awb-padding-bottom:60px;--awb-border-sizes-top:0px;--awb-border-sizes-bottom:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-0 fusion_builder_column_1_1 1_1 fusion-one-full fusion-column-first fusion-column-last fusion-column-no-min-height\" style=\"--awb-bg-size:cover;--awb-margin-bottom:0px;\"><div class=\"fusion-column-wrapper fusion-flex-column-wrapper-legacy\"><div class=\"fusion-title title fusion-title-1 fusion-title-center fusion-title-text fusion-title-size-two\"><div class=\"title-sep-container title-sep-container-left\"><div class=\"title-sep sep- sep-solid\" style=\"border-color:#e2e2e2;\"><\/div><\/div><span class=\"awb-title-spacer\"><\/span><h2 class=\"fusion-title-heading title-heading-center fusion-responsive-typography-calculated\" style=\"margin:0;--fontSize:48;line-height:1.2;\">JDLV<\/h2><span class=\"awb-title-spacer\"><\/span><div class=\"title-sep-container title-sep-container-right\"><div class=\"title-sep sep- sep-solid\" style=\"border-color:#e2e2e2;\"><\/div><\/div><\/div><div class=\"fusion-text fusion-text-1\"><p align=\"justify\">JDLV is a new programming framework blending DLV with Java programming. The framework is based on JASP, a hybrid language that transparently supports a bilateral interaction between Answer Set Programming and Java. A key ingredient of JASP is the mapping between (collections of) Java objects and ASP facts. Java Objects are mapped to logic facts (and vice versa) by adopting a structural mapping strategy similar to the one employed by ORM tools for retrieving\/saving persistent objects from\/to relational databases. In particular, JASP specifications are compliant with the JPA standard for Object-Relational Mapping to perfectly fit extensively-adopted enterprise application technologies.<\/p>\n<\/div><div class=\"accordian fusion-accordian\" style=\"--awb-border-size:1px;--awb-icon-size:13px;--awb-content-font-size:21px;--awb-icon-alignment:left;--awb-hover-color:#f9f9f9;--awb-border-color:#cccccc;--awb-background-color:#ffffff;--awb-divider-color:#e0dede;--awb-divider-hover-color:#e0dede;--awb-icon-color:#ffffff;--awb-title-color:#333333;--awb-content-color:#646464;--awb-icon-box-color:#007aa6;--awb-toggle-hover-accent-color:#007aa6;--awb-title-font-family:&quot;PT Sans&quot;;--awb-title-font-weight:400;--awb-title-font-style:normal;--awb-title-font-size:20px;--awb-content-font-family:&quot;PT Sans&quot;;--awb-content-font-style:normal;--awb-content-font-weight:regular;\"><div class=\"panel-group fusion-toggle-icon-boxed\" id=\"accordion-3788-1\"><div class=\"fusion-panel panel-default panel-a8b2b169ec5133eac fusion-toggle-no-divider fusion-toggle-boxed-mode\"><div class=\"panel-heading\"><h4 class=\"panel-title toggle\" id=\"toggle_a8b2b169ec5133eac\"><a aria-expanded=\"false\" aria-controls=\"a8b2b169ec5133eac\" role=\"button\" data-toggle=\"collapse\" data-parent=\"#accordion-3788-1\" data-target=\"#a8b2b169ec5133eac\" href=\"#a8b2b169ec5133eac\"><span class=\"fusion-toggle-icon-wrapper\" aria-hidden=\"true\"><i class=\"fa-fusion-box active-icon awb-icon-minus\" aria-hidden=\"true\"><\/i><i class=\"fa-fusion-box inactive-icon awb-icon-plus\" aria-hidden=\"true\"><\/i><\/span><span class=\"fusion-toggle-heading\">Licensing<\/span><\/a><\/h4><\/div><div id=\"a8b2b169ec5133eac\" class=\"panel-collapse collapse \" aria-labelledby=\"toggle_a8b2b169ec5133eac\"><div class=\"panel-body toggle-content fusion-clearfix\">\n<p><span style=\"font-weight: 400;\">JDLV is free for academic and non-commerical educational use, as well as for use by non-profit organisations.\u00a0<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Licences for commercial use can be requested by writing to info@dlvsystem.com<\/span><\/p>\n<\/div><\/div><\/div><div class=\"fusion-panel panel-default panel-a487c57adf652dd10 fusion-toggle-no-divider fusion-toggle-boxed-mode\"><div class=\"panel-heading\"><h4 class=\"panel-title toggle\" id=\"toggle_a487c57adf652dd10\"><a aria-expanded=\"false\" aria-controls=\"a487c57adf652dd10\" role=\"button\" data-toggle=\"collapse\" data-parent=\"#accordion-3788-1\" data-target=\"#a487c57adf652dd10\" href=\"#a487c57adf652dd10\"><span class=\"fusion-toggle-icon-wrapper\" aria-hidden=\"true\"><i class=\"fa-fusion-box active-icon awb-icon-minus\" aria-hidden=\"true\"><\/i><i class=\"fa-fusion-box inactive-icon awb-icon-plus\" aria-hidden=\"true\"><\/i><\/span><span class=\"fusion-toggle-heading\">Download<\/span><\/a><\/h4><\/div><div id=\"a487c57adf652dd10\" class=\"panel-collapse collapse \" aria-labelledby=\"toggle_a487c57adf652dd10\"><div class=\"panel-body toggle-content fusion-clearfix\">\n<p><span style=\"font-weight: 400;\">To request a copy of JDLV please write an email to info@dlvsystem.com<\/span><\/p>\n<\/div><\/div><\/div><\/div><\/div><div class=\"accordian fusion-accordian\" style=\"--awb-border-size:1px;--awb-icon-size:13px;--awb-content-font-size:21px;--awb-icon-alignment:left;--awb-hover-color:#f9f9f9;--awb-border-color:#cccccc;--awb-background-color:#ffffff;--awb-divider-color:#e0dede;--awb-divider-hover-color:#e0dede;--awb-icon-color:#ffffff;--awb-title-color:#333333;--awb-content-color:#646464;--awb-icon-box-color:#007aa6;--awb-toggle-hover-accent-color:#007aa6;--awb-title-font-family:&quot;PT Sans&quot;;--awb-title-font-weight:400;--awb-title-font-style:normal;--awb-title-font-size:20px;--awb-content-font-family:&quot;PT Sans&quot;;--awb-content-font-style:normal;--awb-content-font-weight:regular;\"><div class=\"panel-group fusion-toggle-icon-boxed\" id=\"accordion-3788-2\"><div class=\"fusion-panel panel-default panel-59c87c36391b4c25a fusion-toggle-no-divider fusion-toggle-boxed-mode\"><div class=\"panel-heading\"><h4 class=\"panel-title toggle\" id=\"toggle_59c87c36391b4c25a\"><a aria-expanded=\"false\" aria-controls=\"59c87c36391b4c25a\" role=\"button\" data-toggle=\"collapse\" data-parent=\"#accordion-3788-2\" data-target=\"#59c87c36391b4c25a\" href=\"#59c87c36391b4c25a\"><span class=\"fusion-toggle-icon-wrapper\" aria-hidden=\"true\"><i class=\"fa-fusion-box active-icon awb-icon-minus\" aria-hidden=\"true\"><\/i><i class=\"fa-fusion-box inactive-icon awb-icon-plus\" aria-hidden=\"true\"><\/i><\/span><span class=\"fusion-toggle-heading\">Documentation<\/span><\/a><\/h4><\/div><div id=\"59c87c36391b4c25a\" class=\"panel-collapse collapse \" aria-labelledby=\"toggle_59c87c36391b4c25a\"><div class=\"panel-body toggle-content fusion-clearfix\">\n<p><span style=\"font-weight: 400;\">The JDLV manual is available <a href=\"http:\/\/www.dlvsystem.it\/dlvsite\/wp-content\/uploads\/2020\/04\/JDLV-Eclipse-Plugin-Manual.pdf\">here<\/a>.<\/span><\/p>\n<\/div><\/div><\/div><div class=\"fusion-panel panel-default panel-b729d34f47d3403c0 fusion-toggle-no-divider fusion-toggle-boxed-mode\"><div class=\"panel-heading\"><h4 class=\"panel-title toggle\" id=\"toggle_b729d34f47d3403c0\"><a aria-expanded=\"false\" aria-controls=\"b729d34f47d3403c0\" role=\"button\" data-toggle=\"collapse\" data-parent=\"#accordion-3788-2\" data-target=\"#b729d34f47d3403c0\" href=\"#b729d34f47d3403c0\"><span class=\"fusion-toggle-icon-wrapper\" aria-hidden=\"true\"><i class=\"fa-fusion-box active-icon awb-icon-minus\" aria-hidden=\"true\"><\/i><i class=\"fa-fusion-box inactive-icon awb-icon-plus\" aria-hidden=\"true\"><\/i><\/span><span class=\"fusion-toggle-heading\">Research & Publications<\/span><\/a><\/h4><\/div><div id=\"b729d34f47d3403c0\" class=\"panel-collapse collapse \" aria-labelledby=\"toggle_b729d34f47d3403c0\"><div class=\"panel-body toggle-content fusion-clearfix\">\n<ul>\n<li><a href=\"https:\/\/doi.org\/10.1007\/s13218-018-0533-0\"><span style=\"font-weight: 400;\">Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca: JASP: A Framework for Integrating Answer Set Programming with Java. KR 2012<\/span><\/a><\/li>\n<\/ul>\n<\/div><\/div><\/div><\/div><\/div><div class=\"fusion-clearfix\"><\/div><\/div><\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-3788","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/pages\/3788","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/comments?post=3788"}],"version-history":[{"count":1,"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/pages\/3788\/revisions"}],"predecessor-version":[{"id":4472,"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/pages\/3788\/revisions\/4472"}],"wp:attachment":[{"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/media?parent=3788"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}