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)
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)
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)
  • 1