Menu
▾
▴
dlvhex-devel — dlvhex developer's and user's corner
You can subscribe to this list here.
| 2008 |
Jan
(2) |
Feb
(6) |
Mar
|
Apr
|
May
|
Jun
(4) |
Jul
(3) |
Aug
(5) |
Sep
|
Oct
|
Nov
|
Dec
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2010 |
Jan
|
Feb
|
Mar
|
Apr
(2) |
May
|
Jun
(2) |
Jul
(2) |
Aug
|
Sep
(9) |
Oct
(1) |
Nov
|
Dec
|
| 2011 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
(6) |
Jul
|
Aug
(1) |
Sep
(1) |
Oct
|
Nov
|
Dec
|
| 2012 |
Jan
|
Feb
|
Mar
(3) |
Apr
|
May
|
Jun
|
Jul
|
Aug
(2) |
Sep
|
Oct
|
Nov
|
Dec
(7) |
| 2013 |
Jan
|
Feb
|
Mar
|
Apr
(2) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
(3) |
| 2014 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
(9) |
Sep
(1) |
Oct
|
Nov
|
Dec
|
| 2015 |
Jan
(1) |
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2016 |
Jan
|
Feb
|
Mar
|
Apr
(1) |
May
|
Jun
(2) |
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2022 |
Jan
|
Feb
(1) |
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: Qureshi, H. M. <Hay...@aa...> - 2022-02-21 10:00:33
|
Hi, I am building dlvhex and when doing "./configure --enable-python --with-boost=/usr/include/" i got this error. How can i solve it? I have boost version 1.71. checking boost/graph/adjacency_list.hpp usability... no checking boost/graph/adjacency_list.hpp presence... yes configure: WARNING: boost/graph/adjacency_list.hpp: present but cannot be compiled configure: WARNING: boost/graph/adjacency_list.hpp: check for missing prerequisite headers? configure: WARNING: boost/graph/adjacency_list.hpp: see the Autoconf documentation configure: WARNING: boost/graph/adjacency_list.hpp: section "Present But Cannot Be Compiled" configure: WARNING: boost/graph/adjacency_list.hpp: proceeding with the compiler's result configure: WARNING: ## ------------------------------------------------- ## configure: WARNING: ## Report this to dlv...@li...<mailto:dlv...@li...> ## configure: WARNING: ## ------------------------------------------------- ## checking for boost/graph/adjacency_list.hpp... no configure: error: cannot find boost/graph/adjacency_list.hpp Regards, Haya Majid Qureshi |
|
From: Peter S. <sch...@gm...> - 2016-06-14 13:52:19
|
Hello Diana, Did you use "./configure", "make", "sudo make install"? DId you install from tar.gz or from git repo? What error message exactly do you get? Best, Peter On Tue, Jun 14, 2016 at 3:58 PM, Diana Howey <dia...@tu...> wrote: > Hi, > > I have installed the latest release version of DLVHEX (under Debian 8). > But I can't start the programm. libdlvhex2-base.so.10 was not built. > Can you help me, please? > > Kind regards, > Diana Howey > -- > Diana Howey > Fakultät für Informatik - Lehrstuhl 1 > Technische Universität Dortmund > Otto-Hahn-Strasse 12, Raum 3.007 > 44221 Dortmund > Tel.: +49 (0) 231 755 6601 > Fax: +49 (0) 231 755 6555 > > > > ------------------------------------------------------------------------------ > What NetFlow Analyzer can do for you? Monitors network bandwidth and > traffic > patterns at an interface-level. Reveals which users, apps, and protocols > are > consuming the most bandwidth. Provides multi-vendor support for NetFlow, > J-Flow, sFlow and other flows. Make informed decisions using capacity > planning reports. https://ad.doubleclick.net/ddm/clk/305295220;132659582;e > _______________________________________________ > dlvhex-devel mailing list > dlv...@li... > https://lists.sourceforge.net/lists/listinfo/dlvhex-devel > -- Peter SCHÜLLER, Assistant Professor Dr Marmara University, Computer Engineering Department http://www.peterschueller.com/ |
|
From: Diana H. <dia...@tu...> - 2016-06-14 12:58:17
|
Hi, I have installed the latest release version of DLVHEX (under Debian 8). But I can't start the programm. libdlvhex2-base.so.10 was not built. Can you help me, please? Kind regards, Diana Howey -- Diana Howey Fakultät für Informatik - Lehrstuhl 1 Technische Universität Dortmund Otto-Hahn-Strasse 12, Raum 3.007 44221 Dortmund Tel.: +49 (0) 231 755 6601 Fax: +49 (0) 231 755 6555 |
|
From: Christoph R. <re...@kr...> - 2016-04-12 19:55:36
|
Dear dlvhex Users! We are glad to announce the release of dlvhex 2.5.0! http://www.kr.tuwien.ac.at/research/systems/dlvhex/news.html New features: - External atom semantics was extended to 3 values (true, false, unknown); 2-valued external atoms are still compatible. - Support for external atom evaluation under partial assignments (possible performance improvements). - Extended Python plugin API. - Support for input and output in CSV format. - Support for choice rules. - Support for conditional literals. - Support aggregates with multi-component symbolic sets. - Support for interpreted function symbols. - More efficient implementation of weak constraints. - dlvhex is now compliant with ASP-Core-2 standard. - Code cleanup, bugfixes and stability improvements, improved error and warning messages. - New default options: strong negation, liberal safety and external learning methods are enabled by default (increased efficiency, decreased syntactic restrictions). - Complete doxygen documentation. - The solver backend was upgraded to Clasp 3.1.4 and Gringo 4.5.4. Pre-built binaries for multiple platforms will follow in the next days. Best regards, The dlvhex core Team |
|
From: Christoph R. <cr...@gm...> - 2015-01-31 17:10:31
|
Dear all, We are happy to announce an online demo of dlvhex <http://www.kr.tuwien.ac.at/research/systems/dlvhex/demo.php>. It allows for evaluating simple HEX-programs in the browser without local installation. Also customized external atoms may be specified in a Python script directly in the browser. If you have questions or bugs, please do not hesitate to contact us directly or via the dlv...@li... mailing list. Best Regards, The dlvhex core Team |
|
From: Christoph R. <cr...@gm...> - 2014-09-24 13:42:01
|
Dear all, We are glad to announce the release of dlvhex 2.4.0! New features: * A new interface which support plugins to be implemented in Python * An alternative algortithm for external source compatibility checking based on support sets * A plugin interface for customized model generators In addition it provides numerous bugfixes and optimizations and the solver backend was upgraded to gringo 4.4.0 clasp 3.1.0. You can download the tarball here: http://sourceforge.net/projects/dlvhex/files/dlvhex/2.4.0/dlvhex-2.4.0.tar.gz/download You can clone the repository as follows: git clone --recursive git://github.com/hexhex/core.git If you have questions or bugs, please do not hesitate to contact us directly or via the dlv...@li... mailing list. Best Regards, The dlvhex core Team |
|
From: Yajin W. <yaj...@gm...> - 2014-08-08 17:10:18
|
Hi all, Is there any released SPARQL Plugin? I followed the link of this page http://www.kr.tuwien.ac.at/research/systems/dlvhex/download.html, but I just saw the released version of RDF plugin, didn't find SPARQL. Of course, I found the code of SPARQL under "code" link, but that seems not the release version. Thank you for help. Yajin Wang |
|
From: Yajin W. <yaj...@gm...> - 2014-08-07 21:25:56
|
Hi Peter, This is really a great help to me. Thank you very much. I will try to follow your hints and hope to get far. Thank you again. BR, Yajin On Thu, Aug 7, 2014 at 2:42 AM, Peter Schueller <sch...@gm...> wrote: > I found two resources that can be useful for you: > > The Wiki which contains information about how to use the API and more > information for new developers: > https://github.com/hexhex/core/wiki > > And of course all links to repositories and documentation you can find at > http://www.kr.tuwien.ac.at/research/systems/dlvhex/ > > Best, > Peter > > > On Thu, Aug 7, 2014 at 11:03 AM, Peter Schueller <sch...@gm...> > wrote: > >> Dear Yajin, >> >> It is certainly possible. I supervised a student who ported many of the >> existing version 2 plugins from version 1. I can give you the following >> hints: >> * take an existing dlvhex 2.0.0 plugin (e.g., the string plugin) and look >> what was done to change this from version 1 to 2 (you can see the whole >> history in git) >> * start developing the new 2.0.0 plugin by copying the source code of the >> 2.0.0 string plugin and piece by piece migrating functinality from the >> RDF/SPARQL plugin version 1 into the new plugin. Also have a look at the >> 2.0.0 aggregate and other plugins to see how the rewriter and output >> postprocessor infrastructure is used. >> * use the "make check" feature from the beginning, i.e., the tests that >> come with the RDF/SPARQL plugin, this will allow you to see immediately >> what works and what you still need to port. If there are not enough tests, >> write new ones, a few trivially short test cases can really make your life >> much easier in this porting business. >> >> I will try to find some old mails with more information, but the above >> list should help you already to get pretty far. >> >> Best, >> Peter >> >> >> >> On Thu, Aug 7, 2014 at 10:52 AM, Yajin Wang <yaj...@gm...> >> wrote: >> >>> Hi all, >>> >>> Do you think it is possible to migrate RDF and SPARQL plugins to version >>> 2.0? This is a task that my professor asked me to do. Can you give some >>> suggestion? Thank you. >>> >>> Yajin Wang >>> >>> >>> ------------------------------------------------------------------------------ >>> Infragistics Professional >>> Build stunning WinForms apps today! >>> Reboot your WinForms applications with our WinForms controls. >>> Build a bridge from your legacy apps to the future. >>> >>> http://pubads.g.doubleclick.net/gampad/clk?id=153845071&iu=/4140/ostg.clktrk >>> _______________________________________________ >>> dlvhex-devel mailing list >>> dlv...@li... >>> https://lists.sourceforge.net/lists/listinfo/dlvhex-devel >>> >>> >> >> >> -- >> http://www.peterschueller.com/ >> > > > > -- > http://www.peterschueller.com/ > |
|
From: Peter S. <sch...@gm...> - 2014-08-07 09:43:15
|
I found two resources that can be useful for you: The Wiki which contains information about how to use the API and more information for new developers: https://github.com/hexhex/core/wiki And of course all links to repositories and documentation you can find at http://www.kr.tuwien.ac.at/research/systems/dlvhex/ Best, Peter On Thu, Aug 7, 2014 at 11:03 AM, Peter Schueller <sch...@gm...> wrote: > Dear Yajin, > > It is certainly possible. I supervised a student who ported many of the > existing version 2 plugins from version 1. I can give you the following > hints: > * take an existing dlvhex 2.0.0 plugin (e.g., the string plugin) and look > what was done to change this from version 1 to 2 (you can see the whole > history in git) > * start developing the new 2.0.0 plugin by copying the source code of the > 2.0.0 string plugin and piece by piece migrating functinality from the > RDF/SPARQL plugin version 1 into the new plugin. Also have a look at the > 2.0.0 aggregate and other plugins to see how the rewriter and output > postprocessor infrastructure is used. > * use the "make check" feature from the beginning, i.e., the tests that > come with the RDF/SPARQL plugin, this will allow you to see immediately > what works and what you still need to port. If there are not enough tests, > write new ones, a few trivially short test cases can really make your life > much easier in this porting business. > > I will try to find some old mails with more information, but the above > list should help you already to get pretty far. > > Best, > Peter > > > > On Thu, Aug 7, 2014 at 10:52 AM, Yajin Wang <yaj...@gm...> wrote: > >> Hi all, >> >> Do you think it is possible to migrate RDF and SPARQL plugins to version >> 2.0? This is a task that my professor asked me to do. Can you give some >> suggestion? Thank you. >> >> Yajin Wang >> >> >> ------------------------------------------------------------------------------ >> Infragistics Professional >> Build stunning WinForms apps today! >> Reboot your WinForms applications with our WinForms controls. >> Build a bridge from your legacy apps to the future. >> >> http://pubads.g.doubleclick.net/gampad/clk?id=153845071&iu=/4140/ostg.clktrk >> _______________________________________________ >> dlvhex-devel mailing list >> dlv...@li... >> https://lists.sourceforge.net/lists/listinfo/dlvhex-devel >> >> > > > -- > http://www.peterschueller.com/ > -- http://www.peterschueller.com/ |
|
From: Peter S. <sch...@gm...> - 2014-08-07 08:04:13
|
Dear Yajin, It is certainly possible. I supervised a student who ported many of the existing version 2 plugins from version 1. I can give you the following hints: * take an existing dlvhex 2.0.0 plugin (e.g., the string plugin) and look what was done to change this from version 1 to 2 (you can see the whole history in git) * start developing the new 2.0.0 plugin by copying the source code of the 2.0.0 string plugin and piece by piece migrating functinality from the RDF/SPARQL plugin version 1 into the new plugin. Also have a look at the 2.0.0 aggregate and other plugins to see how the rewriter and output postprocessor infrastructure is used. * use the "make check" feature from the beginning, i.e., the tests that come with the RDF/SPARQL plugin, this will allow you to see immediately what works and what you still need to port. If there are not enough tests, write new ones, a few trivially short test cases can really make your life much easier in this porting business. I will try to find some old mails with more information, but the above list should help you already to get pretty far. Best, Peter On Thu, Aug 7, 2014 at 10:52 AM, Yajin Wang <yaj...@gm...> wrote: > Hi all, > > Do you think it is possible to migrate RDF and SPARQL plugins to version > 2.0? This is a task that my professor asked me to do. Can you give some > suggestion? Thank you. > > Yajin Wang > > > ------------------------------------------------------------------------------ > Infragistics Professional > Build stunning WinForms apps today! > Reboot your WinForms applications with our WinForms controls. > Build a bridge from your legacy apps to the future. > > http://pubads.g.doubleclick.net/gampad/clk?id=153845071&iu=/4140/ostg.clktrk > _______________________________________________ > dlvhex-devel mailing list > dlv...@li... > https://lists.sourceforge.net/lists/listinfo/dlvhex-devel > > -- http://www.peterschueller.com/ |
|
From: Yajin W. <yaj...@gm...> - 2014-08-07 07:52:49
|
Hi all, Do you think it is possible to migrate RDF and SPARQL plugins to version 2.0? This is a task that my professor asked me to do. Can you give some suggestion? Thank you. Yajin Wang |
|
From: Thomas K. <tk...@kr...> - 2014-08-07 07:06:16
|
Dear Yajin, [please send your emails to dlv...@li....] The differences between old and new versions are described in NEWS, ChangeLog, and README. Best, TK On 06 Aug 2014, at 18:46, Yajin Wang <yaj...@gm...> wrote: > Hi Thomas, > > What I mean is about the plugins themselves. There are new version plugins, but RDF and SPARQL plugins have no new version. I want to know the differences between old versions and new versions of the plugins. > > ------ Original Message ------ > From: "Thomas Krennwallner" <tk...@kr...> > To: "Yajin Wang" <yaj...@gm...>; dlv...@li... > Sent: 8/6/2014 7:38:53 AM > Subject: Re: [dlvhex-devel] definition or identifier for version 2.0.0 > >> Dear Yajin, >> >> I assume you would like to make the plugins compile with the newest dlvhex API. There is no easy way to do this, you would need to change the source code of both plugins and replace old dlvhex API calls with the new ones. >> >> Best, >> TK >> >> On 06 Aug 2014, at 16:30, Yajin Wang <yaj...@gm...> wrote: >> >>> Hi Thomas, >>> >>> I mean, there are version 2.0.0 for other plugins, but not for RDF and SPARQL. What should we do if we also want to make version 2.0.0 for RDF and SPARQL plugins? >>> >>> Yajin >>> >>> ------ Original Message ------ >>> From: "Thomas Krennwallner" <tk...@kr...> >>> To: dlv...@li...; "Yajin Wang" <yaj...@gm...> >>> Sent: 8/6/2014 3:04:06 AM >>> Subject: Re: [dlvhex-devel] definition or identifier for version 2.0.0 >>> >>>> Dear Yajin Wang, >>>> >>>> both rdf- and sparqlplugin can be found here: http://sourceforge.net/projects/dlvhex-semweb/. They are taken care of by their maintainers (they are not part of main dlvhex development base yet, as we couldn't find maintainers for them). >>>> >>>> Can you elaborate on your questions a bit? What do you mean by "I cannot give out a new definition for version 2.0.0 of RDF and SPARQL"? >>>> >>>> Both rdfplugin and sparqlplugin are separate plugins, it is just that the sparqlplugin depends on the rdfplugin for execution. >>>> >>>> Best, >>>> TK >>>> >>>> On 06 Aug 2014, at 09:08, Yajin Wang <yaj...@gm...> wrote: >>>> >>>>> Hi all, >>>>> >>>>> I am a new comer and new researcher about DLVHEX. Now I am doing a job to define or identify the new version 2.0.0 for RDF_Plugin and SPARQL_Plugin. So firstly, I compared the differences between version 1.7.0 and 2.0.0 of other Plugin, but I didn't find out a standard definition for the new version. So I cannot give out a new definition for version 2.0.0 of RDF and SPARQL. Are there any docs to describe these? And also, SPARQL_Plugin is in RDF_Plugin, right? Because I didn't find out the singular code for SPARQL_Plugin. The link guids me to RDF. >>>>> >>>>> Thank you for help. >>>>> >>>>> Yajin Wang >>>> >>>> -- >>>> Thomas Krennwallner >>>> University assistant >>>> . >>>> TU Wien - Vienna University of Technology >>>> Institute of Information Systems >>>> Favoritenstrasse 9-11, 1040 Wien, Austria >>>> . >>>> T: +43 1 58801 18469 F: +43 1 58801 918469 >>>> tkren AT kr DOT tuwien DOT ac DOT at >>>> http://www.kr.tuwien.ac.at/staff/tkren/ >>>> . >>>> DVR: 0005886 >>>> >>> >>> >> >> -- >> Thomas Krennwallner >> University assistant >> . >> TU Wien - Vienna University of Technology >> Institute of Information Systems >> Favoritenstrasse 9-11, 1040 Wien, Austria >> . >> T: +43 1 58801 18469 F: +43 1 58801 918469 >> tkren AT kr DOT tuwien DOT ac DOT at >> http://www.kr.tuwien.ac.at/staff/tkren/ >> . >> DVR: 0005886 >> > -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria . T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 |
|
From: Thomas K. <tk...@kr...> - 2014-08-06 14:39:14
|
Dear Yajin, I assume you would like to make the plugins compile with the newest dlvhex API. There is no easy way to do this, you would need to change the source code of both plugins and replace old dlvhex API calls with the new ones. Best, TK On 06 Aug 2014, at 16:30, Yajin Wang <yaj...@gm...> wrote: > Hi Thomas, > > I mean, there are version 2.0.0 for other plugins, but not for RDF and SPARQL. What should we do if we also want to make version 2.0.0 for RDF and SPARQL plugins? > > Yajin > > ------ Original Message ------ > From: "Thomas Krennwallner" <tk...@kr...> > To: dlv...@li...; "Yajin Wang" <yaj...@gm...> > Sent: 8/6/2014 3:04:06 AM > Subject: Re: [dlvhex-devel] definition or identifier for version 2.0.0 > >> Dear Yajin Wang, >> >> both rdf- and sparqlplugin can be found here: http://sourceforge.net/projects/dlvhex-semweb/. They are taken care of by their maintainers (they are not part of main dlvhex development base yet, as we couldn't find maintainers for them). >> >> Can you elaborate on your questions a bit? What do you mean by "I cannot give out a new definition for version 2.0.0 of RDF and SPARQL"? >> >> Both rdfplugin and sparqlplugin are separate plugins, it is just that the sparqlplugin depends on the rdfplugin for execution. >> >> Best, >> TK >> >> On 06 Aug 2014, at 09:08, Yajin Wang <yaj...@gm...> wrote: >> >>> Hi all, >>> >>> I am a new comer and new researcher about DLVHEX. Now I am doing a job to define or identify the new version 2.0.0 for RDF_Plugin and SPARQL_Plugin. So firstly, I compared the differences between version 1.7.0 and 2.0.0 of other Plugin, but I didn't find out a standard definition for the new version. So I cannot give out a new definition for version 2.0.0 of RDF and SPARQL. Are there any docs to describe these? And also, SPARQL_Plugin is in RDF_Plugin, right? Because I didn't find out the singular code for SPARQL_Plugin. The link guids me to RDF. >>> >>> Thank you for help. >>> >>> Yajin Wang >> >> -- >> Thomas Krennwallner >> University assistant >> . >> TU Wien - Vienna University of Technology >> Institute of Information Systems >> Favoritenstrasse 9-11, 1040 Wien, Austria >> . >> T: +43 1 58801 18469 F: +43 1 58801 918469 >> tkren AT kr DOT tuwien DOT ac DOT at >> http://www.kr.tuwien.ac.at/staff/tkren/ >> . >> DVR: 0005886 >> > > -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria . T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 |
|
From: Thomas K. <tk...@kr...> - 2014-08-06 10:38:09
|
Dear Yajin Wang, both rdf- and sparqlplugin can be found here: http://sourceforge.net/projects/dlvhex-semweb/. They are taken care of by their maintainers (they are not part of main dlvhex development base yet, as we couldn't find maintainers for them). Can you elaborate on your questions a bit? What do you mean by "I cannot give out a new definition for version 2.0.0 of RDF and SPARQL"? Both rdfplugin and sparqlplugin are separate plugins, it is just that the sparqlplugin depends on the rdfplugin for execution. Best, TK On 06 Aug 2014, at 09:08, Yajin Wang <yaj...@gm...> wrote: > Hi all, > > I am a new comer and new researcher about DLVHEX. Now I am doing a job to define or identify the new version 2.0.0 for RDF_Plugin and SPARQL_Plugin. So firstly, I compared the differences between version 1.7.0 and 2.0.0 of other Plugin, but I didn't find out a standard definition for the new version. So I cannot give out a new definition for version 2.0.0 of RDF and SPARQL. Are there any docs to describe these? And also, SPARQL_Plugin is in RDF_Plugin, right? Because I didn't find out the singular code for SPARQL_Plugin. The link guids me to RDF. > > Thank you for help. > > Yajin Wang -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria . T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 |
|
From: Yajin W. <yaj...@gm...> - 2014-08-06 07:08:58
|
Hi all, I am a new comer and new researcher about DLVHEX. Now I am doing a job to define or identify the new version 2.0.0 for RDF_Plugin and SPARQL_Plugin. So firstly, I compared the differences between version 1.7.0 and 2.0.0 of other Plugin, but I didn't find out a standard definition for the new version. So I cannot give out a new definition for version 2.0.0 of RDF and SPARQL. Are there any docs to describe these? And also, SPARQL_Plugin is in RDF_Plugin, right? Because I didn't find out the singular code for SPARQL_Plugin. The link guids me to RDF. Thank you for help. Yajin Wang |
|
From: Thomas K. <tk...@kr...> - 2013-12-14 12:44:30
|
On 14 Dec 2013, at 00:05, Christoph Redl <cr...@gm...> wrote: > We are glad to announce the release of dlvhex 2.3.0! > > It provides: > * Significant performance improvements by fine-tuning of heuristics > * Optimizations of some algorithms > * Various bugfixes > > You can download the tarball here: > > dlvhex: http://sourceforge.net/projects/dlvhex/files/dlvhex/2.3.0/dlvhex-2.3.0.tar.gz/download Alternatively, get the development release tarball here: https://github.com/hexhex/core/archive/Release_2_3_0.tar.gz Cheers, TK -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria . T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 |
|
From: Giovambattista I. <ia...@ma...> - 2013-12-14 10:00:58
|
+1 :) Christoph Redl <cr...@gm...> ha scritto: >------------------------------------------------------------------------------ >Rapidly troubleshoot problems before they affect your business. Most IT >organizations don't have a clear picture of how application performance >affects their revenue. With AppDynamics, you get 100% visibility into your >Java,.NET, & PHP application. Start your 15-day FREE TRIAL of AppDynamics Pro! >http://pubads.g.doubleclick.net/gampad/clk?id=84349831&iu=/4140/ostg.clktrk >_______________________________________________ >dlvhex-devel mailing list >dlv...@li... >https://lists.sourceforge.net/lists/listinfo/dlvhex-devel |
|
From: Christoph R. <cr...@gm...> - 2013-12-13 23:05:40
|
Dear all, We are glad to announce the release of dlvhex 2.3.0! It provides: * Significant performance improvements by fine-tuning of heuristics * Optimizations of some algorithms * Various bugfixes You can download the tarball here: dlvhex: http://sourceforge.net/projects/dlvhex/files/dlvhex/2.3.0/dlvhex-2.3.0.tar.g z/download You can clone the repository as follows: git clone --recursive git://github.com/hexhex/core.git If you have questions or bugs, please do not hesitate to contact us directly or via the dlv...@li... mailing list. Best Regards, Thomas Krennwallner, Christoph Redl, and Peter Schüller |
|
From: Christoph R. <cr...@gm...> - 2013-04-05 20:48:41
|
Dear Guohui! The current version of the dl-plugin from github runs with dlvhex2, but the rewriter and converter for the DL-syntax is not implemented. Thus, if you use this version, then you have to manually write the program with external atoms which encode DL-atoms. The same is true for defaults with DL-atoms. The main advantage of dlvhex2 is that it now implements a conflict-driven algorithm based on clasp. For some applications it has a significantly better performance, but I think for DL-programs the advantages are marginal. This is because to make use of the conflict-driven stuff you need to first implement a so-called learning function, which gives the reasoner hints about the behavior of the external theory (which is description logic, in this case). We have written a learning function for the special case of defaults with DL-atoms. So if you have lots of defaults over DL KBs, then the dlvhex2 version possibly has advantages for you. Otherwise you can stick with 1.7.x, unless you want to write your own learning function. Best, Christoph Von: Guohui Xiao [mailto:xi...@kr...] Gesendet: Freitag, 05. April 2013 11:38 An: dlv...@li... Betreff: [dlvhex-devel] dlplugin in dlvhex2 Dear hexhex developers, I need to do some evaluation of dlvhex for DL-Programs. Before I use the old 1.7.x version, and it worked well. Now I am wondering can I test dlvhex2 with dl-plugins. Is the dlplugin in github compatible with the latest dlvhex? If so, what are the advantages of the new version (just for DL-Programs)? Best, -- Guohui Xiao Technische Universitaet Wien Institut fuer Informationssysteme AB Wissensbasierte Systeme Favoritenstrasse 9-11/184-3 A-1040 Vienna AUSTRIA |
|
From: Guohui X. <xi...@kr...> - 2013-04-05 09:38:42
|
Dear hexhex developers, I need to do some evaluation of dlvhex for DL-Programs. Before I use the old 1.7.x version, and it worked well. Now I am wondering can I test dlvhex2 with dl-plugins. Is the dlplugin in github compatible with the latest dlvhex? If so, what are the advantages of the new version (just for DL-Programs)? Best, -- Guohui Xiao Technische Universitaet Wien Institut fuer Informationssysteme AB Wissensbasierte Systeme Favoritenstrasse 9-11/184-3 A-1040 Vienna AUSTRIA |
|
From: Ankesh <an...@gm...> - 2012-12-20 23:10:41
|
That's right.
(Sorry, I forgot to mention it on this list.)
Thanks,
Ankesh
On Thu, Dec 20, 2012 at 6:06 PM, Stefano Germano
<ste...@gm...>wrote:
> Hi,
>
> I tried with the latest version of DLV (build BEN/Dec 17 2012) and all 3
> programs produce answer sets with these atoms {someproduct(1),
> someproduct(2), someproduct(4)}.
>
> Maybe there was a problem in the version of 2011 of DLV which has been
> fixed in newer versions.
>
> Best regards,
> Stefano
>
>
>
> On Tue, Dec 18, 2012 at 10:40 PM, Ankesh <an...@gm...> wrote:
>
>> Hi,
>>
>> Consider the following rulesets :
>>
>> =ASP 1=
>>
>> pair(f(a), 1).pair(f(b), 2).
>> someproduct(V):- pair(X1, V1), pair(X2, V2), V=V1*V2.
>>
>> =ASP 2=
>>
>> pair(f(a), 1).pair(f(b), 2).
>> someproduct(V):- pair(f(X1), V1), pair(f(X2), V2), V=V1*V2.
>>
>> =ASP 3=
>>
>> pair(f(a), 1).pair(f(b), 2).
>> obj(X):- pair(f(X), _).
>> someproduct(V):- pair(f(X1), V1), obj(X1), pair(f(X2), V2), obj(X2),
>> V=V1*V2.
>>
>> For the 1st and 3rd rulesets DLV (build BEN/Dec 21 2011) produces a
>> single answer set with facts {someproduct(1), someproduct(2),somproduct(4)}.
>>
>> However, it returns the following error for the 2nd ruleset:
>> "Cyclic dependency among aggregates and builtins
>> Error occurs in
>> someproduct(_0) :- pair(f(_1),_2), pair(f(_3),_4), *(_2,_4,_0).".
>>
>> Why is the last rule in the 2nd ruleset unsafe? Can the non-safeness
>> inferred from the conditions for safety given in the user manual [1]?
>>
>> The 3rd ruleset is one way around the problem encountered in the 2nd
>> ruleset. Is there a better way (say that could be generalized more
>> conveniently)?
>>
>> [1] http://www.dlvsystem.com/dlvsystem/html/DLV_User_Manual.html#SAFETY
>>
>> Thanks,
>> Ankesh
>> [PhD student at RPI]
>>
>>
>> ------------------------------------------------------------------------------
>> LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial
>> Remotely access PCs and mobile devices and provide instant support
>> Improve your efficiency, and focus on delivering more value-add services
>> Discover what IT Professionals Know. Rescue delivers
>> http://p.sf.net/sfu/logmein_12329d2d
>> _______________________________________________
>> dlvhex-devel mailing list
>> dlv...@li...
>> https://lists.sourceforge.net/lists/listinfo/dlvhex-devel
>>
>>
>
|
|
From: Stefano G. <ste...@gm...> - 2012-12-20 23:06:36
|
Hi,
I tried with the latest version of DLV (build BEN/Dec 17 2012) and all 3
programs produce answer sets with these atoms {someproduct(1),
someproduct(2), someproduct(4)}.
Maybe there was a problem in the version of 2011 of DLV which has been
fixed in newer versions.
Best regards,
Stefano
On Tue, Dec 18, 2012 at 10:40 PM, Ankesh <an...@gm...> wrote:
> Hi,
>
> Consider the following rulesets :
>
> =ASP 1=
>
> pair(f(a), 1).pair(f(b), 2).
> someproduct(V):- pair(X1, V1), pair(X2, V2), V=V1*V2.
>
> =ASP 2=
>
> pair(f(a), 1).pair(f(b), 2).
> someproduct(V):- pair(f(X1), V1), pair(f(X2), V2), V=V1*V2.
>
> =ASP 3=
>
> pair(f(a), 1).pair(f(b), 2).
> obj(X):- pair(f(X), _).
> someproduct(V):- pair(f(X1), V1), obj(X1), pair(f(X2), V2), obj(X2),
> V=V1*V2.
>
> For the 1st and 3rd rulesets DLV (build BEN/Dec 21 2011) produces a single
> answer set with facts {someproduct(1), someproduct(2),somproduct(4)}.
>
> However, it returns the following error for the 2nd ruleset:
> "Cyclic dependency among aggregates and builtins
> Error occurs in
> someproduct(_0) :- pair(f(_1),_2), pair(f(_3),_4), *(_2,_4,_0).".
>
> Why is the last rule in the 2nd ruleset unsafe? Can the non-safeness
> inferred from the conditions for safety given in the user manual [1]?
>
> The 3rd ruleset is one way around the problem encountered in the 2nd
> ruleset. Is there a better way (say that could be generalized more
> conveniently)?
>
> [1] http://www.dlvsystem.com/dlvsystem/html/DLV_User_Manual.html#SAFETY
>
> Thanks,
> Ankesh
> [PhD student at RPI]
>
>
> ------------------------------------------------------------------------------
> LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial
> Remotely access PCs and mobile devices and provide instant support
> Improve your efficiency, and focus on delivering more value-add services
> Discover what IT Professionals Know. Rescue delivers
> http://p.sf.net/sfu/logmein_12329d2d
> _______________________________________________
> dlvhex-devel mailing list
> dlv...@li...
> https://lists.sourceforge.net/lists/listinfo/dlvhex-devel
>
>
|
|
From: Thomas K. <tk...@kr...> - 2012-12-19 07:49:17
|
Dear Ankesh,
this is unrelated to DLVHEX, I'll forward your question to the DLV people.
Best,
TK
On Tue Dec 18, 2012 04:40:28PM -0500, Ankesh wrote:
> Hi,
>
> Consider the following rulesets :
>
> =ASP 1=
>
> pair(f(a), 1).pair(f(b), 2).
> someproduct(V):- pair(X1, V1), pair(X2, V2), V=V1*V2.
>
> =ASP 2=
>
> pair(f(a), 1).pair(f(b), 2).
> someproduct(V):- pair(f(X1), V1), pair(f(X2), V2), V=V1*V2.
>
> =ASP 3=
>
> pair(f(a), 1).pair(f(b), 2).
> obj(X):- pair(f(X), _).
> someproduct(V):- pair(f(X1), V1), obj(X1), pair(f(X2), V2), obj(X2),
> V=V1*V2.
>
> For the 1st and 3rd rulesets DLV (build BEN/Dec 21 2011) produces a single
> answer set with facts {someproduct(1), someproduct(2),somproduct(4)}.
>
> However, it returns the following error for the 2nd ruleset:
> "Cyclic dependency among aggregates and builtins
> Error occurs in
> someproduct(_0) :- pair(f(_1),_2), pair(f(_3),_4), *(_2,_4,_0).".
>
> Why is the last rule in the 2nd ruleset unsafe? Can the non-safeness
> inferred from the conditions for safety given in the user manual [1]?
>
> The 3rd ruleset is one way around the problem encountered in the 2nd
> ruleset. Is there a better way (say that could be generalized more
> conveniently)?
>
> [1] http://www.dlvsystem.com/dlvsystem/html/DLV_User_Manual.html#SAFETY
>
> Thanks,
> Ankesh
> [PhD student at RPI]
> ------------------------------------------------------------------------------
> LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial
> Remotely access PCs and mobile devices and provide instant support
> Improve your efficiency, and focus on delivering more value-add services
> Discover what IT Professionals Know. Rescue delivers
> http://p.sf.net/sfu/logmein_12329d2d
> _______________________________________________
> dlvhex-devel mailing list
> dlv...@li...
> https://lists.sourceforge.net/lists/listinfo/dlvhex-devel
--
Thomas Krennwallner
University assistant
.
TU Wien - Vienna University of Technology
Institute of Information Systems
Favoritenstrasse 9-11, 1040 Wien, Austria
.
T: +43 1 58801 18469 F: +43 1 58801 918469
tkren AT kr DOT tuwien DOT ac DOT at
http://www.kr.tuwien.ac.at/staff/tkren/
.
DVR: 0005886
|
|
From: Peter S. <sch...@gm...> - 2012-12-19 07:48:28
|
Hi,
this is a topic related to DLV only, as dlvhex currently does not
support function symbols. But see some answer below nevertheless.
On Tue, Dec 18, 2012 at 11:40 PM, Ankesh <an...@gm...> wrote:
> Hi,
>
> Consider the following rulesets :
>
> =ASP 1=
>
> pair(f(a), 1).pair(f(b), 2).
> someproduct(V):- pair(X1, V1), pair(X2, V2), V=V1*V2.
>
> =ASP 2=
>
> pair(f(a), 1).pair(f(b), 2).
> someproduct(V):- pair(f(X1), V1), pair(f(X2), V2), V=V1*V2.
>
> =ASP 3=
>
> pair(f(a), 1).pair(f(b), 2).
> obj(X):- pair(f(X), _).
> someproduct(V):- pair(f(X1), V1), obj(X1), pair(f(X2), V2), obj(X2),
> V=V1*V2.
>
> For the 1st and 3rd rulesets DLV (build BEN/Dec 21 2011) produces a single
> answer set with facts {someproduct(1), someproduct(2),somproduct(4)}.
>
> However, it returns the following error for the 2nd ruleset:
> "Cyclic dependency among aggregates and builtins
> Error occurs in
> someproduct(_0) :- pair(f(_1),_2), pair(f(_3),_4), *(_2,_4,_0).".
>
> Why is the last rule in the 2nd ruleset unsafe? Can the non-safeness
> inferred from the conditions for safety given in the user manual [1]?
I do not know why the problem occurs in first place.
A solution that would come to my mind is to add #int(V) to the body of
the rule (then you need to set #maxint, however).
> The 3rd ruleset is one way around the problem encountered in the 2nd
> ruleset. Is there a better way (say that could be generalized more
> conveniently)?
>
> [1] http://www.dlvsystem.com/dlvsystem/html/DLV_User_Manual.html#SAFETY
>
> Thanks,
> Ankesh
> [PhD student at RPI]
>
> ------------------------------------------------------------------------------
> LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial
> Remotely access PCs and mobile devices and provide instant support
> Improve your efficiency, and focus on delivering more value-add services
> Discover what IT Professionals Know. Rescue delivers
> http://p.sf.net/sfu/logmein_12329d2d
> _______________________________________________
> dlvhex-devel mailing list
> dlv...@li...
> https://lists.sourceforge.net/lists/listinfo/dlvhex-devel
>
|
|
From: Peter S. <sch...@gm...> - 2012-12-19 07:44:05
|
Hi, On Tue, Dec 18, 2012 at 11:54 PM, Ankesh <an...@gm...> wrote: > Hi, > > Where can I find an overview of the syntax supported by dlvhex? I have > looked at some of the examples that come with the dlvhex2 package (in the > examples directory), but I was looking for a more accessible description, if > there is one. The syntax of dlvhex was initally based on the dlv syntax, so the dlv users guide is a good starting point. Not everything was implemented, however. > For example, the following ruleset works fine with dlv, but not with dlvhex2 > (dlvhex2 --solver=dlv [filename]): > > #maxint=10. > #const mymaxint=4. > time(1..4). > nexttime(T2):- time(T1), T2=T1+1. > > That seems to be because #const declaration and pred(X..Y) syntax are not > supported by dlvhex2. Or am I using dlvhex2 incorrectly? You are right, ranges X..Y and #const is currently not implemented. One solution for ranges is time(T) :- #int(T), 1 <= T, T <= 4. Best, Peter > Thanks, > Ankesh > [PhD student at RPI] > > ------------------------------------------------------------------------------ > LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial > Remotely access PCs and mobile devices and provide instant support > Improve your efficiency, and focus on delivering more value-add services > Discover what IT Professionals Know. Rescue delivers > http://p.sf.net/sfu/logmein_12329d2d > _______________________________________________ > dlvhex-devel mailing list > dlv...@li... > https://lists.sourceforge.net/lists/listinfo/dlvhex-devel > |