Bir konum üç parçadan oluşur:

Bir konumun sözdizimi, bir çift ikinokta imi ile ayrılmış bir dal ismi ve düğüm sınamasından sonra gelebilen sıfır veya daha çok sayıda köşeli ayraç içine alınmış ifadeden ibarettir. Örneğin, child::para[position()=1] konumunda, child dalın ismi, para sınanan düğüm ve [position()=1] ise dayanaktır.

Konum tarafından seçilen düğüm kümesi, daldaki düğüm sınamasının ilk düğüm kümesinden dayanaklardaki koşulları sağlayanların oluşturduğu düğüm kümesidir.

Düğümleri oluşturan ilk düğüm kümesi, dal tarafından belirtilen bağlamsal düğümle ilişkilidir ve sınanan düğüm tarafından belirtilen genişletilmiş isme ve düğüm türüne sahiptir. Örneğin, descendant::para konumu, bağlamsal düğümün para elemanlarından oluşan tüm astsallarını seçer: descendant, ilk düğüm kümesindeki her düğümün, bağlamın astsalı olması gerektiğini belirtirken; para, ilk düğüm kümesindeki her düğümün, para isimli bir eleman olması gerektiğini belirtir. Olası dal çeşitleri bölümüne açıklanmıştır. Olası düğüm sınamaları ise bölümünde açıklanmıştır. Bazı düğüm sınamalarının anlamları dala bağlıdır.

ilk düğüm kümesi, yeni düğüm kümesini üretecek ilk dayanak tarafından süzülür; bu yeni düğüm kümesi de ikinci dayanak tarafından süzülür ve böyle devam eder. Elde edilen düğüm kümesi konum tarafından seçilen düğüm kümesi olur. Dal, her dayanağın değerlendirilişine etki eder, dolayısıyla bir dayanağın anlamı ait olduğu dala göre tanımlanır. Daha fazla bilgi için bölümüne bakınız.

Olası dallar:

Her dalın bir başat düğüm türü vardır. Eğer bir dal eleman içeriyorsa, başat düğüm türü elemandır; aksi takdirde, dalı içeren düğümün türüdür. Dolayısıyla,

Bir NitelAd için düğüm sınaması sadece ve sadece, düğüm türü başat düğüm türüyse ve NitelAd tarafından belirtilen genişletilmiş isim ile aynı genişletilmiş isme sahipse, doğru sonucunu verir. Örneğin, child::para bağlamsal düğümün para elemanlarından oluşan çocuklarını seçer; eğer bağlamsal düğümün hiç para çocuğu yoksa bir boş düğüm kümesi seçecektir. attribute::href bağlamsal düğümün href özniteliğini seçer; eğer bağlamsal düğümün hiç href özniteliği yoksa bir boş düğüm kümesi seçecektir.

Düğüm sınamasındaki bir NitelAd, ifade bağlamındaki isim-alanı bildirimleri kullanılarak bir genişletilmiş isme genişletilir. Bu, xmlns ile bildirilen öntanımlı isim-alanının kullanılmaması dışında başlangıç ve bitiş etiketlerindeki eleman türü adları için yapılan genişletme ile aynıdır; eğer NitelAd bir öneke sahip değilse, isim-alanı tanım-yeri (URI) boş demektir (bu, öznitelik adlarını genişletme yöntemiyle aynıdır). NitelAd'ın bir öneki olup da ifade bağlamında hiç isim-alanı bildirimi olmaması bir hatadır.

* düğüm sınaması başat düğüm türü ne olursa olsun doğru sonucunu verecektir. Örneğin, child::* konumu bağlamsal düğümün bütün eleman çocuklarını, attribute::* konumu ise bağlamsal düğümün bütün özniteliklerini içerecektir.

Bir düğüm sınaması KısaAd:* biçiminde olabilir. Bu durumda, önek, bağlamsal isim-alanı bildirimi kullanılarak bir NitelAd nasıl genişletiliyorsa öyle genişletilecektir. Önek için ifade bağlamında hiç isim-alanı bildiriminin olmayışı bir hatadır. Genişletilmiş ismi, ismin yerel kısmından bağımsız olarak önekin genişletileceği bir isim-alanı tanım-yerine sahip başat türdeki her düğüm için düğüm sınaması doğru sonucunu verecektir.

