UML has become a de facto standard in conceptual modeling. Class diagrams in UML allow one to model the data in the domain of interest by specifying a set of graphical constraints. However, in most cases one needs to ...
详细信息
UML has become a de facto standard in conceptual modeling. Class diagrams in UML allow one to model the data in the domain of interest by specifying a set of graphical constraints. However, in most cases one needs to provide the class diagram with additional semantics to completely specify the domain, and this is where OCL comes into play. While reasoning over class diagrams is decidable and has been investigated intensively, it is well known that checking the correctness of OCL constraints is undecidable. Thus, we introduce OCL-Lite, a fragment of the full OCL language and prove that reasoning over UML class diagrams with OCL-Lite constraints is in ExpTime by an encoding in the description logic ALCI. As a side result, DL techniques and tools can be used to reason on UML class diagrams annotated with arbitrary OCL-Lite constraints.
In agriculture, the sector grapples with pressing challenges arising from climate change, water shortages, and pest infestations. Particularly affecting farmers in developing nations, these challenges amplify issues o...
详细信息
In the era of information overload on online platforms, efficient access to news content has become crucial for individuals leading busy lives. This paper addresses the need for categorizing vast amounts of online new...
详细信息
Disaster management calls for as quick a detection of critical infrastructure-like airports and runways. Most of the traditional object detection models, which include CNNs, R-CNN s, SSDs, and earlier versions of YOLO...
详细信息
Since android smartphones are so popular, malware writers have found them to be lucrative targets, which poses a serious risk to user security and privacy. To address this problem, several malware detection strategies...
详细信息
City buses are important transportation for citizens who especially living in transportation vulnerable areas. However, public transportation in these areas continuously decreases because of low population density. Th...
详细信息
Inferring the exact topology of the interactions in a large, stochastic dynamical system from time-series data can often be prohibitive computationally and statistically without strong side information. One alternativ...
详细信息
Based on the philosophic idea about static concept, Professor *** in Germany had provided the theory about formal concept analyses firstly in 1982, which opens out inwardness of static concept and relation between the...
详细信息
Memristor, also known as Resistive Random Access Memory (ReRAM), enables in-memory computing by processing data directly within storage locations, thus mitigating the data transfer bottleneck between the processor and...
详细信息
The study of functional associations between ncRNAs and human diseases is a pivotal task of modern research to develop new and more effective therapeutic approaches. Nevertheless, it is not a trivial task since it inv...
详细信息
暂无评论