Your SlideShare is downloading. ×
Semantic Decision Rule Markup Language V1.0 specification
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

Semantic Decision Rule Markup Language V1.0 specification

1,097
views

Published on


0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
1,097
On Slideshare
0
From Embeds
0
Number of Embeds
3
Actions
Shares
0
Downloads
1
Comments
0
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

  • 1. Semantic Decision Rule Markup Language – SDRule-ML V1.0 Yan Tang Demey 201226/10/2012 | pag. 1
  • 2. SDRule-L • FOL Rule-ML + ORM-ML + some extensions • Examples are taken from – Terry Halpin and Tony Morgan, Information Modeling and Relational Databases. Second Edition. With Tony Morgan. Morgan Kaufmann. ISBN 978-0-12-373568-3. – Yan Tang and Robert Meersman, SDRule Markup Language: Towards Modeling and Interchanging Ontological Commitments for Semantic Decision Making, Chapter V (Section I) in Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, IGI Publishing, ISBN: 1-60566-402-2, USA, 200926/10/2012 | pag. 2
  • 3. SDRule-ML XSD • SDRule – XML Root • Object: lexon term • Predicate: lexon • Constraint • Rule: any Rule in FOL • Cluster: a set of lexons • Sequence: a sequence of role execution26/10/2012 | pag. 3
  • 4. SDRule-ML XSD A lexon (binary fact type) is a predicate Constraint on lexon Any rules in FOL26/10/2012 | pag. 4
  • 5. SDRule-ML XSD Any rules in FOL Ref: RuleML FOL26/10/2012 | pag. 5
  • 6. SDRule-ML XSD A cluster is a set of lexons Sequence of roles in fact types26/10/2012 | pag. 6
  • 7. An Example of Lexon • Person was born in Country Verbalization • Country is a birth place of Person In the XML file26/10/2012 | pag. 7
  • 8. An example of objectification • Student is enrolled in Course • Course enrols Student • This Enrolment is resulted in Grade • Grade is a result of this Enrolment26/10/2012 | pag. 8
  • 9. An example of uniqueness constraint • Person has Gender • Each Person has at most one Gender26/10/2012 | pag. 9
  • 10. An example of mandatory constraint • Person was born in Country • Each Person was born in at least one Country26/10/2012 | pag. 10
  • 11. An example of exclusion • Person has Wife • Person has Husband • No Person has Wife, and also has Husband26/10/2012 | pag. 11
  • 12. An example of inclusive-or constraint • Visitor has Driver’s Licence • Visitor has Passport • Each Visitor either has Driver’s Licence, or has Passport, or both26/10/2012 | pag. 12
  • 13. An example of exclusive-or • Person accept Gift • Person refuse Gift • Each Person either accept Gift, or refuse Gift, but not both26/10/2012 | pag. 13
  • 14. An example of subtype • Wife is a Person • Husband is a Person26/10/2012 | pag. 14
  • 15. An example of subset • Person do Sport • Person play Golf • If some Person play some Golf, then that Person do some Sport26/10/2012 | pag. 15
  • 16. An example of value (I) • Dress has Colour • The value range of Colour is {Red, Blue, Yellow, Black, White, Pink, Brown, Green}26/10/2012 | pag. 16
  • 17. An example of value (II) • Thermometer has Thermometer Value • The value range of Thermometer Value is [-20, 100]26/10/2012 | pag. 17
  • 18. An example of frequency (I) • Room has Thermometer • Each Room has 2 Thermometer26/10/2012 | pag. 18
  • 19. An example of frequency (II) • Room has Thermometer • Each Room has <2 Thermometer26/10/2012 | pag. 19
  • 20. An example of frequency (II) • Room has Thermometer • Each Room has >=2 Thermometer26/10/2012 | pag. 20
  • 21. An example of cluster • Working contains fact types{ Person works for Company Person has Salary }26/10/2012 | pag. 21
  • 22. An example of cluster II • People execute Task of Handling Phone • Task of Handling Phone is executed by People • Task of Handling Phone contains fact types { Secretary picks up Phone Secretary answers Phone }26/10/2012 | pag. 22
  • 23. An example of equivalence • Person works for Company • Person has Salary • Person works for Company if and only if this Person has Salary26/10/2012 | pag. 23
  • 24. An example of negation • Person accept Request • Person accept no Request26/10/2012 | pag. 24
  • 25. An example of implication • Driver has License • Driver has Driver’s License • If Driver has Driver’s License, then this Driver has License26/10/2012 | pag. 25
  • 26. An example of sequence • Manager receive Customer Request • Manager verify Customer Request • Manager receive Customer Request before Manager verify Customer Request26/10/2012 | pag. 26
  • 27. Two examples of multi- subtype dependency (MSTD) • All subtypes from Order Manager in the context identified with www.example.org/customerRelation are also from Order Manager in the context identified with www.example.org/requestAnalysis • All subtypes from Order Manager in the context identified with www.example.org/customerRelation are also from Manager in the context identified with www.example.org/requestAnalysis26/10/2012 | pag. 27
  • 28. A combined example of negation and implication • Customer is listed in Catalog • Catalog lists Customer • Manager creates Customer • Customer is created by Manager • Manager approves Request • Request is approved by Manager • If Customer is listed in Catalog, then Manager approves Request • If Customer is listed in no Catalog, then Manager creates Customer26/10/2012 | pag. 28
  • 29. A combined example of value and implication • Customer has Age • Age is of Customer • Manager refuses Customer • Customer is refused by Manager • Manager creates Customer • Customer is created by Manager • If the value range of Age is >=18, then (Manager creates Customer, Customer is created by Manager) • If the value range of Age is <=18, then (Manager refuses Customer, Customer is refused by Manager)26/10/2012 | pag. 29
  • 30. An example of optional constraint • Person works for Company • Person has Salary • Person works for Company if and only if this Person has Salary [neglect]26/10/2012 | pag. 30
  • 31. Useful Links • Materials can be downloaded from https://sourceforge.net/projects/sdrulel/file s/ – SDRule-L XML Schema (.xsd) – All the examples in XML files from the slides – Java API and documentation • Current xsd location: http://heanet.dl.sourceforge.net/project/sdr ulel/SDRule_1.0.xsd26/10/2012 | pag. 31

×