Advanced Reasoning With OWL

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 ...