Templates

The Problem Supplier X

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.” 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.”

Property Range

Property Range Restriction

Model: Ambient Temperature Range 3051CG ambient temperature: -40°C – 85°C

Templates A template is –an n-place predicate with –a definition in terms of simpler predicates The shorthand template is comparable to a (database/.XLS) table. Lower LimitScaleProperty TypePropertyModel 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 statements Upper Limit

IDS converter Mapping into template statements Data in TemplateFormat TemplateFormat Mapping into target format IDS converter lifting lowering DB Project DB (OWL) DB SWRLSPARQL OWL DL reasoner: consistency type inference XQuery In XML format

Main Section of a Gellish Table

Some Template Specifiactions

Template Definitions

The IDS Converter Schema Source data XSLT transformations XML document Template Definition Tool Template Library Target data XSLT transformations XML document Longhand templates Rules (SWRL) Inference & Consistency check (OWL DL) ISO Project DB Template Definition Tool Schema Template Library (1) StandardProjectIDS (1) (1): The same library, shown two places for convenience ISO DM ISO PCA RDL

Longhand templates Rules (SWRL) Inference & Consistency check (OWL DL) The IDS Converter, Optional Use Source data XSLT transformations XML document Template Definition Tool Schema Template Library StandardProjectIDS Longhand templates Rules (SWRL) Inference & Consistency check (OWL DL) Target data XSLT transformations XML document Template Definition Tool Schema Template Library Target System ISO DM ISO PCA RDL ISO Project DB (1) (1): The same library, shown two places for convenience Source data XSLT transformations XML document Schema

The IDS Converter, Optional Use Source data XSLT transformations XML document Template Definition Tool Schema Template Library StandardProjectIDS Longhand templates Rules (SWRL) Inference & Consistency check (OWL DL) XML document Template Definition Tool Schema Template Library ISO DM ISO PCA RDL ISO Project DB (1) (1): The same library, shown two places for convenience Source System Target data XSLT transformations XML document Schema Target data XSLT transformations

Source data XSLT transformations XML document Template Definition Tool Schema Template Library StandardProjectIDS Longhand templates Rules (SWRL) Inference & Consistency check (OWL DL) Source System ISO DM ISO PCA RDL ISO Project DB The IDS Converter, Optional Use

The IDS Converter, Using Facades XML document Schema Source System Schema Target System ISO Facade ISO Facade Template Definition Tool Template Library Template Definition Tool Template Library (1) ISO DM ISO PCA RDL

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