Issue 10891: Inferring subsumption (odm-ftf)
Source: NIST (Mr. Conrad Bock, conrad.bock(at)nist.gov)
Nature: Revision
Severity: Critical
Summary: Inferring subsumption. In Section 16.5.1 (Predicate Definition Language), first sentence, UML can support subsumption reasoning also, see http://www.inf.unibz.it/~calvanese/papers-html/AIJ-2005.html 

Resolution: 
Revised Text: 
Actions taken:
March 30, 2007: received issue
Discussion: 
FTF resources were scarce and priority was given to issues against normative sections, hence many issues such as this were left unresolved.

Disposition:	Deferred to RTF

End of Annotations:=====

m: webmaster@omg.org
Date: 30 Mar 2007 01:04:05 -0500
To: <issues@omg.org>
Subject: Issue/Bug Report



--------------------------------------------------------------------------------

Name: Conrad Bock
Company: NIST
mailFrom: conrad.bock@nist.giv
Notification: No
Specification: Ontology Definition Metamodel
Section: Chapter 16
FormalNumber: ptc/06-10-11
Version: 
RevisionDate: 
Page: 
Nature: Revision
Severity: Critical
HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.2) Gecko/20040804 Netscape/7.2 (ax)
Description
Inferring subsumption. In Section 16.5.1 (Predicate Definition Language), first sentence, UML can support subsumption reasoning also, see http://www.inf.unibz.it/~calvanese/papers-html/AIJ-2005.html