Seol mar théacs é seo: Knowledge representation: logical, philosophical, and computational foundations