I'm modelling an ontology about Pokèmon using Protègè 5.5.0 and it's reasoner Hermit (Pellet doesn't work and makes the program crash). I created some rules about pokemon types' effectiveness. I first created a rules stating that, for example, a pokèmon of grasstype can use moves of grasstype and now I want to create a rule stating that a pokemon of ONLY one type (so, excluding those pokemon having, for example, both grass and poison types as Bulbasaur) has the same effectiveness of the moves it can use. E.G, If water moves are supereffective against fire moves, than a water pokemon is superffective against a fire pokemon.
I created this rule: SuperEffective(?x,?y), hasType(?z,?y) -> SuperEffective(?z,?y) and the only problem is that it selects also the pokemon with two types. What is the syntax to insert this kind of restriction/exclusion from the rule? Thank you.
