RimDJEDIDI (Talk | contribs) (uploaded a new version of "Image:Djedidi LOP2 WOP09.pdf": This file contains graphical representations illustrating the Logical OP "Enlarge Class Definition for Resolving Disjointness due to Subsumption") |
RimDJEDIDI (Talk | contribs) (uploaded a new version of "Image:Djedidi LOP2 WOP09.pdf": This file contains graphical representations illustrating the Logical OP "Enlarge Class Definition for Resolving Disjointness due to Subsomption") |
(No difference)
|
this logical pattern propose a solution to resolve a disjointness inconsistency in an ontology due to a subsomption
Click on a date/time to view the file as it appeared at that time.
Date/Time | Dimensions | User | Comment | |
---|---|---|---|---|
current | 18:21, 24 September 2009 | (8 KB) | RimDJEDIDI (Talk | contribs) | This file contains graphical representations illustrating the Logical OP "Enlarge Class Definition for Resolving Disjointness due to Subsomption" |
The following page links to this file: