saneAs and AllDifferent using owlready reasoner

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

saneAs and AllDifferent using owlready reasoner

sebastianf
Hello,

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.

Is there a way to get this working in owlready?

Thanks!
Reply | Threaded
Open this post in threaded view
|

Re: saneAs and AllDifferent using owlready reasoner

Jiba
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?

Jiba
Reply | Threaded
Open this post in threaded view
|

Re: saneAs and AllDifferent using owlready reasoner

sebastianf
Hello Jiba,

thank you for the reply! I guess the different names are the problem then? The ontology was fully created using Protégé. I added the sudoku.owl file.

Thanks!





sudoku.owl