Changes between Version 5 and Version 6 of SigMmt/Previous

Timestamp:

08/30/12 09:31:57 (12 years ago)

Author:

onnopaap (IP: 217.122.214.87)

Comment:

--

SigMmt/Previous

@@ -7 +7 @@
 
 = Previous Modelling, Methods, and Technology SIG web page =
-This is the documentation of previous SIG MMT work. The focus was the application of formal (mainly logical) approaches to using ISO 15926 -- basic notions and generic challenges involved in the application of semantic methods.
+This is the documentation of '''previous''' SIG MMT work. The focus was the application of formal (mainly logical) approaches to using ISO 15926 -- basic notions and generic challenges involved in the application of semantic methods.
 
 {{{
 #!comment
-For ongoing work on implementation and application, please refer to [wiki:IdsAdiProject IDS-ADI].
+For ongoing work on implementation and application, please refer to [http://15926.org 15926.org].
 }}}
 
@@ -17 +17 @@
 
 == Ongoing activities ==
- * The draft Technical Specification of ISO 15926-7 is nearly ready (updated April 2009). It defines the formal basis of templates, provides an axiomatization in first-order logic of the ISO 15926-2 data model, and defines an initial set of templates to demonstrate the method.
+ * The draft Technical Specification of ISO 15926-7 can be [http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=52455 purchased from ISO]. It defines the formal basis of templates, provides an axiomatization in first-order logic of the ISO 15926-2 data model, and defines an initial set of templates to demonstrate the method.
  * An upcoming subject for SIG MMT: Find practical ways for domain expert groups to work on developing ontologies.
  * SIG MMT strives to align work on ISO 15926 with current developments in the research field of applied logic. The representation of [wiki:ISO15926inOWL ISO 15926 in OWL], developed in the [wiki:IdsAdiProject IDS] project, is of particular practical relevance.
@@ -109 +109 @@
 
 === Templates documented on Wiki pages ===
-Base templates, core templates and specialized templates are documented [wiki:SigMmt/Templates here]
+Base templates, core templates and specialized templates are documented [http://15926.org 15926.org]
 
 === Verification of template definition correctness ===