Changes between Version 3 and Version 4 of IdsAdiTemplateAxiomatizationTools

Show
Ignore:
Timestamp:
11/05/09 21:55:29 (11 years ago)
Author:
jowik (IP: 193.212.132.34)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • IdsAdiTemplateAxiomatizationTools

    v3 v4  
    4444= Some reasons why we need templates = 
    4545 - Simplify use of ISO 15926 representations 
    46          - Expressions in the language of ISO 15926-2 tend to be 
    47      verbose. The entity types are also hard to grasp. With templates, 
    48      the logical design work can be left to modelling experts. 
     46         - Expressions in the language of ISO 15926-2 tend to be verbose. The entity types are also hard to grasp. With templates, the logical design work can be left to modelling experts. 
    4947 - A uniform approach to knowledge capture 
    50          - Templates are always ''statement forms''. Any valid template 
    51      instance corresponds to a statement. 
     48         - Templates are always ''statement forms''. Any valid template instance corresponds to a statement. 
    5249 - Simplify use of n-ary predicates  
    53          - Due to its basis in standard Description Logic, OWL has only 
    54      unary and binary predicates 
    55          - Templates are a convenient way to introduce n-ary predicates, 
    56      without introducing too much semantic confusion (cf. W3C's 
    57      [http://www.w3.org/TR/swbp-n-aryRelations/#useCase3 Purchase] example, for which instances are purchases, not facts) 
     50         - Due to its basis in standard Description Logic, OWL has only unary and binary predicates 
     51         - Templates are a convenient way to introduce n-ary predicates, without introducing too much semantic confusion (cf. W3C's [http://www.w3.org/TR/swbp-n-aryRelations/#useCase3 Purchase] example, for which instances are purchases, not facts) 
    5852 - Convenient exchange of representations 
    59          - Templates are comparable to SQL table definitions, but the most 
    60      interesting roles (columns) are typed using reference data 
     53         - Templates are comparable to SQL table definitions, but the most interesting roles (columns) are typed using reference data 
    6154 - Convenient data transfer 
    6255         - It's easy to instantiate templates and move a payload 
    6356 
    64 All of the above are good, but not exactly revolutionary. Arguably, 
    65 the greatest advantage of templates is found in the interpretation of 
    66 template rules as logical axioms. 
     57All of the above are good, but not exactly revolutionary. Arguably, the greatest advantage of templates is found in the interpretation of template rules as logical axioms. 
    6758 
    6859 - Basis in precise modelling 
    69          - Templates are expressed in a clearly defined limited first-order 
    70      logic, whose properties are well known 
     60         - Templates are expressed in a clearly defined limited first-order logic, whose properties are well known 
    7161 - Definitions can be tested for compliance with ISO 15926-2 
    7262         - This is much of today's topic 
     
    7565 - Complex templates can be defined in terms of simpler templates 
    7666 - Libraries of templates can be tested for internal consistency 
    77  - We can check that templates are well-defined in the sense of always 
    78    reducing to a unique expression in the basic, Part 2 language 
     67 - We can check that templates are well-defined in the sense of always reducing to a unique expression in the basic, Part 2 language 
    7968 
    8069= Template Expander: Intro, and a minimal example = 
    81 The 
    82 [https://www.posccaesar.org/svn/pub/TemplateExpander/applet/template-expander.html Template Expander] is a tool for working with template design. It 
    83 was written in Java by [http://heim.ifi.uio.no/martingi/ Martin Giese]. Development was funded by DNV 
    84 IRM.  
     70The [https://www.posccaesar.org/svn/pub/TemplateExpander/applet/template-expander.html Template Expander] is a tool for working with template design. It was written in Java by [http://heim.ifi.uio.no/martingi/ Martin Giese]. Development was funded by DNV IRM.  
    8571== Java library == 
    86 Using the Java library 
    87 ([https://www.posccaesar.org/svn/pub/TemplateExpander/cmdline/template-expander.jar template-expander.jar]), expansion of template 
    88 rules can be built into ISO 15926 applications. 
    89  
    90 The code is available as free software, with a BSD-type 
    91 [https://www.posccaesar.org/svn/pub/TemplateExpander/LICENSE LICENSE]: 
     72Using the Java library ([https://www.posccaesar.org/svn/pub/TemplateExpander/cmdline/template-expander.jar template-expander.jar]), expansion of template rules can be built into ISO 15926 applications. 
     73 
     74The code is available as free software, with a BSD-type [https://www.posccaesar.org/svn/pub/TemplateExpander/LICENSE LICENSE]: 
    9275{{{ 
    9376Copyright (c) 2009, DNV Information Risk Management  
     
    11093}}} 
    11194== Java applet == 
    112 At 
    113 [https://www.posccaesar.org/svn/pub/TemplateExpander/applet/template-expander.html Template Expander], a Java applet has been provided with a heading, 
    114 an introduction, and IDS-ADI and DNV logos. 
     95At [https://www.posccaesar.org/svn/pub/TemplateExpander/applet/template-expander.html Template Expander], a Java applet has been provided with a heading, an introduction, and IDS-ADI and DNV logos. 
    11596=== Window "Template Definitions" === 
    11697Enter all template definitions into this window. 
    11798 
    118 Upon initialization, the templates defined in the 
    119 [https://www.posccaesar.org/svn/projects/ISO15926/Part7-Apr-2009_delivery/ISO15926-7_TS.pdf Part 7 April 2009 draft]  
    120 are loaded here, in Prover9 format. 
     99Upon initialization, the templates defined in the [https://www.posccaesar.org/svn/projects/ISO15926/Part7-Apr-2009_delivery/ISO15926-7_TS.pdf Part 7 April 2009 draft] are loaded here, in Prover9 format. 
    121100 
    122101For a toy example, consider a two-place template "!SiblingOf(x, y)" for 
Home
About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search