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

2. 2 Case study

3. 3 The layers of the semantic web

4. 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. 5 XML Properties XML Properties Meta-language Subset of SGML Definition of tags –standardisation? Hierarchical Namespaces = mix of languages!

6. 6 XML Example Designing Web Usability Design Internet 1-56205-810-X

7. 7 DTD Example <!DOCTYPE book [ ]>

8. 8 XML Schema example

9. 9 The layers of the semantic web

10. 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. 11 RDF Properties RDF is a language ==> syntax and semantics XML syntax Notation 3 syntax

12. A Simple Example “Jan Hanford created the J.S. Bach homepage.” The J.S. Bach homepage is a resource –It has a URI (http://www.jsbach.org)http://www.jsbach.org –It has a property The property has a type of “creator” The property has a value of “Jan Hanford”

13. RDF Graph http://www.jsbach.org Jan Hanford has the creator Resource Property Type Property Value

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

15. Namespaces added: Jan Hanford

16. 16 RDF Schema

17. 17 RDF Schema example <rdf:RDF xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:daml="http://www.daml.org/2001/03/daml+oil#" xmlns="http://www.daml.org/2000/12/daml+oil#"> Animal 2

18. 18 The layers of the semantic web

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

20. 20 The layers of the semantic web

21. 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. 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. 23 The layers of the semantic web

24. 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. 25 The layers of the semantic web

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

27. 27 Structure of the project

28. 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. 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. 30 Metalogical frameworks Logic + methodology used to represent other logics and to reason about their metalogical properties

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

32. 32 N3 example part 1 # $Id: authen.axiom.n3,v 1.2 2001/10/01 00:12:34 amdus Exp $ @prefix log:. @prefix :. :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. 33 N3 example part 2 # $Id: authen.lemma.n3,v 1.3 2001/10/15 22:40:11 amdus Exp $ @prefix log:. @prefix :. _:who :authenticated.

34. 34 N3 example part 3 # Generated with http://www.agfa.com/w3c/euler/#28.061 on Sat Dec 01 02:19:27 GMT+01:00 2001 # for query http://www.agfa.com/w3c/euler/authen.lemma.n3 # given [http://www.agfa.com/w3c/euler/authen.axiom.n3] @prefix log:. @prefix :. { :member. :w3cmember. :subscribed } log:implies { :authenticated }. # Proof found for http://www.agfa.com/w3c/euler/authen.lemma.n3 in 3 steps (232 steps/sec)