Re: OWL reasoning in rules

Ulrike Sattler wrote:
> It is not too difficult to see that we can construct an OWL ontology all 
> of whose models are infinite (let me know if you want  to see an example 
> of such an ontology), e.g., where each model contains an infinite chain 
> of fathers *in addition to the fathers that are explicitly present in 
> the ontology, 


Hmmm, I would like to see a small ontology which is necessarily infinite.

I've just being looking with google, and found my own
http://www.w3.org/TR/owl-test/dl-900-arith#description-logic-908

which I believe hinges on
    2*3*n = 5*n & n>0
     implies n >= aleph0,
but I am still trying to understand it.

thanks for a pointer

Jeremy



-- 
Hewlett-Packard Limited
registered Office: Cain Road, Bracknell, Berks RG12 1HN
Registered No: 690597 England