text() düğüm sınaması herhangi bir metin düğümü için doğru sonucunu verecektir. Örneğin, child::text() konumu bağlamsal düğümün metin düğümü çocuklarını içerecektir. Benzer şekilde, comment() düğüm sınaması herhangi bir açıklama düğümü için ve processing-instruction() düğüm sınaması herhangi bir işlem yönergesi düğümü için doğru sonucunu verecektir. processing-instruction() sınaması bir DizgeselSabit argümana sahip olabilir; bu durumda DizgeselSabit değeriyle aynı isme sahip bir işlem yönergesi için sınama doğru sonucunu verecektir.

node() düğüm sınaması düğüm türü ne olursa olsun doğru sonucunu verecektir.

Bir dal ya ileri doğrudur ya da geriye doğrudur. Bir dal, belgedeki sıraya göre sadece bağlamsal düğümden sonraki bağlamsal düğümü veya düğümleri içeriyorsa dal ileri doğrudur. Bir dal, belgedeki sıraya göre sadece bağlamsal düğümden önceki bağlamsal düğümü veya düğümleri içeriyorsa dal geriye doğrudur. Bu bakımdan, ancestor, ancestor-or-self, preceding ve preceding-sibling dalları geriye doğru, diğer tüm dallar ileri doğrudur. self dalı daima en fazla bir düğüm içerdiğinden dalın yönüyle ilgili bir fark oluşturmaz. Bir düğüm kümesi üyesinin bir dala göre yakınlık derecesi, düğümün düğüm kümesi içinde belgedeki sırasına göre kaçıncı kardeş olduğunu belirtir; eğer dal ileriye doğru ise sıralama ileri yönde, geriye doğru ise sıralama geriye doğrudur. İlk derece 1'dir.

Bir dayanak yeni bir düğüm kümesi üretmek üzere bir düğüm kümesini bir dala göre filtreler. Düğüm kümesindeki filtrelenecek her düğüm için, Dayanakİfadesinde bağlamsal düğüm olarak bu düğüm, bağlamsal boyut olarak düğüm kümesindeki düğüm sayısı, bağlamsal konum olarak düğüm kümesindeki düğümün dala göre yakınlık derecesi alınarak değerlendirilir. Eğer Dayanakİfadesi bu düğüm için doğru sonucunu veriyorsa, bu düğüm yeni düğüm kümesinde yer alır, yoksa yer almaz.

Bir Dayanakİfadesi, İfade değerlendirilerek ve sonuç bir mantıksal türe dönüştürülerek değerlendirilir. Sonuç bir sayı ise ve sayı bağlamsal konuma eşitse sonuç doğruya, değilse yanlışa dönüştürülür. Sonuç bir sayı değilse, sonuç boolean işlevi çağrılarak mantıksal türe dönüştürülür. Bu bakımdan, para[3] konumsal yolu para[position()=3] konumsal yoluna eşdeğer olur.

Kısaltılmış sözdizimi kullanılan konumsal yol örnekleri:

En önemli kısaltma bir konumda child:: kullanmak zorunda kalmamaktır. Bunun için child öntanımlı dal olarak ele alınmıştır. Örneğin, div/para konumsal yolu child::div/child::para konumsal yolunun kısaltılmışıdır.

Ayrıca, öznitelikler için de bir kısaltma mevcuttur: attribute:: öneki yerine @ kullanılabilir. Örneğin, para[@type="warning"] konumsal yolu, child::para[attribute::type="warning"] yolunun kısaltılmışı olup bağlamsal düğümün para çocuklarından type özniteliğinin değeri warning olanlarını seçer.

// konumu, /descendant-or-self::node()/ konumunun kısaltmasıdır. Örneğin, //para konumu /descendant-or-self::node()/child::para konumunun kısaltılmışı olup belgedeki tüm para elemanlarını seçer (hatta para belge elemanı bile olsa seçilecektir, çünkü belge elemanı belge kökünün çocuğudur); div//para konumsal yolu child::div/descendant-or-self::node()/child::para yolunun kısaltılmışı olup bağlamsal düğümün div çocuklarının tüm para astsallarını seçer.

. konumu self::node() konumunun kısaltmasıdır. Bu özellikle // ile birlikte kullanışlıdır. Örneğin, .//para konumsal yolu

konumsal yolunun kısaltılmışı olup bağlamsal düğümün tüm para eleman astsallarını seçer.

