Associating ω-automata to path queries on Webs of Linked Data

Giannakis, Konstantinos; Theocharopoulou, Georgia; Papalitsas, Christos; Andronikos, Theodore; Vlamos, Panayiotis

doi:10.1016/j.engappai.2016.01.013

Cited by 4 publications

(10 citation statements)

References 46 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…There the emphasis was on the practically infinite nature of Linked Data apothecaries, which is a reasonable abstraction if one takes into account their ever increasing size. This line of thought was further pursued in [11], where a connection between SPARQL queries involving transitive predicates and ω-regular languages, i.e., the analog of regular languages in case of infinite words, and finite automata accepting infinite inputs is established. Tools and techniques from the theory of probabilistic automata can also be used when dealing with data characterized by a certain degree of uncertainty, e.g., biomedical data, as was demonstrated in [12].…”

Section: Related Workmentioning

confidence: 99%

Classification of Sparql Queries Into Equivalence Classes of Relevant Queries

Andronikos¹

2017

ijarcs

Self Cite

View full text Add to dashboard Cite

This paper is inspired by ideas from the field of theoretical Mathematics, used for the partitioning of abstract spaces into equivalence classes, and applies analogous concepts in order to propose a classification of SPARQL queries into equivalence classes. The novel concepts of relevant queries and covering query are introduced in a manner appropriate for the study of SPARQL queries. These new definitions shed new light on the relations among SPARQL queries. They enable the formal identification of similar queries and this leads to the partition of SPARQL queries into equivalence classes of relevant queries. This work also discusses how the covering query relating two or more relevant queries can be useful from the perspective of computational cost when evaluating composite queries composed of simpler relevant queries. Hence, the introduction of the concept of relevance between queries provides not only obvious theoretical advantages, but also concrete practical ones, which in many cases have the potential to lower the computational cost of query evaluation.

show abstract

Section: Related Workmentioning

confidence: 99%

Classification of Sparql Queries Into Equivalence Classes of Relevant Queries

Andronikos¹

2017

ijarcs

Self Cite

View full text Add to dashboard Cite

show abstract

