|  Yongchun Gao wrote:
|  Suppose someone developed an ontology by OWL, in which 'humans' is a
|  class and has 'hasGender' as a property ( value=male/female ) . A man
|  could be an instance of 'humans' which 'hasGender' of 'male'. It can
|  work well.
|  Suppose another expert developed an ontology by OWL too, in which
|  'humans' and 'animals' are classes, but 'females' and 'males' are
|  classes too ( can be attached to both 'animals' and 'humans' ) , and
|  'men' is just two subclass of both 'humans' and 'males'. It may work
|  too.
|  But the problem here is HOW to unite these two different OWL files
|  which tell the same ontology?
|
|  Here is a way of merging the two ontologies.  
|
|  Please send comments to internet.business.logic@gmail.com .

|        You can run these rules in a browser, using the Internet Business Logic system
|                          at  www.reengineeringllc.com

|        You can also write and run your own examples, using just a browser 

in Ontology1 some-person belongs to the subclass some-name1
the merged Ontology contains a class some-name based on the classes that-name1 and some-name2
---------------------------------------------------------------------------------------------
in the merged Ontology that-person belongs to the class that-name


in Ontology2 some-person belongs to the subclass some-name2
the merged Ontology contains a class some-name based on the classes some-name1 and that-name2
---------------------------------------------------------------------------------------------
in the merged Ontology that-person belongs to the class that-name


in Ontology1 a subclass of some-class with some-property equal some-value is named some-name1
in Ontology2 some-class1 is a subclass of some-class2 and is named some-name2
in a merged Ontology we wish to identify that-name1 with that-name2 and call it some-name
-----------------------------------------------------------------------------------------------
the merged Ontology contains a class that-name based on the classes that-name1 and that-name2


in Ontology1 this-person is a member of the class this-class with this-property equal this-value
================================================================================================
             Drew                                 Humans           Gender              Male
             Evan                                 Humans           Gender              Male
             Jane                                 Humans           Gender              Female


in Ontology1 some-person is a member of the class some-class with some-property equal some-value
in Ontology1 a subclass of this-class with this-property equal this-value is named this-name
-----------------------------------------------------------------------------------------------
in Ontology1 that-person belongs to the subclass that-name


in Ontology1 a subclass of this-class with this-property equal this-value is named this-name
================================================================================================
                            Humans         Gender               Male                1:Men
                            Humans         Gender               Female              1:Women


in Ontology2 some-person is a member of the subclass some-class1 of some-class2
in Ontology2 that-class1 is a subclass of that-class2 and is named some-name
-------------------------------------------------------------------------------
in Ontology2 that-person belongs to the subclass that-name


in Ontology2 this-person is a member of the subclass this-class1 of this-class2
===============================================================================
              Adrian                                  Males          Humans
              Mary                                    Females        Humans


in Ontology2 this-class1 is a subclass of this-class2 and is named this-name
================================================================================
             Females                       Humans                   2:Women
             Males                         Humans                   2:Men
             Females                       Animal                 2:Female Animals
             Males                         Animals                2:Male Animals


in a merged Ontology we wish to identify this-name1 with this-name2 and call it this-name
=========================================================================================
                                         1:Men            2:Men                 Men
                                         1:Women          2:Women               Women