The following example shows how to use the block operation.
Example.3. From Figure 1, we know that DAML+OIL inherits the primitives in
both DAML and OIL, but the primitive ???SymmetricProperty??? of OIL is not used
by DAML+OIL (see Table 2). We can use the block operation to indicate that this
primitive is not used by DAML+OIL.
A Bas s for the Semant c Web and E-Bus ness
Copyright ?© 2007, Idea Group Inc. Copying or distributing in print or electronic forms without written permission
of Idea Group Inc. is prohibited.
3. Atavism
We found that some primitives blocked by the child ontology languages are reused
by the descendant ontology languages. To process this kind of relationships we borrow
the atavism mechanism in genetics. Atavism means that the characteristics of
the grandparent do not appear at the child generation, but appear at the grandchild
generation or the offspring of grandchild. We use an example to show how to use
the atavism operation to process the relationships of the primitives in ontology
languages.
Example.4. The ???SymmetricProperty??? of OIL is blocked by its child DAML+OIL,
but the grandchild OWL again includes this primitive (see Table 2).
Pages:
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470