vartrans module finished

Dear all,

  I finished the vartrans module and udpated the ontology and the examples.

One thing: does anyone know how to encode the property chain for the 
translation property using this helper axiom: Translation 
equivalentClass ObjectHasSelf translationreflex

Please bear in mind that we will have no ontolex telco tomorrow, but on 
the 10th of July to discuss the lime module.

Kind regards,

Philipp._

-- 

--
Prof. Dr. Philipp Cimiano
AG Semantic Computing
Exzellenzcluster für Cognitive Interaction Technology (CITEC)
Universität Bielefeld

Tel: +49 521 106 12249
Fax: +49 521 106 6560
Mail: cimiano@cit-ec.uni-bielefeld.de

Office CITEC-2.307
Universitätsstr. 21-25
33615 Bielefeld, NRW
Germany