Titlebook: Advanced Technology in Teaching - Proceedings of the 2009 3rd International Conference on Teaching a; Volume 2: Education, Yanwen Wu Confer

A保存的

样式

高尔夫

obstinate

https://doi.org/10.1007/978-1-4612-6024-0This paper proposes a fuzzy variant of SROIQ(D) with datalog which can support fuzzy reasoning. The paper presents the syntax and semantics of fuzzy SROIQ(D)+Datalog and discusses the common reasoning problems in fuzzy description logic programming and finally proposes an inequation/equation set approach to solve the reasoning problems.

FER

Arresting

Molecules, Membranes, and Modelinges are represented by software agents, which through negotiations and by integrated fuzzy-controllers plan the test. They prioritize test cases, request new test cases and allocate test resources based on a desired quality of test and the available test time. Due to dynamic events during the test, t

Affection