A language that is an amalgam of propositional dynamic logic and description logic
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...
Κύριος συγγραφέας: | |
---|---|
Άλλοι συγγραφείς: | |
Μορφή: | Technical Report |
Γλώσσα: | English |
Έκδοση: |
2014
|
Θέματα: | |
Διαθέσιμο Online: | http://hdl.handle.net/10889/7838 |
Περίληψη: | 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. |
---|