Ontology Editor and OWL Syntax Exploration
The Protégé Ontology Editor
COMP6256 Knowledge Graphs for AI Systems
Dr Nicholas Gibbins – nmg@ecs.soton.ac.uk
Protégé
Download Protégé Desktop 5.5.0 from http://protege.stanford.edu/
Integrates reasoning into the ontology design process
•
Check your ontology for consistency, subsumption, etc
•
Available DL reasoners:
•
HermiT – http://www.hermit-reasoner.com/
•
Pellet – http://pellet.owldl.com/
•
FaCT++ – http://owl.man.ac.uk/factplusplus
Manchester DL syntax
The DL syntax we’ve used so far is a ‘traditional’ syntax for logical expressions
•
Not well understood by non-logicians
•
Not easy to type (lots of special symbols)
The Manchester DL syntax is a more user-friendly syntax for use in tools
•
Used extensively in Protégé
•
http://www.w3.org/TR/owl2-manchester-syntax/
Manchester Syntax Summary
ESSENTIAL READING!
Horridge et al (2011) A Practical Guide to
Building OWL Ontologies using Protégé 4
and CO-ODE Tools
http://owl.cs.manchester.ac.uk/publications/talks-and-tutorials/protg-owl-tutorial/
Example ontology: OWL Pizzas
•
Build an ontology for describing pizzas
and their ingredients
•
Must be able to determine whether
pizzas are:
•
Vegetarian
•
Vegan
•
Spicy
•
Contain allergens (nuts, dairy)
•
Low-calorie
Delve into the world of ontology editing and OWL syntax with the Protégé Ontology Editor, along with essential reading materials for building OWL ontologies. Discover tools for integrating reasoning and ensuring consistency in your ontologies. Learn about Manchester DL syntax and its user-friendly approach. Explore an example ontology for describing pizzas and their attributes like being vegetarian, vegan, spicy, containing allergens, or being low-calorie.
Download Presentation
Please find below an Image/Link to download the presentation.
The content on the website is provided AS IS for your information and personal use only. It may not be sold, licensed, or shared on other websites without obtaining consent from the author.If you encounter any issues during the download, it is possible that the publisher has removed the file from their server.
You are allowed to download the files provided on this website for personal or commercial use, subject to the condition that they are used lawfully. All files are the property of their respective owners.
The content on the website is provided AS IS for your information and personal use only. It may not be sold, licensed, or shared on other websites without obtaining consent from the author.
E N D
Presentation Transcript
The Protg Ontology Editor COMP6256 Knowledge Graphs for AI Systems Dr Nicholas Gibbins nmg@ecs.soton.ac.uk
Protg Download Prot g Desktop 5.5.0 from http://protege.stanford.edu/ Integrates reasoning into the ontology design process Check your ontology for consistency, subsumption, etc Available DL reasoners: HermiT http://www.hermit-reasoner.com/ Pellet http://pellet.owldl.com/ FaCT++ http://owl.man.ac.uk/factplusplus 3
Manchester DL syntax The DL syntax we ve used so far is a traditional syntax for logical expressions Not well understood by non-logicians Not easy to type (lots of special symbols) The Manchester DL syntax is a more user-friendly syntax for use in tools Used extensively in Prot g http://www.w3.org/TR/owl2-manchester-syntax/ 4
Manchester Syntax Summary Traditional DL Syntax Manchester Syntax C and D C or D not C R some C R only C R min n R max n R exactly n R value x R min n C R Self int[>=2, <=15] ? ? ? ? ? ?.? ?.? ? ? ? ? = ? ? ?.{?} ? ?.? Reflexive property Datatype restrictions 5
ESSENTIAL READING! Horridge et al (2011) A Practical Guide to Building OWL Ontologies using Prot g 4 and CO-ODE Tools http://owl.cs.manchester.ac.uk/publications/talks-and-tutorials/protg-owl-tutorial/ 6
Example ontology: OWL Pizzas Build an ontology for describing pizzas and their ingredients Must be able to determine whether pizzas are: Vegetarian Vegan Spicy Contain allergens (nuts, dairy) Low-calorie 7
