A language that is an amalgam of propositional dynamic logic and description logic

• Κύριος συγγραφέας: Τσούτσα, Παρασκευή
• Άλλοι συγγραφείς: Tsoutsa, Paraskevi
• Μορφή: Technical Report
• Γλώσσα: English
• Έκδοση: 2014
• Θέματα: Modal logic; Description logic; Propositional Dynamic Logic (PDL); Semantic Web; Τροπική λογική; Περιγραφική λογική; Προτασιακή δυναμική λογική; Σημασιολογικός Ιστός

This work presents our on-going work on defining a language that combines the Modal Logic with the expressiveness of the Description Logic. More specifically it is a variant of star free Propositional Dynamic Logic(PDL) where the propositions are sentences (ABOX assertions) described in a fragment o...