Presentations Metody sztucznej inteligencji w reprezentacji informacji filozoficznej A formal definition of ontological categories Challanges For Ontological Engineering in the Humanities