Search found 213 matches
- Mon Mar 23, 2015 8:43 am
- Forum: About the 15926
- Topic: Information about the 15926 projects
- Replies: 16
- Views: 78021
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...
- Tue Feb 24, 2015 10:56 pm
- Forum: General discussions
- Topic: Data verification levels for ISO 15926
- Replies: 0
- Views: 37072
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...
- Sun Jan 18, 2015 11:34 pm
- Forum: General discussions
- Topic: Storing patterns as SPARQL / SPIN constructs
- Replies: 1
- Views: 15811
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...
- Thu Jan 15, 2015 11:19 pm
- Forum: General discussions
- Topic: Storing patterns as SPARQL / SPIN constructs
- Replies: 1
- Views: 15811
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 ...
- Fri Sep 19, 2014 9:55 am
- Forum: Templates
- Topic: Entity type acronyms
- Replies: 3
- Views: 19157
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...
- Thu Jul 31, 2014 10:08 pm
- Forum: Templates
- Topic: TIPs revisited
- Replies: 21
- Views: 57245
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 ...
- Thu Jul 31, 2014 9:26 am
- Forum: Templates
- Topic: TIPs revisited
- Replies: 21
- Views: 57245
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 ...
- Wed Jul 30, 2014 5:36 pm
- Forum: Templates
- Topic: TIPs revisited
- Replies: 21
- Views: 57245
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...
- Wed Jul 30, 2014 8:03 am
- Forum: Templates
- Topic: TIPs revisited
- Replies: 21
- Views: 57245
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...
- Tue Jul 29, 2014 11:59 pm
- Forum: Templates
- Topic: TIPs revisited
- Replies: 21
- Views: 57245
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...