Knowledge graph describes entities by numerous RDF data (subject-predicate-object triples), which has been widely applied in various fields, such as artificial intelligence, Semantic Web, entity summarization. With time elapses, the continuously increasing descriptions of lead to information overload and further cause people confused. this backdrop, automatic summarization received much attenti...

Formal Concept Analysis (FCA) appears to be ideal for interpreting data in domains that are a-priori unstructured. In our research we focus on complex contexts with very large and rapidly changing numbers of real-world objects – for instance, data generated on-line and tracking real-time contexts in transport, enterprise warehousing, manufacturing control or social networking activities on the ...

A key feature in fault injection FI based valida tion is identifying the relevant test cases to inject This problem is exacerbated at the protocol level where the lack of detailed fault distributions limits the use of statistical approaches in deriving and estimating the number of test cases to inject In this paper we develop and demonstrate the capabilities of a formal approach to protocol val...