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

• Main Author: Τσούτσα, Παρασκευή
• Other Authors: Tsoutsa, Paraskevi
• Format: Technical Report
• Language: English
• Published: 2014
• Subjects: 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...