karmaresearch vlog issues

karmaresearch / vlog

Apache License 2.0

55 stars 9 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Store IDB predicates only

#100 larry-gonzalez closed 1 year ago
0
Que hicimos en vacaciones

#99 ArturoValdivieso69 closed 1 year ago
0
are existential rules monotonic?

#98 balhoff opened 1 year ago
3
File paths for EDB configurations are wrongly interpreted on Windows

#97 irina-dragoste closed 2 years ago
3
On M1 Mac with arm64: issues java.lang.UnsatisfiedLinkError: while loading kognac-core

#96 irina-dragoste closed 1 year ago
4
Incomplete query answering for rules with partially grounded atoms in the body

#95 alloka closed 2 years ago
0
TupleIterator from Java_karmaresearch_vlog_VLog_query is not proper deleted

#94 andreschamschurko closed 2 years ago
4
wrong cyclicity classification for MSA, RMSA, MFA, RMFA when rule contains constants

#93 CerielJacobs closed 2 years ago
0
RMSA classification issue 1

#92 irina-dragoste closed 2 years ago
1
RMSA classification issue 2

#91 irina-dragoste closed 2 years ago
1
RMSA classification issue 3

#90 irina-dragoste closed 2 years ago
1
Wrong JA classification, dependency graph has cycle (length=3)

#89 irina-dragoste closed 2 years ago
0
predicate deleteion

#88 adielstatman opened 3 years ago
0
Fix column duplication check for multihead rules

#87 marco-calautti closed 3 years ago
0
Sporadic segmentation faults in ChaseMgmt::getNewOrExistingIDs

#86 mmarx closed 2 years ago
3
Wrong RMFA classification 2

#85 irina-dragoste closed 2 years ago
3
RJA classification issue 3

#84 irina-dragoste closed 2 years ago
0
RJA classification problem 2

#83 irina-dragoste closed 2 years ago
0
RJA classifcation problem 1

#82 irina-dragoste closed 2 years ago
0
Wrong RMFC classification

#81 irina-dragoste closed 2 years ago
3
Missing RMFC classification P(Y,Z) :- P(X,Y)

#80 irina-dragoste closed 2 years ago
2
JA classification problem

#79 CerielJacobs closed 2 years ago
2
Wrong RMFA (and RMSA) classification

#78 CerielJacobs closed 2 years ago
3
Crash when checking RJA

#77 irina-dragoste closed 3 years ago
1
Cannot compile with current trident master

#76 marco-calautti closed 3 years ago
1
Fixed bug on determining column dependency for ex variables.

#75 marco-calautti closed 3 years ago
1
include climits

#74 larry-gonzalez closed 3 years ago
0
Incorrect behavior on string literals from csv-import

#73 andreschamschurko closed 1 year ago
23
incomplete derivation rule with constant and repeated variable

#72 irina-dragoste closed 3 years ago
0
BUG: incorrect reasoning with large rule.

#71 irina-dragoste closed 3 years ago
0
Bug incomplete materialization join with constants and repeated constant fact

#70 irina-dragoste closed 3 years ago
0
Incomplete reasoning

#69 irina-dragoste closed 3 years ago
0
Incorrect reasoning rule with multiple head atoms

#68 irina-dragoste closed 3 years ago
0
Incomplete reasoning

#67 irina-dragoste closed 3 years ago
0
Incomplete reasoning for joins with repeated variables

#66 irina-dragoste closed 3 years ago
0
out of memory for rules with many body atoms

#65 irina-dragoste closed 3 years ago
2
Applicability of Rules Depend on their Order in the Rule File

#64 smennicke opened 3 years ago
14
Wrong behavior when is not possible to bound variables in negated atoms - propagated to Rulewerk

#63 larry-gonzalez closed 3 years ago
0
Incomplete Derivation from a Datalog Rule Set

#62 smennicke closed 3 years ago
2
Incomplete predicate extension when using existential rules

#61 larry-gonzalez closed 3 years ago
0
Rule order is broken when combining existential rules with negation

#60 CerielJacobs closed 3 years ago
0
More missing derivations in VLog

#59 mkroetzsch closed 4 years ago
2
Missing derivations in VLog

#58 mkroetzsch closed 4 years ago
1
Mix up of terms in trident sources in VLog

#57 mkroetzsch opened 4 years ago
1
Loading missing trident source kills application

#56 mkroetzsch closed 4 years ago
0
Wrong term type in result from Trident

#55 mkroetzsch closed 1 year ago
3
Language-tagged strings are confused with xsd:Strings

#54 mkroetzsch closed 4 years ago
0
More helpful error message for missing data imports

#53 mkroetzsch closed 4 years ago
0
Avoid clang-specific -Wimplicit-int-conversion on g++

#52 mmarx closed 4 years ago
0
VLog C++ crash

#51 irina-dragoste closed 4 years ago
0