The doctoral dissertations of the former Helsinki University of Technology (TKK) and Aalto University Schools of Technology (CHEM, ELEC, ENG, SCI) published in electronic format are available in the electronic publications archive of Aalto University - Aaltodoc.
Aalto

Programming Semantic Web Applications: A Synthesis of Knowledge Representation and Semi-Structured Data

Ora Lassila

Dissertation for the degree of Doctor of Science in Technology to be presented with due permission of the Department of Computer Science and Engineering for public examination and debate in Auditorium TU2 at Helsinki University of Technology (Espoo, Finland) on the 6th of November, 2007, at 12 noon.

Dissertation in PDF format (ISBN 978-951-22-8985-1)   [4076 KB]
Dissertation is also available in print (ISBN 978-951-22-8984-4)

Abstract

Software application development is largely centered around various representations of data and representations of the world in which the software operates. Often, while a software system itself is specified in terms of procedures and procedural semantics, the data the system uses and manipulates has declarative semantics; connecting the two is often an ad hoc endeavor.

The issues of complex data representations are amplified within artificial intelligence applications that employ sophisticated knowledge representation. More recently, applications involving Semantic Web technologies are faced with the same situation. The Semantic Web is an attempt to enable sophisticated data representation for and within the context of World Wide Web content, aiming to enable more automated and autonomous applications to be built that take advantage of data on the Web. As such, the Semantic Web represents a vision for the next generation of Web applications and Web usage.

This dissertation focuses on the representation of (Semantic Web) data as directed, labeled graphs. A method is introduced for querying these representations by expressing path patterns, enabling software programs to be "glued" to complex representations. The query mechanism is then extended to implement reasoning (i.e., logical inference) for this data, and to hide the reasoning process from application programs. A reasoner is presented for data based on an extended version of the RDF(S) data model. The outcome is a synthesis of two views of (Semantic Web) data, namely the view of the data as a logic formalism, and a view of the data as semi-structured graphs.

An evaluation of the query mechanism is presented, contrasted against other approaches to querying RDF(S) data. Examples of various software applications making use of the Semantic Web, the path query mechanism, and the reasoner are also presented.

Keywords: Semantic Web, knowledge representation, programming

This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.

© 2007 Helsinki University of Technology


Last update 2011-05-26