• Όλες οι κατηγορίες
• Ενδοπολυτεχνικές Ανακοινώσεις και Συζητήσεις
• Ακαδημαϊκές Ανακοινώσεις
• Ανακοίνωση Παρουσίασης Διδακτορικής Διατριβής Μπατσάκη Σωτήρη Τμήματος ΗΜΜΥ

Ανακοίνωση Παρουσίασης Διδακτορικής Διατριβής Μπατσάκη Σωτήρη Τμήματος ΗΜΜΥ

• 1

• Συντάχθηκε 08-12-2011 10:12 από Eleni Stamataki

  Email συντάκτη: estamataki<στο>tuc.gr

  Ενημερώθηκε: -

  Ιδιότητα: σύνταξη/αποχώρηση υπάλληλος.
  ΠΟΛΥΤΕΧΝΕΙΟ ΚΡΗΤΗΣ
  Τμήμα Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών
  
  
  ΠΑΡΟΥΣΙΑΣΗ ΔΙΔΑΚΤΟΡΙΚΗΣ ΔΙΑΤΡΙΒΗΣ
  
  
  “SOWL: A Framework for Handling
  Spatio-Temporal Information in OWL”
  
  
  Μπατσάκης Σωτήριος
  
  
  
  Παρασκευή 16 Δεκεμβρίου 2011, Ώρα 13:00
  Αμφιθέατρο κτ. Επιστημών, Πολυτεχνειούπολη
  
  Εξεταστική Επιτροπή:
  Αν. Καθ. Ευριπίδης Πετράκης, Τμήμα ΗΜΜΥ, Πολυτεχνείου Κρήτης (επιβλέπων)
  Καθ. Χριστοδουλάκης Σταύρος, Τμήμα ΗΜΜΥ, Πολυτεχνείου Κρήτης
  Καθ. Γαροφαλάκης Μίνως, Τμήμα ΗΜΜΥ, Πολυτεχνείου Κρήτης
  Καθ. Πλεξουσάκης Δημήτριος, Τμήμα Επιστήμης Υπολογιστών, Πανεπιστημίου Κρήτης
  Καθ. Αντωνίου Γρηγόριος, Τμήμα Επιστήμης Υπολογιστών, Πανεπιστημίου Κρήτης
  Καθ. Κουμπαράκης Εμμανουήλ, Τμήμα Πληροφορικής & Τηλ/νιών, Ε.Κ.Π.Α.
  Καθ. Σελλής Τιμολέων, Σχολή ΗΜΜΥ, Ε.Μ.Π.
  
  ΠΕΡΙΛΗΨΗ
  
  The Semantic Web extends existing World Wide Web (WWW) with formal machine readable semantics that enable better understanding of Web content by both, people and machines. The OWL ontology language forms the basis of Semantic Web technologies by providing the means for defining formal semantics of concepts and their properties. Semantic Web standards also provide with the formalism and mechanisms for supporting reasoning and querying of information in OWL.
  Representing dynamic information for concepts evolving in time and space is an important issue to deal with. This calls for mechanisms for representing dynamic properties of objects. In addition, these mechanisms must offer support for qualitative information (i.e., information represented using natural language expressions such as “before” for time or “north” for space) which are common in natural language expressions in many applications.
  The current thesis addresses all these issues: representation of dynamic concepts is achieved using the “4D-fluents” or, alternatively, the “N-ary relations” mechanisms; Both mechanisms are thoroughly explored and are expanded for representing qualitative (in addition to quantitative) spatio-temporal information in OWL. Temporal representations based both, on intervals and on time instants (points) are supported and compared. Our approach models spatial content in description logics using the eight relations of the Region Connection Calculus (RCC complemented by directional relations encoded by cone-shaped or, alternatively, projection-based relations.
  Qualitative spatial and temporal information is supported using sets of SWRL rules and OWL axioms offering a sound, complete and tractable reasoning procedure based on path consistency applying on the supported sets of relations. Polynomial time complexity of spatio-temporal reasoning is achieved by restricting the supported sets of relations to “tractable” sets. Furthermore, rules enforcing cardinality constrains on dynamic properties are defined. Reasoning support for qualitative information and restriction checking is also introduced in this work for increasing expressive power of existing approaches. Building-upon existing Semantic Web standards and on the idea of integrating reasoning support into the proposed representation are important advantages of the proposed approach.
  Query support in SOWL is realized with two languages referred to as TOQL and SOWL Query Language. Both, are high-level query languages, independent from the underlying SOWL representation so that, the user need not be familiar with the peculiarities of the ontological spatio-temporal representation in SOWL (i.e., the 4D-fluents or the N-ary approach). TOQL handles ontologies almost like relational databases and relies on the idea of extending SQL with spatio-temporal operators. Respectively, SOWL builds-upon SPARQL, the current standard of the Semantic Web, which is also extended with a set of spatio-temporal operators similar to those introduced in TOQL.
  

  ---

• 1