Ontology Matching • Semantic Social Networks and Peer-To-Peer Systems
Total Page:16
File Type:pdf, Size:1020Kb
The web: from XML to OWL Rough Outline 1. Foundations of XML (Pierre Genevès & Nabil Layaïda) • Core XML • Programming with XML Development of the future web • Foundations of XML types (tree grammars, tree automata) • Tree logics (FO, MSO, µ-calculus) • Expressing information ! Languages • A taste of research: introduction to some grand challenges • Manipulating it ! Algorithms 2. Semantics of knowledge representation on the web (Jérôme Euzenat & • in the most correct, efficient and ! Logic Marie-Christine Rousset) meaningful way ! Semantics • Semantic web languages (URI, RDF, RDFS and OWL) • Querying RDF and RDFS (SPARQL) • Querying data though ontologies (DL-Lite) • Ontology matching • Semantic social networks and peer-to-peer systems 1 / 8 2 / 8 Foundations of XML Semantic web We will talk about languages, algorithms, and semantics for efficiently and meaningfully manipulating formalised knowledge. We will talk about languages, algorithms, and programming techniques for efficiently and safely manipulating XML data. You will learn about: You will learn about: • Expressing formalised knowledge on the semantic web (RDF) • Tree structured data (XML) ! Syntax and semantics ! Tree grammars & validation You will not learn about: • Expressing ontologies on the semantic • XML programming (XPath, XSLT...) You will not learn about: web (RDFS, OWL, DL-Lite) • Tagging pictures ! Queries & transformations ! Syntax and semantics • Hacking CGI scripts ! Reasoning • Sharing MP3 • Foundational theory & tools • HTML • Creating facebook ! Regular expressions can be used to • Querying formalised knowledge pages... validate XML data • SQL... ! Querying RDF graphs (SPARQL) ! Finite tree automata lie at the heart of ! Querying modulo ontologies (RDFS, we assume you already XML validators OWL) know this ;-) ! Modal logic allows implementing XPath query analyzers • Matching ontologies ! Semantic of alignments ! Using several independent ontologies at once 3 / 8 4 / 8 Organization Foundations of XML This part will introduce you to the world of XML and to the challenges of dealing with XML data. Some of these challenges are: • Course website: http://exmo.inrialpes.fr/teaching/sw/ • Slides and papers online • Existing PL technology offers severely limited (or no) support for XML • Specific information (room, changes. ) ! how to transform XML data efficiently? • Send email to [email protected], [email protected] with ! how to implement information search and extraction? M2R-SW in subject ! how to design type systems for safe XML processing? • do not hesitate to send feedback • Existing DB technology cannot be applied to XML data ! XML data are tree-structured • Need for new algorithms and programming techniques ! XML motivates theory that is still being constructed 5 / 8 6 / 8 About XML References • XML is the World Wide Web Consortium’s (W3C: www.w3c.org) Extensible Markup Language • We hope to convince you that XML is not yet another hyped acronym, but is (more than) useful technology. • Excellent further readings: • You will become best friends with one of the most important data • W3C homepage (for current standards) structures in Computing Science, the tree. http://www.w3.org XML is all about tree-shaped data. • course slides of S. Maneth (DB oriented) • You will learn to apply a number of closely related XML standards: http://www.cse.unsw.edu.au/∼cs4317/ • Representing data: XML itself, DTD, XML Schema, XML dialects • book draft of H. Hosoya (PL theory oriented) • Interfaces to connect generic PLs to XML: DOM, SAX http://arbre.is.s.u-tokyo.ac.jp/∼hahosoya/xmlbook/xmlbook.pdf • Languages to query/transform XML: XPath, XSLT • In the end, you should be able to digest the thick pile of related W3C X__ standards (like XQuery, XPointer, XHTML, XInclude, XML Schema...) 7 / 8 8 / 8.