Keith, This will need some time, because you put forward big issues, but not about the question we had in this thread: Would Bentley oppose a situation in which the intermediate OOIs, like stream, would be in the signature of the TIP, together with those "parameters". Please let us know. This does n...

Victor, The FOL code of the template ClassifiedIdentificationOfClassOfIndividual is this: ClassifiedIdentificationOfClassOfIndividual(x1, x2, x3) <-> ClassOfIndividual(x1) & ExpressString(x2) & ClassOfClassOfIdentification(x3) & exists u1 exists u2( ClassOfIndividual(u1) & ClassOfTemporalWholePartTe...

Victor One quick reply before everything else. Let's avoid existential quantifiers, bring all internal variables to the signature. For the uninitiated: something like ∃u() in T0002. Before doing that we must seek buy-in from the community, because it forces us to bring the intermediate OOIs (such as...

Why would ExpressReal in the axiom be a mistake? It is a Part 2 entity type like 200 others.

Victor, You are right and I was wrong, but your correction isn't right either. The FOL listing is generic and specialized, using the top class in the Actuator hierarchy, now: T0002C(OOI, ActuatorType) ? ClassOfInanimatePhysicalObject(OOI) ? ?u( ClassOfInanimatePhysicalObject(u) ? ClassOfAssemblyDefi...

Folks,
Victor is right, we should have used rdf:about throughout. rdf:ID is banned, also in OWL2.
Onno, please correct this.

This forum page is dedicated to any feedback on the proposed enhancements on TIPs T0001 thru T0492 that will appear at http://www.15926.org/publications/templ ... /index.htm during the coming months. Please register in case you want to give this feedback.

@Victor - I can't judge whether or not that is legal FOL, but at least it was quite incomplete. Let me try an improvement: ClassOfHydroTestPressurePattern(x, y, z) ↔ ClassOfInanimatePhysicalObject(x) ∧ ExpressReal(y) ∧ Scale(z) ∧ SpecializationTemplate(x, "PRESSURE RATED ARTEFACT") ∧ ∃a ∃b ∃c ∃d ∃e ...

@Victor - At first sight it looks good, although I haven't digested it completely yet. Could you complete this with the full code for that tsp ontology? Also include TSPPattern and TSPMappingGraph (were not on the list). Since this code is for the mapping, where do you store it? Amidst the lifecycle...

@Andy - The problems with the RDL quality have been brought to our attention with the MRAIL initiative. Unfortunately that seems to have died already, for some reason unknown to me (although I can guess). Classes like Font Family, Paper Size, Pen styles are not originating from any template. To me t...