Please use this identifier to cite or link to this item:
Title: A language that is an amalgam of propositional dynamic logic and description logic
Authors: Τσούτσα, Παρασκευή
Issue Date: 2014-06-28
Keywords: Modal logic
Description logic
Propositional Dynamic Logic (PDL)
Semantic Web
Keywords (translated): Τροπική λογική
Περιγραφική λογική
Προτασιακή δυναμική λογική
Σημασιολογικός Ιστός
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.
Abstract (translated): Σε αυτή την αναφορά παρουσιάζουμε την εργασία μας σε εξέλιξη για τον ορισμό μιας γλώσσας που θα συνδυάζει την Τροπική Λογική με την εκφραστικότητα της Περιγραφικής Λογικής. Ποιο συγκεκριμένα η γλώσσα αποτελεί μια παραλλαγή της Προτασιακής Δυναμικής Λογικής (PDL) όπου οι προτάσεις (ABox assertions) σχηματίζονται με τη χρήση συστατικών της Περιγραφικής Λογικής. Σκοπός μας είναι να δημιουργήσουμε μια Δυναμική Λογική όπου θα μπορούμε να περιγράψουμε με τυπικό τρόπο τη γνώση που παράγεται κατά την εκτέλεση των υπηρεσιών ιστού που έχουν μοντελοποιηθεί σε Semantic Domains με την τεχνική του Role Modeling.
Appears in Collections:Τμήμα Μαθηματικών (Τεχνικές Αναφορές)

Files in This Item:
File Description SizeFormat 
tech_report_2014_PT.pdf144.17 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.