Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / gavel-tool/python-gavel-owl issues and pull requests

#19 - fix object-all-values-from, data-all-values-from

Pull Request - State: closed - Opened by sfluegel05 3 months ago

#18 - Unsatisfiable theory with Object- (and probably Data-)AllValuesFrom

Issue - State: closed - Opened by b-gehrke 4 months ago - 2 comments

#17 - fix reflexive object property

Pull Request - State: closed - Opened by sfluegel05 7 months ago

#16 - Contradicting axioms for reflexive object property

Issue - State: closed - Opened by b-gehrke 7 months ago - 1 comment

#15 - add --clif-input argument for fowl translation

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

#14 - gavel --help needs updating

Issue - State: open - Opened by fabianneuhaus about 2 years ago

#12 - error message, ply not installed

Issue - State: open - Opened by fabianneuhaus about 2 years ago - 1 comment

#11 - fix: index out of bounds in java api, imports in python files

Pull Request - State: closed - Opened by sfluegel05 over 2 years ago

#10 - change default annotation properties

Pull Request - State: closed - Opened by sfluegel05 over 2 years ago

#9 - Feature annotated owl

Pull Request - State: closed - Opened by sfluegel05 over 2 years ago

#8 - Create LICENSE

Pull Request - State: closed - Opened by MGlauer about 3 years ago

#7 - add option to shorten IRIs

Issue - State: closed - Opened by sfluegel05 over 3 years ago

#6 - restructure owl-prove

Issue - State: open - Opened by sfluegel05 over 3 years ago

#5 - add pretty print

Issue - State: open - Opened by sfluegel05 over 3 years ago

#4 - Maven does not succeed

Issue - State: closed - Opened by MGlauer over 3 years ago - 1 comment

#3 - Features/packaging

Pull Request - State: closed - Opened by MGlauer over 3 years ago

#2 - Feature/change port

Pull Request - State: closed - Opened by sfluegel05 over 3 years ago

#1 - Add missing command registry

Pull Request - State: closed - Opened by akleinau over 3 years ago