Alan Ruttenberg

CNAME to w3id.org possible?

3

A protection against single point of failure, however unlikely for this resource but nonetheless, is to own a domain name which points to w3id.org. PURLs for a project could then...

Certain apps crash unless system webview is chosen

3

I installed mulch system webview and selected it in developer settings. However two apps: CVS and CVS Caremark both crash unless system webview is selected. The error in the log...

BFO OWL in repository, intended as a derived product, has been edited and is now out of sync

8

The definitions in BFO-core have been edited so that they are no longer in sync with those in the ISO source, from which the *generated* BFO is constructed. This has...

FEATURE: [Distinguish axioms from theorems in the BFO FOL]

1

Distinguish axioms from theorems in the BFO FOL. I've code that tries to prove each formula from the rest. Take the ones that are proven and mark them as theorems.

Use QUDT vs CCO for measurement units

8

As discussed on today's BFO-CCO office hours, see branch qudt for a transformed version of QUDT that is more idiomatic for CCO.

Missing weak supplementation axiom for occurrents

2

It was failing in the model so I removed it with the intention of fixing the model at some point, but never got back to it. There is weak supplementation...

Titles says it. bao-1 ``` (:forall (?a ?b ?t) (:implies (:and (continuant-part-of ?a ?b ?t) (instance-of ?a independent-continuant ?t) (:not (instance-of ?a spatial-region ?t)) (instance-of ?b independent-continuant ?t) (:not (instance-of...

What is the meaning of "mutually exhaustive" in the definition of member-part-of

5

"DEFINITION: b member part of c at t =Def. b is an object & c is an object aggregate & there is at t a mutually exhaustive and pairwise disjoint...

BUG: two independent continuants that aren't object aggregates can't occupy same location

3

But that doesn't seem to be currently ruled out.

Asked by @wceusters