Title	Description Logic Based Conflict Detection Methods for RB-RBAC Model
Author	Haibo Yu, Qi Xie, Haiyan Che
Citation	Vol. 6  No. 1  pp. 120~125
Keywords	RB-RBAC, Description Logic, Policy conflict, Conflict detection

Title	A Service Composition-Oriented Workflow Paradigm
Author	Wanchun Dou, Shijie Cai
Citation	Vol. 6  No. 1  pp. 136~146
Keywords	Certificate, Workflow, Service Computing, Web Service, Time Constraint, QoS, Temporal Logic

Title	Logic of Integrating Metric Space and Time
Author	Xie Qi, Liu Dayou, Yu Qiangyuan, Yu Haibo
Citation	Vol. 6  No. 1  pp. 168~172
Keywords	Temporal logic, metric space, distance, spatio-temporal reasoning

Title	Knowledge Architecture based on Evidence Based Logical Atomism for Translational Research
Author	Jun Nakaya, Tetsuo Shimizu
Citation	Vol. 6  No. 2  pp. 175~179
Keywords	Post Genome, Logical Atomism, Translational Research, Evidence Based Medicine, Knowledge Architecture