FullSemanticsComprehensionPrinciples

From OWL
Jump to: navigation, search

Goto OWL 2 Full Semantics Page


The changed OWL 1 Full semantics of general comprehension principles.

Note: Only general comprehension principles are regarded here. The language feature specific comprehension principles are discussed with the resp. language features.

Comprehension Principles for sequences

There needs to be only one comprehension principle for sequences over owl:Thing. In particular, the comprehension principle for sequences over owl:Class can be dropped, since it is automatically included.

 IF
   x_1, ..., x_n ∈ IOT
 THEN ∃ l_1, ..., l_n ∈ IL:
   (l_1,x_1) ∈ EXT_I(S_I(rdf:first)), (l_1,l_2) ∈ EXT_I(S_I(rdf:rest)),
   ...
   (l_n,x_n) ∈ EXT_I(S_I(rdf:first)), (l_n,S_I(rdf:nil)) ∈ EXT_I(S_I(rdf:rest))

Considerations


Goto OWL 2 Full Semantics Page