Metalevel and temporal reasoning in KNOWBEL: features and implementation | IEEE Conference Publication | IEEE Xplore