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

annec@cse.unsw.edu.au

Malgorzata Mochol

mochol@inf.fu-berlin.de

Denny Vrandečićdenny@aifb.uni-karlsruhe.de

Sean Bechhofer

sean.bechhofer@manchester.ac.uk