1. The Semantic Web Week 1 Module Content + Assessment Lee McCluskey, room 2/07 Email lee@hud.ac.uk Department of Computing And Mathematical Sciences Module Website: http://scom.hud.ac.uk/scomtlm/chs2533

2. Background + Overview n The Semantic Web is the Vision of having an internet with resources (data AND processes) that are machine understandable or accessible to automated processes. Computers should do much more than present the information visually or do human-consumable IR.

3. Background + Overview n By “Web Services” we mean web resources that allow us to carry out an action or gain some specific information eg sale of a product, control of a physical device. n Processes on the SW will need to perform reasoning to fully exploit the SW eg for doing u service composition u service discovery

4. Background + Overview n High level languages are being designed to encode information on the Semantic Web (with XML as “machine code”) n Services will ‘understand’ each other with the use of ONTOLOGIES – these are are precise specifications of concepts and applications areas..BUT still a long long way to go before realisation of the SW

5. Aims + Synopsis n To provide an appreciation of current and likely future developments in internet computing, especially related to intelligent services, intelligent agents, and semantically marked-up information. n To enable the student to produce semantically marked-up information and create and reason with application ontologies. The student will be introduced to the concepts and techniques of the semantic web via lectures and tutorials. Theoretical skills in formal systems such as Description Logics will be introduced in tutorials. In practicals students will be introduced to tools that can be used to create and reason with ontologies.

6. Learning Outcomes 1. Knowledge Outcomes The student will assimilate knowledge in the areas of n 1.1 semantic web languages n 1.2 intelligent web services n 1.3 intelligent agents n 1.4 ontology and description logic n 1.5 applications of the semantic web 2. Ability Outcomes n Upon completion of this module, the learner will be able to use appropriate intellectual and software tools to: n 2.1 semantically mark-up and create an ontology for a small application n 2.2 manipulate and modify third party ontologies n 2.3 manipulate and reason with web-related description logics

7. Assessment: 30 per cent coursework [Report detailing investigation of an application area using ontologies OR practical use of an ontology builder] Given out week 6 or 7. Collected after Christmas. 70 per cent unseen 2 hour Exam 4 questions from 6

8. Reading List: Berners-Lee, Hendler and Lassila: “The Semantic Web”, Scientific American, May, 2001 (available in electronic form). Guarino, N., “Formal Ontology and Information Systems”, Proceedings of FOIS’98, Trento, IOS Press (available in electronic form). Baader, Calvanese, McGuinness, Nardi and Patel-Schneider. “The Description Logic Handbook: Theory, Implementation and Applications.” Cambridge University Press, 2003 Barwise, J., and Etchemendy, J., “The Language of First-Order Logic (Tarski's World)”, Cambridge University Press, 1992 World Wide Web Consortium (W3C) main page: http://www.w3.org/ W3C Semantic Web main page:www.w3.org/2001/sw/

9. Resources: The main resources for this course are electronic papers, lecture slides, tutorials etc. Also description there are many documents from the W3C website. They are literally thousands of these – see the module website for details.

10. Related Modules + Subject Area: AI: - agents, communication, reasoning Advanced Databases: - ontologies + description logics Client – Server and distributed systems: Information Systems – structuring and vocabularies for common terms OO design + Programming – UML, OO classes

11. Related Modules + Subject Area SEMANTIC WEB OO Modelling Advance Databases Advanced Information Systems Client- Server and Dist Systems Artificial Intelligence Language Specification And Implementation Ontologies UML OO Classes Logic and reasoning Semantic notations Conceptual Schema and Description logics Shared services

12. (very) Draft Schedule - 1 n WEEK 1 lecture: Introduction to the Semantic Web u Practical – LOGIC refresher n WEEK 2 lecture: History of the internet and its current deficiencies. Intoduction to Semantic mark-up languages: XML, RDF u Practical – using XML / RDF n WEEK 3 lecture: Introduction to Ontologies: requirements for, examples, ontology editors such as OILed u Practical – use of OilEd n WEEK 4 lecture: Logic and reasoning: review of first order logic u Tutorial – logic examples n WEEK 5 lecture: Logic and reasoning: inference and inference algorithms u Tutorial – logic examples n WEEK 6 lecture: Logic and reasoning: inference and inference algorithms u Tutorial – logic examples

13. (very) Draft Schedule- 2 n WEEK 7 lecture: Description logics: representation + form, content and + semantics u Practical n WEEK 8 lecture: Description logics: reasoning u Practical – automated tools n WEEK 9 lecture: Ontology languages: Oil, DAML, OWL n WEEK 10 lecture: Building ontologies -1 u Practical - OilEd n WEEK 11 lecture: Building ontologies -2 n WEEK 12 lecture: Recap

14. (very) Draft Schedule- 3 n Week 13 lecture: Domain Models and Model building n Week 14 lecture: Domain Model Example: ATC n Week 15 lecture: Domain Model Example: ATC n Week 16 lecture: Intelligent internet agents – basics. types of agent - multi agents, mobile agents, information agents n Week 17 lecture: Intelligent internet agents – reasoning+planning, n Week 18 lecture: Intelligent internet agents – adaptation+ learning

15. (very) Draft Schedule- 4 n Week 19 lecture: Semantic web services: automated reasoning with web pages; n Week 20 lecture: Semantic mark-up for web services: service description languages eg DAML-S and OWL-S n Week 21 lecture: Automated service composition and service discovery; n Week 22 lecture: Potential Applications: Knowledge management, communication in e-Commerce (B2B,B2C) n Week 23 lecture: Potential Applications: Information search and retrieval etc n Week 24 lecture: Revision

16. Do this week: PRACTICAL on logic: http://scom.hud.ac.uk/scomtlm/chs2533 Look at web site and go through exercises Read this online article: Berners-Lee, Hendler and Lassila: “The Semantic Web”, Scientific American, May, 2001 (search on authors second names and article title)..