Jens Bürger

Consistency check produces wrong results when using imports

2

I have a problem concerning the inconsistency check for ontologies using imports. I provide 2 minimal working examples. In one case (inconsistency_wo_import), an inconsistent ontology is provided. Openllet detects that...

Configure or disable behavior wrt. command-line arguments?

4

In my project, I use https://github.com/fonimus/ssh-shell-spring-boot . This has recently been upgraded to use version 2.1.0 of Spring Shell. My application makes use of command-line arguments. Now, I observe that...