problem prädikatenlogik pinguin LOD data aussagenlogik peter gersten entscheidungsprobleme desaster decision Ontology new domain