Special Research Initiatives - Grant ID: SR0354476
Funder
Australian Research Council
Funding Amount
$20,000.00
Summary
Intelligent Applications Through The Semantic Web. The primary aim of the proposed bid is to build a network of Australian researchers and their international peers for condresearch into the fundamental as well as applied aspects of the Semantic Web. By incorporating meaning of web-content in a form that can be accessed and processed by intelligent software agents, the Semantic Web will allow computers and humans to work in cooperation. This research will address the needs of both the Australian ....Intelligent Applications Through The Semantic Web. The primary aim of the proposed bid is to build a network of Australian researchers and their international peers for condresearch into the fundamental as well as applied aspects of the Semantic Web. By incorporating meaning of web-content in a form that can be accessed and processed by intelligent software agents, the Semantic Web will allow computers and humans to work in cooperation. This research will address the needs of both the Australian government and industry that provide and make smart use of information available on the Web. It will ensure Australian preparedness for the next-generation web technology.Read moreRead less
QUA:Queensland digital Ultra-Atlas. This project aims to design and develop a digital ultra-atlas of Queensland which integrates the capabilities of GIS(geographical information system) with interactive 4D graphical modelling,knowledge extraction and context-based query and retrieval. This ultra-atlas would allow users to discover knowledge on natural resources,cultural characteristics and historical changes,as well as simulating different effects by providing advanced search capabilities and en ....QUA:Queensland digital Ultra-Atlas. This project aims to design and develop a digital ultra-atlas of Queensland which integrates the capabilities of GIS(geographical information system) with interactive 4D graphical modelling,knowledge extraction and context-based query and retrieval. This ultra-atlas would allow users to discover knowledge on natural resources,cultural characteristics and historical changes,as well as simulating different effects by providing advanced search capabilities and engaging display of spatial and thematically-linked data. Such an ultra-atlas would have enormous impact on facilitating strategic planning and performance in many applications(e.g fire control,environment and urban planning).Read moreRead less
Combining modal logics for dynamic and multi-agent systems. Modern computer software systems are required to operate in complex dynamic environments and to handle functioning of highly sensitive (security and safety-critical) organizations in government and commerce. Typical applications include air-traffic control systems, telecommunication networks, and banking systems. To ensure robustness, computationally predictable behaviour and trustworthiness of these systems, their designs and implement ....Combining modal logics for dynamic and multi-agent systems. Modern computer software systems are required to operate in complex dynamic environments and to handle functioning of highly sensitive (security and safety-critical) organizations in government and commerce. Typical applications include air-traffic control systems, telecommunication networks, and banking systems. To ensure robustness, computationally predictable behaviour and trustworthiness of these systems, their designs and implementations must be formally well grounded. This is an important but difficult challenge. This project will systematically develop a framework by combining modal-logics to adequately capture and reason about temporal, epistemic and social aspects of dynamic and multi-agent systems. The combined logics would be evaluated on practical applications.
Read moreRead less
Towards automated and intelligent processing of web-based information. The successful outcome of this project will enhance Australia's research reputation in an important, practical area of ICT, will contribute to emerging Web standards, will produce frontier technology that will eventually be of benefit to Australian industry, and will train several postgraduate students.
Rule-based reasoning systems for complex and dynamic ontologies. The successful outcome of this project will enhance Australia's research reputation in an important, practical area of ICT, will contribute to emerging Web technologies that will eventually be of benefit to Australian industry, and will train several postgraduate students.
Model checking Multi-Agent System and its applications. This research project directly addresses two of the Australian Government's four National Research Priorities: National Research Priorities 3 and 4. It will develop an enabling technology that is applicable to the development of safety-intensive and highly dependable software systems like medical equipment and airport controlling systems. The security protocol analysis technologies developed by this project can be useful for providing impro ....Model checking Multi-Agent System and its applications. This research project directly addresses two of the Australian Government's four National Research Priorities: National Research Priorities 3 and 4. It will develop an enabling technology that is applicable to the development of safety-intensive and highly dependable software systems like medical equipment and airport controlling systems. The security protocol analysis technologies developed by this project can be useful for providing improved ways of military operation flows, and for making Australian security communication systems more dependable.Read moreRead less