Seol mar théacs é seo: Formalizing knowledge domains and static and dynamic Aspects /