Title: Ingénierie des Connaissances et Formalisation Sémantique des Relations Symboliques