Page History

...

• Two normal form expressions can be readily compared to determined whether determine whether they are logically equivalent 

  Gloss
  PreSpace false t equivalence

  or whether one 

  Gloss
  PreSpace false t expression

   is

  Gloss
  t subsumed

    by  by the other.

• In theory, an 

  Gloss
  PreSpace false t expression

  can be transformed to its normal form by replacing each reference to a

  Gloss
  PreSpace false t fully defined

   

  Gloss
  PreSpace false t concept

  with a nested

  Gloss
  PreSpace false t expression

   that represents the definition of that

  Gloss
  PreSpace false t concept

  .  However, this process often results in redundancy or duplication of meaning requiring removal of less specific

  Gloss
  PreSpace false t attribute values

   and mergers of 

  Gloss
  t attribute groups

  . Therefore, use of

  Gloss
  t description logic classifier

   is more effective way to normalize and compare 

  Gloss
  PreSpace false t expressions

  .

...