Unification is an elemental technique that is commonly used for reasoning in First-Order Logic systems, logic\nlanguages, and planners, etc. When we develop applications equipped with ontologies described in OWL, the\nunification between variables and individuals typed to OWL classes is required. In this paper, we extend conventional\ntype-less unification to OWL typed unification. Since the data structure and variable binding mechanism is\nshared by tableau, satisfiability checking by tableau in OWL is naturally and intrinsically realized in the unification\nprocess. This technique will be useful to logics on top of the OWL layer.

According to the Health Promotion Law executed from 2008, it would be discussed critically\nmore sophisticated robust healthcare database and data mining between healthcare providers and clients\nin the aspect of asymmetry in healthcare. We propose an innovative concept of\nNetwork-Centric-Healthcare ontology model using shared situation awareness and self-synchronization.