delenius

OWL version with human-readable names

4

Has there been any discussion on generating human-readable names for the entities in the OWL version of BFO? While it is possible to view by rdfs:label in Protege, there are...

Equivalence axioms in 2.0

3

In BFO 1.1, OWL version, we had things like entity equivalent to continuant or occurrent and so on, all the way down. I.e. each class was the disjoint partition of...

NullPointerException

2

I get an NPE when running `mvn jpa-schema:generate -e -X`: ``` java [ERROR] Failed to execute goal io.github.divinespear:jpa-schema-maven-plugin:0.1.12:generate (default-cli) on project sunflower-server: Error while running: NullPointerException -> [Help 1] org.apache.maven.lifecycle.LifecycleExecutionException:...

Interleaving text and images (for few-shot learning)

1

It does not appear to be possible (e.g. with llava) to interleave images and text (or is it?). This would be necessary in order to give some few-shot examples of...

ShortTypeHints does not work with `object`

1

### json4s version 4.1.0-M2 ### scala version 2.13.10 ### jdk version AdoptOpenJDK Java 11.0.6 Example to reproduce below. The first test succeeds. The second test fails. ``` import org.json4s.ShortTypeHints import...

### json4s version 4.1.0-M1 ### scala version 2.13.8 ### jdk version OpenJDK Runtime Environment AdoptOpenJDK (build 11.0.6+10) In the following test, the quoted case fails. If I remove the special...

Where is mkEnumType/EnumSort?

1

The current version of `Z3Context` has no `mkEnumType` method, or `EnumSort` class. The [Java API has a corresponding method](https://z3prover.github.io/api/html/classcom_1_1microsoft_1_1z3_1_1_context.html#a4374b521f4ce4c9fae1bff928aaf4a8a), and so does the underlying `Native` class used by `ScalaZ3` (at...

run-dev.sh fails with "Error 2"

2

``` 155.1 dh_auto_configure: error: cd .obj-x86_64-linux-gnu && cmake -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=None -DCMAKE_INSTALL_SYSCONFDIR=/etc -DCMAKE_INSTALL_LOCALSTATEDIR=/var -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY=ON -DCMAKE_FIND_USE_PACKAGE_REGISTRY=OFF -DCMAKE_FIND_PACKAGE_NO_PACKAGE_REGISTRY=ON "-GUnix Makefiles" -DCMAKE_VERBOSE_MAKEFILE=ON -DCMAKE_INSTALL_LIBDIR=lib/x86_64-linux-gnu -DCMAKE_INSTALL_PREFIX=/opt/ros/humble -DAMENT_PREFIX_PATH=/opt/ros/humble -DCMAKE_PREFIX_PATH=/opt/ros/humble -DBUILD_TESTING=OFF .. returned exit code 1 155.1 make[1]:...

ROS topic issues (syncing/hz)

6

1) The command `ros2 topic hz /robot0/front_cam/rgb` does not return any info (even though I am getting images through it). All the other topics report some data. 2) I am...

'Camera' object error

4

We get this error on startup (it still loads and seems to work ok). ``` AttributeError: 'Camera' object has no attribute '_rep_registry' Exception ignored in: Traceback (most recent call last):...