Re: Expressing mathematical relationships in an ontology?

Monika Solanki wrote:

> I have been using OWL in this way  for all my work related to 
> Ontologies. However one point where I got stuck up was when a class has 
> two properties P1 and P2 and P2 = P1-1. I did not really know how to 
> represent this with the OWL constructs available. Although for my 
> purpose now, I am using a very crude form, however I would be interested 
> in more expressive representative


I think the main objective here would be to use the reason behind this 
relationship between P1 or P2 (for example, 0-based VS 1-based indexes), 
not the result of the relationship (the numerical difference).