Benzer şekilde, .. konumu parent::node() konumunun kısaltmasıdır. Örneğin, ../title konumsal yolu parent::node()/child::title konumsal yolunun kısaltması olup bağlamsal düğümün ebeveyninin title çocuklarını seçer.

Bir DeğişkenGönderimi, bağlamdaki değişken bağıntıları arasından belirtilen isme sahip değişkenin değeri olarak değerlendirilir. İfade bağlamında değişken bağıntıları içinde değişken ismine bir değerin atanmamış olması bir hatadır.

Parantezler ifadeleri gruplamak için kullanılabilir.

Bir İşlevÇağrısı ifadesi, işlev kütüphanesinin ifade değerlendirme bağlamı işlevlerinden birini betimleyen İşlevAdı kullanılarak ve Argümanlarının her biri, işleve gerekli türe dönüştürüldükten sonra işleve aktarılarak yapılan bir işlev çağrısı olarak değerlendirilir. Argüman sayısının yanlış belirtilmesi veya bir argümanın gerekli türe dönüştürülememesi bir hatadır. İşlevÇağrısı ifadesinin sonucu işlevden dönen sonuçtur.

Bir argüman, dizge türüne bir string işlevi çağrısındaki gibi dönüştürülür, sayı türüne number işlevindeki gibi ve mantıksal türe de boolean işlevindeki gibi dönüştürülür. Düğüm kümesi türünde olmayan bir argüman düğüm kümesine dönüştürülemez.

Bir konumsal yol bir ifade olarak kullanılabilir. İfade, yol tarafından seçilen düğüm kümesini döndürür.

| işleci, terimlerinin düğüm kümeleri olmasını gerektirir ve terimlerinin birleşimini hesaplar.

Dayanaklar konumsal yollarda kullanılan yöntemle ifadeleri filtrelemekte kullanılır. İfadenin sonucunun bir düğüm kümesi olmaması bir hatadır. Dayanak düğüm kümesini dala göre filtreler.

/ ve // işleçleri bir ifade ve bir göreli konumsal yol oluştururlar. İfadenin bir düğüm kümesi ile sonuçlanmaması bir hatadır. / işleci, bir konumsal yolda kullanılan / ile aynı anlama gelir. Bir konumsal yoldaki gibi // ifadesi de /descendant-or-self::node()/ konumunun kısaltmasıdır.

Düğüm kümelerine dönüştürülebilen hiçbir nesne türü yoktur.

Mantıksal türdeki bir nesnenin değeri ya 'doğru' ya da 'yanlış' olabilir.

Bir or ifadesi, her terimi boolean işlevi çağrısındaki gibi bir mantıksal değere dönüştürüldükten sonra değerlendirilir. Terimlerinin hepsi yanlış ise sonuç yanlış, herhangi biri doğru ise sonuç doğrudur. Soldaki terim doğru ise sağdaki terim değerlendirilmez.

Bir and ifadesi, her terimi boolean işlevi çağrısındaki gibi bir mantıksal değere dönüştürüldükten sonra değerlendirilir. Terimlerinin hepsi doğru ise sonuç doğru, herhangi biri yanlış ise sonuç yanlıştır. Soldaki terim yanlış ise sağdaki terim değerlendirilmez.

Bir Eşitlikİfadesi (bir İlişkiselİfade olmayan) veya bir İlişkiselİfade (bir Toplamİfadesi olmayan) iki terimin değerlendirilmesinden elde edilen nesneler karşılaştırılarak değerlendirilir. Elde edilen nesnelerin karşılaştırması aşağıdaki üç madde altında tanımlanmıştır. İlkinde, düğüm kümelerinin katıldığı karşılaştırmalar, düğüm kümelerinin katılmadığı karşılaştırma kurallarıyla tanımlanmıştır; bu =, !=, <=, <, >= ve > için hep aynı tarzdadır. İkincide, = ve != için düğüm kümelerinin katılmadığı karşılaştırmalar tanımlanmıştır. Üçüncüde, <=, <, >= ve > için düğüm kümelerinin katılmadığı karşılaştırmalar tanımlanmıştır.

