[image: Inline image 1] I have this ontology: Now if I want to use some rules like
if x rdf:type Employee and ?x salary>Euro10,000. then ?x QualifiedEmployee. My question here is should I use ?x rdf:type Employee or ?x rdf:type ContractEmployee or PermanantEmployee ContractEmployee or PermanantEmployee does not have any instances, all instances will be either FinanceManager, ITManager, Developer or Analyst..