Transcript Lecture Notes

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).
.