knowsys/nemo issues and pull requests

#472 - Rule restrictions

Pull Request - State: open - Opened by aannleax 9 months ago

#471 - More builtins / Ternary and N-ary Builtins

Pull Request - State: closed - Opened by aannleax 10 months ago

#470 - Add binary builtin functions for numeric max/min

Pull Request - State: closed - Opened by monsterkrampe 10 months ago - 1 comment

#469 - Support Tracing for Aggregates

Issue - State: open - Opened by Laschoking 10 months ago
Labels: tracing, aggregates

#468 - Provide two tracing wasm endpoint (ascii/graphml)

Pull Request - State: closed - Opened by monsterkrampe 10 months ago

#467 - Numeric functions should support all numeric datatypes, possibly mixed

Issue - State: open - Opened by mkroetzsch 10 months ago
Labels: builtins

#466 - Logical model should support nested structured terms with variables

Issue - State: open - Opened by mkroetzsch 10 months ago
Labels: Parser, logical

#465 - Built-in functions should work as atoms

Issue - State: open - Opened by mkroetzsch 10 months ago
Labels: builtins

#464 - SUBSTR function should support optional third length parameter

Issue - State: closed - Opened by mkroetzsch 10 months ago - 1 comment
Labels: builtins

#463 - DATAYPE function should return IRI, not string

Issue - State: closed - Opened by mkroetzsch 10 months ago
Labels: builtins

#462 - Release 0.5

Pull Request - State: closed - Opened by mmarx 10 months ago

#461 - Error message for arithmetic in negated literals

Pull Request - State: closed - Opened by aannleax 10 months ago

#460 - Constants dont produce facts when passed through the body

Issue - State: open - Opened by Laschoking 10 months ago

#459 - Bug/428

Pull Request - State: closed - Opened by aannleax 10 months ago

#458 - Add error message for filtered derived variables

Pull Request - State: closed - Opened by aannleax 10 months ago

#457 - Bug/452

Pull Request - State: closed - Opened by aannleax 10 months ago - 1 comment

#456 - Tracing playground new data model adjustments

Pull Request - State: closed - Opened by monsterkrampe 10 months ago - 1 comment
Labels: enhancement, wasm, tracing

#455 - Parser

Pull Request - State: open - Opened by matzemathics 11 months ago

#454 - Fix serialisation of IRIs with percent encoding

Issue - State: open - Opened by matzemathics 11 months ago

#453 - Bugtracker for the data-model branch

Issue - State: closed - Opened by matzemathics 11 months ago - 3 comments
Labels: bug, io, aggregates

#452 - negation error with constants inside the negated atom

Issue - State: closed - Opened by Laschoking 12 months ago - 1 comment

#451 - Fix building using nix on darwin

Pull Request - State: closed - Opened by mmarx about 1 year ago
Labels: bug, infrastructure

#450 - Data model

Pull Request - State: closed - Opened by matzemathics about 1 year ago

#449 - `resource` in `@export` statements is not used to determine the output path

Issue - State: closed - Opened by mmarx about 1 year ago - 2 comments
Labels: bug, io

#448 - Problem with new variables in body and inequality

Issue - State: open - Opened by Laschoking about 1 year ago

#447 - Error output: Add line number & relation

Issue - State: open - Opened by Laschoking about 1 year ago - 1 comment
Labels: enhancement

#446 - Represent zero-column relations (aka booleans) in the `PartialTrieScan` interface?

Issue - State: open - Opened by matzemathics about 1 year ago
Labels: help wanted, question, technical-debt, physical, planning engine

#445 - Release 0.4.0

Pull Request - State: closed - Opened by mmarx about 1 year ago
Labels: enhancement

#444 - Switch apply_equality and separate_equality in Chase rule normalization

Pull Request - State: closed - Opened by matzemathics about 1 year ago
Labels: bug, program analysis

#443 - Problems when evaluating multiple levels of arithmetic definitions

Issue - State: open - Opened by stefborg about 1 year ago
Labels: arithmetic

#442 - Min/max as built-in arithmetic functions

Issue - State: closed - Opened by stefborg about 1 year ago - 3 comments
Labels: enhancement, arithmetic

#441 - Type Error depending on input

Issue - State: closed - Opened by Laschoking about 1 year ago - 1 comment
Labels: bug, type system

#440 - add support for csv header remapping

Pull Request - State: open - Opened by matzemathics about 1 year ago
Labels: enhancement, CSV, io, api

#439 - Feature/tuple-terms

Pull Request - State: closed - Opened by matzemathics about 1 year ago
Labels: enhancement, Parser, api

#438 - Debug Assert in Variable Order failes for rule with multiple constructors

Issue - State: closed - Opened by monsterkrampe about 1 year ago - 2 comments
Labels: bug, program analysis

#437 - Bump nixpkgs to 23.11

Pull Request - State: closed - Opened by mmarx about 1 year ago
Labels: infrastructure

