A language that is an amalgam of propositional dynamic logic and description logic
Τσούτσα, Παρασκευή
Tsoutsa, Paraskevi
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.
