Alan Ruttenberg

local domain/range are given on at-all-time instead of at-some-time

1

Need to review - should be easy fix.

I don't think so as I think 2 and 1d things belong on the information side. However we probably need to have Barry weigh in on this. If so then...

Feature request: Support asserting unique name assumption for KB and support equality/inequality in rule bodies in that case

6

Relating, sort of, to #5, I had another thought: If the KB is able to be told the unique name assumption holds in a particular case I think it could...

Should this persist across docker restarts?

6

I'm finding that I have to re-install when I choose restart in the docker menu. Also, is this known to work in Docker 17.09.0-ce ? I'm running 17.06.2-ce-mac27 and it...

Current version of CCO accessed on web does not import BFO!

22

http://www.ontologyrepository.com/CommonCoreOntologies/Mid/AllCoreOntology retrieves http://www.ontologyrepository.com/CommonCoreOntologies/Mid/2024-02-14/AllCoreOntology which doesn't have a BFO imports, so only IDs are shown at the top level.

atmospheric, hydrographic, physiographic features

4

Should these be parts of Portion of Atmosphere, Portion of Cryosphere, and Portion of Lithosphere, respectively And should the portions be part of a "natural satellite" or "astronomical body" as...

Natural satellite (Portions of atmosphere, cryosphere, hydrosphere, lithosphere)

13

All use "natural satellite" in their definitions, but natural satellite isn't defined. I've been using the terms "astronomical body" defined as: A material entity that is a natural resident space...

Define payload in terms of role and other payload issues

6

A camera or a gun can be a payload and is this would entail multiple parenthood. In order to avoid that, please define a payload role and then define payload...

Telescope and Microscope subclass of Camera?

7

It looks like telescope and microscope both satisfy the definition of camera and so would be subclasses. Currently they are siblings.

Definition of and comments for 'is a measurement of

16

I think this is confusing. First, a measurement would commonly be understood as being the output of making a measurement. In that sense, the comment makes sense. If you are...