Change - Restrictions for Simple Properties

Created on March 12, 2013, 1:26 a.m. by Hevok & updated on March 30, 2013, 12:54 p.m. by Hevok

Regular RBoxes are restricted to the Rules of Regularity and simple Properties or Roles. ¶

Simple Properties in SHOIN(D) are Properties without transitive Subproperties, while in SHROIQ(D) it is a little bit more complicated because General Property Inclusion has to be considered. There simple Properties are Properties that are not on the right side of the Property Inclusion or that are the inverse of other simple Properties, or they are only on the right side on the Property inclusion where on the left site is a simple Property. ¶

Simple Properties in SHOIN(D) are Properties without transitive Subproperties ¶
In SHROIQ(D) general Property Inclusion has to be considered ¶

Simple Properties
- are all Properties
+ are not on the right Side of a Property Inclusion, ¶
+ are the inverse of other simple Properties, ¶
+ are only on the right Side of Property Inclusion R ⊑ S, ¶
where on the left Side is a simple Property

Non-simple Properties are Properties that are directly (or indirectly) dependent of Property Chains (o) ¶

Several Expressions are only permitted for simple Properties, otherwise the entire Knowledge Base would become undecidable. For example only for simple properties one can use the Qualified Number Restrictions, one can not use them on complex properties that are based on General Role Inclusions. On the other hand irreflexive and Disjunctive Properties are also only permitted for simple Properties. In the same way if one uses the Existential Quantifier or one uses the complement of an Instantiation, it is only allowed for simple Properties and not for complex Properties, because if one would apply this Properties on Properties that depend on General Role Inclusion then the Knowledge Base and the Logic would become undecidable. ¶

The following expressions are permitted ONLY for simple Properties: ¶
- ≤n R.C and ≥n R.C (qualified number Restriction) ¶
- Irreflexive Properties
- Disjunctive Properties
- ∃R.Self ¶
- ¬R(a,b) ¶
Reason: Saving Decidability


Comment: Updated entry

Comment on This Data Unit