search

sesuncedu / owl1-1

Automatically exported from code.google.com/p/owl1-1
0 stars 0 forks source link

Nonstrucutral restrictions on OWL 1.1 axioms are not backwards compatible with OWL-DL #55

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
The current definition of nonstructural restrictions on axioms is not 
backwards compatible with OWL-DL. In particular, it does not allow for 
cycles in property inclusion axioms.

Original issue reported on code.google.com by borismo...@gmail.com on 16 Oct 2007 at 12:39

GoogleCodeExporter commented 9 years ago 
The definition was updated accordingly to make it compatible with OWL-DL.

Original comment by borismo...@gmail.com on 16 Oct 2007 at 12:40