knowsys rulewerk issues

knowsys / rulewerk

Java library based on the VLog rule engine

Apache License 2.0

32 stars 13 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Parser: predicates within "<" ">" not allowed in rule body

#178 irina-dragoste closed 4 years ago
0
Various (memory leak?) errors when reasoning over different KBs

#177 mrnolte closed 4 years ago
10
Add dedicated module for integration tests

#176 mmarx opened 4 years ago
1
Missing inference due to other rules in a KB

#175 mrnolte closed 4 years ago
7
[examples] Add small example for Reasoner#getInferences()

#174 irina-dragoste opened 4 years ago
1
False warning

#173 mrnolte closed 4 years ago
0
Modularise reasoners

#172 mmarx closed 4 years ago
0
Fix javadoc search

#171 mmarx closed 4 years ago
0
JavaDoc search feature fails

#170 mkroetzsch closed 4 years ago
1
Building rulewerk for Windows

#169 mrnolte opened 4 years ago
1
Test failure when building rulewerk

#168 mrnolte closed 4 years ago
3
Core: get chase result as a stream/iterator/collection of Facts/PositiveLiterals

#167 irina-dragoste closed 4 years ago
1
Unexpected Reasoning result

#166 mrnolte closed 4 years ago
2
Core: Add serialisation for KnowledgeBase

#165 mmarx closed 4 years ago
0
Drop eclipse annotations

#164 mmarx closed 4 years ago
0
Core: Make FileDataSource serialization OS-independent

#163 mmarx closed 4 years ago
0
handle named nulls in vlog conversion

#162 mkroetzsch closed 4 years ago
2
Serialise KnowledgeBase to a file

#161 mmarx closed 4 years ago
0
Rename all the things

#160 mmarx closed 4 years ago
0
Add Xtext grammar and initial syntax highlighting

#159 alloka closed 4 years ago
3
Core: IndexOutOfBoundsException when a query answer term is an AbstractConstant containing "

#158 irina-dragoste closed 4 years ago
1
Core: Reasoner#exportQueryAnswersToCsv for an unknown (not in KB) predicate should not throw exception.

#157 irina-dragoste closed 4 years ago
0
[vlog] Check the efficiency of VLogReasoner:writeInferences

#156 alloka opened 4 years ago
1
[core] validate AbstractConstant name

#155 alloka opened 4 years ago
1
[examples] Get all inferences directly

#154 irina-dragoste opened 4 years ago
1
refactoring for #152: separate KB rewriting code from VLogReasoner class

#153 irina-dragoste closed 4 years ago
1
Core: separate KB rewriting code from VLogReasoner class

#152 irina-dragoste closed 4 years ago
1
Count query results natively

#151 larry-gonzalez closed 4 years ago
2
Core: rule files in eclipse

#150 irina-dragoste closed 4 years ago
15
Obtain inferred facts

#149 alloka closed 4 years ago
1
Obtain all facts

#148 alloka closed 4 years ago
3
[client] refactor commands

#147 irina-dragoste opened 4 years ago
2
Core: include Prefix Declarations in KnowledgeBase

#146 irina-dragoste closed 4 years ago
1
Core: use prefix declarations in Entity serialisation.

#145 irina-dragoste closed 4 years ago
2
Core: String representation of some parsable entities does not round-trip

#144 irina-dragoste closed 4 years ago
0
Parser: Add extension points and improve handling of syntactic fragments

#143 mmarx closed 4 years ago
1
[owlapi] Support all admissible nominals

#142 irina-dragoste opened 4 years ago
0
Fix the build

#141 mmarx closed 4 years ago
1
Core: DatasourceDeclaration toString is OS dependent for FileDataSources.

#140 irina-dragoste closed 4 years ago
1
Core: unit test for toString() for a DataSourceDeclaration fails on windows due to different path separators

#139 irina-dragoste closed 4 years ago
0
Remove client dependency to examples#124

#138 irina-dragoste closed 4 years ago
0
The parser parses p(<ana>) and p(ana) the same way (as an AbstractConstant with name=ana). What should the toString on this AbstractConstant return?

#137 irina-dragoste closed 4 years ago
1
Prefer jacoco over cobertura

#136 mmarx closed 4 years ago
2
Core: obtain materialised chase

#135 mkroetzsch closed 4 years ago
3
Parser: change predicate syntax from pred_name(arity) to pred_name[arity]

#134 irina-dragoste closed 4 years ago
1
[core] Acyclicity properties: enable a variable set of Predicates to have arbitrary facts for

#133 irina-dragoste opened 4 years ago
1
Bug#20 nominals

#132 irina-dragoste closed 4 years ago
1
Create Benchmark Datasets

#131 larry-gonzalez opened 4 years ago
0
Add serializer class with toString methods #86

#130 alloka closed 4 years ago
5
[core] Refactor code for acyclicity and similar KB checks

#129 mkroetzsch opened 4 years ago
0

Previous Next