search

sesuncedu / owl1-1

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

SameIndividual should be renamed to SameIndividuals #24

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Since "SameIndividual" is applied to a set of individuals it should be
renamed to "SameIndividuals" in Figure 16 as well as in the
corresponding XML schema.

Original issue reported on code.google.com by thorsten...@uni-ulm.de on 18 Apr 2007 at 12:34

GoogleCodeExporter commented 9 years ago

Original comment by bparsia on 18 Apr 2007 at 1:04

GoogleCodeExporter commented 9 years ago 
This naming closely follows the naming in OWL DL. There, the axioms were called 
SameIndividual (meaning that the names actually denote the same individual in 
the 
interpretation), and DifferentIndividuals (meming that the names actually 
correspond 
to different individuals).

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