1 An inference engine for the semantic web Naudts Guido Student at the Open University Netherlands.

Slides:



Advertisements
Similar presentations
Mathematical Preliminaries
Advertisements

1 Inducements–Call Blocking. Aware of the Service?
Copyright © 2008 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Chapter 2 Introduction to XHTML Programming the World Wide Web Fourth edition.
1
Implications Adriano Joaquim de O Cruz ©2002 NCE/UFRJ
Feichter_DPG-SYKL03_Bild-01. Feichter_DPG-SYKL03_Bild-02.
1 Roger L. Costello 16 June 2010 XQuery
Copyright © 2003 Pearson Education, Inc. Slide 7-1 Created by Cheryl M. Hughes, Harvard University Extension School Cambridge, MA The Web Wizards Guide.
Copyright © 2003 Pearson Education, Inc. Slide 8-1 Created by Cheryl M. Hughes, Harvard University Extension School Cambridge, MA The Web Wizards Guide.
Copyright © 2003 Pearson Education, Inc. Slide 1 Computer Systems Organization & Architecture Chapters 8-12 John D. Carpinelli.
Chapter 1 The Study of Body Function Image PowerPoint
Copyright © 2011, Elsevier Inc. All rights reserved. Chapter 6 Author: Julia Richards and R. Scott Hawley.
Author: Julia Richards and R. Scott Hawley
1 Copyright © 2013 Elsevier Inc. All rights reserved. Appendix 01.
Properties Use, share, or modify this drill on mathematic properties. There is too much material for a single class, so you’ll have to select for your.
Objectives: Generate and describe sequences. Vocabulary:
UNITED NATIONS Shipment Details Report – January 2006.
1 RA I Sub-Regional Training Seminar on CLIMAT&CLIMAT TEMP Reporting Casablanca, Morocco, 20 – 22 December 2005 Status of observing programmes in RA I.
Jeopardy Q 1 Q 6 Q 11 Q 16 Q 21 Q 2 Q 7 Q 12 Q 17 Q 22 Q 3 Q 8 Q 13
Properties of Real Numbers CommutativeAssociativeDistributive Identity + × Inverse + ×
Exit a Customer Chapter 8. Exit a Customer 8-2 Objectives Perform exit summary process consisting of the following steps: Review service records Close.
FACTORING ax2 + bx + c Think “unfoil” Work down, Show all steps.
Year 6 mental test 5 second questions
Year 6 mental test 10 second questions
UKOLN, University of Bath
1 SPARQL: A query language for RDF Matthew Yau
Dr. Alexandra I. Cristea CS 253: Topics in Database Systems: C3.
1 Click here to End Presentation Software: Installation and Updates Internet Download CD release NACIS Updates.
REVIEW: Arthropod ID. 1. Name the subphylum. 2. Name the subphylum. 3. Name the order.
Break Time Remaining 10:00.
ABC Technology Project
EU market situation for eggs and poultry Management Committee 20 October 2011.
EU Market Situation for Eggs and Poultry Management Committee 21 June 2012.
XML and Databases Exercise Session 3 (courtesy of Ghislain Fourny/ETH)
1 Undirected Breadth First Search F A BCG DE H 2 F A BCG DE H Queue: A get Undiscovered Fringe Finished Active 0 distance from A visit(A)
2 |SharePoint Saturday New York City
Green Eggs and Ham.
VOORBLAD.
15. Oktober Oktober Oktober 2012.
Factor P 16 8(8-5ab) 4(d² + 4) 3rs(2r – s) 15cd(1 + 2cd) 8(4a² + 3b²)
Basel-ICU-Journal Challenge18/20/ Basel-ICU-Journal Challenge8/20/2014.
1..
CONTROL VISION Set-up. Step 1 Step 2 Step 3 Step 5 Step 4.
© 2012 National Heart Foundation of Australia. Slide 2.
Understanding Generalist Practice, 5e, Kirst-Ashman/Hull
Dr. Alexandra I. Cristea XHTML.
Model and Relationships 6 M 1 M M M M M M M M M M M M M M M M
25 seconds left…...
1 Using one or more of your senses to gather information.
: 3 00.
5 minutes.
Januar MDMDFSSMDMDFSSS
Analyzing Genes and Genomes
1 Let’s Recapitulate. 2 Regular Languages DFAs NFAs Regular Expressions Regular Grammars.
©Brooks/Cole, 2001 Chapter 12 Derived Types-- Enumerated, Structure and Union.
Essential Cell Biology
Clock will move after 1 minute
Intracellular Compartments and Transport
PSSA Preparation.
Essential Cell Biology
Energy Generation in Mitochondria and Chlorplasts
Murach’s OS/390 and z/OS JCLChapter 16, Slide 1 © 2002, Mike Murach & Associates, Inc.
Steffen Staab 1WeST Web Science & Technologies University of Koblenz ▪ Landau, Germany Structured Data on the Web Introduction to.
Profile. 1.Open an Internet web browser and type into the web browser address bar. 2.You will see a web page similar to the one on.
Introduction Peter Dolog dolog [at] cs [dot] aau [dot] dk Intelligent Web and Information Systems September 9, 2010.

