DLV Error

[hmqq]

I have drew 3, dlv2 (binary) and i am trying to execute graph.owl and graph.dlp from sample_data folder.

drew -el -ontology graph.owl -dlp graph.dlp -dlv /home/haya/dlv-2.1.0-linux-x86

But I am getting DLV Error, exitValue=110

/usr/dlv-2.1.0-linux-x86: invalid option -- 'p', , Generic error: This option is not supported., DLV Error, exitValue=110]

No matter which example I execute I get this error. Why am I getting this error?

Thankyou!

[ghxiao]

Have you tried DLV version1? I know that DLV versions 1 and 2 are not fully compatible and they have different sets of parameters. Adapting Drew to work with DLV2 should not be a major task.

…

On 23 Feb 2022, at 15:04, hmqq ***@***.***> wrote: I have drew 3, dlv2 (binary) and i am trying to execute graph.owl and graph.dlp from sample_data folder. drew -el -ontology graph.owl -dlp graph.dlp -dlv /home/haya/dlv-2.1.0-linux-x86 But I am getting DLV Error, exitValue=110 /usr/dlv-2.1.0-linux-x86: invalid option -- 'p', , Generic error: This option is not supported., DLV Error, exitValue=110] No matter which example I execute I get this error. Why am I getting this error? Thankyou! — Reply to this email directly, view it on GitHub <#10>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAORVK6XANZBFLS7ABX2I5TU4TSPRANCNFSM5PEOKO6A>. Triage notifications on the go with GitHub Mobile for iOS <https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675> or Android <https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub>. You are receiving this because you are subscribed to this thread.

[hmqq]

No, I haven't try DLV1 yet.
I will try and let you know.

[hmqq]

I am unable to find the DLV version 1. I don't know where they move it.

[hmqq]

Hi. It worked with dlv1. The above error has been solved. Thanks!