published in 2016 Eighth International Conference on Information and Knowledge Technology (IKT) Journal
presented at event 2016 Eighth International Conference on Information and Knowledge Technology (IKT) Conference
keywords Clinical Practice Guidelines Computer Science Computer Science, Information Systems Description Logic Guideline Modeling Metric Interval-based Temporal Logic Satisfiability Checking Science & Technology TEMPORAL DESCRIPTION LOGIC Technology Telecommunications