{"id":3867,"date":"2020-04-02T11:32:19","date_gmt":"2020-04-02T09:32:19","guid":{"rendered":"http:\/\/www.dlvsystem.it\/dlvsite\/?page_id=3867"},"modified":"2022-03-08T17:14:28","modified_gmt":"2022-03-08T16:14:28","slug":"ontodlv","status":"publish","type":"page","link":"https:\/\/www.dlvsystem.it\/dlvsite\/ontodlv\/","title":{"rendered":"ONTOdlv"},"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;\">ONTODLV<\/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\">Enterprise\/Corporate ontologies are widely adopted to conceptualize business enterprise information. OntoDLV is a system based on ASP for the specification and reasoning on enterprise ontologies. OntoDLV implements a powerful ontology representation language, called OntoDLP, extending (disjunctive) ASP with all the main ontology features including classes, inheritance, relations and axioms. OntoDLP is strongly typed and includes also complex type constructors like lists and sets.<\/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-3867-1\"><div class=\"fusion-panel panel-default panel-bd68b8ceb3b895e3a fusion-toggle-no-divider fusion-toggle-boxed-mode\"><div class=\"panel-heading\"><h4 class=\"panel-title toggle\" id=\"toggle_bd68b8ceb3b895e3a\"><a aria-expanded=\"false\" aria-controls=\"bd68b8ceb3b895e3a\" role=\"button\" data-toggle=\"collapse\" data-parent=\"#accordion-3867-1\" data-target=\"#bd68b8ceb3b895e3a\" href=\"#bd68b8ceb3b895e3a\"><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=\"bd68b8ceb3b895e3a\" class=\"panel-collapse collapse \" aria-labelledby=\"toggle_bd68b8ceb3b895e3a\"><div class=\"panel-body toggle-content fusion-clearfix\">\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-6e9fce840b19d2b65 fusion-toggle-no-divider fusion-toggle-boxed-mode\"><div class=\"panel-heading\"><h4 class=\"panel-title toggle\" id=\"toggle_6e9fce840b19d2b65\"><a aria-expanded=\"false\" aria-controls=\"6e9fce840b19d2b65\" role=\"button\" data-toggle=\"collapse\" data-parent=\"#accordion-3867-1\" data-target=\"#6e9fce840b19d2b65\" href=\"#6e9fce840b19d2b65\"><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=\"6e9fce840b19d2b65\" class=\"panel-collapse collapse \" aria-labelledby=\"toggle_6e9fce840b19d2b65\"><div class=\"panel-body toggle-content fusion-clearfix\">\n<p><span style=\"font-weight: 400;\">To request a copy of ONTOdlv 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-3867-2\"><div class=\"fusion-panel panel-default panel-9c4cc91624a2a3269 fusion-toggle-no-divider fusion-toggle-boxed-mode\"><div class=\"panel-heading\"><h4 class=\"panel-title toggle\" id=\"toggle_9c4cc91624a2a3269\"><a aria-expanded=\"false\" aria-controls=\"9c4cc91624a2a3269\" role=\"button\" data-toggle=\"collapse\" data-parent=\"#accordion-3867-2\" data-target=\"#9c4cc91624a2a3269\" href=\"#9c4cc91624a2a3269\"><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=\"9c4cc91624a2a3269\" class=\"panel-collapse collapse \" aria-labelledby=\"toggle_9c4cc91624a2a3269\"><div class=\"panel-body toggle-content fusion-clearfix\"><\/div><\/div><\/div><div class=\"fusion-panel panel-default panel-1c1c2113698a2c7c8 fusion-toggle-no-divider fusion-toggle-boxed-mode\"><div class=\"panel-heading\"><h4 class=\"panel-title toggle\" id=\"toggle_1c1c2113698a2c7c8\"><a aria-expanded=\"false\" aria-controls=\"1c1c2113698a2c7c8\" role=\"button\" data-toggle=\"collapse\" data-parent=\"#accordion-3867-2\" data-target=\"#1c1c2113698a2c7c8\" href=\"#1c1c2113698a2c7c8\"><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 &amp; Publications<\/span><\/a><\/h4><\/div><div id=\"1c1c2113698a2c7c8\" class=\"panel-collapse collapse \" aria-labelledby=\"toggle_1c1c2113698a2c7c8\"><div class=\"panel-body toggle-content fusion-clearfix\">\n<ul>\n<li><a href=\"https:\/\/doi.org\/10.1093\/logcom\/exn042\"><span style=\"font-weight: 400;\">Francesco Ricca, Lorenzo Gallucci, Roman Schindlauer, Tina Dell&#8217;Armi, Giovanni Grasso, Nicola Leone: <\/span><span style=\"font-weight: 400;\">OntoDLV: An ASP-based System for Enterprise Ontologies. J. Log. Comput. 19(4): 643-670 (2009)<\/span><\/a><\/li>\n<li><a href=\"https:\/\/doi.org\/10.1016\/j.jal.2006.02.002\"><span style=\"font-weight: 400;\">Francesco Ricca, Nicola Leone: <\/span><span style=\"font-weight: 400;\">Disjunctive logic programming with types and objects: The DLV+ system. J. Appl. Log. 5(3): 545-573 (2007)<\/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-3867","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/pages\/3867","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=3867"}],"version-history":[{"count":1,"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/pages\/3867\/revisions"}],"predecessor-version":[{"id":4473,"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/pages\/3867\/revisions\/4473"}],"wp:attachment":[{"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/media?parent=3867"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}