Hai H. Nguyen

  • Citations Per Year
Learn More
The Semantic Web represents an evolution of the World Wide Web towards one of entities and their relationships, rather than pages and links. Such a progression makes it possible to represent, integrate, query and reason about structured online data. Recent years have witnessed tremendous growth of mobile computing, represented by the widespread adoption of(More)
Ontology reasoning, in particular query answering with Description Logics-based ontologies, is a power-consuming task, especially in mobile settings where such a resource is limited and shared by other processes. To be able to determine whether a reasoning task will be consuming significant amount of power, a benchmark framework will be needed for ontology(More)
In many logic-based BDI agent programming languages, plan selection involves inferencing over some underlying knowledge representation. While context-sensitive plan selection facilitates the development of flexible, declarative programs, the overhead of evaluating repeated queries to the agent’s beliefs and goals can result in poor run time performance. In(More)
A number of systems extend the traditional web and Web 2.0 technologies by providing some form of integration with semantic web data [1,2,3]. These approaches build on tested content management systems (CMSs) for facilitating users in the semantic web. However, instead of directly managing existing linked data, these systems provide a mapping between their(More)
The problem of axiom pinpointing [1, 22], that is, finding the minimal set of axioms responsible for an unwanted consequence, is an important problem in ontology debugging. One approach to identifying the axioms responsible for an unwanted consequence is to trace dependencies between inferences leading to the consequence. Several authors have proposed truth(More)
This paper presents partial results from the first empirical study of KM in SMEs of Vietnam. A preliminary survey had revealed that KM is an important issue for SMEs in Vietnam. With scarce resources compared to large firms, SMEs in developing countries normally focus on real and visible practical objectives. KM is perceived as a difficult-to-measure aspect(More)
The CURIOS project explores how digital archives for rural community heritage groups can be made more sustainable so that volunteer members can maintain a lasting digital presence. It is developing software tools to help remote rural communities to collaboratively maintain and present information about their cultural heritage. The objective is to(More)
We describe a tool, MatchMaps, that generates sameAs and partOf matches between spatial objects (such as shops, shopping centres, etc.) in crowd-sourced and authoritative geospatial datasets. MatchMaps uses reasoning in qualitative spatial logic, description logic and truth maintenance techniques, to produce a consistent set of matches. We report the(More)