Towards a Visual Editing Environment for the Languages of the Semantic Web - PowerPoint PPT Presentation

1 / 19
About This Presentation
Title:

Towards a Visual Editing Environment for the Languages of the Semantic Web

Description:

Lacks property constructors. Solution. Extend with Horn rules/invariants (DAML-L) ... CD's visual alternative to OCL. Venn-diagrams arrows. Example invariant ... – PowerPoint PPT presentation

Number of Views:46
Avg rating:3.0/5.0
Slides: 20
Provided by: johanl4
Category:

less

Transcript and Presenter's Notes

Title: Towards a Visual Editing Environment for the Languages of the Semantic Web


1
Towards a Visual Editing Environment for the
Languages of the Semantic Web
  • Johan Lövdahl
  • johlo805_at_student.liu.se

2
Problem description
  • Investigate how DAMLOIL can be used to specify
    static semantics for XML documents
  • Visual specification of ontologies

3
Talk Outline
  • Background
  • Semantic Web
  • The solution
  • UML and DAMLOIL
  • Limitations of DAMLOIL
  • Constraint diagrams for editing rules
  • The SWEDE framework
  • Conclusion

4
The Semantic Web
  • W3C is currently working towards the semantic Web
  • Most Web resources for human consumption (HTML)
  • Semantic Web aims at machine-processability
  • Semantic markup will be added to resources
  • Markup will use ontologies for shared
    understanding of concepts

5
The Semantic Web
  • Ontology conceptual structure of the domain
  • DAMLOIL is the current ontology language
  • Basic modelling primitives classes and
    properties
  • Ontology consists of set of axioms (e.g.
    subclass/disjointness)

6
The Semantic Web
  • Classes can be names or expressions
  • Expressions create complex concepts from simpler
    ones with class constructors
  • Set of constructors/axioms choosen so reasoning
    is decidable (limited expressiveness)
  • Ontologies can be used for static semantics

7
UML and DAMLOIL
  • DAMLOIL only has an XML representation.
  • How can we create ontologies visually?
  • UML and DAMLOIL shares basic modelling
    primitives, classes and properties (attributes)
  • Many users, tools, XMI, extension mechanisms

8
UML and DAMLOIL
  • Map all DAMLOIL language elements to UML class
    diagram notation
  • Stereotypes and tagged values
  • Example classes, properties and axioms

9
UML and DAMLOIL
  • ltClass IDAnimal/gt
  • ltClass IDDoggt
  • ltsubClassOf resourceAnimal/gt
  • lt/Classgt
  • ltClass IDHumangt
  • ltsubClassOf resourceAnimal/gt
  • ltdisjointWith resourceDog/gt
  • lt/Class

10
UML and DAMLOIL
  • ltClass IDHuman/gt
  • ltProperty IDhasParent/gt
  • ltProperty IDhasFathergt
  • ltdomain resourceHuman/gt
  • ltrange resourceHuman/gt
  • ltsubPropertyOf resourcehasParent/gt
  • lt/Propertygt

11
UML and DAMLOIL
  • Mismatches between UML and DAMLOIL
  • Class expressions
  • Properties are first-class
  • Can be alleviated with stereotype icons?

12
Limitations of DAMLOIL
  • Is DAMLOIL powerful enough?
  • Lacks property constructors
  • Solution
  • Extend with Horn rules/invariants (DAML-L)

13
Constraint Diagrams for Rules
  • Two ways of editing rules/invariants visually was
    tested UML-Rules and constraint diagrams (CD)
  • CDs visual alternative to OCL
  • Venn-diagrams arrows
  • Example invariant

14
Constraint Diagrams for Rules
  • All humans are either male or female
  • All humans have a shoesize
  • New notation, editor exists (CDEditor)
  • But no rules!

15
Constraint Diagrams for rules
  • ancestor(X, Y) - parent(X, Z), ancestor(Z, Y)

16
The SWEDE
  • The Semantic Web Editing Environment
  • UML and Constraint Diagrams for ontologies
  • Set of programs for translating to underlying
    language
  • No evaluator for DAMLOIL. DAML-L doesnt exist
  • Use Frame-Logic (F-Logic) and Flora interpreter

17
(No Transcript)
18
The SWEDE
  • XMI2FloraSchema translates subset of UML
    notation to F-Logic (XSLT)
  • CD2Flora subset of CD ( extension) to F-Logic
    rules (Java XML Schema compiler)
  • XML2FloraDB XML documents to F-Logic facts (XSLT)

19
Conclusion
  • Work shows the possibility of using UML and CDs
    for DAMLOIL (and DAML-L)
  • Example applications XHTML and Java
  • Problems
  • UML not doing well with class expressions
  • Are CDs intuitive? Does it scale?
  • Tools not integrated
Write a Comment
User Comments (0)
About PowerShow.com