This release includes a lot of clean ups, including many version
bumps.
RDF parsing now has better location reporting for errors.
Version 0.12.0
The core data model has been updated to make IRI generic. This
resolves a long standing problem that Horned-OWL was a single threaded
library. This has also meant that SetOntology has now been rewritten
to use SetIndex.
A general purpose visitor library has been added. At some point, we
should use them for rendering, but for now, an IRIMappedIndex has been
written.
A closure parser has been added for RDF, as it is often necessary to
parse the whole import closure to make a complete RDF parse.
Updated error handling to use a single unified hierarchy.
Many type aliases are now new types meaning that defaults work better.
Parsing of GCIs has now been fixed for RDF/XML.
The methods for retrieving axioms for axiom kinds and for IRIs in the
AxiomMappedIndex and the IRIMappedIndex have been renamed to disambiguate
them - as axiom_for_kind and axiom_for_iri respectively.
Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.
Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
- `@dependabot rebase` will rebase this PR
- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it
- `@dependabot merge` will merge this PR after your CI passes on it
- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it
- `@dependabot cancel merge` will cancel a previously requested merge and block automerging
- `@dependabot reopen` will reopen this PR if it is closed
- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
dependabot[bot]
commented
1 year ago
Bumps horned-owl from 0.11.0 to 0.13.0.
Changelog
Sourced from horned-owl's changelog.
Commits
8810fdcchore: Release horned-owl version 0.13.0797add0Update Version for releasecf169f1Merge branch 'Eugenio2192-fix/owx-xml-namcespaces' into devel0144dcbAdd test for namespace in XML parserd02a414Adds notes for building command line tools and adding dependency to project.9386770Includes horned-compare in main horned binary.4b30d70Update benches for newer API04bf42bBumps quick-xml to version 0.26.0.75c8c8aMade all buffer Vec's local. Ready to try version bump for quick-xml.4d2b484Refactors functions related to attribute value retrieval.Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)