Labels

Pull requests that update a dependency file

This issue or pull request already exists

New feature or request

The ontology may cause erroneous inference

This issue or pull request doesn't seem right

Pull requests that update java code

Some category or relation is missing but needed

Further information is requested

Any task not covered by the other labels

This issue will not be worked on