A language that is an amalgam of propositional dynamic logic and description logic
A language that is an amalgam of propositional dynamic logic and description logic
Date
2014-06-28
Authors
Τσούτσα, Παρασκευή
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
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.
Description
Keywords
Modal logic, Description logic, Propositional Dynamic Logic (PDL), Semantic Web