search

i40-Tools / Alligator

Alligator: Transforms the RDF files generated from AML documents into Datalog code
1 stars 3 forks source link

Krextor missing Internal Element tags #7

Closed omarrana closed 7 years ago

omarrana commented 7 years ago

Krextor is missing rules for Internal Element. I have added the rule for System Unit class however, we still need a way to add nesting of Internal Element.

<?xml version="1.0" encoding="utf-8"?>
<!--
    *  Copyright (C) 2016
    *  Ziduan Fang, Irlan Grangel-Gonzalez, Christoph Lange
    *  University of Bonn
    *
    *   Krextor is free software; you can redistribute it and/or
    *   modify it under the terms of the GNU Lesser General Public
    *   License as published by the Free Software Foundation; either
    *   version 2 of the License, or (at your option) any later version.
    *
    *   This program is distributed in the hope that it will be useful,
    *   but WITHOUT ANY WARRANTY; without even the implied warranty of
    *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
    *   Lesser General Public License for more details.
    *
    *   You should have received a copy of the GNU Lesser General Public
    *   License along with this library; if not, write to the
    *   Free Software Foundation, Inc., 59 Temple Place - Suite 330,
    *   Boston, MA 02111-1307, USA.
    * 
-->

<!DOCTYPE stylesheet  [
<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#">
<!ENTITY dc "http://purl.org/dc/elements/1.1/">
<!ENTITY aml "https://w3id.org/i40/aml/">
<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#">
<!ENTITY schema "http://schema.org/">
]>

<xsl:transform version="2.0" 
               xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
               xmlns:xd="http://www.pnp-software.com/XSLTdoc"
               xmlns:krextor="http://kwarc.info/projects/krextor"
               xmlns:krextor-genuri="http://kwarc.info/projects/krextor/genuri"
               xmlns:xs="http://www.w3.org/2001/XMLSchema"
                      exclude-result-prefixes="">

<!--  CAEXFile -->

<!--<xsl:param name="autogenerate-fragment-uris" select="'generate-id'"/>-->

 <xsl:template match="/" mode="krextor:main">
      <xsl:apply-imports>
        <xsl:with-param
          name="krextor:base-uri"
          select="xs:anyURI('https://w3id.org/i40/aml/')"
          as="xs:anyURI"
          tunnel="yes"/>
      </xsl:apply-imports>
 </xsl:template>

 <xd:doc>uses ElementN as the fragment URI of the N-th occurrence of an element named
   <code>Element</code> in document order, starting from N=1.</xd:doc>
    <xsl:function name="krextor:global-element-index" as="xs:string?">
    <xsl:param name="node" as="node()"/>
    <xsl:value-of select="concat(local-name($node), count(root($node)//*[local-name() eq local-name($node) and . &lt;&lt; $node]) + 1)"/>
    </xsl:function>

    <!-- copied and adapted from generic/uri.xsl -->
    <xsl:template match="krextor-genuri:global-element-index" as="xs:string?">
    <xsl:param name="node" as="node()"/>
    <xsl:param name="base-uri" as="xs:anyURI"/>
    <xsl:sequence select="
        resolve-uri(krextor:global-element-index($node), $base-uri)"/>
    </xsl:template>

<xsl:param name="autogenerate-fragment-uris" select="'global-element-index'" />
<!-- <xsl:param name="autogenerate-fragment-uris" select="'pseudo-xpath'" /> -->

