Pushing the limits of OWL, Rules and Prot é g é A simple example
description
Transcript of Pushing the limits of OWL, Rules and Prot é g é A simple example
OWL: Experiences and Directions (OWLED-2005)Galway, Ireland, November 11-12, 2005
Pushing the limits of Pushing the limits of OWL, Rules and ProtOWL, Rules and Protééggéé
A simple exampleA simple example
Anne Cregan
Malgorzata Mochol
Denny Vrandečić
Sean Bechhofer
OWL: Experiences and Directions (OWLED-2005)
Galway, Ireland, November 11-12, 2005
Summer School
OWL: Experiences and Directions (OWLED-2005)
Galway, Ireland, November 11-12, 2005
Modeling task
Model Summer School and its project groups Classify Good Groups wrt to 5 requirements
4 or 5 members Easy in OWL
Mixed gender group Possible, but tricky for a novice
No two members with same nationality No two members from same institution
Impossible in OWL, hard in SWRL Having fun
OWL: Experiences and Directions (OWLED-2005)
Galway, Ireland, November 11-12, 2005
Different nationalities
hasMember(?g, ?s) hasNationality(?s, ?n) hasMember(?g, ?x) hasNationality(?x, ?n) differentFrom(?s, ?x) BadGroup(?g)
But how to define a Good Group??
OWL: Experiences and Directions (OWLED-2005)
Galway, Ireland, November 11-12, 2005
Different nationalitiesGroupWithFourMembers(?g) hasMember(?g, ?a) hasNationality(?a, ?n) hasMember(?g, ?b) hasNationality(?b, ?o) hasMember(?g, ?c) hasNationality(?c, ?p) hasMember(?g, ?d) hasNationality(?a, ?q) differentFrom(?a, ?b) differentFrom(?a, ?c) differentFrom(?a, ?d) differentFrom(?b, ?c) differentFrom(?b, ?d) differentFrom(?c, ?d) differentFrom(?n, ?o) differentFrom(?n, ?p) differentFrom(?n, ?q) differentFrom(?o, ?p) differentFrom(?o, ?q) differentFrom(?p, ?q) GoodGroupWrtNationality(?g)
OWL: Experiences and Directions (OWLED-2005)
Galway, Ireland, November 11-12, 2005
OWL / Open World Assumption
rich set of class constructors weaker expressivity for properties
challenging to fully understand: the implications of the Open World Assumption the lack of Negation as Failure.
OWL: Experiences and Directions (OWLED-2005)
Galway, Ireland, November 11-12, 2005
Rules
asymmetric usage of positive and negative forms
need declaration of closures
rules become large and difficult to edit or maintain
lack of an appropriate reasoner
OWL: Experiences and Directions (OWLED-2005)
Galway, Ireland, November 11-12, 2005
Read the paper
highlight the problems with OWL and rules Give feedback for the tools available
supply tutorial material be used as an early test case for reasoners
initiate discussion of possible solutions
we formalized fun
OWL: Experiences and Directions (OWLED-2005)
Galway, Ireland, November 11-12, 2005
Thank you!
ROVE web sitehttp://www.aifb.uni-karlsruhe.de/WBS/dvr/rove/
Authors Anne Cregan
Malgorzata Mochol
Denny Vrandečić[email protected]
Sean Bechhofer