0

I'm trying to get the reasoner in Protege 4 to catagorise individuals as per a data property score.

Individuals with good health have a data property 'ambulation Score' of 8. I am trying to get a reasoner to place such an individual into a class called 'good health'. The data property 'ambulation Score' is an integer between 1 and 10. Individual 'Alice' has a ambulation Score of 8 which should equate to 'good-Health' but no matter how I try I can't get Protege 4 to infer her into class 'good health'.

SurvivalMachine
  • 7,946
  • 15
  • 57
  • 87
Phil
  • 31
  • 4
  • Any reason for not replying on the mailing list where you already asked for support? For instance, I asked you to provide the prefixes of the Turtle dump. – UninformedUser Sep 29 '16 at 14:15

1 Answers1

0

First of all, Potégé is an editor, not a reasoner. So, strictly speaking, it cannot do anything like you say. However, Protégé can host plugins among which you find reasoners. By default, the HermiT reasoner is preinstalled with Protégé 4 and 5. Other reasoners are pluggable in Protégé. The capabilities of the reasoners embedded in Protégé depend on what subset of the OWL specification they are supporting. In OWL 2, there are well defined subsets called profiles (OWL 2 DL, OWL 2 EL, OWL 2 QL, and OWL 2 RL) that correspond each to a partial support of OWL constructs.

Reasoning with datatype properties, including what you describe, is possible with OWL 2 DL. Consequently, any OWL-2-DL-conformant reasoner can do what you describe. HermiT is an OWL 2 DL reasoner, so it should be able to do what you explain. However, I can see two explanations for why Protégé is not showing you the expected inference:

  1. The ontology you are using does not model properly the knowledge you would like it to express. Please show us how the ontology is so we can help.
  2. Protégé is not showing all the inferences that the reasoner is doing. Protégé is just an interface. It does not show everything the reasoner does. So, while the reasoner maybe be indeed able to make the inference, you do not see it because Protégé is not considering it for display. This happens for some inferences, such as inferred domains and ranges that are not displayed. I do not know if the case you describe is part of those non-showing inferences.

You should also know that you can parameterise the types of inferences that Protégé should display. There is a tab in the preferences with checkboxes telling which kind of inferred facts should be displayed.

Antoine Zimmermann
  • 5,314
  • 18
  • 36
  • Was already asked on the [mailing list](http://protege-project.136.n4.nabble.com/Can-I-reason-using-data-properties-td4666544.html), even providing the ontology (as incomplete Turtle dump), but for whatever reason he avoided to reply there on questions and thought it's more efficient to ask the same on another channel. Seems to be a trend in the last time... – UninformedUser Sep 29 '16 at 14:17