Maarten Marx XPath: (P)DL on Trees. 2008 Description Logics conf/dlog/2008 db/conf/dlog/dlog2008.html#Marx08