An ontology-based first-order intensional logic | IEEE Conference Publication | IEEE Xplore