<xsl:variable name="krextor:resources">
    <CAEXFile type="&aml;CAEXFile"/>
    <AdditionalInformation type="&aml;AdditionalInformation" related-via-properties="&aml;hasAdditionalInfomation"/>

    <ExternalReference type="&aml;ExternalReference" related-via-properties="&aml;hasExternalReference"/>

    <InstanceHierarchy type="&aml;InstanceHierarchy" related-via-properties="&aml;hasInstanceHierarchy"/>

    <InterfaceClassLib type="&aml;InterfaceClassLib" related-via-properties="&aml;hasInterfaceClassLib"/>

    <RoleClassLib type="&aml;RoleClassLib" related-via-properties="&aml;hasRoleClassLib"/>

    <SystemUnitClassLib type="&aml;SystemUnitClassLib" related-via-properties="&aml;hasSystemUnitClassLib"/>

    <InternalElement type="&aml;InternalElement" related-via-properties="&aml;hasInternalElement"/>
    <Attribute type="&aml;Attribute" related-via-properties="&aml;hasAttribute"/>
    <RefSemantic type="&aml;RefSemantic" related-via-properties="&aml;hasRefSemantic"/>
    <ExternalInterface type="&aml;ExternalInterface" related-via-properties="&aml;hasExternalInterface"/>
    <SupportedRoleClass type="&aml;SupportedRoleClass" related-via-properties="&aml;hasSupportedRoleClass"/>

    <RoleRequirements type="&aml;RoleRequirements" related-via-properties="&aml;hasRoleRequirements"/> 
    <InterfaceClass type="&aml;InterfaceClass" related-via-properties="&aml;hasInterfaceClass"/>

    <SystemUnitClass type="&aml;SystemUnitClass" related-via-properties="&aml;hasSystemUnitClass"/>

    <RoleClass type="&aml;RoleClass" related-via-properties="&aml;hasRoleClass &aml;hasRoleClass"/>
</xsl:variable>

<xsl:template match="CAEXFile
                    |CAEXFile/AdditionalInformation
                    |CAEXFile/ExternalReference
                    |CAEXFile/InstanceHierarchy
                    |CAEXFile/RoleClassLib
                    |CAEXFile/SystemUnitClassLib
                    |CAEXFile/InstanceHierarchy/InternalElement
                    |CAEXFile/InstanceHierarchy/InternalElement/InternalElement
                    |Attribute
                    |RefSemantic
                    |ExternalInterface
                    |SupportedRoleClass
                    |RoleRequirements
                    |InterfaceClassLib
                    |InterfaceClass
                    |RoleClass
                    |CAEXFile/SystemUnitClassLib/SystemUnitClass/InternalElement
                    |CAEXFile/SystemUnitClassLib/SystemUnitClass/InternalElement/InternalElement
                    |SystemUnitClass" mode="krextor:main">
       <xsl:apply-templates select="." mode="krextor:create-resource"/>
</xsl:template>

<xsl:variable name="krextor:literal-properties">
        <FileName property="&aml;hasFileName" krextor:attribute="yes"/>
        <SchemaVersion property="&aml;hasSchemaVersion" krextor:attribute="yes"/>       
<!-- AdditionalInformation -->
        <WriterName property="&aml;hasWriterName"/>
        <WriterID property="&aml;hasWriterID" datatype="&xsd;string" />
        <WriterVendor property="&aml;hasWriterVendor" datatype="&xsd;string" />
        <WriterVendorURL property="&aml;hasWriterVendorURL" datatype="&xsd;string" />
        <WriterVersion property="&aml;hasWriterVersion" datatype="&xsd;string" />
        <WriterRelease property="&aml;hasWriterRelease" datatype="&xsd;string" />
        <LastWritingDateTime property="&aml;hasLastWritingDateTime" datatype="&xsd;dateTime" />
        <WriterProjectTitle property="&aml;hasWriterProjectTitle" datatype="&xsd;string" />
        <WriterProjectID property="&aml;hasWriterProjectID" datatype="&xsd;string" />
<!-- ExternalReference -->
        <Path property="&aml;refBaseClassPath" krextor:attribute="yes" datatype="&xsd;string"/>
        <Alias property="&aml;externalReferenceAlias" krextor:attribute="yes" datatype="&xsd;string"/>  
<!-- InstanceHierarchy  -->
<!--        <Name property="&schema;name" krextor:attribute="yes" datatype="&xsd;string"/>-->

<!-- Attribute  -->
        <AttributeDataType property="&aml;hasDataType" krextor:attribute="yes" datatype="&xsd;string"/>
        <Description property="&aml;hasDescription" krextor:attribute="yes" datatype="&xsd;string"/>
        <Value property="&aml;hasAttributeValue" krextor:attribute="yes" datatype="&xsd;string"/>
        <Name property="&aml;hasAttributeName" krextor:attribute="yes" datatype="&xsd;string"/>

