-
Notifications
You must be signed in to change notification settings - Fork 13
Issues: knowsys/rulewerk
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
[integrationtests] vlog integration test for string constants in SPARQL results
code quality
#223
opened Dec 13, 2022 by
irina-dragoste
Support basic SPARQL queries via Rulewerk
missing functionality
#222
opened Nov 21, 2022 by
mkroetzsch
Integration with existing triple stores and SPARQL engines
#221
opened Nov 19, 2022 by
marco-calautti
[client] unexpected interpretation of backslash character in file paths.
bug
Something isn't working
#219
opened Jul 15, 2022 by
irina-dragoste
[owlapi] support minCardinality for cardinality <1
missing functionality
#218
opened Dec 17, 2021 by
irina-dragoste
[owlapi] handle owl:BottomObjectProperty
enhancement
New feature or request
question
Further information is requested
#213
opened Sep 4, 2021 by
irina-dragoste
[owlapi] OWLDisjointObjectPropertiesAxiom with 0 or 1 operands
enhancement
New feature or request
missing functionality
question
Further information is requested
#211
opened Aug 28, 2021 by
irina-dragoste
making API of Literal types more intuitive.
documentation
Related to helping others using Rulewerk
#203
opened Mar 25, 2021 by
irina-dragoste
Unexpected transformation of NamedNulls into AbstractConstants during reasoning
documentation
Related to helping others using Rulewerk
#202
opened Mar 10, 2021 by
francesco-kriegel
Running the command-line client with 'materialize' not possible
bug
Something isn't working
#201
opened Mar 9, 2021 by
phil-hanisch
[owlapi] incomplete complex assertion to KB transformation.
bug
Something isn't working
#199
opened Feb 10, 2021 by
irina-dragoste
[client] CTRL+C should stop current operation rather than kill the client
enhancement
New feature or request
#188
opened Oct 2, 2020 by
mkroetzsch
[client] @showkb should support showing parts of the KB
enhancement
New feature or request
#187
opened Oct 2, 2020 by
mkroetzsch
[client] @query should warn if a query predicate does not exist
enhancement
New feature or request
#186
opened Oct 2, 2020 by
mkroetzsch
[client] @query should support "predicate" and "predicate[arity]"
enhancement
New feature or request
#185
opened Oct 2, 2020 by
mkroetzsch
[parser] Allow @source anywhere
enhancement
New feature or request
#184
opened Sep 11, 2020 by
mkroetzsch
[client] Parsing error when executing a query with LIMIT
bug
Something isn't working
#183
opened Sep 4, 2020 by
larry-gonzalez
[vlog] Query answering over predicate that has not been loaded into VLog is SOUND_AND_COMPLETE; should be INCORRECT
bug
Something isn't working
#182
opened Aug 13, 2020 by
irina-dragoste
Add dedicated module for integration tests
code quality
enhancement
New feature or request
#176
opened May 27, 2020 by
mmarx
4 tasks
[examples] Add small example for Reasoner#getInferences()
documentation
Related to helping others using Rulewerk
#174
opened May 20, 2020 by
irina-dragoste
Building rulewerk for Windows
documentation
Related to helping others using Rulewerk
upstream bug
This is a bug in an upstream dependency (e.g., VLog)
#169
opened Apr 16, 2020 by
mrnolte
[vlog] Check the efficiency of VLogReasoner:writeInferences
enhancement
New feature or request
#156
opened Feb 17, 2020 by
alloka
Previous Next
ProTip!
Follow long discussions with comments:>50.