»Toward a Standard Rule Language for Semantic Integration of the DoD Enterprise »STI Innsbruck - Using F-Logic for Modelling Test Cars