A Logic Framework for Sports Video Summarization Using Text-Based Semantic Annotation | IEEE Conference Publication | IEEE Xplore