Please use this identifier to cite or link to this item: http://hdl.handle.net/10889/7838
Full metadata record
DC FieldValueLanguage
dc.contributor.authorΤσούτσα, Παρασκευή-
dc.contributor.otherTsoutsa, Paraskevi-
dc.date.accessioned2014-06-28T17:36:39Z-
dc.date.available2014-06-28T17:36:39Z-
dc.date.copyright2014-04-23-
dc.date.issued2014-06-28-
dc.identifier.urihttp://hdl.handle.net/10889/7838-
dc.description.abstractThis 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.el
dc.language.isoenel
dc.subjectModal logicel
dc.subjectDescription logicel
dc.subjectPropositional Dynamic Logic (PDL)el
dc.subjectSemantic Webel
dc.titleA language that is an amalgam of propositional dynamic logic and description logicel
dc.typeTechnical Reportel
dc.description.translatedabstractΣε αυτή την αναφορά παρουσιάζουμε την εργασία μας σε εξέλιξη για τον ορισμό μιας γλώσσας που θα συνδυάζει την Τροπική Λογική με την εκφραστικότητα της Περιγραφικής Λογικής. Ποιο συγκεκριμένα η γλώσσα αποτελεί μια παραλλαγή της Προτασιακής Δυναμικής Λογικής (PDL) όπου οι προτάσεις (ABox assertions) σχηματίζονται με τη χρήση συστατικών της Περιγραφικής Λογικής. Σκοπός μας είναι να δημιουργήσουμε μια Δυναμική Λογική όπου θα μπορούμε να περιγράψουμε με τυπικό τρόπο τη γνώση που παράγεται κατά την εκτέλεση των υπηρεσιών ιστού που έχουν μοντελοποιηθεί σε Semantic Domains με την τεχνική του Role Modeling.el
dc.subject.alternativeΤροπική λογικήel
dc.subject.alternativeΠεριγραφική λογικήel
dc.subject.alternativeΠροτασιακή δυναμική λογικήel
dc.subject.alternativeΣημασιολογικός Ιστόςel
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.