<!-- InternalElement -->
        <ID property="&dc;identifier" krextor:attribute="yes" datatype="&xsd;string"/>
        <RefBaseSystemUnitPath property="&aml;RefBaseSystemUnitPath" krextor:attribute="yes" datatype="&xsd;string"/>
<!-- ExternalInterface -->
        <RefBaseClassPath property="&aml;refBaseClassPath" krextor:attribute="yes" datatype="&xsd;string"/>
<!-- SupportedRoleClass -->
        <RefRoleClassPath property="&aml;refRoleClassPath" krextor:attribute="yes" datatype="&xsd;string"/>
<!-- RoleRequirements -->
        <RefBaseRoleClassPath property="&aml;refBaseRoleClassPath" krextor:attribute="yes" datatype="&xsd;string"/>
<!-- InterfaceClassLib -->
        <Version property="&aml;hasVersion" datatype="&xsd;string" />
<!-- <InterfaceClass property="&aml;hasInterfaceClass" object-is-list="true" /> -->

<!-- the following mapping rules will be simplified in the second example, this version can be treated as standard test case -->
</xsl:variable>
<xsl:template match="CAEXFile/@FileName
                      |CAEXFile/@SchemaVersion
                      |CAEXFile/AdditionalInformation/WriterHeader/WriterName
                      |CAEXFile/AdditionalInformation/WriterHeader/WriterID
                      |CAEXFile/AdditionalInformation/WriterHeader/WriterVendor
                      |CAEXFile/AdditionalInformation/WriterHeader/WriterVendorURL
                      |CAEXFile/AdditionalInformation/WriterHeader/WriterVersion
                      |CAEXFile/AdditionalInformation/WriterHeader/WriterRelease
                      |CAEXFile/AdditionalInformation/WriterHeader/LastWritingDateTime
                      |CAEXFile/AdditionalInformation/WriterHeader/WriterProjectTitle
                      |CAEXFile/AdditionalInformation/WriterHeader/WriterProjectID
                      |CAEXFile/ExternalReference/@Path
                      |CAEXFile/ExternalReference/@Alias
                      |CAEXFile/InstanceHierarchy/@Name
                      |CAEXFile/InstanceHierarchy/InternalElement/@Name
                      |CAEXFile/InstanceHierarchy/InternalElement/@ID
                      |CAEXFile/InstanceHierarchy/InternalElement/@RefBaseSystemUnitPath
                      |CAEXFile/InstanceHierarchy/InternalElement/Attribute/@Name
                      |CAEXFile/InstanceHierarchy/InternalElement/ExternalInterface/@Name
                      |CAEXFile/InstanceHierarchy/InternalElement/ExternalInterface/@ID
                      |CAEXFile/InstanceHierarchy/InternalElement/ExternalInterface/@RefBaseClassPath
                      |CAEXFile/InstanceHierarchy/InternalElement/SupportedRoleClass/@RefRoleClassPath
                      |CAEXFile/InstanceHierarchy/InternalElement/RoleRequirements/@RefBaseRoleClassPath
                      |CAEXFile/InstanceHierarchy/InternalElement/InternalElement/@Name
                      |CAEXFile/InstanceHierarchy/InternalElement/InternalElement/@ID
                      |CAEXFile/InstanceHierarchy/InternalElement/InternalElement/@RefBaseSystemUnitPath
                      |CAEXFile/InstanceHierarchy/InternalElement/InternalElement/Attribute/@Name
                      |CAEXFile/InstanceHierarchy/InternalElement/InternalElement/ExternalInterface/@Name
                      |CAEXFile/InstanceHierarchy/InternalElement/InternalElement/ExternalInterface/@ID
                      |CAEXFile/InstanceHierarchy/InternalElement/InternalElement/ExternalInterface/@RefBaseClassPath
                      |CAEXFile/InstanceHierarchy/InternalElement/InternalElement/SupportedRoleClass/@RefRoleClassPath
                      |CAEXFile/InstanceHierarchy/InternalElement/InternalElement/RoleRequirements/@RefBaseRoleClassPath
                      |CAEXFile/InterfaceClassLib/@Name
                      |CAEXFile/InterfaceClassLib/InterfaceClass/@Name
                      |CAEXFile/InterfaceClassLib/InterfaceClass/@RefBaseClassPath
                      |CAEXFile/InterfaceClassLib/InterfaceClass/Attribute/@Name
                      |CAEXFile/InterfaceClassLib/InterfaceClass/Attribute/Value
                      |CAEXFile/RoleClassLib/@Name
                      |CAEXFile/RoleClassLib/Version
                      |CAEXFile/RoleClassLib/RoleClass/@Name
                      |CAEXFile/RoleClassLib/RoleClass/Attribute/@Name
                      |CAEXFile/RoleClassLib/RoleClass/Attribute/Value
                      |CAEXFile/RoleClassLib/RoleClass/@RefBaseClassPath
                      |CAEXFile/SystemUnitClassLib/@Name
                      |CAEXFile/SystemUnitClassLib/Version
                      |CAEXFile/SystemUnitClassLib/SystemUnitClass/InternalElement/@Name
                      |CAEXFile/SystemUnitClassLib/SystemUnitClass/InternalElement/@ID
                      |CAEXFile/SystemUnitClassLib/SystemUnitClass/InternalElement/@RefBaseSystemUnitPath
                      |CAEXFile/SystemUnitClassLib/SystemUnitClass/InternalElement/Attribute/@Name
                      |CAEXFile/SystemUnitClassLib/SystemUnitClass/InternalElement/ExternalInterface/@Name
                      |CAEXFile/SystemUnitClassLib/SystemUnitClass/InternalElement/ExternalInterface/@ID
                      |CAEXFile/SystemUnitClassLib/SystemUnitClass/InternalElement/ExternalInterface/@RefBaseClassPath
                      |CAEXFile/SystemUnitClassLib/SystemUnitClass/InternalElement/SupportedRoleClass/@RefRoleClassPath
                      |CAEXFile/SystemUnitClassLib/SystemUnitClass/InternalElement/RoleRequirements/@RefBaseRoleClassPath
                      |CAEXFile/SystemUnitClassLib/SystemUnitClass/@Name
                      |CAEXFile/SystemUnitClassLib/SystemUnitClass/Attribute/@Name
                      |CAEXFile/SystemUnitClassLib/SystemUnitClass/Attribute/Value
                      |CAEXFile/SystemUnitClassLib/SystemUnitClass/ExternalInterface/@Name
                      |CAEXFile/SystemUnitClassLib/SystemUnitClass/ExternalInterface/@ID
                      |CAEXFile/SystemUnitClassLib/SystemUnitClass/ExternalInterface/@RefBaseClassPath
                      |CAEXFile/SystemUnitClassLib/SystemUnitClass/SupportedRoleClass/@RefRoleClassPath" 
                      mode="krextor:main">
 <xsl:apply-templates select="." mode="krextor:add-literal-property"/>
</xsl:template>

<xsl:template match="CAEXFile/AdditionalInformation/@AutomationMLVersion" mode="krextor:main">
  <xsl:call-template name="krextor:add-literal-property">
    <xsl:with-param name="property" select="'&aml;hasAutomationMLVersion'"/>
    <xsl:with-param name="datatype " select="'&xsd;string'"/>
  </xsl:call-template>
</xsl:template>

<xsl:template match="//RefSemantic/@CorrespondingAttributePath" mode="krextor:main">
  <xsl:call-template name="krextor:add-literal-property">
    <xsl:with-param name="property" select="'&aml;hasCorrespondingAttributePath'"/>
    <xsl:with-param name="datatype " select="'&xsd;string'"/>
  </xsl:call-template>
</xsl:template>

<xsl:template match="//Attribute/@Value" mode="krextor:main">
  <xsl:call-template name="krextor:add-literal-property">
    <xsl:with-param name="property" select="'&aml;hasAttributeValue'"/>
    <xsl:with-param name="datatype " select="'&xsd;string'"/>
  </xsl:call-template>
</xsl:template>

</xsl:transform>