{{{ #!comment TracNac for created page }}} [[TracNav(TracNav/SigMmt)]] = '''Previous''' Modelling, Methods, and Technology SIG web page = This is the documentation of '''previous''' SIG MMT work. ForThe 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. For '''ongoing''' work on implementation and application, please refer to [http://15926.org 15926.org]. [[PageOutline(2-4,Contents,inline)]] == Ongoing activities == * 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. == Templates == ISO 15926 ''templates'' are predicates for which definitions are stated using axioms. This provides for a precise and implementation-independent interface to ISO 15926, and is intended to be applied in creating and maintaining ontologies that conform to the standard. As standard usage patterns, Templates come in different levels of granularity, different levels of abstraction and specialization, represented in and mapped between different levels of expression, from business levels to explicit Part 2 patterns. === Template Development and ISO 15926 languages === Templates may be used to define and represent both reference data and project data. The following figure illustrates the relations between the languages of ISO 15926 Parts 2/4 and the template language of Part 7. In brief: Part 2 corresponds to a Description Logic (DL) TBox, i.e., classes and relations. Part 4 and other reference data populate the Part 2 structure with individual instances, a DL ABox. Templates according to Part 7 require a much more expressive, first-order language. [[Image(8fcf9dba353de5b18748ea9eeb9e328e.gif)]] {{{ #!comment genererer feil peker https://www.posccaesar.org/wiki/chrome/site/images/latex/8fcf9dba353de5b18748ea9eeb9e328e.gif skal være https://www.posccaesar.org/chrome/site/images/latex/8fcf9dba353de5b18748ea9eeb9e328e.gif legger derfor inn midlertidig bildefil som vedlegg og peker til den i stedet {{{ #!LatexEquation \xygraph{!{0;(2.0,0):(0,0)} {\emph{Data (DL)}} ( [rrr] {\emph{Templates (FOL)}}) ( [d(.5)] *++[F=]\txt{Data Model\\(Part 2 TBox)} ( :@{->}_*\txt{Predicates of} [rrr] *++[F-:<3pt>]{\txt{Part 2 templates}}="basetemp" ) :|{\txt{Add instances}} [d] *++[F=]\txt{Reference Data\\(RDL ABox)}="part4" ( :@<-1ex>_*\txt{Use in constraints} [rrr] *++[F-:<3pt>]{\txt{RDL templates}}="coretemp" :@<-1ex>_{\txt{Use to build}} "part4" "basetemp" :|*+\txt{Use to build} "part4" "basetemp" :|{\txt{Add constraints}} "coretemp" ) :|{\txt{Add instances}}[d] *++[F=]\txt{Project Data\\(ABox)}="projectdata" ( :@<-1ex>_*\txt{Use in constraints} [rrr] *++[F-:<3pt>]{\txt{Project templates}}="projecttemp" :@<-1ex>_{\txt{Use to build}} "projectdata" "coretemp" :|*+\txt{Use to build} "projectdata" "coretemp" :|{\txt{Add constraints}} "projecttemp" ) ) } }}} }}} * (''outdated'', TemplateGenerics gives an informal account of what goes into the definition of a template.) === Templates documented on Wiki pages === Base templates, core templates and specialized templates are documented [http://15926.org 15926.org] === Verification of template definition correctness === (Due to be rewritten, to align with draft ISO 15926-7 TS. See SigMmtTemplateAxioms.) == Tools in this Wiki for handling ISO 15926 content == SIG MMT has provided certain Trac features that support the needs of modellers. ''ISO 15926 Diagrams'' (Due to be rewritten, to align with draft ISO 15926-7 TS.). The Wiki provides for entering diagrams of ISO 15926 models, using a simplified set of [http://www.tug.org/applications/Xy-pic/ xy-pic] commands; see [wiki:ISO15926Diagrams]. Examples can be found in [wiki:ISO15926Diagrams_BoltSet], [wiki:ISO15926Diagrams_Weights]. ''Symbolic notation using LaTeX''. This Trac supports entering content in LaTeX format, using the [http://openvest.com/trac/wiki/LatexEquation LatexEquation] plugin. This is useful for entering first-order formulae, and [wiki:ISO15926Diagrams diagrams]. ''Macros for fetching reference data''. A facility for dynamically pulling content from the Reference Data Library for graphical display on Trac pages, using [http://trac-hacks.org/wiki/XsltMacro XSLT], [http://trac-hacks.org/wiki/GraphvizPlugin graphviz], and the [http://trac-hacks.org/wiki/MacroChainMacro macrochain] macro, is high on our wishlist. For the time being, only the XSLT macro works with Trac 0.11. == Source material == === Presentations === Presentations from [https://www.posccaesar.org/svn/pub/SemanticDays/2008/ Semantic Days 2008] are available in PDF format. SIG MMT presentations are also available in Powerpoint format (including some animations that may be of interest). * A Tutorial on semantic technology, with special focus on templates for ISO 15926. [source:SIG/MMT/work/presentations/IDS-tutorial-Semantic-Days-2008.ppt Download slides] * A presentation of SIG MMT, describing this Trac and the need for template interfaces for creating reference data. [source:SIG/MMT/work/presentations/MMT-SIG-support.ppt Download slides] == Links == * [http://rds.posccaesar.com/2008/02/OWL/ISO-15926-2_2003 The 15926-2 standard in OWL] (non-authoritative). If you wish to work with this to create data, consider [http://protege.stanford.edu/download/download.html Protege] 3.4 beta (note: build 126 or later) or 4.0 beta. To open the ontology in the [http://pellet.owldl.com/ontology-browser/ OwlSight] ontology browser, [http://pellet.owldl.com/owlsight/?ontology=http://rds.posccaesar.org/2008/02/OWL/ISO-15926-2_2003 click here]. * [http://www.steptools.com/sc4/archive/oil-and-gas/15926-0002-lifecycle_integration.exp?rev=1.1&content-type=text/vnd.viewcvs-markup The 15926-2 standard in EXPRESS] (authoritative), with [http://www.tc184-sc4.org/wg3ndocs/wg3n1328/.%5Clifecycle_integration_schema.html documentation in HTML] * The [http://www.cs.unm.edu/~mccune/prover9/ Prover9] first-order logic reasoner is a great tool for expressing template definitions and developing/testing axiomatizations. There are discussion forums at [http://forums.prover9.org/ forums.prover9.org]. Contact: Johan W. Klüwer, johan.wilhelm.kluewer@dnv.com. ---- == Discussions == * [topic:7 What is a template?] -- exploration of the notion. Check this out to get a feeling for the kind of discussions that preceded the current draft specification.