F-Logic Programming and Terminological Constraints