Yinling Liu

Learn More
Ontology matching produces correspondences between entities of two ontologies. The OMReasoner is unique in that it creates an extensible framework for combination of multiple individual matchers, and reasons about ontology matching by using external dictionary WordNet and description logic reasoner. It handles ontology matching in both literal and semantic(More)
Developing safety–critical embedded systems almost always includes a significant emphasis on risk analysis. Risk analysis is still a largely qualitative and manual method of analysis. In this paper, we propose a method for the quantitative analysis method of embedded systems based on the Architecture Analysis and Design Language (AADL) model. First, we(More)
  • 1