Titlebook: ;

极少

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

扩音器

Harpoon

鸵鸟

Left-Atrium

系列

Fulminate

BIBLE

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

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

支架

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.