Flinch
发表于 2025-4-1 04:38:38
Thomas Eiter,Wolfgang Faber,Nicola Leone,Gerald Pfeifer,Axel Polleres
humectant
发表于 2025-4-1 07:06:13
Towards Service Description Logicsmore appropriate. However, current ontology specification languages do not have primitives for service description. In this paper, we identify some useful service description constructs and study their impact on the decidability of reasoning with description logics.
Influx
发表于 2025-4-1 11:47:04
http://reply.papertrans.cn/59/5882/588184/588184_63.png
Heresy
发表于 2025-4-1 17:58:31
http://reply.papertrans.cn/59/5882/588184/588184_64.png
Aspirin
发表于 2025-4-1 22:14:36
A Logic Programming Language for Multi-agent Systemstivity, internal “thinking”, and “memory”. The formalization models these concepts by introducing different kinds of events, with a suitable treatment. We introduce a novel approach to the language semantics, called the evolutionary semantics.