#436 - Fix type inference for body constructors

Pull Request - State: closed - Opened by monsterkrampe about 1 year ago
Labels: bug, logical, type system

#435 - Type Inference panics for rule with body constructor

Issue - State: closed - Opened by monsterkrampe about 1 year ago - 1 comment
Labels: bug, logical, type system

#434 - Negated Atom with Constant in Body causes unexpected behavior

Issue - State: open - Opened by matzemathics about 1 year ago - 7 comments
Labels: bug, planning engine

#433 - Warn about joins that must be empty due to incompatible types

Issue - State: closed - Opened by matzemathics about 1 year ago - 4 comments
Labels: type system, program analysis

#432 - fix off-by-one-error in cut layer calculation

Pull Request - State: closed - Opened by matzemathics about 1 year ago - 1 comment
Labels: bug, planning engine

#431 - off-by-one error in plan_util

Issue - State: closed - Opened by matzemathics about 1 year ago
Labels: bug, planning engine

#430 - Add ability to use arithmetic expressions and aggregates together

Pull Request - State: closed - Opened by rlwww about 1 year ago
Labels: bug, aggregates

#429 - parse nested map terms

Pull Request - State: closed - Opened by matzemathics about 1 year ago - 2 comments
Labels: enhancement, Parser

#428 - triescan_minus potential bug

Issue - State: closed - Opened by Laschoking about 1 year ago
Labels: bug, planning engine

#427 - Avoid dependencies on (external) error types

Issue - State: open - Opened by matzemathics about 1 year ago - 8 comments
Labels: enhancement, help wanted, crate, physical, logical, api

#426 - Fix initial type requirements (merge correctly)

Pull Request - State: closed - Opened by monsterkrampe about 1 year ago
Labels: bug, logical, critical, type system

#425 - use the hashbrown::Equivalence trait instead of tmp-refs

Pull Request - State: closed - Opened by matzemathics about 1 year ago
Labels: technical-debt, physical, dictionary

#424 - Collection of initial Requirements for Type Inference not correct

Issue - State: closed - Opened by monsterkrampe about 1 year ago
Labels: bug, logical, critical, type system

#423 - UnsafeCell<Atomic> does not make any sense

Pull Request - State: closed - Opened by matzemathics about 1 year ago
Labels: technical-debt, physical, dictionary

#422 - Fix for issue #417

Pull Request - State: closed - Opened by mkroetzsch about 1 year ago - 1 comment
Labels: bug, critical, dictionary

#421 - Bug with aggregates in combination with arithmetic expressions

Issue - State: closed - Opened by rlwww about 1 year ago
Labels: bug, aggregates

#420 - Add support for reading RDF 1.1 TriG

Pull Request - State: closed - Opened by mmarx about 1 year ago
Labels: enhancement, io, rdf

#419 - Support writing RDF formats

Issue - State: closed - Opened by mmarx about 1 year ago - 1 comment
Labels: enhancement, io, rdf

#418 - Feature/376 compact tracing

Pull Request - State: closed - Opened by aannleax about 1 year ago

#417 - Test fails randomly

Issue - State: closed - Opened by aannleax about 1 year ago - 5 comments
Labels: bug, critical

#416 - Support reading RDF 1.1 N-Quads

Issue - State: closed - Opened by mmarx about 1 year ago
Labels: enhancement, io, rdf

#415 - Import & Export directives

Pull Request - State: closed - Opened by mmarx about 1 year ago
Labels: enhancement, Parser, CSV, logical, io, api, rdf

#414 - Unbreak nemo-wasm nix package

Pull Request - State: closed - Opened by mmarx about 1 year ago
Labels: bug, infrastructure

#413 - Support for multiple aggregates in a single rule

Issue - State: open - Opened by rlwww about 1 year ago - 1 comment
Labels: enhancement, aggregates

#405 - Add tests for the `nemo-wasm` subcrate

Issue - State: open - Opened by matzemathics about 1 year ago
Labels: enhancement, tests, wasm

#403 - Machine-readable traces

Issue - State: closed - Opened by stefborg about 1 year ago - 1 comment
Labels: enhancement, physical, tracing

#392 - Fix bug with unknown constants in filter expressions

Pull Request - State: closed - Opened by aannleax about 1 year ago
Labels: bug

#381 - Add more tests for arithmetic operations

Issue - State: closed - Opened by matzemathics over 1 year ago - 1 comment
Labels: technical-debt, tests

#376 - Store DAG for tracing

Issue - State: closed - Opened by aannleax over 1 year ago
Labels: enhancement, technical-debt

#363 - Implement Tracing

Pull Request - State: closed - Opened by aannleax over 1 year ago
Labels: enhancement

#356 - Avoid building wasm-bindgen-cli

Pull Request - State: closed - Opened by mmarx over 1 year ago
Labels: enhancement, infrastructure

#354 - Support inequality and equality for string types

