JGJohannes Gasteiger0000-0001-9388-6389 Knowledge representation and reasoningMunich, DEFollowUsage metrics