issues
search
gavel-tool
/
python-gavel-owl
GNU Affero General Public License v3.0
3
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
fix object-all-values-from, data-all-values-from
#19
sfluegel05
closed
2 months ago
0
Unsatisfiable theory with Object- (and probably Data-)AllValuesFrom
#18
b-gehrke
closed
2 months ago
2
fix reflexive object property
#17
sfluegel05
closed
6 months ago
0
Contradicting axioms for reflexive object property
#16
b-gehrke
closed
6 months ago
1
add --clif-input argument for fowl translation
#15
sfluegel05
closed
1 year ago
0
gavel --help needs updating
#14
fabianneuhaus
opened
2 years ago
0
kein Hauptmanifestattribut, in /.../site-packages/gavel_owl/jars/api.jar
#13
fabianneuhaus
opened
2 years ago
0
error message, ply not installed
#12
fabianneuhaus
opened
2 years ago
1
fix: index out of bounds in java api, imports in python files
#11
sfluegel05
closed
2 years ago
0
change default annotation properties
#10
sfluegel05
closed
2 years ago
0
Feature annotated owl
#9
sfluegel05
closed
2 years ago
0
Create LICENSE
#8
MGlauer
closed
3 years ago
0
add option to shorten IRIs
#7
sfluegel05
closed
2 years ago
0
restructure owl-prove
#6
sfluegel05
opened
3 years ago
0
add pretty print
#5
sfluegel05
opened
3 years ago
0
Maven does not succeed
#4
MGlauer
closed
3 years ago
1
Features/packaging
#3
MGlauer
closed
3 years ago
0
Feature/change port
#2
sfluegel05
closed
3 years ago
0
Add missing command registry
#1
akleinau
closed
3 years ago
0