Issue - State: closed - Opened by Laschoking over 1 year ago - 2 comments
Labels: enhancement, physical

#352 - Expected warning for non-initialized relation in body

Issue - State: open - Opened by Laschoking over 1 year ago - 3 comments
Labels: enhancement, logical, program analysis

#346 - Public API for adding sources `Program`s

Issue - State: open - Opened by matzemathics over 1 year ago - 1 comment
Labels: enhancement, io, api, python

#341 - Bug 308/empty file

Pull Request - State: closed - Opened by aannleax over 1 year ago

#340 - Arithmetic type inference

Pull Request - State: closed - Opened by aannleax over 1 year ago

#339 - Calculate Memory Footprint of the Dictionary

Issue - State: open - Opened by aannleax over 1 year ago
Labels: enhancement

#338 - Feature/129 predicate memory

Pull Request - State: closed - Opened by aannleax over 1 year ago

#337 - Add CSV file writing to nemo-wasm

Pull Request - State: closed - Opened by rlwww over 1 year ago
Labels: enhancement, CSV, io, wasm

#335 - Add counting of rows in on-disk tables

Issue - State: open - Opened by rlwww over 1 year ago - 2 comments
Labels: enhancement, physical, io

#333 - Unsafe negation

Pull Request - State: closed - Opened by aannleax over 1 year ago
Labels: enhancement, logical, planning engine

#332 - Feature/327 unequals

Pull Request - State: closed - Opened by aannleax over 1 year ago

#329 - Implement Built-in Functions for String Operations

Issue - State: closed - Opened by aannleax over 1 year ago - 1 comment
Labels: enhancement

#328 - Implement Aggregates

Issue - State: closed - Opened by aannleax over 1 year ago
Labels: enhancement

#325 - Implement built-in Functions and Aggregates

Issue - State: open - Opened by monsterkrampe over 1 year ago
Labels: enhancement

#324 - Support program modules

Issue - State: open - Opened by mmarx over 1 year ago
Labels: question, Parser, logical

#312 - Enable the dictionary to store tagged values

Issue - State: closed - Opened by monsterkrampe over 1 year ago - 5 comments
Labels: physical

#311 - Implement meaningful Benchmarks that can be used as performance regression tests

Issue - State: open - Opened by monsterkrampe over 1 year ago
Labels: enhancement, tests, regression

#310 - Wasm Bindings should make better use of Logical Values

Issue - State: open - Opened by monsterkrampe over 1 year ago
Labels: enhancement, wasm, api

#293 - new `@import` / `@export` directives

Issue - State: closed - Opened by matzemathics over 1 year ago - 1 comment
Labels: Parser, io

#291 - rethink csv output format for non-string values

Issue - State: closed - Opened by matzemathics over 1 year ago - 7 comments
Labels: bug, question, CSV

#283 - Implement full type hierarchy of primitive types (Any, String, Integer, Float64)

Issue - State: closed - Opened by monsterkrampe over 1 year ago - 2 comments
Labels: enhancement, logical, type system

#282 - Implement logical type casting for primitive types in reasoning process (Any, String, Integer, Float64)

Issue - State: closed - Opened by monsterkrampe over 1 year ago - 1 comment
Labels: enhancement, physical, type system

#275 - Support different output formats

Issue - State: closed - Opened by mmarx over 1 year ago - 1 comment
Labels: enhancement, io

#219 - Redesign error messages

Issue - State: open - Opened by mmarx over 1 year ago - 1 comment
Labels: enhancement, Parser, logical

#208 - Support EDB predicates in `@output` directives

Issue - State: closed - Opened by mmarx over 1 year ago - 1 comment
Labels: enhancement, io

#193 - Incorrect evaluation of existential rules with no frontier variables

Issue - State: closed - Opened by aannleax almost 2 years ago - 1 comment
Labels: bug

#130 - Add support for nullary predicates and BCQs

Issue - State: open - Opened by aannleax almost 2 years ago - 1 comment
Labels: enhancement

#126 - Implement Conjunctive Query Answering

Issue - State: open - Opened by aannleax almost 2 years ago
Labels: enhancement, logical

#111 - Overview of features required by DOOP basic-only analysis

Issue - State: open - Opened by rlwww almost 2 years ago
Labels: enhancement

#97 - Insufficient unit test coverage of logical layer

Issue - State: open - Opened by aannleax about 2 years ago - 1 comment
Labels: enhancement, technical-debt, tests

#86 - Improve the Representation Format for Rules

Issue - State: closed - Opened by aannleax about 2 years ago - 3 comments
Labels: enhancement, question, logical

#61 - Implement handling of prefixes in the rule parser

Issue - State: open - Opened by mmarx about 2 years ago - 2 comments
Labels: enhancement

#59 - Support incremental parsing

Issue - State: open - Opened by mmarx about 2 years ago
Labels: enhancement, Parser

GitHub / knowsys/nemo issues and pull requests