Definition of simple role

[GoogleCodeExporter]

The definition of regularity/simple properties needs fixing in two places:

- we need to take into account that we do not have (as in DLs) property names 
and inverse 
properties, so we need to use some other, artificial distinction (and use it in 
the syntactic 
restriction) and 

- in the inductive definition of simple property, we need to also allow for 
axioms of the form 
SubObjectPropertyOf(InverseObjectProperty(PE) PE), i.e., we need to add a 
disjunct to the extent that 
"if PE occurs in SubObjectPropertyOf(SUB PE), then R is simple if, for each 
SubObjectPropertyOf(SUB 
PE), SUB is a single object property and simple or SUB is 
InverseObjectProperty(PE) or ..." 

Original issue reported on code.google.com by ulisatt...@googlemail.com on 3 Apr 2007 at 4:56

[GoogleCodeExporter]

OWL 1.1 extends OWL DL by inverse object properties, just like in DLs. In fact, 
the 
inverse "name" is now treated just like an axiom.

The definition of simple properties was incorrect, because it was actually 
cyclic. 
The new definition is (hopefully) correct.

Original comment by borismo...@gmail.com on 23 May 2007 at 5:49

• Changed state: Fixed