Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:dydaktyka:piw:2010:sw:rules [2010/04/30 15:28] ikaf owl 2 and protege4 |
pl:dydaktyka:piw:2010:sw:rules [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 20: | Linia 20: | ||
| ==== DL Reasoning ==== | ==== DL Reasoning ==== | ||
| * Analyze the [[http://owl.man.ac.uk/2003/why/latest/|reasoning examples in OWL DL]] | * Analyze the [[http://owl.man.ac.uk/2003/why/latest/|reasoning examples in OWL DL]] | ||
| - | * Use the [[http://www.co-ode.org/downloads/pizzafinder/|Manchester Pizza Finder]] to see the results of implementing your ontology from the [[..:owl:owl|previous lab]] | + | * Use the [[http://www.co-ode.org/downloads/pizzafinder/|Manchester Pizza Finder]] to see the results of implementing your ontology from the [[.:owl|previous lab]] |
| * Browse sample ontologies with [[http://pellet.owldl.com/owlsight/|OwlSight]] (using Pellet as a DL reasoner) | * Browse sample ontologies with [[http://pellet.owldl.com/owlsight/|OwlSight]] (using Pellet as a DL reasoner) | ||
| * Find all inconsistencies of the example ontologies. | * Find all inconsistencies of the example ontologies. | ||
| Linia 31: | Linia 31: | ||
| Depending on the configurations, Pellet/Jess may be used to execute SWRL rules. | Depending on the configurations, Pellet/Jess may be used to execute SWRL rules. | ||
| + | === Family rules === | ||
| - Read {{:prv:tasks:newsemweblabs:reasoning:swrl2009protegeconference.pdf|about SWRLTab in Protege}} | - Read {{:prv:tasks:newsemweblabs:reasoning:swrl2009protegeconference.pdf|about SWRLTab in Protege}} | ||
| - | - Download [[http://swrl.stanford.edu/ontologies/examples/family.swrl.owl|family ontology with rules]]. Open it in Protege, anayze the rules. Enable JessTab (Project->Configure) and run the rules iteratively. Check the inferred axioms. | + | - Download [[http://swrl.stanford.edu/ontologies/examples/family.swrl.owl|family ontology with rules]]. |
| + | - Open it in Protege (run ''protege3''), in SWRLTab analyze the rules. Click on **J** button to enable Jess rule engine. Run the rules iteratively. Check the inferred axioms. | ||
| + | |||
| + | === Implementing SWRL === | ||
| - Open Protege editor and enable SWRL Tab (Project->Configure in Protege 3.4.4) | - Open Protege editor and enable SWRL Tab (Project->Configure in Protege 3.4.4) | ||
| - Implement an example [[https://ai.ia.agh.edu.pl/wiki/_media/pl:prolog:prolog_lab:animal_kb.pl?id=pl%3Aprolog%3Aprolog_lab%3Aprolog_lab_metaprog&cache=cache|expert system]] - an expert system for recognizing animals: | - Implement an example [[https://ai.ia.agh.edu.pl/wiki/_media/pl:prolog:prolog_lab:animal_kb.pl?id=pl%3Aprolog%3Aprolog_lab%3Aprolog_lab_metaprog&cache=cache|expert system]] - an expert system for recognizing animals: | ||
| Linia 83: | Linia 86: | ||
| * what is a property chain axiom? | * what is a property chain axiom? | ||
| - | If Protege 4.1. is available: | + | |
| - | - Run Protege: ''protege4'' | + | - Run Protege, version 4: ''protege4'' |
| - Create a new ontology in Protege | - Create a new ontology in Protege | ||
| - Model the family ontology with rules using OWL 2 constructs ([[http://www.semantic-web-book.org/page/ESWC09_Tutorial|See OWL2 tutorials]]) | - Model the family ontology with rules using OWL 2 constructs ([[http://www.semantic-web-book.org/page/ESWC09_Tutorial|See OWL2 tutorials]]) | ||
| Linia 95: | Linia 98: | ||
| * http://www.w3.org/2007/OWL/wiki/Test_Suite_Status | * http://www.w3.org/2007/OWL/wiki/Test_Suite_Status | ||
| + | |||
| + | ===== Komentarze ===== | ||
| + | |||
| + | Z braku lepszego miejsca tutaj studenci wpisują komentarze natury ogólnej do tego lab. 8-) | ||
| + | |||
| + | Za dużo materiału do przerobienia. Gdy wybiła godzina końca zajęć, ja dotarłem do Family Rules (podpunkt 3), czytając wcześniej jedynie Reasoning Examples in OWL DL (co zajęło ponad 45 minut). | ||
