Re: [xml-dev] Re: Schematron: Base URI of included external definitions

Hi Rick,

On Mon, 29 Oct 2018 15:03:48 +0100,
Rick Jelliffe wrote:
> 
> [1  <text/plain; UTF-8 (7bit)>]
> [2  <text/html; UTF-8 (quoted-printable)>]
> Sch:include is not xml:include.   
> 
> sch:include has no equivalent to xml:base.

I think it depends on the query language binding.

For xslt this would be true because the XPath 1.0 data model [1] does
not have a notion of a base URI.

The query language binding for XSLT2 in Annex H on the other hand
defines the data model to be the data model of XDM constructed from an
infoset or a PSVI.

The XDM used in XSLT2 is "XQuery 1.0 and XPath 2.0 Data Model (XDM)
(Second Edition)" [2] and it defines base URI as a required infoset
property.

To rephrase my question: What is supposed to happen with the base URI
infoset property of the included external definition?

Best,
  -- David

[1] https://www.w3.org/TR/1999/REC-xpath-19991116/#data-model
[2] https://www.w3.org/TR/2009/PER-xpath-datamodel-20090421/

> 
> Regards
> Rick
> 
> On Mon, Oct 29, 2018 at 6:02 PM David Maus <> wrote:
> 
>  Hi Henry,
> 
>  On Fri, 26 Oct 2018 16:07:50 +0200,
>  Henry S. Thompson wrote:
>  > 
>  > David Maus <> writes:
>  > 
>  > > Schematron allows for the inclusion of external definitions via
>  > > sch:include (5.4.4) and sch:expand (5.4.3).
>  > >
>  > > From my understanding the current spec does not discuss how this
>  > > inclusion relates/interacts with @xml:base and relative URI references
>  > > in the included definitions.
>  > >
>  > > Is a conformant implementation supposed to perform base URI fixup?
>  > 
>  > Yes.  See https://www.w3.org/TR/xinclude-11/#base
> 
>  Okay, thought so.
> 
>  Then what about this case:
> 
>  #+BEGIN_SRC xml
>    <schema xmlns="http://purl.oclc.org/dsdl/schematron" queryBinding="xslt2">
>      <include href="subdir/abstract-pattern.xml"/>
>      <pattern is-a="abstract-pattern" id="instance">
>        <param name="foo" value="bar"/>
>      </pattern>
>    </schema>
>  #+END_SRC
> 
>  With abstract-pattern.xml beeing:
> 
>  #+BEGIN_SRC xml
>    <pattern abstract="true" id="abstract-pattern">
>      <rule context="$foo">
>        <assert test="doc-available('abstract-pattern.xml')"/>
>      </rule>
>    </pattern>
>  #+END_SRC
> 
>  After performing the inclusion we get:
> 
>  #+BEGIN_SRC xml
>    <schema xmlns="http://purl.oclc.org/dsdl/schematron" queryBinding="xslt2">
>      <pattern abstract="true" id="abstract-pattern" xml:base="/path/to/subdir">
>        <rule context="$foo">
>          <assert test="doc-available('abstract-pattern.xml')"/>
>        </rule>
>      </pattern>
>      <pattern is-a="abstract-pattern" id="instance">
>        <param name="foo" value="bar"/>
>      </pattern>
>    </schema>
>  #+END_SRC
> 
>  Does the pattern 'instance' inherit @xml:base of the abstract pattern
>  after inclusion?
> 
>  Best,
>    -- David
> 
>  -- 
>  David Maus M.A.
> 
>  Mobile: +49-151-61506713
>  Www: http://dmaus.name
> 
>  _______________________________________________________________________
> 
>  XML-DEV is a publicly archived, unmoderated list hosted by OASIS
>  to support XML implementation and development. To minimize
>  spam in the archives, you must subscribe before posting.
> 
>  [Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
>  Or unsubscribe: 
>  subscribe: 
>  List archive: http://lists.xml.org/archives/xml-dev/
>  List Guidelines: http://www.oasis-open.org/maillists/guidelines.php

-- 
David Maus M.A.

Mobile: +49-151-61506713
Www: http://dmaus.name