Bir sayı bir gerçel sayı olarak ifade edilir ve çift hassasiyetli 64 bitlik bir IEEE 754 değeri olabilir. Özel Not-a-Number (NaN) (Bir-Sayı-değil) değeri, artı ve eksi sonsuz, artı ve eksi sıfır değerleri de bu sayılara dahildir. IEEE 754 standardının ana kurallarının özeti için 'nin 4.2.3. bölümüne bakınız.

Aritmetik işleçler terimlerini number işlevi çağrılmışçasına sayıya çevirirler.

+ işleci terimlerini toplar.

İki terimli - işleci çıkarma yaparken tek terimli - işleci terimini olumsuzlar. -0'ın sıfırın eksi işaretlisi olarak değerlendirileceğine dikkat ediniz.

* işleci IEEE 754'e uygun olarak gerçel sayı çarpma işlemi yapar. Eğer sonuç bir NaN değilse, sonucun pozitif olması için gerek ve yeter koşul her iki terimin işaretlerinin aynı olmasıdır.

div işleci IEEE 754'e uygun olarak gerçel sayı bölme işlemi yapar. Eğer sonuç bir NaN değilse, sonucun pozitif olması için gerek ve yeter koşul her iki terimin işaretlerinin aynı olmasıdır.

mod işleci aşağı yuvarlayan tamsayı bölme işleminde kalanı verir. Örneğin,

Dizgeler sıfır veya daha çok karakterden oluşan karakter dizileridir. Burada karakter, XML belirtimindeki Kark sözdizimi ile eşleşmelidir. Bu durumda XPath'taki tek bir karakter, Unicode'da tek bir sabit değere tekabül eden tek bir Unicode soyut karakterine karşı düşer (bkz, ); bu, bir 16 bitlik Unicode değerle aynı şey değildir: Unicode sabit değeri U+FFFF'ten büyük olan bir soyut karakterin Unicode kodlu karakter gösterimi bir 16 bitlik Unicode kod değeri çiftidir (bir vekil çift). Çoğu yazılım dilinde bir dizge 16 bitlik Unicode değerleri dizisi olarak ifade edilir; XPath'ın böyle dillerle gerçekleniminde bir vekil çiftin tek bir XPath karakteri olarak gerektiği gibi ele alındığından emin olunması gerekir.

Dizgeciklere ayırma işleminde daima olası en uzun dizgecik döner.

Okunabilirlik açısından, sözdizimi tarafından açıkça izin verilmese bile boşluk karakterleri kullanılabilir: bir ifade içinde herhangi bir İfadeDizgeciğinden önce veya sonra özgürce istenen sayıda ve çeşitte İfadeBoşlukları karakteri eklenebilir.

İfadeDizgeciği sözdizimindeki belirsizlikleri giderme sırasında aşağıdaki özel dizgeciklere ayırma kuralları uygulanmalıdır:

Bir taşıyıcı dil sözdizimi kurallarına mı yoksa 'ındakilere mi uyacağına ya da sözdizimi kurallarına mı yoksa 'ındakilere mi uyacağına kendi karar verebilir.

string işlevi belirtilen nesneyi bir dizgeye şöyle dönüştürür:

Eğer bir argüman belirtilmezse, argümanın öntanımlı değeri işlev ifadesinin üyesi olduğu ifade bağlamıdır.

concat işlevi, argümanlarını birbirine ulayarak oluşturduğu dizgeyi döndürür.

starts-with işlevi, eğer birinci dizge, ikinci dizge ile başlıyorsa doğru, aksi takdirde yanlış döndürür. Eğer ikinci dizge boşsa doğru döndürür.

contains işlevi, eğer birinci dizge, ikinci dizgeyi içeriyorsa doğru, aksi takdirde yanlış döndürür. Eğer ikinci dizge boşsa doğru döndürür.

substring-before işlevi, birinci dizgenin başlangıcından ikinci dizgenin ilk bulunduğu yere kadar olan alt dizgeyi döndürür. Eğer birinci dizge ikinci dizgeyi içermiyorsa veya ikinci dizge boşsa boş bir dizge döner. Örneğin, substring-before("1999/04/01","/") ifadesi 1999 dizgesini döndürecektir.

substring-after işlevi, birinci dizgenin içinde ikinci dizgenin ilk bulunduğu konumda, ikinci dizgenin bitiminden birinci dizgenin sonuna kadar olan alt dizge ile döner. Eğer birinci dizge ikinci dizgeyi içermiyorsa veya ikinci dizge boşsa boş bir dizge döner. Örneğin, substring-after("1999/04/01","/") ifadesi 04/01 dizgesi ile ve substring-after("1999/04/01","19") ifadesi 99/04/01 dizgesi ile döner.

