极少
发表于 2025-3-28 15:19:06
Conceptual Modelling with Euler, Diagrams modelling. Instead of the traditional interpretation of Euler diagrams as Boolean logic, Euler.diagrams are considered 3-valued logic diagrams that are interpreted as First Order Logic (FOL) expressions. It is argued that such diagrams have a good usability because they are sufficiently simple yet
扩音器
发表于 2025-3-28 22:24:04
http://reply.papertrans.cn/39/3880/387991/387991_42.png
Harpoon
发表于 2025-3-28 23:12:22
http://reply.papertrans.cn/39/3880/387991/387991_43.png
鸵鸟
发表于 2025-3-29 03:10:28
http://reply.papertrans.cn/39/3880/387991/387991_44.png
Left-Atrium
发表于 2025-3-29 08:04:38
http://reply.papertrans.cn/39/3880/387991/387991_45.png
系列
发表于 2025-3-29 15:11:27
http://reply.papertrans.cn/39/3880/387991/387991_46.png
Fulminate
发表于 2025-3-29 16:44:33
http://reply.papertrans.cn/39/3880/387991/387991_47.png
BIBLE
发表于 2025-3-29 19:54:19
Summarization of Massive RDF Graphs Using Identifier Classifications using their namespaces. Producing the summary graph is fast, light on computing resources and requires no previous domain knowledge. The summary graph can be used to analyze the namespace inter-dependencies of the original graph. We also present ., a tool for calculating namespace-based KG summari
Ptsd429
发表于 2025-3-30 03:31:01
Towards a Flexible and Scalable Data Stream Algorithm in FCA. Additionally, the meaning of different scenarios of lattice merge in a particular data stream model is discussed. Finally, a pseudo-algorithm for merging lattices in the case of disjoint objects is presented. The presented work is a preliminary result and, in the future, it is expected to cover th
支架
发表于 2025-3-30 04:16:23
Automatic Textual Explanations of Concept Lattices. We demonstrate our approach on the spices planner data set, which is a medium sized formal context comprised of fifty-six meals (objects) and thirty-seven spices (attributes). The resulting 531 formal concepts can be covered by means of about 100 standard scales.