杜剑锋 Protege教程.ppt

Protégé Tutorial 主讲：杜剑峰 dududjf@ Protégé Tutorial : Overview Session 1: Interface basics Session 2: Defining a vegetarian pizza Review: OWL Basics Intro: Protégé-OWL Interface: Creating Classes Concept: Disjointness Interface: Creating Properties Concept: Describing Classes Interface: Creating Restrictions Review of OWL OWL… is a W3C standard – Web Ontology Language comes in 3 flavours (Lite, DL and Full) we are using OWL DL (Description Logic) DL = decidable fragment of First Order Logic (FOL) is generally found in RDF/XML syntax is therefore not much fun to write by hand So, we have tools to help us OWL Constructs Get Protégé-OWL Starting Protégé-OWL Protégé OWL plugin Protégé OWL plugin: Tabs Classes Tab ClassesTab: Asserted Class Hierarchy ClassesTab: Class Editor ClassesTab: Class Editor Create Classes Disjointness OWL assumes that classes overlap Disjointness If we state that classes are disjoint ClassesTab: Disjoints Widget Make Classes Disjoint Save Your Work Create PizzaToppings What have we got? We’ve created a tree of disjoint classes Disjoints are inherited down the treee.g. something that is a TomatoTopping cannot be a Pizza because its superclass, PizzaTopping, is disjoint from Pizza You should now be able to select every class (except DomainConcept) and see its siblings in the disjoints widget What are we missing? This is not a semantically rich model Apart from “is kind of” and “is not kind of”, we currently don’t have any other information of interest We want to say more about Pizza individuals, such as their relationship with other individuals We can do this with properties Properties Tab Properties Tab: Property Browser Properties Tab: Property Browser Create a Property Associating Properties with Classes We now have two properties we want to use to describe Pizza individuals. To do this, we must go back to the Pizza class and add some further information This comes in the form of Restrictions (which are a type of Condition) ClassesTab: Cond