substring işlevi, birinci argümanda belirtilen dizgenin başından itibaren ikinci argümanda belirtilen sıradaki karakterden başlayan ve üçüncü argümanda belirtilen sayıda karakter içeren dizgeyle döner. Örneğin, substring("12345",2,3) ifadesi "234" dizgesi ile döner. Eğer üçüncü argüman belirtilmezse, ikinci argümanda belirtilen sıradaki karakterden başlayan alt dizgenin tamamıyla döner. Örneğin, substring("12345",2) ifadesi "2345" dizgesi ile döner.

Daha kesin bir ifadeyle, dizge (bkz, ) içindeki her karakterin sayısal konumu şöyle belirlenir: ilk karakterin sıra numarası 1'dir, ikinci karakterinki 2, ve böyle gider.

Üretilen karakter altdizisinde bulunan karakterler, konum değeri ikinci argümanın yuvarlanmış değerinden büyük veya eşit veya eğer üçüncü bir argüman da varsa ikinci argümanın yuvarlanmış değeri ile üçüncü argümanın yuvarlanmış değerinin toplamından küçük olan karakterlerdir. Burada kullanılan karşılaştırma ve toplama işlemleri IEEE 754 standardındaki kurallara göre yürütülür; yuvarlama işlemi ise round işlevi çağrısındaki gibidir. Aşağıdaki örnekler yararsız durumları göstermektedir:

string-length işlevi, belirtilen dizge içindeki karakter sayısı ile döner (bkz, ). Eğer bir argüman belirtilmezse, öntanımlı dizge, bir dizgeye dönüştürülmüş olarak bağlamsal düğümdür; başka bir deyişle, öntanımlı dizge bağlamsal düğümün dizgesel değeridir.

normalize-space işlevi belirtilen dizgenin başındaki ve sonundaki boşluk karakterleri atıldıktan sonra kalan dizgenin içindeki boşluk dizgecikleri birer boşluk karakteri ile değiştirilerek elde edilen dizgeyi döndürür. Boşluk karakterleri XML belirtimindeki B sözdizimiyle eşleşmelidir. Eğer bir argüman belirtilmezse, öntanımlı dizge bağlamsal düğümün dizgesel değeridir.

translate işlevi birinci dizgenin içindeki karakterlerden ikinci dizgede belirtilenlerin yerlerine üçüncü dizgede belirtilenlerden ikincidekiyle aynı konumda olanları yerleştirerek elde edilen dizgeyi döndürür. Örneğin, translate("bar","abc","ABC") ifadesi BAr dizgesiyle döner. Eğer üçüncü dizgedeki karakter sayısı ikinci dizgedeki karakter sayısından azsa, ikinci dizgedeki karakterlerden üçüncü dizgede karşılığı olmayanlar birinci dizgeden silinir. Örneğin, translate("--aaa--","abc-","ABC") ifadesi "AAA" dizgesiyle döner. Eğer ikinci dizgede bir karakterden birden fazla varsa, sonucu belirleyen birincisidir, diğerleri yoksayılır. Eğer üçüncü dizge ikinci dizgeden uzunsa, üçüncü dizgedeki fazlalıklar yoksayılır.

boolean işlevi argümanını bir mantıksal değere şöyle dönüştürür:

not işlevi, argümanı yanlışsa doğru, doğruysa yanlış ile döner.

number işlevi argümanını bir sayıya şöyle çevirir:

Eğer bir argüman belirtilmemişse, öntanımlı argüman bağlamsal düğümdür.

sum işlevi düğüm kümesi içindeki düğümlerin birer sayıya dönüştürülen dizgesel değerlerinin toplamı ile döner.

floor işlevi belirtilen sayıyı en yakın küçük tamsayıya yuvarlar. Eğer argüman bir NaN ise NaN, artı sonsuzsa artı sonsuz, eksi sonsuzsa eksi sonsuz, artı sıfırsa artı sıfır, eksi sıfırsa eksi sıfır döner. Örnek:

