A semantic-based methodology for digital forensics analysis