Search found 185 matches
- Tue Jul 29, 2014 5:58 pm
- Forum: Templates
- Topic: TIPs revisited
- Replies: 21
- Views: 55596
Re: TIPs revisited
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...
- Tue Jul 29, 2014 12:48 pm
- Forum: Templates
- Topic: TIPs revisited
- Replies: 21
- Views: 55596
TIP T0001 - Tag
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...
- Tue Jul 29, 2014 12:36 pm
- Forum: Templates
- Topic: TIPs revisited
- Replies: 21
- Views: 55596
Re: TIPs revisited - GENERAL
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...
- Tue Jul 29, 2014 12:24 pm
- Forum: Templates
- Topic: TIPs revisited
- Replies: 21
- Views: 55596
TIP T0001 - Tag
Why would ExpressReal in the axiom be a mistake? It is a Part 2 entity type like 200 others.
- Tue Jul 29, 2014 12:03 pm
- Forum: Templates
- Topic: TIPs revisited
- Replies: 21
- Views: 55596
TIP T0002 - Actuator Type
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...
- Tue Jul 29, 2014 8:27 am
- Forum: Templates
- Topic: Update of the templates OWL output
- Replies: 5
- Views: 18523
Re: Update of the templates OWL output
Folks,
Victor is right, we should have used rdf:about throughout. rdf:ID is banned, also in OWL2.
Onno, please correct this.
Victor is right, we should have used rdf:about throughout. rdf:ID is banned, also in OWL2.
Onno, please correct this.
- Sun Jul 13, 2014 2:48 pm
- Forum: Templates
- Topic: TIPs revisited
- Replies: 21
- Views: 55596
TIPs revisited
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.
- Mon Jun 23, 2014 8:34 am
- Forum: General discussions
- Topic: Patterns with multiple mappings to templates in FOL
- Replies: 3
- Views: 16558
Re: Patterns with multiple mappings to templates in FOL
@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 ...
- Tue Jun 03, 2014 1:03 pm
- Forum: General discussions
- Topic: RDF Representation of Patterns
- Replies: 3
- Views: 16796
Re: RDF Representation of Patterns
@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...
- Sat May 24, 2014 8:27 pm
- Forum: General discussions
- Topic: Modelling the universe
- Replies: 3
- Views: 14557
Re: Modelling the universe
@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...