Probabilistic, object-oriented logics for annotation-based retrieval in digital libraries | IEEE Conference Publication | IEEE Xplore