Jim Balhoff
                                            Jim Balhoff
                                        
                                    From @goodb: I wonder if it would be possible to adjust your explanation code such that the variables in the rules (e.g. ?x1) were replaced by the URIs that were...
See https://github.com/balhoff/blazegraph-runner/pull/3
https://github.com/JuPfu/chelona/ Would be useful for Scala.js version of Arachne.
Right now if two classes are forced to not be subclasses in either direction, this mapping won't be depicted in any way in the output images.
allow providing prefixes declarations separate from list of prohibited within-namespace equivalents
Prefix declarations are needed for the input TSV. Right now inferred equivalents within these namespaces are also prohibited. @matentzn would like to be able to enable/disable that feature more selectively.
This would be consistent with the treatment of 0 as impossible.
Would be helpful to have a base release for OBA.
#### Issue type: - :bug: Bug ____ #### Description: The query interface at https://query.linkeddatafragments.org seems to add prefix declarations before executing a query, even if these conflict with prefix declarations...
Currently there is a product that covers only the taxslim, containing these disjointness axioms: - `X DisjointWith Y` for all sibling taxa `X` and `Y` - `(in_taxon some X) DisjointWith...
I think the filtering query is getting confused due to `prov:wasDerivedFrom` now being also used to connect copied models to their sources.