Is there good open source project that apply semantic web, modal logics, and similar technologies
Not open source, but the AI engines of some successful computer games are based on modal logic, see e.g. "Using Exclusion Logic to Model Social Practices" and "Introducing Exclusion Logic as a Deontic Logic"  by Richard Evans.