7 research outputs found
Reasoning about complex agent knowledge - Ontologies, Uncertainty, rules and beyond
Ph.DDOCTOR OF PHILOSOPH
Context-Aware Modeling Using Semantic Web and Z Notation
Surveys in user context modeling have shown that the semantic web is one of
the promising approach to represent and structure the contextual information captured
from user’s surrounding environment in a context-aware application. A benefit of
using semantic web language is that it enables application to reason user contextual
information in order to get the knowledge of user’s behavior. However, regarding its
notation format, semantic web is suitable for implementation level or to be consumed
by application run-time.
Context-aware application is a part of distributed computing system. In distributed
computing system, the language used for specification should be distinguished from
the implementation / run-time purpose. This is known as separation of modeling language.
Regarding the context-aware application, for those who are concerned with
specification of context modeling, the language that is used for specification should
also be distinguished from the implementation one.
This thesis aims at proposing the use of formal specification technique to develop
a generic context ontology model of user’s behavior at the Computer and Information
Sciences Department, Universiti Teknologi PETRONAS. Initially, the context ontology
was written in OWL semantic web language. The further process is mapping onto
a formal specification language, i.e. onto Z notation. As a result, specification of context
ontology and its consistency checking have been developed and verified beyond
the semantic web language environment. An inconsistency of context model has been
detected during the verification of Z model, which cannot be revealed by current OWL
DL reasoner.
The context-aware designers might benefit from the formal specification of context
ontology, where the designers could fully use formal verification technique to check
the correctness of context ontology. Thus, the modeling approach in this thesis has
shown that it could complement the context ontology development process, where the
checking and refinement are performed beyond the semantic web reasone
Context-Aware Modeling Using Semantic Web and Z Notation
Surveys in user context modeling have shown that the semantic web is one of
the promising approach to represent and structure the contextual information captured
from user's surrounding environment in a context-aware application. A benefit of
using semantic web language is that it enables application to reason user contextual
information in order to get the knowledge of user's behavior. However, regarding its
notation format, semantic web is suitable for implementation level or to be consumed
by application run-time.
Context-aware application is a part of distributed computing system. In distributed
computing system, the language used for specification should be distinguished from
the implementation I run-time purpose. This is known as separation of modeling language.
Regarding the context-aware application, for those who are concerned with
specification of context modeling, the language that is used for specification should
also be distinguished from the implementation one.
This thesis aims at proposing the use of formal specification technique to develop
a generic context ontology model of user's behavior at the Computer and Information
Sciences Department, Universiti Teknologi PETRONAS. Initially, the context ontology
was written in OWL semantic web language. The further process is mapping onto
a formal specification language, i.e. onto Z notation. As a result, specification of context
ontology and its consistency checking have been developed and verified beyond
the semantic web language environment. An inconsistency of context model has been
detected during the verification of Z model, which cannot be revealed by current OWL
DL reasoner.
The context-aware designers might benefit from the formal specification of context
ontology, where the designers could fully use formal verification technique to check
the correctness of context ontology. Thus, the modeling approach in this thesis has
shown that it could complement the context ontology development process, where the
checking and refinement are performed beyond the semantic web reasoner
Usability analysis of contending electronic health record systems
In this paper, we report measured usability of two leading EHR systems during procurement. A total of 18 users participated in paired-usability testing of three scenarios: ordering and managing medications by an outpatient physician, medicine administration by an inpatient nurse and scheduling of appointments by nursing staff. Data for audio, screen capture, satisfaction rating, task success and errors made was collected during testing. We found a clear difference between the systems for percentage of successfully completed tasks, two different satisfaction measures and perceived learnability when looking at the results over all scenarios. We conclude that usability should be evaluated during procurement and the difference in usability between systems could be revealed even with fewer measures than were used in our study. © 2019 American Psychological Association Inc. All rights reserved.Peer reviewe
Verifying OWL and ORL Ontologies in PVS
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and OWL Rules Language (ORL) provides basic machinery to the semantic mark-up for data. However, there is limited tool support for OWL and no tool support currently for ORL. In this paper, we propose to model OWL and ORL language semantics in PVS specification language so that OWL and ORL ontologies can be transformed and verified in the Prototype Verification System (PVS). PVS user-defined proof strategies are also developed to automate the proof process