No description available.

Understanding bioinformatic data on the Web often requires the interoperation of heterogeneous and autonomous services. Unfortunately, getting many different services to interoperate is problematic, and frequently requires cumbersome shim components which can be difficult to describe and discover using existing techniques. The use of description logic reasoning has been proposed as a method for improving discovery of services, by classifying advertisements and matchmaking them with requests on the semantic Web. However, theoretical approaches to reasoning with semantic Web services have not been adequately tested on realistic scenarios while practical approaches have not fully investigated or applied useful aspects of current theory.

No description available.

Evolution of knowledge perhaps relates more to the replacement of belief then in believing per se. Evolution can be contrasted with consolidation - a period of stability, of little or no change in beliefs. Evolution of knowledge manifests itself in the evolution of special languages. The consolidation of knowledge will manifest itself in minimal change in the special language of the subject during consolidation. Science is defined as observation, identification, description, experimental investigation and theoretical explanation of phenomena. Scientists appear to be focused on issues of evolution. Technology relates to consolidation and science to the evolution of knowledge. This division of labour in the study of knowledge is a model for our study. As such our model ignores the impact of the technology on science. We looked at the conversion of the end-product of a research (evolutionary) enterprise - the journal paper- to the advanced text of the first stage of application - the patent documents. We have used methods and techniques of text analysis based on a corpus of texts to track the change in scientific language. We have looked at the production of journal publications and patent documents by Professor Leo Esaki, a key figure in the field of semiconductor physics. Our analysis shows that research papers and patent documents can be distinguished somewhat on the basis of single word and compound terms. These two lexical signatures show the potential for identifying cross-over points in the transfer of knowledge from the research arena to applications domain.

No description available.

Module extraction is an important reasoning task, aiding in the design, reuse and maintenance of ontologies. Reasoning services such as subsumption testing and MinA extraction have been shown to bene t from module extraction methods. Though various syntactic traversal-based module extraction algorithms exist for extracting modules, many only consider the subsumee of a subsumption statement as a selection criterion for reducing the axioms in the module. In this dissertation we extend the bottom-up reachability-based module extraction heuristic for the inexpressive Description Logic EL, by introducing a top-down version of the heuristic which utilises the subsumer of a subsumption statement as a selection criterion to minimize the number of axioms in a module. Then a combined bidirectional heuristic is introduced which uses both operands of a subsumption statement in order to extract very small modules. We then investigate the relationship between MinA extraction and bidirectional reachabilitybased module extraction. We provide empirical evidence that bidirectional reachability-based module extraction for subsumption entailments in EL provides a signi cant reduction in the size of modules for almost no additional costs in the running time of the original algorithms. / Computer Science / M. Sc. (Computer Science)

