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 of Description Logic(ALC). Our goal is to build a dynamic logic that will describe in a structured and formal way the knowledge is derived during the execution of semantic web services, which they are modeled in Semantic Domains using the technique of Role Modeling.