Search found 7 matches
- Fri Feb 08, 2013 9:18 pm
- Forum: Templates
- Topic: Template FOL axiom encoding
- Replies: 7
- Views: 20677
Re: Template FOL axiom encoding
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 ...
- Wed Aug 01, 2012 5:49 pm
- Forum: General discussions
- Topic: role_and_domain not helpful?
- Replies: 6
- Views: 10483
Re: role_and_domain not helpful?
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...
- Wed Jul 18, 2012 8:54 pm
- Forum: Templates
- Topic: The Template Expander (Lifting templates)
- Replies: 8
- Views: 22957
Re: The Template Expander (Lifting templates)
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...
- Wed Jul 18, 2012 7:42 pm
- Forum: General discussions
- Topic: role_and_domain not helpful?
- Replies: 6
- Views: 10483
Re: role_and_domain not helpful?
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...
- Fri Jul 13, 2012 7:36 pm
- Forum: General discussions
- Topic: role_and_domain not helpful?
- Replies: 6
- Views: 10483
Re: role_and_domain not helpful?
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...
- Thu Jul 12, 2012 4:44 pm
- Forum: General discussions
- Topic: role_and_domain not helpful?
- Replies: 6
- Views: 10483
role_and_domain not helpful?
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...
- Thu May 24, 2012 1:40 pm
- Forum: Hello, my name is...
- Topic: Hello, my name is Peter Denno
- Replies: 0
- Views: 16655
Hello, my name is Peter Denno
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...