View unanswered posts | View active topics It is currently Wed Jan 29, 2020 8:17 pm

Reply to topic  [ 24 posts ]  Go to page Previous  1, 2, 3
 Structures for the publication of TIPs 
Author Message

Joined: Tue May 15, 2012 8:48 am
Posts: 77
vvagr wrote:
This parameter will resolve the problem, but I can not see it in the model. More then that, such third role is completely unnecessary. In templates existential quantifier (or Scolem variable) is used to hide exactly this type of unnecessary data items. Why do we return them into patterns?

In this specific case I think the production of a function object of type EXTERNAL COATING and its identity is overkill
This may be appropriate for a plant maintenance system where the coating is subject to inspection repair etc but if
all we are concerned about is the color and/or specification of the coating this can be handled by simple classification
using members of ClassOfClass PROTECTIVE COATING CLASS

In the real world you normally maintain a coating specification for the piping and equipment items
on the project and point to that specn. In ISO 15926 terms this truly is a CLASS rather than
an individual.

Typical Standards include:

EN 10288 Steel Tubes and Fittings for Onshore and Offshore Pipelines - External
Two Layer Extruded Polyethlene Based Coatings

EN 10289 Steel Tubes and Fittings for Onshore and Offshore Pipelines - External
Liquid Applied Epoxy and Epoxy-Modified Coatings

EN 10290 Steel Tubes and Fittings for Onshore and Offshore Pipelines External
Liquid Applied Polyurethane and Polyurethane-Modified Coatings


Wed Jul 10, 2013 10:22 am
The use of existential quantifiers limits the expansion capabilities when using multiple tips per object. for example if I have two related properties mapped to tips I cannot deduce after expansion that the pieces of information are in fact related if existential quantifiers are used. The use of explicit ids puts the responsibilities onto the application to make such statements.

Additionally there is also no way after expansion to identify those objects that have persistent ids and those that are expanded using existential quantifiers.

I therefore don't see their use as an option for my applications

Wed Jul 17, 2013 2:17 pm

Joined: Mon Feb 27, 2012 11:01 pm
Posts: 282
Location: Moscow, Russia
Had you met the next big guy on SW block -

It is designed to express patterns.

Thu Feb 06, 2014 5:45 pm
Profile WWW
I can't see how json-ld helps the discussion on representation of nulls and existential quantifiers in TIPs. I can't take the approach to nulls specified by json-ld since that property is treated as not present if null and that has different semantics. If null is given as an identifier I also can't just make them up since as stated before there is no way to know what ids are genuine and which are just random placeholders.

Thu Feb 27, 2014 8:40 am
Display posts from previous:  Sort by  
Reply to topic   [ 24 posts ]  Go to page Previous  1, 2, 3

Who is online

Users browsing this forum: No registered users and 1 guest

You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
eXTReMe Tracker
Powered by phpBB® Forum Software © phpBB Group
Designed by ST Software.