Search found 213 matches

by vvagr
Mon Mar 23, 2015 8:43 am
Forum: About the 15926
Topic: Information about the 15926 projects
Replies: 16
Views: 21812

EDRC Presentation and source code opening for .15926

1. Some time ago we have made a new release of .15926 Editor – 1.5beta release 3. You can download it from http://techinvestlab.ru/dot15926Editor15beta/ . Version 1.5 remains in beta, but release 3 is an important one because of changes and improvements made to the Platform's Builder component and m...
by vvagr
Tue Feb 24, 2015 10:56 pm
Forum: General discussions
Topic: Data verification levels for ISO 15926
Replies: 0
Views: 4133

Data verification levels for ISO 15926

I've attempted to put into the single system all types of formal verification I can think for ISO 15926 related ontologies, reference and project data. See the file attached. ISO15926VerificationLevels_TIL.rar In my opinion the most important level today is pattern definition verification. But it is...
by vvagr
Sun Jan 18, 2015 11:34 pm
Forum: General discussions
Topic: Storing patterns as SPARQL / SPIN constructs
Replies: 1
Views: 3570

Re: Storing patterns as SPARQL / SPIN constructs

It is possible to use another SPIN construct - Magic Property http://spinrdf.org/spin.html#spin-magic Two Magic Properties can be defined based on the initial query: prtn:hasPressureInHydrostaticPressureTest a spin:MagicProperty ; rdfs:label "Pressure in Hydrostatic Pressure test"^^xsd:string ; rdfs...
by vvagr
Thu Jan 15, 2015 11:19 pm
Forum: General discussions
Topic: Storing patterns as SPARQL / SPIN constructs
Replies: 1
Views: 3570

Storing patterns as SPARQL / SPIN constructs

This is continuation of a discussion on RDF pattern representation started in http://15926.org/viewtopic.php?f=3&t=222 . The same HydrostaticTestPressure pattern is used as an example (FOL representation of this pattern was published in http://15926.org/viewtopic.php?f=3&t=224). Use of SPARQL query ...
by vvagr
Fri Sep 19, 2014 9:55 am
Forum: Templates
Topic: Entity type acronyms
Replies: 3
Views: 3328

Re: Entity type acronyms

No, p7tm:Template is a class of template definitions and p7tm:TemplateStatement is a class of template instances. They are indeed on different levels. Each entity from p7tm:TemplateStatement is a member of some entity from p7tm:Template. Like ClassificationTemplate(PUMP, ARTEFACT) is a member of Cla...
by vvagr
Thu Jul 31, 2014 10:08 pm
Forum: Templates
Topic: TIPs revisited
Replies: 21
Views: 8566

Re: TIPs revisited

Yes, they have to be generated and they should be generated in any case - if we don't instantiate TIP as a single template but instantiate all templates it consists of. If we combine several TIPs in a single pattern describing data model of a native application - signature with all scolem constants ...
by vvagr
Thu Jul 31, 2014 9:26 am
Forum: Templates
Topic: TIPs revisited
Replies: 21
Views: 8566

Re: TIPs revisited

Hans, Much better :-) Now let's return to the signature. If we add Actuator to the signature of the pattern, we'll be able to combine basic TIPs about actuator (ActuatorType, ActuatorSeismicClass, do not know what else can be required) in such a way thet mapping will generate only one actuator, not ...
by vvagr
Wed Jul 30, 2014 5:36 pm
Forum: Templates
Topic: TIPs revisited
Replies: 21
Views: 8566

Re: TIPs revisited

No, you do not need ∃ActuatorType if ActuatorType is explicit in the signature. Let's start from the beginning. ActuatorType is an RDL class referred in the signature. And we need an element (scolem constant) which represents actuator of our OOI, therefore part of OOI, specialization of ACTUATOR and...
by vvagr
Wed Jul 30, 2014 8:03 am
Forum: Templates
Topic: TIPs revisited
Replies: 21
Views: 8566

Re: TIPs revisited

Hans, Forgive my poor English. I should have said something like that "Assignment of the Actuator type is the goal of this TIP". Nevertheless I can not explain why AcuatorType is now missing from your TIP definition. It is in the signature, but it is absent from statements in the expansion. ACTUATOR...
by vvagr
Tue Jul 29, 2014 11:59 pm
Forum: Templates
Topic: TIPs revisited
Replies: 21
Views: 8566

TIP T0002 - Actuator Type

Hans, Concerning Actuator Type - what is wrong in my definition? ActuatorType which is a target of this TIP is a member of RDL entity ACTUATOR CLASS. And you've lost ActuatorType from your new definition completely: T0002C(OOI, ActuatorType) ↔ ClassOfInanimatePhysicalObject(OOI) ∧ ∃u( ClassOfInanima...