reasoning

I would like to better understand ontologies and reasoning. There is an interesting puzzle called Einstein's riddle on the net that can be solved with the help of ontologies and reasoning. I downloaded the OWL ontology from that site and imported it into Protege 4.0.2 (does not work with 4.1). I can start a reasoner by Reasoner → FaCT++ , Reasoner → Classify… , but i don't know, how to visualize the individual results. How can I do this? There are two ways in which you can visualise the results. Firstly, when you select the "Classes" Tab, you will see that there are two views available to you:

I am using Protege 4.3 to make some SWRL rules. Is it possible to write a rule that contains a disjunction in it For instance : Person(?x), Age(?x,?age), (?age < 10 or ?age > 30) -> blabla(?x) Meaning all people having age < 10 OR > 30 You can't directly express a disjunction in the rule body the way that you'd like to, unfortunately, but there are some workarounds. The most direct solution is to write two rules: Person(?x), Age(?x,?age), ?age < 10 -> blah(?x) Person(?x), Age(?x,?age), ?age > 30 -> blah(?x) SWRL does support the use of class expressions (see more in Martin Kuba's OWL 2 and