1. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB A Specification Language and System for the Three-Dimensional Visualisation of Knowledge Bases El Mustapha EL ATIFI and Gilles FALQUET Information System Interfaces Department of Information Systems University of Geneva

2. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 2 Context Study the 3D visualisation of knowledge bases – Design – Metaphors – Effectiveness knowledge base 3D scene

3. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 3 Outline Introduction Knowledge and Interface Models Abstract Interface Specification Concrete Interface Specification Conclusion and perspectives.

4. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 4 Visualisation of Knowledge Bases in 3D Difficulties Represent abstract concepts, facts, rules Represent formalized and non-formalized knowledge Hard to program 3D interfaces => few prototyping and usability testing Simplify 3D interface generation

5. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 5 Approach Declarative specification Specify the interface structure Specify mappings KB entities interface objects Two Levels (reduce the semantic gap) Abstract interface Concrete interface

6. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 6 Specifications Interfaces Abstract Specification Generator Open GL Java 3D X3D Abstract Interface Concrete Specification GeneratorTranslator Concrete Interface Principles Knowledge Base

7. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 7 Formalized knowledge Classes, semantic relations, objects Expressed in RDF/RDFS Non Formalized knowledge Documents Connected to the formal description Knowledge Base Model

8. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 8 RDF Formalism Knowledge base = set of triples (subject predicate object) Markup Language HTML type Language subClassOf a.html example Programming Language subClassOf a.b.c/prog definition html.html description

9. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 9 ?x H. Bersini auteur éditeur ?e SPARQL: W3C recommandation Based on triple patterns Selection in a RDF/S KB

10. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 10 Abstract interface model Abstract spatial hypertext Nodes subnodes Links hypertext navigation inclusion (node to subnode) semantic links

11. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 11 loc=front loc=left attribut Inclusion Sémantique Navigation attribut Example

12. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 12 Abstract specification Set of node schemas Node schema Selection from the KB (SPARQL expression) Content specification Hierarchy of XML elements Values from the KB Link specifications

13. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 13 abstract-node: ConceptPresentation [c] selection: (c rdf:type rdfs:Class)(c term ?t) content: t inclusion link: to: ExamplesOf[c] attributes: (position: "left") inclusion link: to: DescriptionsOf[c] attributes: (position: "right") An Abstract Node Specification

14. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 14 Generated abstract interface Instances of node schemas ConceptPresentation [123] Language ExamplesOf[123]... DescriptionsOf[123]... Panel[1]... Panel[6]... ConceptPresentation [56] Programming language ConceptPresentation [19584] Markup language

15. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 15 Concrete interface Spatial Hypertext Nodes shape layout manager Links inclusion navigation semantic ==> layout constraints

16. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 16 attributes Layout Mgr 3 Layout Mgr 4 Layout Mgr 2 Layout Mgr 1 Concrete interface model

17. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 17 Concrete specification Associate a concrete node to each abstract node concrete-node: ExamplesOf [c] shape: Wall layout-manager: Sequence

18. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 18 Example Knowledge base : course on information technologies Concepts and semantic relationships Documents Illustrations, examples, descriptions Visualisation Exhibition metaphor Concept ==> Stand Documents ==> posters on the walls Navigation links to other concepts

19. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 19 tile term C-158 Markup language term C-162 XHTML CSS sheet reference N-682 C-160 XML language term ref example N-623 N-622 Analyse dXML Utilisation dXML title N-644 def. Example: Knowledge Base

20. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 20 Exhibition ExamplesOf[c] ConceptPresentation[c] LabelAndSupCof[c] DescriptionsOf[c] TextPanel[?d] Example: abstract node * * *

21. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 21 Exhibition ExamplesOf[c] ConceptPresentation[c] { } LabelAndSupCof[c] DescriptionsOf[c] TextPanel[?d] { } { } abstract-node: LabelAndSupCsof parameters: c selection: (c rdfs:label ?l).(c rdfs:supClasseOf ?c2).(c lzy:definition ?d) content: // label + a subsumption link to every related concept l attributes: (position: "center"; type:"text"), d attributes: (position: "right"; type:"ext-link"; object:"Def") { navigation link: to: ConceptPresentation[c2] type: "subsumption " } attributes: (position: "top") Example

22. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 22 Exhibition ExamplesOf[c] ConceptPresentation[c] { } LabelAndSupCof[c] DescriptionsOf[c] TextPanel[?d] { } { } layout-clrtb panel concrete-node: LabelAndSupCsof parameters: c shape: panel layout-manager: layout-clrtb Example

23. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 23 Exhibition ExamplesOf[c] ConceptPresentation[c] { } LabelAndSupCof[c] DescriptionsOf[c] TextPanel[?d] { } { } VRML Interface

24. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 24

25. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 25 Example

26. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 26 Spécifications déclaratives Deux niveaux de spécification Une spécification abstraite peut servir pour plusieurs BC À partir dune spécification abstraite possibilité de générer plusieurs interfaces concrètes Conclusion

27. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KB 27 Étudier les positionneurs Étudier linteraction Méthodologie de conception Perspectives

28. M. El Atifi, G. Falquet - University of Geneva DSVIS'05: 3D Visualisation KBThanks El Mustapha EL ATIFI & Gilles FALQUET { Elmustapha.Elatifi; Gilles.Falquet }@cui.unige.ch Questions ? ? ?