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:33] ikaf swrl reorganized |
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 86: | 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 98: | 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). | ||
