I have an owl file that is basically modelling a Sudoku in an ontology. It is basically a single class with multiple individuals Action as fields and numbers.
The numbers and fields are connected with sameAs and AllDifferent depending on the given Sudoku. In protege hermit completes the sudoku based on those sameAs/AllDifferent inputs, but using hermit in owlready nothing happens.
Re: saneAs and AllDifferent using owlready reasoner
Administrator
Hello,
sameAs and AllDifferent are normally supported by Owlready. However, they have different names in Owlready than in OWL or Protégé: sameAs is named equivalent_to (identical name as for classes), and AllDifferent is actually an alias to AllDisjoint.
Do you create your ontology in Owlready or entirely in Protégé? Would it be possible to send it to me so I can investigate the problem?