Advanced topics in software engineering (Semantic web)

1

• Advanced topics in software engineering (Semantic
  web)

2
Goals of the course

• Understand the goals of the semantic web
• Whats it for
• Whats there now
• Where is it going
• Understand the foundations for the semantic web
• Languages logic
• Nodes and arcs RDF and its relatives
• Description logics Frames
• OWL and the Protégé/OWL tools
• Ontology problems
• Language and concepts
• Abstractions, time, space, parts wholes,
  granularity scale
• Common idioms common pitfalls

3
References

• Fensel, D. Hendler, J. Lieberman, H. and
  Wahlster, W (eds.). Spinning the Semantic Web.
  MIT Press, Cambridge, MA, 2003. ISBN
  0-262-06232-1.
• Michael C. Daconta, Leo J. Obrst, Kevin T. Smith.
  The semantic web a guide to the future of XML,
  web services and knowledge management, John Wiley
  Sons (May 19, 2003).

4
Assesments

• Midterm and final exams
• Assignments
• Research, paper and presentation

5
(No Transcript)
6
(No Transcript)
7
(No Transcript)
8
(No Transcript)
9
(No Transcript)
10
Impossible (?) using the Syntactic Web

• Complex queries involving background knowledge
• Find information about animals that use sonar
  but are not either bats or dolphins
• Locating information in data repositories
• Travel enquiries
• Prices of goods and services
• Results of human genome experiments
• Finding and using web services
• Delegating complex tasks to web agents
• Book me a holiday next weekend somewhere warm,
  not too far away, and where they speak French or
  English

11
(No Transcript)
12
(No Transcript)
13
(No Transcript)
14
(No Transcript)
15
(No Transcript)
16
(No Transcript)
17
Need to Add Semantics

• External agreement on meaning of annotations
• E.g., Dublin Core for annotation of
  library/bibliographic information
• Agree on the meaning of a set of annotation tags
• Problems with this approach
• Inflexible
• Limited number of things can be expressed
• Use Ontologies to specify meaning of annotations
• Ontologies provide a vocabulary of terms
• New terms can be formed by combining existing
  ones
• Conceptual Lego
• Meaning (semantics) of such terms is formally
  specified
• Can also specify relationships between terms in
  multiple ontologies

18
(No Transcript)
19
(No Transcript)
20
(No Transcript)
21
(No Transcript)
22
(No Transcript)
23
(No Transcript)
24
(No Transcript)
25
(No Transcript)
26
(No Transcript)
27
(No Transcript)
28
(No Transcript)
29
(No Transcript)
30
(No Transcript)
31
(No Transcript)
32
(No Transcript)
33
(No Transcript)
34
(No Transcript)
35
(No Transcript)
36
(No Transcript)
37
(No Transcript)
38
(No Transcript)
39
(No Transcript)
40
(No Transcript)
41
(No Transcript)
42
(No Transcript)
43
(No Transcript)
44
(No Transcript)
45
(No Transcript)
46
(No Transcript)
47
(No Transcript)