Browse wiki

From Odp

Jump to: navigation, search
Reviews:WimPeters about Define Hybrid Class Resolving Disjointness due to Subsomption
CreationDate 9 September 2009  +
HasClearFigures Figure is clear. It does not illustrate any relations between DisjointClass 1 and DisjointClass2 on the one hand, and HypbridClass on the other, although the latter is a union of the definitions of the former.
HasClearRelevanceDescription It is not clear to me what the union of concept definitions entails.
HasMissingInformation There is no owl version of the pattern. Also, there is no scenario description.
HasProblems Once a subclass is to be defined as a subc Once a subclass is to be defined as a subclass of two disjoint superclasses, this pattern offers a work-around after a more fundamental question has been answered with "yes": Are the two superclasses still to be considered as disjoint? This is a non-trivial decision, which is borne out by lower than expected levels of agreement between experts (see http://www.eswc2007.org/pdf/eswc07-voelker1.pdf). In description logics two classes are considered as disjoint iff their taxonomic overlap, i.e. the set of common individuals, must be empty in all possible worlds. As soon as there exists an instance in the extensions of two disjoint superclasses, the engieer is confronted with the following choices: 1. the disjointness axiom should be deleted, which will negatively affect consistency checking and the automatic evaluation of individuals in a knowledge base with regards to a given ontology (again see (http://www.eswc2007.org/pdf/eswc07-voelker1.pdf)) 2. the proposed pattern should be used. This pattern allows to maintain the original disjoint superclasses while indirectly allowing an instance to be in the extension of both. This goes against the principle of disjointness, but may be convenient in the case where the ontology is imported from another URI. The pattern defines a hybrid class as a union of the definitions of the disjoint classes. The proposers should indicate more precisely what these definitions consist of. Do they consist of all properties and restrictions? Is this equivalent to creating a class AnimalOrPlant, or AnimalAndPlant? Is there a difference between the two? Maybe a third option to be taken into account in the discussion is the introduction of degrees of disjointness. e introduction of degrees of disjointness.
HasRelations related pattern proposal: "Enlarge Class Definition for Resolving Disjointness due to Subsomption"
HasRelevance high, especially if this pattern is judged as best practise. This type of
HasReusability very reusable
HasReviewScore 1 -needsminorrevision  +
HasReviewSummary This pattern proposal deserves discussion, in combination with the pattern proposal "Enlarge Class Definition for Resolving Disjointness due to Subsomption", which is a solution variant to the same problem proposed by the same authors.
HasReviewerConfidence medium, having mainly worked with lightweight ontologies.
HasUnderstandability good
IsBestPractice I am not aware of best practise for the solution of this problem.
LastModifiedDate 9 September 2009  +
Modification dateThis property is a special property in this wiki. 9 September 2009 11:56:57  +
ReviewAboutSubmissionThis property is a special property in this wiki. Define Hybrid Class Resolving Disjointness due to Subsumption +
ReviewAboutVersion 5,753  +
SubmittedBy WimPeters +
Categories QCReview +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.
Personal tools
Quality Committee
Content OP publishers