Boris Motik: I didn't understand: has this been already implemented in the documents?

Peter Patel-Schneider: proposal is about moving from owl:DataRanges (as in current RDF mapping doc) to express user's datatypes to model them as instances of the RDF Schema class rdfs:Datatype; we checked rdf semantics, datarange is deprecated and rdfs:Datatypes makes it more consistent with the semantic web stack

Jeremy Carroll: discussed issue with colleagues, and it's clear that many implementation techniques use skolems... some may fail on entailing from bnodes... such failures not included in the conformance of the reasoner to the OWL semantics...

Jeremy Carroll: there were implementations in previous wg, that's why we defined certain checks only on consistency to get conformance... diff methods of implementation, can't mandate one...

Boris Motik: this may provide solution = on semantic level, b-nodes are existential vars, but there can be a switch to say that when parsing rdf, they should be treated as skolems... up to user/app to decide... could be?

Michael Schneider: boris, you have at least the testcases (normative document): you can have testcases for non-entailments for skolems, which would be entailments for existentials

Alan Ruttenberg: how this is visible... practical reasons, removes requirement and b-node as a tree, allows more flexibility,... intended meaning in most cases is skolemization...