Defining Protege class with expression of numerical data

Question

I am building a smart home ontology. I now have a class hierarchy like that:

I

Answer 1

You can do it with class expression editor of Protege, but there is some steps to follow :

1. You create the #Mild_status and make it subClassof #RoomStatus (you did it as I can see in your editor)

2. You have to define the domain and the range of your two data properties (#centigrade and #humidity), for example having as domain the Class #RoomStatus and as range the xml datatype integer. All this can be done with Protege.

Finally, using the class expression editor: you have to assert that #Mild_status is equivalent to:

RoomStatus
 and (centigrade some integer[> 18])
 and (centigrade some integer[< 22])
 and (humidity some integer[> 40])
 and (humidity some integer[<50])

If you want to use this expression for instance retrieval reasoning: you have to be aware that not all the reasoners support data ranges reasoning. Pellet support this kind of expression but I think that Fact++ do not.