Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
The Semantic Web Week 1 Module Content + Assessment Lee McCluskey, room 2/07 Email [email protected] Department of Computing And Mathematical Sciences Module Website: http://scom.hud.ac.uk/scomtlm/chs2533 Background + Overview 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. Background + Overview 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. Processes on the SW will need to perform reasoning to fully exploit the SW eg for doing service composition service discovery Background + Overview High level languages are being designed to encode information on the Semantic Web (with XML as “machine code”) 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 Aims + Synopsis 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. 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. Learning Outcomes 1. Knowledge Outcomes The student will assimilate knowledge in the areas of 1.1 semantic web languages 1.2 intelligent web services 1.3 intelligent agents 1.4 ontology and description logic 1.5 applications of the semantic web 2. Ability Outcomes Upon completion of this module, the learner will be able to use appropriate intellectual and software tools to: 2.1 semantically mark-up and create an ontology for a small application 2.2 manipulate and modify third party ontologies 2.3 manipulate and reason with web-related description logics 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 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/ 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. 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 Related Modules + Subject Area ClientServer and Dist Systems OO Modelling UML OO Classes Advance Databases Conceptual Schema and Description logics Ontologies Advanced Information Systems Artificial Intelligence Shared services Logic and reasoning SEMANTIC WEB Semantic notations Language Specification And Implementation (very) Draft Schedule - 1 WEEK 1 lecture: Introduction to the Semantic Web WEEK 2 lecture: History of the internet and its current deficiencies. Intoduction to Semantic mark-up languages: XML, RDF Tutorial – logic examples WEEK 5 lecture: Logic and reasoning: inference and inference algorithms Practical – use of OilEd WEEK 4 lecture: Logic and reasoning: review of first order logic Practical – using XML / RDF WEEK 3 lecture: Introduction to Ontologies: requirements for, examples, ontology editors such as OILed Practical – LOGIC refresher Tutorial – logic examples WEEK 6 lecture: Logic and reasoning: inference and inference algorithms Tutorial – logic examples (very) Draft Schedule- 2 WEEK 7 lecture: Description logics: representation + form, content and + semantics WEEK 8 lecture: Description logics: reasoning Practical – automated tools WEEK 9 lecture: Ontology languages: Oil, DAML, OWL WEEK 10 lecture: Building ontologies -1 Practical Practical - OilEd WEEK 11 lecture: Building ontologies -2 WEEK 12 lecture: Recap (very) Draft Schedule- 3 Week 13 lecture: Domain Models and Model building Week 14 lecture: Domain Model Example: ATC Week 15 lecture: Domain Model Example: ATC Week 16 lecture: Intelligent internet agents – basics. types of agent - multi agents, mobile agents, information agents Week 17 lecture: Intelligent internet agents – reasoning+planning, Week 18 lecture: Intelligent internet agents – adaptation+ learning (very) Draft Schedule- 4 Week 19 lecture: Semantic web services: automated reasoning with web pages; Week 20 lecture: Semantic mark-up for web services: service description languages eg DAML-S and OWL-S Week 21 lecture: Automated service composition and service discovery; Week 22 lecture: Potential Applications: Knowledge management, communication in e-Commerce (B2B,B2C) Week 23 lecture: Potential Applications: Information search and retrieval etc Week 24 lecture: Revision 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). .