Skip to content

Commit 805897a

Browse files
Update RELEASE-NOTES.md
1 parent ba79960 commit 805897a

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

RELEASE-NOTES.md

+2
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,8 @@ Rulewerk v0.9.0
77
Bugfixes:
88
* The parser now accepts empty prefixes, as allowed by, e.g., RDF Turtle. (#206)
99
* [rulewerk-owlapi] Axioms of type DisjointClasses and DisjointObjectProperties are no longer ignored, and are now translated into corresponding rules. (#209)
10+
* String constants in long (`"foo"^^<http://www.w3.org/2001/XMLSchema#string>`) and short notation (`"foo"`) and are now interchangeable.
11+
* Several reasoning errors in VLog (backend) have been discovered and fixed in the version used now.
1012

1113
Rulewerk v0.8.0
1214
---------------

0 commit comments

Comments
 (0)