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 |
| id |
nemertes-10889-7838 |
|---|---|
| record_format |
dspace |
| spelling |
nemertes-10889-78382022-09-05T04:59:44Z A language that is an amalgam of propositional dynamic logic and description logic Τσούτσα, Παρασκευή Tsoutsa, Paraskevi 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. Σε αυτή την αναφορά παρουσιάζουμε την εργασία μας σε εξέλιξη για τον ορισμό μιας γλώσσας που θα συνδυάζει την Τροπική Λογική με την εκφραστικότητα της Περιγραφικής Λογικής. Ποιο συγκεκριμένα η γλώσσα αποτελεί μια παραλλαγή της Προτασιακής Δυναμικής Λογικής (PDL) όπου οι προτάσεις (ABox assertions) σχηματίζονται με τη χρήση συστατικών της Περιγραφικής Λογικής. Σκοπός μας είναι να δημιουργήσουμε μια Δυναμική Λογική όπου θα μπορούμε να περιγράψουμε με τυπικό τρόπο τη γνώση που παράγεται κατά την εκτέλεση των υπηρεσιών ιστού που έχουν μοντελοποιηθεί σε Semantic Domains με την τεχνική του Role Modeling. 2014-06-28T17:36:39Z 2014-06-28T17:36:39Z 2014-04-23 2014-06-28 Technical Report http://hdl.handle.net/10889/7838 en application/pdf |
| institution |
UPatras |
| collection |
Nemertes |
| language |
English |
| topic |
Modal logic Description logic Propositional Dynamic Logic (PDL) Semantic Web Τροπική λογική Περιγραφική λογική Προτασιακή δυναμική λογική Σημασιολογικός Ιστός |
| spellingShingle |
Modal logic Description logic Propositional Dynamic Logic (PDL) Semantic Web Τροπική λογική Περιγραφική λογική Προτασιακή δυναμική λογική Σημασιολογικός Ιστός Τσούτσα, Παρασκευή A language that is an amalgam of propositional dynamic logic and description logic |
| description |
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. |
| author2 |
Tsoutsa, Paraskevi |
| author_facet |
Tsoutsa, Paraskevi Τσούτσα, Παρασκευή |
| format |
Technical Report |
| author |
Τσούτσα, Παρασκευή |
| author_sort |
Τσούτσα, Παρασκευή |
| title |
A language that is an amalgam of propositional dynamic logic and description logic |
| title_short |
A language that is an amalgam of propositional dynamic logic and description logic |
| title_full |
A language that is an amalgam of propositional dynamic logic and description logic |
| title_fullStr |
A language that is an amalgam of propositional dynamic logic and description logic |
| title_full_unstemmed |
A language that is an amalgam of propositional dynamic logic and description logic |
| title_sort |
language that is an amalgam of propositional dynamic logic and description logic |
| publishDate |
2014 |
| url |
http://hdl.handle.net/10889/7838 |
| work_keys_str_mv |
AT tsoutsaparaskeuē alanguagethatisanamalgamofpropositionaldynamiclogicanddescriptionlogic AT tsoutsaparaskeuē languagethatisanamalgamofpropositionaldynamiclogicanddescriptionlogic |
| _version_ |
1771297142833414144 |
