Chew Hung Lee

Learn More
Semantic Web, the next generation of Web, gives datawell-defined and machine-understandable meaning so thatthey can be processed by remote intelligent agents cooperatively.Ontology languages are the building blocks of SemanticWeb as they prescribe how data are defined and related.The existing reasoning and verification tools for SemanticWeb are improving(More)
Correctness is the essential requirement criteria for military web ontology based information systems. Reasoning and consistency checking can be useful at many stages during the design, maintenance and deployment of Semantic Web (SW) ontology. Formal methods can provide automatic reasoning and consistency checking services for SW. In this paper, we use(More)
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reasoners such as RACER and FaCT have been developed to reason ontologies with a high degree of automation. However, complex ontology-related properties may not be expressible within the(More)
The aim of an efficient deniable authentication protocol is to enable a receiver to identify the source of a given message but not to prove the identity of the sender. Lu and Cao [7,10] confirmed that the previous protocols had a common weakness in which any third party can impersonate the intended receiver to verify the signature of the given message, and(More)
  • 1