Στην παρούσα εργασία αναφερόμαστε στις δυνατότητες αξιοποίησης των Οντολογιών στην Εκπαίδευση. Το αντικείμενο είναι ο σχεδιασμός συστήματος Εκπαίδευσης στη Στατιστική ,το οποίο θα χρησιμοποιεί οντολογίες για την αναπαράσταση του γνωστικού αντικειμένου και του εκπαιδευτικού περιεχομένου. Η ανάπτυξη των οντολογιών θα γίνει με το περιβάλλον Protégé. Στο πρώτο κεφάλαιο θα κάνουμε μια επισκόπηση στην έννοια της Οντολογίας. Θα αναφερθούμε στον ορισμό και στις δυνατότητες της, στα είδη των οντολογιών, στην κατηγοριοποιησή τους και στις γλώσσες αναπαράστασης οντολογιών. Θα γίνει μια συνοπτική παρουσίαση των εργαλείων και των μεθοδολογιών ανάπτυξης των οντολογιών. Στο δεύτερο κεφάλαιο αναλύεται η χρήση των οντολογιών στην Εκπαίδευση και συγκεκριμένα οι μαθησιακές οντολογιές που μπορούν να χρησιμοποιηθούν για την ανάπτυξη ευφυών εκπαιδευτικών πληροφοριακών συστημάτων. Ο χρήστης μαθησιακού υλικού μπορεί να αναζητήσει μαθησιακό υλικό με το περιεχόμενο, τη μορφή και τη δομή του. Για τα συστήματα ηλεκτρονικής μάθησης οι διάφορες πτυχές των τμημάτων του μαθησιακού υλικού περιγράφονται απο τα μεταδεδομένα. Στο τρίτο κεφάλαιο θα δούμε τον ορισμό των μαθησιακών στόχων, ποιοί είναι οι μαθησιακοί στόχοι στην εκπαίδευση, ποιοί είναι οι διδακτικοί στόχοι και ποιά είναι τα σημαντικά τους στοιχεία. Στο τέλος του κεφαλαίου αυτού θα παρουσιαστεί η ταξινομιά Bloom, η οργάνωση και η κατηγοριοποίηση των δεξιοτήτων της σκέψης και των στόχων . Στο τέταρτο κεφάλαιο θα αναλύσουμε το πρότυπο μεταδεδομένων Scorm, το οποίο αποτελεί σήμερα τη σημαντικότερη πρωτοβουλία που αναπτύσσεται στον τομέα των προτύπων του e-Learning. Στο πέμπτο κεφάλαιο θα αναλύσουμε την έννοια της Στατιστικής που θα αποτελέσει το γνωστικό μας αντικείμενο για την δημιουργία της συνδυαστικής οντολογίας μας. Στο έκτο κεφάλαιο θα παρουσιάσουμε την μελέτη που πραγματοποιήθηκε στις θεματικές ενότητες της Πληροφορικής του Ελληνικού Ανοικτού Πανεπιστημίου. Στο έβδομο κεφάλαιο θα περιγράψουμε τον τρόπο κατασκευής των οντολογιών μας, Για την κάθε οντολογία που θα κατασκευάσουμε θα παρουσιαστεί ο λόγος ανάπτυξης της και το πεδίο ενδιαφέροντος, θα καθοριστούν οι ερωτήσεις επάρκειας για την κάθε οντολογία, θα γίνει λεπτομερής περιγραφή των κλάσεων, των ιδιοτήτων των κλάσεων και των στιγμιότυπων της κάθε οντολογίας, θα περιγραφεί λεπτομερός το περιβάλλον ανάπτυξης, η γλώσσα αναπαράστασης των οντολογιών και στο τέλος θα γίνει τεχνική και ποιοτική αξιολόγηση της οντολογίας. Η δοκιμή των Οντολογιών μας στο περιβάλλον Protégé έδειξε πως το μοντέλο διαχείρισης μαθησιακών αντικειμένων και μαθησιακών στόχων που δημιουργήσαμε λειτουργεί αποτελεσματικά σε σχέση με τους στόχους που είχαμε θέσει αφου μας δίνει τη δυνατότητα να ορίσουμε με τυπικό τρόπο βασικές συνιστώσες της μαθησιακής διαδικασίας. / -

Module extraction is an important reasoning task, aiding in the design, reuse and maintenance of ontologies. Reasoning services such as subsumption testing and MinA extraction have been shown to bene t from module extraction methods. Though various syntactic traversal-based module extraction algorithms exist for extracting modules, many only consider the subsumee of a subsumption statement as a selection criterion for reducing the axioms in the module. In this dissertation we extend the bottom-up reachability-based module extraction heuristic for the inexpressive Description Logic EL, by introducing a top-down version of the heuristic which utilises the subsumer of a subsumption statement as a selection criterion to minimize the number of axioms in a module. Then a combined bidirectional heuristic is introduced which uses both operands of a subsumption statement in order to extract very small modules. We then investigate the relationship between MinA extraction and bidirectional reachabilitybased module extraction. We provide empirical evidence that bidirectional reachability-based module extraction for subsumption entailments in EL provides a signi cant reduction in the size of modules for almost no additional costs in the running time of the original algorithms. / Computer Science / M. Sc. (Computer Science)