ceiling işlevi belirtilen sayıyı en yakın büyük tamsayıya yuvarlar. Eğer argüman bir NaN ise NaN, artı sonsuzsa artı sonsuz, eksi sonsuzsa eksi sonsuz, artı sıfırsa artı sıfır, eksi sıfırsa eksi sıfır döner. Örnek:

round işlevi belirtilen sayıyı en yakın tamsayıya yuvarlar. Eğer argüman bir NaN ise NaN, artı sonsuzsa artı sonsuz, eksi sonsuzsa eksi sonsuz, artı sıfırsa artı sıfır, eksi sıfırsa eksi sıfır döner. Örnek:

round ve floor işlevleri -1 ile 0 arasındaki değerler için farklı davranırlar. round işlevinin sonucuyla, aynı sayıya 0.5 eklendikten sonra yapılan bir floor çağrısından dönen sonuç aynı olmayacaktır.

Kök düğüm, ağacın köküdür. Bir kök düğüm, ağacın kökü olmak dışında başka bir yerde yer almaz. Belge elemanının eleman düğümü kök düğümün çocuğudur. Kök düğümün ayrıca, işlem yönergeleri ve açıklamalar için belge elemanının başından önce veya sonundan sonra yer alan işlem yönergesi ve açıklama düğümlerinden oluşan çocukları da vardır.

Kök düğümün dizgesel değeri, kök düğümün belgedeki sıraya göre tüm metin düğümü astsallarının dizgesel değerlerinin birleşimidir.

Kök düğümün bir genişletilmiş ismi yoktur.

Belgedeki her eleman için bir eleman düğümü vardır. Bir eleman düğümü, XML İsim-alanları Önergesi gereğince, etikette belirtilen elemanın NitelAdı genişletilerek elde edilen bir genişletilmiş isme sahiptir. Elemanın, eğer NitelAdının bir öneki ve uygulanabilir bir öntanımlı isim-alanı yoksa, genişletilmiş isminin isim-alanı tanım-yeri boş olacaktır.

Bir eleman düğümünün çocukları eleman düğümleri, açıklama düğümleri, işlem yönergesi düğümleri ve içeriği olarak metin düğümleridir. Dahili ve harici öğelere gönderimlerin her ikisi de yorumlanır. Karakter gönderimleri çözümlenir.

Bir eleman düğümünün dizgesel değeri elemanın belgedeki sıraya göre tüm metin astsallarının dizgesel değerlerinin birleşimidir.

Her eleman düğümü kendisiyle ilişkili bir öznitelik düğümü kümesine sahiptir; eleman bu öznitelik düğümlerinin her birinin ebeveynidir; bununla birlikte, bir öznitelik düğümü kendi ebeveyn elemanının bir çocuğu değildir.

Eleman düğümleri, öznitelik düğümlerini asla paylaşmazlar: eğer bir eleman başka bir elemanla aynı değilse, bir elemanın öznitelik düğümlerinin hiçbiri başka bir elemanın öznitelik düğümleri ile aynı olmayacaktır.

Bir öntanımlı öznitelik belirtilmiş bir öznitelik gibi ele alınır. Eğer bir öznitelik DTD içinde eleman türü için bildirilmişse, öntanımlı değer #IMPLIED olarak bildirilmiş ve öznitelik elemanda belirtilmemişse, elemanın öznitelik kümesi bu öznitelik için bir düğüm içermez.

xml:lang ve xml:space gibi bazı öznitelikler, özniteliğin ebeveyni olan elemanın astsalları olan tüm elemanlarda, başka bir astsal eleman tarafından aynı öznitelikle değer değiştirilmedikçe, aynı anlama sahiptirler. Bununla birlikte bu, ağaçta yer aldıkları öznitelik düğümleri üzerinde etkili değildir: bir elemanın sahip olduğu öznitelikler sadece, elemanın başlangıç etiketi veya boş eleman etiketinde açıkça belirtilenlerle DTD'de doğrudan bir öntanımlı değerle bildirilenlerdir.

Bir öznitelik düğümü bir genişletilmiş isme ve bir dizgesel değere sahiptir. genişletilmiş isim, XML İsim-alanları Önergesi gereğince, etikette belirtilen elemanın NitelAdı genişletilerek elde edilir. Özniteliğin, eğer NitelAdının bir öneki yoksa, isim-alanı tanım-yeri boş olacaktır.

