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 |