Στις μέρες μας η χρήση των κινητών συσκευών έχει σημειώσει αλματώδη ανάπτυξη και έχει γίνει αναπόσπαστο κομμάτι της καθημερινότητάς μας. Οι κινητές συσκευές με το πλήθος διαθέσιμων εφαρμογών και δυνατοτήτων που διαθέτουν, καθώς και με τη δυνατότητα πρόσβασης στο Διαδίκτυο, τείνουν να αντικαταστήσουν τους ηλεκτρονικούς υπολογιστές καθώς και μια πληθώρα άλλων συσκευών. Στην παρούσα μεταπτυχιακή διπλωματική εργασία προτείνουμε και υλοποιούμε ένα σύστημα, το οποίο κινείται στα πλαίσια των τεχνολογιών κινητού υπολογισμού και σχεδιάστηκε για να χρησιμοποιείται από τους χρήστες προκειμένου να δέχονται προτάσεις προς επιλογή σχετικά με ταινίες. Το σύστημα αποτελείται από μία κινητή συσκευή η οποία επικοινωνεί με μια οντολογία με χρήση της τεχνολογίας των web services. Όταν ο χρήστης συνδέεται στο λογαριασμό του έχει τη δυνατότητα να πραγματοποιήσει δύο διαδικασίες οι οποίες λειτουργούν με διαφορετικό αλγόριθμο συστάσεων. Στόχος μας είναι να ελέγξουμε κατά πόσο ένα σύστημα συνεργατικών συστάσεων είναι πιο αποδοτικό από ένα σύστημα που λαμβάνει υπόψη το προσωπικό προφίλ ενός χρήστη. Στην παρούσα περίπτωση διαλέξαμε έναν συγκεκριμένο αριθμό ταινιών με παρόμοιο κριτήριο για χρονολογίες από το 2006 έως το 2014. Εφαρμόσαμε τον αλγόριθμο συνεργατικής σύστασης για ταινίες από το 2006 έως το 2010 και τον αλγόριθμο που βασίζεται στο προφίλ μόνο του συνδεδεμένου χρήστη για ταινίες από το 2011 έως το 2014 λαμβάνοντας μια αξιολόγηση για το καθένα. / Nowadays, the use of mobile devices has rapidly developed and has become an integral part of our daily lives. Mobile devices have now a great number of applications and features available, along with the internet accessibility, they tend to replace not only computers but also a variety of other devices. In this master thesis, we propose and implement a system that runs in the context of mobile computing technologies and is designed to be used in order to present to the user all the recommended for him movies. This program consists of a mobile device that communicates with an ontology through a web service. When the user signs in to his account, has the ability to hold two processes each one operating with a different recommendation engine. Our intention is to check whether a collaborative recommendation engine is more efficient than a system which takes into account only the personal profile of a user. In this case study we chose a certain number of films based on a standard for a period of time, from 2006 to 2014. We applied the collaborative recommendation engine to movies from 2006 to 2010 and the algorithm based on the profile of the user signed–into movies released from 2011 to 2014 taking an assessment for each.