Bir öznitelik düğümü bir dizgesel değere sahiptir. Bir dizgesel değer XML Önergesinde belirtildiği gibi normalleştirilir. Normalleştirilmiş değeri, sıfır uzunlukta bir dizge olan bir öznitelik özel olarak ele alınmaz: dizgesel değeri sıfır uzunluktaki bir dizge olan bir öznitelik düğümüyle sonuçlanır.

İsim-alanların bildiren özniteliklere karşı düşen bir öznitelik düğümü yoktur (bkz, ).

Her eleman düğümü kendisiyle ilişkili bir isim-alanı düğümü kümesine sahiptir; isim-alanı düğümü kümesindeki her düğüm elemanın etki alanı içindeki ayrı bir öneke (bu öneklere XML İsim-alanı Önergesi tarafından örtük olarak bildirilen xml öneki dahildir) ve bir düğüm elemanın etki alanının içinde olduğu öntanımlı isim-alanına aittir. Eleman, bu isim-alanı düğümlerinin her birinin ebeveynidir; bununla birlikte, bir isim-alanı düğümü ebeveyninin çocuğu değildir. Elemanlar, isim-alanı düğümlerini asla paylaşmazlar: eğer bir eleman başka bir elemanla aynı değilse, bir elemanın isim-alanı düğümlerinin hiçbiri başka bir elemanın isim-alanı düğümleri ile aynı olmayacaktır. Yani, bir eleman şu durumlarda bir isim-alanı düğümüne sahip olacaktır:

Bir isim-alanı düğümü bir genişletilmiş isme sahiptir: yerel kısım isim-alanı önekidir (isim-alanı öntanımlı isim-alanıysa bu boş olacaktır); isim-alanı tanım-yeri daima tanımsız olacaktır.

Bir isim-alanı düğümünün dizgesel değeri isim-alanı önekine bağlı isim-alanı tanım-yeridir; eğer XML belge içindeki isim-alanı bildiriminde yer alan isim-alanı yeri bir göreli tanım-yeri (bir bölüm betimleyici olsun/olmasın) ise dizgesel değer gerçeklenim bağımlıdır. Böyle bir isim-alanı düğümünün dizgesel değerine bağlı bir XPath ifadesi birlikte çalışılabilir olmayacaktır.

DTD içinde yer almadıkça, her işlem yönergesi (PI - processing instruction) için, bir işlem yönergesi düğümü vardır.

Bir işlem yönergesi bir genişletilmiş isme sahiptir: yerel kısım işlem yönergesinin hedefidir; isim-alanı tanım-yeri tanımsızdır. Bir işlem yönergesi düğümünün dizgesel değeri işlem yönergesinden sonra gelen hedef ve bir miktar boşluk karakteridir. Sonlandırıcı ?> dizgesi dizgesel değere dahil değildir.

DTD içinde yer almadıkça, her açıklama için, bir açıklama düğümü vardır.

Açıklama düğümünün dizgesel değeri açıklama açılış (<!--) ve kapanış (-->) dizgelerini içermez.

Bir açıklama düğümünün bir genişletilmiş ismi yoktur.

Karakter verisi metin düğümleri halinde gruplanır. Her metin düğümünde mümkün olduğunca çok karakter verisi gruplanır: bir metin düğümünün asla komşu düğümü olarak kardeş metin düğümleri yoktur. Bir metin düğümünün dizgesel değeri karakter verisidir. Bir metin düğümü daima en azından bir veri karakteri içerir.

Bir CDATA bölümündeki her karakter, karakter verisi olarak ele alınır. Bu bakımdan, kaynak belgedeki <![CDATA[<]]> dizgesi < ile aynı olarak ele alınacaktır. Her ikisi de ağaçtaki bir metin düğümünde tek bir < karakteriyle sonuçlanacaktır. Sonuç olarak, CDATA bölümü, <![CDATA[ ve ]]> bölümü silinmiş ve içerikte yer alan her < ve & karakterleri sırayla < ve & ile değiştirilmiş gibi ele alınır.

Açıklamalar, işlem yönergeleri ve öznitelik değerleri içindeki karakterler metin düğümleri üretmezler. Harici öğelerdeki satırsonları XML Önergesinde belirtildiği gibi sadece #xA içerecek şekilde normalleştirilir. Belge elemanının dışında kalan boşluk karakterleri metin düğümleri üretmezler.

Bir metin düğümünün bir genişletilmiş ismi yoktur.