马世龙老师,描述逻辑.pptVIP

2. 描述逻辑系统中的研究问题（续） 基于描述逻辑的概念建模，研究用描述逻辑表示和推理的概念模型。 3. 描述逻辑应用 3.1. 软件工程 软件工程是描述逻辑早期应用的领域，这一应用是在ATT进行的。 其基本思想是用描述逻辑实现一个软件的信息系统，即，一个通过帮助软件开发人员发现大型软件的有关信息以支持软件开发的系统。 更详细的说，人们发现，软件开发过程中感兴趣的信息是关于应用领域的知识和代码信息的结合。代码和领域概念之间的联系需要用户说明。 3. 描述逻辑应用（续） 当时最具创新的描述逻辑应用是LASSIE系统[Devambu et al., 1991]，该系统允许用户增量式的建立代码实现的领域概念的分类。 当响应用户关于代码的查询时，LASSIE系统能够提供有用的信息。通过领域描述，LASSIE系统的信息抽取能力显著的超过了标准软件开发工具的能力。 关于软件的信息系统和使用描述逻辑的想法在以后的其它系统中得以应用。 3. 描述逻辑应用（续） 3.1.1. 构件和服务的语义说明 在基于构件的软件开发中，构件模型是构件分类、检索、适应和组装等关键任务的理论基础，构件模型中的语义表示方法是研究难点。 在学术界和产业界出现了多种构件模型。代表性的实现级产业标准构件模型有CORBA，COM/DCOM和Enterprise JavaBean构件模型。产业界构件基本上使用的分布