This is an OWL2 ontology of Partitioning Operating Systems (POSs) compliant with ARINC 653 Part 1 Version 3. It is created using Protege OWL Editor.
Created by Yongwang Zhao (zhaoyongwang@gmail.com, zhaoyw@buaa.edu.cn, ywzhao@ntu.edu.sg). School of Computer Science & Engineering, BeiHang Unversity (BUAA), Beijing, China; School of Computer Engineering, Nanyang Technological University, Singapore.