Patterns for legal compliance checking in a decidable framework of linked open data