Semantic computational analysis of anticoagulation use in atrial fibrillation from real world data