Attributive concept descriptions with complements
Artificial Intelligence
Inside the LOOM description classifier
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Software architecture in practice
Software architecture in practice
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
The description logic handbook
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
Dynamic Description Logic (DDL) can support both the static and dynamic knowledge representation, thus this paper introduces a kind of Software Architecture (SA) Model based on DDL, the purpose of which is to facilitate the description of each part of SA as well as the constraints between them. In addition, the model also supports the detection of the consistency problems existed in dynamic architecture. In the end, the mapping from SA to DLL is discussed, and an example of a complete architecture model of Pipeline-Filter style is described.