Boris Motik: wants to distinguish declaredAs from type. Since there is no notion of typing of RDF, things become problematic, especially with imports, e.g, do we need to re-declare when importing? In the owl10, there was no difference between "class" and "declaration"

Alan Ruttenberg: there wasn't even a notion of an ontology containing an axiom

Bijan Parsia: there is something about documents and ontologies (how to get one from the other)

Jeremy Carroll: suggests to use lateral thinking to solve this: use a new way of imports, namely one where we put import statements at the top of our ontologies and then all declarations will be there!

Boris Motik: seems to agree that this will help tools - if I knew what the type of things are, I could use streaming mode

Bijan Parsia: if they come late, they can still be useful (eg to find typos), but they are most useful at the top

Jeremy Carroll: suggests that we can do this via searching & process imports first

Boris Motik: asks whether typed vocabulary will be obsolote - if yes, we can re-use it

Boris Motik: we can merge the notion of typing and declarations, but cleanly

F2F2

Peter Patel-Schneider: F2F2 will be on April 3 and 4, in the Washington DC area, venue to be determined. OWLED might be in the area, but perhaps not. One possibility is to make use of NIST, but access is restricted