Advanced Reasoning With OWL
57 pages
English

Advanced Reasoning With OWL

-

Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres
57 pages
English
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

Description

Page 118 July 2005 Protégé ConferenceAdvanced Reasoning With OWLKaustubh Supekar, Olivier DameronSMI - Stanford UniversityCredits: Matthew Horridge, Holger Knublauch et al.A Practical guide to building OWL ontologies using the Protégé-OWL plugin and CO-ODE toolsNatasha Noy, Alan RectorW3C “Semantic Web Best Practice” Working GroupWarning:• This file is a lightweight version of its pdfcounterpart, that contains additional screenshots before and after each step. Please use the pdffile if you want to go through this tutorial on your own.• This tutorial covers (far) more than we would have time to do during the allocated timeslot. It is intended to do so, as it is easier to adjust to the audience needs during the "live" session, while providing a comprehensive and autonomous set of information.Stanford Medical Informatics, Stanford CA ©2005 Stanford University - Reproduction ProhibitedPage 218 July 2005 Protégé ConferenceReasoning : how to• Run the reasoner as a separate processHow to call a remote reasoner ?• Configure Protégé (if you have a weird config.)• Use the “classify” buttonClassesInstancesRacerProhttp:/ /www.racer-systems.com/ index.htmlOutlineOWL semanticsReasoningGood practiceTips and tricksStanford Medical Informatics, Stanford CA ©2005 Stanford University - Reproduction ProhibitedPage 318 July 2005 Protégé ConferenceOWL Semantics(the theoretical part)IndividualsAtomsUnique Name AssumptionNot in OWLin Protégéin ...

Sujets

Informations

Publié par
Publié le 24 juin 2011
Nombre de lectures 88
Langue English
Poids de l'ouvrage 1 Mo

Exrait

18July2005ProtégéConference
Advanced Reasoning With OWL
Kaustubh Supekar, Olivier Dameron SMI - Stanford University Credits: Matthew Horridge, Holger Knublauch et al. A Practical guide to building OWL ontologies using the Protégé-OWL plugin and CO-ODE tools Natasha Noy, Alan Rector W3C “Semantic Web Best Practice” Working Group
Warning:
This file is a lightweight version of its pdf counterpart, that contains additional screenshots before and after each step. Please use the pdf file if you want to go through this tutorial on your own. This tutorial covers (f ar) more than we would have time to do during the allocated timeslot. It is intended to do so, as it is easier to adjust to the audience needs during the "live" session, while providing a comprehensive and autonomous set of information.
Page1
Stanford Medical Informatics, Stanford CA ©2005 Stanford University - Reproduction Prohibited
18July2005ProtégéCon
Reasoning : how to
ference
Run the reasoner as a separate process How to call a remote reasoner ? Configure Protégé (if you have a weird config.) Use the classify button Classes Instances
RacerPro http:/ /www.racer-systems.com/ index.html
Outline
OWL semantics Reasoning Good practice Tips and tricks
Stanford Medical Informatics, Stanford CA
Page2
©2005 Stanford University - Reproduction Prohibited
18July2005ProtégéConference
OWL Semantics (the theoretical part)
Individuals
Atoms Unique Name Assumption Not in OWL in Protégé in reasoners (Racer...)
Stanford Medical Informatics, Stanford CA
Page3
©2005 Stanford University - Reproduction Prohibited
18July2005
Properties
ProtégéConference
Binary relationships on individuals Slots ~ Domain, Range Used as axioms (e.g.hasToppingand ice creams) Subproperties Characteristics Transitive: e.g. hasPart, hasAncestor... Functional: e.g. hasSSN, hasMother... Symmetric: e.g. isSiblingOf...
Stanford Medical Informatics, Stanford CA
Page4
©2005 Stanford University - Reproduction Prohibited
18July2005
Classes
ProtégéConference
Sets of individuals Special classes: top (T) = owl:Thing i.e. set of all the individuals bottom () = empty set Can be combined using set operators subset (subsumption) disjoint sets union intersection complement
Classes: Disjointness
T A
B
By default, any individual MAY be an instance of any classes => partial overlap of classes is assumed
Page5
Stanford Medical Informatics, Stanford CA ©2005 Stanford University - Reproduction Prohibited
18July2005ProtégéConfere
Classes: subsumption
nce
A B : all the instances of A are instances of B
Classes: subsumption
T A
B
T A
B
It is necessary to be a B in order to be a A It is sufficient to be a A in order to be a B
Page6
Stanford Medical Informatics, Stanford CA ©2005 Stanford University - Reproduction Prohibited
18July2005
Classes
ProtégéConference
Cumulative approach: combine classes using set operators (union, intersection, complt) express constraints define complex concepts Intensional approach: describe the characteristics of a class and the system will automatically: recognize that an individual is an instance of it recognize that it is a subclass or a superclass of another class
Stanford Medical Informatics, Stanford CA
Combining Concepts
Page7
©2005 Stanford University - Reproduction Prohibited
18July2005
Prerequisite
Protég
Pizza Vegetarian_pizza Spicy_pizza Named_pizza Margherita pizza _ Americana_pizza Jalapeno_pizza
éConference
DISJOINTS
Don't worry about the toppings, this is the next step!
AND (Intersection)
Create SpicyAndVegetarian_pizza as a subclass of Pizza Add the necessary condition: Vegetarian_pizza Spicy_pizza Classify
Stanford Medical Informatics, Stanford CA
Page8
©2005 Stanford University - Reproduction Prohibited
18 July 2005
Protégé Conference
AND (Intersection)
A
A B
Ex: VegetarianPizza
Stanford Medical Informatics, Stanford CA
B
SpicyPizza
Page 9
©2005 Stanford University - Reproduction Prohibited
18July2005
OR (Union)
ProtégéConference
1.Create SpicyOrVegetarian_pizza as a subclass of Pizza 2.Add the necessary condition: Vegetarian_pizza Spicy_pizza 3.Classify :-(
Stanford Medical Informatics, Stanford CA
Page10
©2005 Stanford University - Reproduction Prohibited
18 July 2005
OR (Union)
A
Protégé Conference
A B
Ex: VegetarianPizza
Stanford Medical Informatics, Stanford CA
B
SpicyPizza
Page 11
©2005 Stanford University - Reproduction Prohibited
  • Accueil Accueil
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • BD BD
  • Documents Documents