280 likes | 360 Views
Designing User Interfaces to Minimise Common Errors in Ontology Development. The CO-ODE and HyOntUse projects. Alan Rector, Nick Drummond , Matthew Horridge, Jeremy Rogers, Holger Knublauch, Robert Stevens, Hai Wang, Chris Wroe. Funded by. Who Are We Working With?. What’s This Talk About?.
E N D
Designing User Interfaces to Minimise Common Errors in Ontology Development The CO-ODE and HyOntUse projects Alan Rector, Nick Drummond, Matthew Horridge, Jeremy Rogers, Holger Knublauch, Robert Stevens, Hai Wang, Chris Wroe Funded by UK e-Science all hands meeting
Who Are WeWorking With? UK e-Science all hands meeting
What’s This Talk About? • Problems in building ontologies in OWL • Tools to begin addressing the problems UK e-Science all hands meeting
What’s The Problem? Building Ontologies is difficult UK e-Science all hands meeting
Why? • Not everyone can afford to employ an ontologist • XML/RDF/OWL is not much fun to write by hand • DL languages like OWL often don’t behave as expected UK e-Science all hands meeting
Behave as Expected? • OWL does not make the Unique Name Assumption • DLs use Open World Reasoning • Domain and Range as axioms • Only logicians like symbols like and • Primitive vs Defined classes UK e-Science all hands meeting
What’s The Problem? Building Ontologies VERY is in OWL difficult without help! UK e-Science all hands meeting
WE WANTTOHELP UK e-Science all hands meeting
Why Should We(of all people) Help? • Tutorials and courses run with OWL and DAML+OIL • Existing tools developed by Manchester and Stanford (OilEd & Protégé) • Lots of ontology building experience • High level of involvement in language standards being created • In house DL expertise UK e-Science all hands meeting
How Can We Help? By making tools which: • Provide easy access to common tasks • Make correct actions the default • Simplify complex tasks • Improve presentation • Make it easy to catch mistakes Encourage Good Modelling UK e-Science all hands meeting
+ = What Are We Doing? UK e-Science all hands meeting
1. Access to Common Tasks:Disjointness • Problem: Explicit assertion of disjointness required • Aim: Make whole primitive tree disjoint • Common task: Make all siblings disjoint • Solutions: • Make all subclasses disjoint action • Make all siblings disjoint button • Create group of classes wizard UK e-Science all hands meeting
1. Access to Common Tasks:Disjointness UK e-Science all hands meeting
2. Default Actions:Universal Restrictions • Problem: Universal restrictions used incorrectly • Common task: Create a set of existential restrictions and then close • Solutions: • Create existential restriction by default • Closure action abstracts away universal restr. • Warn when universal restr. used inappropriately UK e-Science all hands meeting
2. Default Actions:Universal Restrictions UK e-Science all hands meeting
3. Complex tasks:Creating Patterns • Problem: Modelling practice not established so its easy to omit steps in creating patterns • Aim: Create patterns in a consistent manner • Solutions: • Supporting work by W3C Semantic Web Best Practice Working Party • Wizards (eg Value Partitions) • Covering Axioms action UK e-Science all hands meeting
3. Complex tasks:Creating Patterns UK e-Science all hands meeting
4. Improve Visualisation:Defined Classes • Problem: Class definition and effects of classification are hard to visualise • Aim: Create defined classes and allow polyheirarchies to be computed automatically • Solutions: • Clear distinctions between restrictions defining a class and those simply describing it • Improved visualisation to navigate the model before and after classification UK e-Science all hands meeting
4. Improve Visualisation:Defined Classes UK e-Science all hands meeting
4. Improve Visualisation:Defined Classes UK e-Science all hands meeting
5. Catching Mistakes:Timebombs • Problem: Finding the reasons for inconsistencies or misclassification is hard • Aim: Check that model fits in with intent of modeller • Solutions: • Tests framework • Warnings during editing of possible bad practice • Debugging view UK e-Science all hands meeting
5. Catching Mistakes:Timebombs UK e-Science all hands meeting
Is That All? • Improved Reasoner support • Support for larger ontologies • Hiding away workarounds for language limitations • Cut-down editing environment • More wizards (pattern support) UK e-Science all hands meeting
Get the Protégé OWL tutorial What If You Still Can’tUse It? UK e-Science all hands meeting
What Was All That? • We are contributing to the successful Protégé OWL plugin • We are developing further tools • The aim of the tools is to make ontology development easier • We have also developed tutorials and other community support UK e-Science all hands meeting
How Do You Contribute? • Ontologies: Applications, Requirements and Tools BoF, 4:20pm Room 2 • CO-ODE forum (http://www.co-ode.org/forum) • Protégé OWL mailing list (http://protege.stanford.edu) UK e-Science all hands meeting
One Final Question… UK e-Science all hands meeting
…Any Questions? UK e-Science all hands meeting