P LNFnode	Node JavaScript runtime
P LNFfactplusplus	DL reasoner FaCT++