Conceptual Structures: Applications, Implementation and Theory