The NIST tool is parsing the logic (from Onno's tool?) into Common Logic objects using the object definitions in the Ontology Definition Metamodel. ( http://syseng.nist.gov/cre/odm-tree ) -- click on org.omg.odm, and then CL. I'm happy with a human-readable form (CLIF, the KIF like form) for use in ...

Hi Hans, [HT] The difference between Property and IndirectProperty is indeed unclear to some, but that may be caused by not reading Part 2 carefully. Well, I don't think that the problem in my case. Here's what Part 2 says: 4.5.4.3.3 Indirect Property "In this part of ISO 15926, indirect_property sh...

Hi, (This is only marginally on topic, but here goes!) I recently wrote a tool to do checking of Part7-like axioms with and old version of Vampire (a FOL reasoner). However, I found that with all the axioms loaded, it was hopelessly slow. There are probably solutions to this, but I wonder whether it...

Hi Hans, Thanks for the explanation and pointer to the discussion of ur-Class. There is one last point that concerns me. You said "A test package is 'involved by reference' because it does not physically participate in the testing activity, it is referred to." I didn't use involvement by reference b...

Hi Hans, > You are right, there isn't any instance of RoleAndDomain or ParticipatingRoleAndDomain in the RDL yet. The need for them will result from the usage of the templates. Since these templates are in the process of validation and MMT approval, there is no usage yet, other that in pilot project...

Hi, I might reasonably define a "test package" as a "specification" used in "testing." Part4: specification = "a definition of one or more aspects of one or more physical objects or activities" Part4: "testing" = "Validating that a physical object satisfies specified criteria; typically by verificat...

Hi, I'm Peter Denno. I work in the Engineering Lab at NIST, in the US. I've been involved with 15926 for only the last 6 months, but I've been involved with TC184/SC4 off and on for about 15 years. I was the editor of ISO 10303-14, the long-forgotten Express-X spec. My research interests are in info...