“…In particular, these are the works in ,b, 2016, Theocharopoulou & Giannakis, 2012, Giannakis & Andronikos, 2015c. The work in was co-authored by Christos Papalitsas and Theodore Andronikos, the by Christos Papalitsas, Kalliopi Kastampolidou, Alexandros Singh, and Theodore Andronikos, the journal paper described in (Giannakis et al, 2016) was co-authored by Georgia Theocharopoulou, Christos Papalitsas, Theodore Andronikos, and Panayiotis Vlamos, and the (Giannakis & Andronikos, 2015c by Theodore Andronikos.…”

mentioning

confidence: 99%

“…The results from the proposed methodology of Chapter 2 were published in (Giannakis et al, 2016 in the journal of Engineering Applications of Artificial Intelligence and the proceedings of 9th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP) that took place in Corfu in 2014, respectfully.…”

mentioning

confidence: 99%

“…Πιο συγκεκριμένα, οι εργασίες αυτές είναι οι ,b, 2016, Theocharopoulou & Giannakis, 2012, Giannakis & Andronikos, 2015c. Η εργασία που περιγρλαφεται στο είχε σαν συσυγγραφείς τους Χρήστο Παπαλίτσα και τον Θεόδωρο Ανδρόνικο, το άρθρο τους Χρήστο Παπαλίτσα, Καλλιόπη Κασταμπολίδου, Αλέξανδρο Σινγκ, και Θεόδωρο Ανδρόνικο, το άρθρο (Giannakis et al, 2016) από τους Γεωργία Θεοχαροπούλου, Χρήστο Παπαλίτσα, Θεόδωρο Ανδρόνικο, και Παναγιώτη Βλάμο, και, τέλος, οι εργασίες (Giannakis & Andronikos, 2015c τον Θεόδωρο Ανδρόνικο.…”

unclassified

“…Τα αποτελέσματα από την προτεινόμενη μεθοδολογία του Κεφαλαίου 2 δημοσιεύτηκαν στα (Giannakis et al, 2016 στο περιοδικό Engineering Applications of Artificial Intelligence και τα πρακτικά του συνεδρίου με τίτλο 9th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP) που έλαβε χώρα στην Κέρκυρα το 2014, αντίστοιχα.…”

unclassified

See 2 more Smart Citations

Infinite and standard computation with unconventional and quantum methods using automata

Giannakis¹,

Γιαννάκης²

View full text Add to dashboard Cite

Η εκπόνηση της παρούσας διατριβής αφορά το πεδίο της Θεωρητικής Επιστήμης Υπολογιστών ή Θεωρητικής Πληροφορικής. Αφορά κατά κύριο λόγο τη χρήση “Μη συμβατικών” μεθόδων υπολογισμού, όπως ο υπολογισμός με αυτόματα μεμβράνες και ο υπολογισμός με κβαντικά αυτόματα. Η θεωρία αυτομάτων είναι υποπεδίο της θεωρίας υπολογισμού και στην εργασία αυτή μελετάμε κυρίως παραλλαγές αυτομάτων που δεν ανήκουν στα καθιερωμένα μοντέλα, αλλά αντίθετα έχουν σχέση με αυτό που λέμε “Μη συμβατικές” μέθοδοι υπολογισμού. Η κύρια παραλλαγή των αυτομάτων που ανήκει στη Θεωρία Υπολογισμού και η οποία μελετάται στην παρούσα διατριβή αφορά τα αυτόματα που δέχονται εισόδους άπειρου μήκους. Αυτά τα αυτόματα ονομάζονται ω-αυτόματα. Στην παρούσα εργασία τα συνδέουμε με τον μηχανισμό επερωτήσεων σε ιστούς Διασυνδεδεμένων Δεδομένων, οι οποίοι μπορεί να είναι άπειροι σε μέγεθος. Η έρευνα των εναλλακτικών ή μη συμβατικών μεθόδων υπολογισμού ξεκίνησε λόγω των φυσικών ορίων των υλικών και των μεθόδων που χρησιμοποιούνται στις τρέχουσες υπολογιστικές τεχνολογίες. Ως εκ τούτου, υπάρχειμία συνεχής προσπάθεια για περαιτέρω εξερεύνηση της πιθανότητας χρήσης τέτοιων μεθόδων και υλικών για υπολογιστικούς σκοπούς. Πέρα από τα εμπνευσμένα από τη βιολογία μοντέλα υπολογισμού, όπως είναι τα συστήματα μεμβρανών, η εξερεύνηση κβαντικών υπολογιστικών μεθόδων έχει προσελκύσει αρκετή προσοχή, τόσο στον ακαδημαϊκό χώρο, όσο και τη βιομηχανία. Συνολικά, στην παρούσα διατριβή, προσπαθούμε να φωτίσουμε αυτές τις εναλλακτικές μεθόδους υπολογισμού που λειτουργούν με έναν μη συμβατικό, μη καθιερωμένο τρόπο. Παρουσιάζουμε τόσο το θεωρητικό υπόβαθρο και την τρέχουσα βιβλιογραφία σχετικά με τις έννοιες με τις οποίες καταπιάνεται αυτή η εργασία, όσο και την λεπτομερή συνεισφορά του συγγραφέα, όπως αυτή έχει προκύψει μέσα από διάφορες ήδη δημοσιευμένες εργασίες. Η ορολογία που χρησιμοποιούμε σε όλη την έκταση της διατριβής δηλώνεται ρητά όπου και όταν αυτό απαιτείται. Συνολικά, χρησιμοποιούμε τον όρο “ standard” (“καθιερωμένο”) για τον χαρακτηρισμό του υπολογισμού και των αντίστοιχων αρχιτεκτονικών και μοντέλων που ανήκουν σε ήδη εγκαθιδρυμένες υπολογιστικές δομές, όπως οι μηχανές Turing, τα πεπερασμένα αυτόματα κτλ. Οι όροι “classical” (κλασικός) και “conventional” (“συμβατικός”) υπολογισμός αναφέρονται στην ίδια έννοια και χρησιμοποιούνται, επίσης, στη βιβλιογραφία. Ομοίως, επιλέγουμε τη χρήση του όρου “unconventional” (“μη συμβατικού”) και όχι άλλους όρους που συναντώνται ισοδύναμα στη βιβλιογραφία, όπως “alternative” (εναλλακτικός) και “non-standard” (μη καθιερωμένος).Η διατριβή χωρίζεται σε 3 κύρια μέρη. Το πρώτο από αυτά ασχολείται με τη συσχέτιση κατάλληλων παραλλαγών αυτομάτων με τη διαδικασία επερωτήσεων πάνω σε Ιστούς Διασυνδεδεμένων Δεδομένων. Το δεύτερο κομμάτι αφορά τη χρήση αυτόματων μεμβρανών και την πρόταση κβαντικών αυτομάτων με άπειρες εισόδους. Το τελευταίο τμήμα της διατριβής εμπεριέχει τη συζήτηση και τον σχολιασμό των αποτελεσμάτων μας, καθώς και κατευθύνσεις για μελλοντική έρευνα, μαζί με την παρουσίαση πιθανών εφαρμογών των παραπάνω.

show abstract