190 likes | 237 Views
Templates. X. Supplier. The Problem. A range on the data sheet. Property with Scale and Quantification. We wish to interpret the statement “The ambient temperature during operation of a 3051CG pressure transmitter should be within -40 and 85 degrees Celsius.”
E N D
X Supplier The Problem
Property with Scale and Quantification • We wish to interpret the statement “The ambient temperature during operation of a 3051CG pressure transmitter should be within -40 and 85 degrees Celsius.” • The statement instantiates this template (6 roles): Any P of a C has a property of type Q, limited to the range i – j on scale S • We now illustrate how the template-conformant statement is broken down into parts, building a semantic model in the process • This process corresponds directly to the execution of template rules
Property with Scale and Quantification “Ambient temperature during operation of a 3051CG pressure transmitter should be within -40 and 85 degrees Celsius.”
Model: Ambient Temperature Range 3051CG ambienttemperature: -40°C – 85°C
Templates • A 15926 template is • an n-place predicate with • a definition in terms of simpler predicates • The shorthand template is comparable to a (database/.XLS) table. Upper Limit Model Property Property Type Scale Lower Limit • The longhand template provides interpretation • What is the statement made by an instance of the predicate • Break down complex statements into simpler statements • Ultimately, we end up with atomic 15926 statements
IDS converter IDS converter Project DB (OWL) Data in Template Format Data in Template Format SWRL SPARQL lifting lowering Mapping into target format Mapping into template statements XQuery XQuery • OWL DL • reasoner: • consistency • type inference DB DB In XML format In XML format
Longhand templates Rules (SWRL) Inference & Consistency check (OWL DL) Target data XSLT transformations Source data XSLT transformations XML document XML document Schema Schema (1) (1) ISO 15926 Project DB Template Library Template Library ISO 15926 + PCA RDL Template Definition Tool Template Definition Tool ISO 15926 DM (1): The same library, shown two places for convenience Standard Project IDS The IDS Converter
Standard Project IDS The IDS Converter, Optional Use Longhand templates Rules (SWRL) Inference & Consistency check (OWL DL) Source data XSLT transformations XML document Target System Schema Longhand templates Rules (SWRL) Inference & Consistency check (OWL DL) Target data XSLT transformations Source data XSLT transformations XML document XML document Schema Schema (1) (1) ISO 15926 Project DB Template Library Template Library ISO 15926 + PCA RDL Template Definition Tool Template Definition Tool ISO 15926 DM (1): The same library, shown two places for convenience
Standard Project IDS The IDS Converter, Optional Use Target data XSLT transformations XML document Schema Source System Longhand templates Rules (SWRL) Inference & Consistency check (OWL DL) Target data XSLT transformations Source data XSLT transformations XML document XML document Schema Schema (1) (1) ISO 15926 Project DB Template Library Template Library ISO 15926 + PCA RDL Template Definition Tool Template Definition Tool ISO 15926 DM (1): The same library, shown two places for convenience
Standard Project IDS The IDS Converter, Optional Use Source System Longhand templates Rules (SWRL) Inference & Consistency check (OWL DL) Source data XSLT transformations XML document Schema ISO 15926 Project DB Template Library ISO 15926 + PCA RDL Template Definition Tool ISO 15926 DM
The IDS Converter, Using Facades Target System Source System ISO 15926 Facade ISO 15926 Facade XML document Schema Schema (1) Template Library Template Library ISO 15926 + PCA RDL Template Definition Tool Template Definition Tool ISO 15926 DM
Implementation • Support industry needs for • Common terminologies • Data exchange • Common frameworks • Data validation • The need: Ontologies and business rules • The solution: OWL and rule languages • SPARQL • SWRL