whelk
whelk copied to clipboard
INCATools
Whelk is an OWL EL reasoner
## About this PR 📦 Updates [net.sourceforge.owlapi:owlapi-distribution](https://github.com/owlcs/owlapi) from `4.5.22` to `4.5.29` ## Usage ✅ **Please merge!** I'll automatically update this PR to resolve conflicts as long as you don't change...
## About this PR 📦 Updates [org.scala-lang:scala-library](https://github.com/scala/scala) from `2.13.8` to `2.13.14` 📜 [GitHub Release Notes](https://github.com/scala/scala/releases/tag/v2.13.14) - [Version Diff](https://github.com/scala/scala/compare/v2.13.8...v2.13.14) ## Usage ✅ **Please merge!** I'll automatically update this PR to resolve...
## About this PR 📦 Updates [org.scala-js:sbt-scalajs](https://github.com/scala-js/scala-js) from `1.10.1` to `1.16.0` 📜 [GitHub Release Notes](https://github.com/scala-js/scala-js/releases/tag/v1.16.0) - [Version Diff](https://github.com/scala-js/scala-js/compare/v1.10.1...v1.16.0) ## Usage ✅ **Please merge!** I'll automatically update this PR to resolve...
## About this PR 📦 Updates com.typesafe.sbt:sbt-osgi from `0.9.6` to `0.9.11` ## Usage ✅ **Please merge!** I'll automatically update this PR to resolve conflicts as long as you don't change...
## About this PR 📦 Updates [org.scala-native:sbt-scala-native](https://github.com/scala-native/scala-native) from `0.4.5` to `0.4.17` 📜 [GitHub Release Notes](https://github.com/scala-native/scala-native/releases/tag/v0.4.17) - [Version Diff](https://github.com/scala-native/scala-native/compare/v0.4.5...v0.4.17) ## Usage ✅ **Please merge!** I'll automatically update this PR to resolve...
## About this PR 📦 Updates * [org.portable-scala:sbt-scala-native-crossproject](https://github.com/portable-scala/sbt-crossproject) * [org.portable-scala:sbt-scalajs-crossproject](https://github.com/portable-scala/sbt-crossproject) from `1.2.0` to `1.3.2` 📜 [GitHub Release Notes](https://github.com/portable-scala/sbt-crossproject/releases/tag/v1.3.2) - [Version Diff](https://github.com/portable-scala/sbt-crossproject/compare/v1.2.0...v1.3.2) ## Usage ✅ **Please merge!** I'll automatically update this...
Updates [com.github.sbt:sbt-native-packager](https://github.com/sbt/sbt-native-packager) from 1.9.9 to 1.9.16. [GitHub Release Notes](https://github.com/sbt/sbt-native-packager/releases/tag/v1.9.16) - [Changelog](https://github.com/sbt/sbt-native-packager/blob/master/CHANGELOG.md) - [Version Diff](https://github.com/sbt/sbt-native-packager/compare/v1.9.9...v1.9.16) I'll automatically update this PR to resolve conflicts as long as you don't change it yourself....
If there is an axiom `C SubClassOf (fatherOf some child) and (fatherOf only child)`, currently Whelk will throw out the whole axiom (same as ELK 0.4.3). But Whelk should be...
## About this PR 📦 Updates [com.github.sbt:sbt-pgp](https://github.com/sbt/sbt-pgp) from `2.1.2` to `2.2.1` 📜 [GitHub Release Notes](https://github.com/sbt/sbt-pgp/releases/tag/v2.2.1) - [Version Diff](https://github.com/sbt/sbt-pgp/compare/v2.1.2...v2.2.1) ## Usage ✅ **Please merge!** I'll automatically update this PR to resolve...