Un mapping d’ontologies est un ensemble de correspondances. Chaque correspondance relie des artefacts, typiquement concepts et propriétés, d’une ontologie avec ceux d’une autre ontologie. Le mapping entre ontologies a suscité beaucoup d’intérêt durant ces dernières années. En effet, le mapping d’ontologies est largement utilisé pour mettre en oeuvre de l’interopérabilité et intégration (transformation de données, réponse à la requête, composition de web service) dans les applications, et également dans la création de nouvelles ontologies. D’une part, vérifier l’exactitude (logique) d’un mapping est devenu un prérequis fondamentale à son utilisation. D’autre part, pour deux ontologies données, plusieurs mappings peuvent être établis, obtenus par différentes méthodes d’alignement, ou définis manuellement. L’utilisation de plusieurs mappings entre deux ontologies dans une seule application ou pour synthétiser un seul mapping tirant profit de ces plusieurs mappings, peut générer des erreurs dans l’application ou dans le mapping synthétisé car ces plusieurs mappings peuvent être contradictoires. Dans les deux situations décrites ci-dessus, l’exactitude, la non-contradiction et autres propriétés sont généralement exprimées de façon formelle et vérifiées dans le contexte des ontologies formelles (par exemple, lorsque les ontologies sont représentées en logique) La vérification de ces propriétés est généralement effectuée à l’aide d’un seul formalisme, exigeant d’une part que les ontologies soient représentées par ce seul formalisme et, d’autre part, qu’une représentation formelle des mappings soit fournie, complétée par des notions formalisant les propriétés recherchées. Cependant, il existe une multitude de formalismes hétérogènes pour exprimer les ontologies, allant des plus informels (par exemple, du texte contrôlé, des modèles en UML) aux formels (par exemple, des logiques de description ou des catégories). Ceci implique que pour appliquer les approches existantes, les ontologies hétérogènes doivent être traduites (ou juste transformées, si l’ontologie source est exprimée de façon informelle ou si la traduction complète pour maintenir l’équivalence n’est pas possible) dans un seul formalisme commun et les mappings sont reformulés à chaque fois : seulement à l’issu de ce processus, les propriétés recherchées peuvent être établies. Même si cela est possible, ce processus peut produire à la fois des mappings corrects et incorrects vis-à-vis de ces propriétés, en fonction de la traduction (transformation) opérée. En effet, les propriétés recherchées dépendent du formalisme employé pour exprimer les ontologies et les mappings. Dans cette dissertation, des différentes propriétés ont été a été reformulées d’une manière unifiée dans le contexte d’ontologies hétérogènes utilisant la théorie de Galois. Dans ce contexte, les ontologies sont représentées comme treillis, et les mappings sont reformulés comme fonctions entre ces treillis. Les treillis sont des structures naturelles pour la représentation directe d’ontologies sans obligation de traduire ou transformer les formalismes dans lesquels les ontologies sont exprimées à l’origine. Cette reformulation unifiée a permis d’introduire une nouvelle notion de mappings compatibles et incompatibles. Il est ensuite formellement démontré que cette nouvelle notion couvre plusieurs parmi les propriétés recherchées de mappings, mentionnées dans l’état de l’art. L’utilisation directe de mappings compatibles et incompatibles est démontrée par l’application à des mappings d’ontologies de haut niveau. La notion de mappings compatibles et incompatibles est aussi appliquée sur des ontologies de domaine, mettant en évidence comment les mappings incompatibles génèrent des résultats incorrects pour la fusion d’ontologies. / An ontology mapping is a set of correspondences. Each correspondence relates artifacts, such as concepts and properties, of one ontology to artifacts of another ontology. In the last few years, a lot of attention has been paid to establish mappings between source ontologies. Ontology mapping is widely and effectively used for interoperability and integration tasks (data transformation, query answering, or web-service composition, to name a few), and in the creation of new ontologies. On the one side, checking the (logical) correctness of ontology mappings has become a fundamental prerequisite of their use. On the other side, given two ontologies, there are several ontology mappings between them that can be obtained by using different ontology matching methods or just stated manually. Using ontology mappings between two ontologies in combination within a single application or for synthesizing one mapping taking the advantage of two original mappings, may cause errors in the application or in the synthesized mapping because those original mappings may be contradictory (conflicting). In both situations, correctness is usually formalized and verified in the context of fully formalized ontologies (e.g. in logics), even if some “weak” notions of correctness have been proposed when ontologies are informally represented or represented in formalisms preventing a formalization of correctness (such as UML). Verifying correctness is usually performed within one single formalism, requiring on the one side that ontologies need to be represented in this unique formalism and, on the other side, a formal representation of mapping is provided, equipped with notions related to correctness (such as consistency). In practice, there exist several heterogeneous formalisms for expressing ontologies, ranging from informal (text, UML and others) to formal (logical and algebraic). This implies that, willing to apply existing approaches, heterogeneous ontologies should be translated (or just transformed if, the original ontology is informally represented or when full translation, keeping equivalence, is not possible) in one common formalism, mappings need each time to be reformulated, and then correctness can be established. This is possible but possibly leading to correct mappings under one translation and incorrect mapping under another translation. Indeed, correctness (e.g. consistency) depends on the underlying employed formalism in which ontologies and mappings are expressed. Different interpretations of correctness are available within the formal or even informal approaches questioning about what correctness is indeed. In the dissertation, correctness has been reformulated in the context of heterogeneous ontologies by using the theory of Galois connections. Specifically ontologies are represented as lattices and mappings as functions between those lattices. Lattices are natural structures for directly representing ontologies, without changing the original formalisms in which ontologies are expressed. As a consequence, the (unified) notion of correctness has been reformulated by using Galois connection condition, leading to the new notion of compatible and incompatible mappings. It is formally shown that the new notion covers the reviewed correctness notions, provided in distinct state of the art formalisms, and, at the same time, can naturally cover heterogeneous ontologies. The usage of the proposed unified approach is demonstrated by applying it to upper ontology mappings. Notion of compatible and incompatible ontology mappings is also applied on domain ontologies to highlight that incompatible ontology mappings give incorrect results when used for ontology merging.