Semantic Web Thanks to folks at LAIT lab Sources include :
Presentation transcript:

1 An inference engine for the semantic web Naudts Guido Student at the Open University Netherlands

2 Case study

3 The layers of the semantic web

4 SGML and HTML HTML is an application of SGML. An application is a set of SGML tags and attribute. The tags are used for the presentation of the document. Here's a simple HTML document: My home page Hello there! Welcome to my home page!

5 XML Properties XML Properties Meta-language Subset of SGML Definition of tags –standardisation? Hierarchical Namespaces = mix of languages!

6 XML Example Designing Web Usability Design Internet X

7 DTD Example <!DOCTYPE book [ ]>

8 XML Schema example

9 The layers of the semantic web

Anything can be a resource. Resources have URIs. Resources have properties. Properties have values and types. An RDF document makes statements about resources and their properties. Basics of RDF

11 RDF Properties RDF is a language ==> syntax and semantics XML syntax Notation 3 syntax

A Simple Example “Jan Hanford created the J.S. Bach homepage.” The J.S. Bach homepage is a resource –It has a URI ( –It has a property The property has a type of “creator” The property has a value of “Jan Hanford”

RDF Graph Jan Hanford has the creator Resource Property Type Property Value

Translated to (simplified) RDF: Jan Hanford Resource Property Value Property Type

Namespaces added: Jan Hanford

16 RDF Schema

17 RDF Schema example <rdf:RDF xmlns:rdfs=" xmlns:rdf=" xmlns:daml=" xmlns=" Animal 2

18 The layers of the semantic web

19 Ontology Terms used to describe an area of knowledge Classes, relationships, properties, subclasses Definition of semantics Avoid tower of Babel

20 The layers of the semantic web

21 Closed world assumption –Case study: Jos is member of W3C. All members of W3C are entitled to recieve W3C-mail. Therefore Jos is entitled to recieve W3C-mail. We pose the query: Can Jim recieve mail from the W3C? Jim is not in the list  answer = no!!! Because of closed world assumption.

22 Open world assumption –Case study: I have a list of important internet sites; site A is on my list  site A is important. Site B is not on my list  site B is not important??? Conclusion : Open World is de default assumption, Closed World must be enforced.

23 The layers of the semantic web

24 Proof Proof validation, not generation Simple things: a  b, a thus b. validation: do the URI’s exist, are the steps followed in the reasoning valid?

25 The layers of the semantic web

26 Trust Build a web of trust Truth = trust I believe x Absolute truth ==> a pinguin is a bird Contradictions between trusted parties?

27 Structure of the project

28 Thesis questions 1 What is the best way for realising an inference engine so that the restrictions that are imposed by the structure of the World Wide Web on the Semantic Web are met ? can meta-logical frameworks be used to specify the inference engine of the semantic web?

29 Thesis questions 2 what optimisation techniques can be used? how can inconsistencies best be avoided? which system of logic should be followed on the internet? what is the interpretation of the logic i.e. what are its semantics?

30 Metalogical frameworks Logic + methodology used to represent other logics and to reason about their metalogical properties

31 Optimisation and consistency Reorder clauses Limit the search space Detect inconsistencies i.e. logic contradiction; might be violation of constraints

32 N3 example part 1 # $Id: authen.axiom.n3,v /10/01 00:12:34 amdus Exp :. :member. :w3cmember. :subscribed. {{:person :member :institution. :institution :w3cmember. :institution :subscribed :mailinglist} log:implies {:person :authenticated :mailinglist}} a log:Truth; log:forAll :person, :mailinglist, :institution.

33 N3 example part 2 # $Id: authen.lemma.n3,v /10/15 22:40:11 amdus Exp :. _:who :authenticated.

34 N3 example part 3 # Generated with on Sat Dec 01 02:19:27 GMT+01: # for query # given :. { :member. :w3cmember. :subscribed } log:implies { :authenticated }. # Proof found for in 3 steps (232 steps/sec)