Search Results

We introduce Unified Decomposition-Aggregation (UDA) Rules. They are a family of axiom schemata that are instantiated at run-time to add new axioms to a logical theory. These new axioms are implications, whose preconditions will be constructed ...

Recently, there has been a big progress in developing artificial deep-learning neural networks and large-scale knowledge graphs. However, the results in these two research fields have serious drawbacks. The solutions offered by neural networks ...

Knowledge graphs (KGs) contain rich resources that represent human knowledge in the world. There are mainly two kinds of reasoning techniques in knowledge graphs, symbolic reasoning and statistical reasoning. However, both of them have their merits and ...

We have designed and implemented a real-time hybrid activity recognition system which combines supervised learning on inertial sensor data from mobile devices and context-aware reasoning. We demonstrate how the context surrounding the user, combined ...

Context awareness brings new challenges, and an important one is how applications can manipulate the contextual data stored in more than one model. In this research, we propose HACCD, a context-aware architecture to process information based on hybrid ...

Healthcare systems provide suitable services in different domains to help people in fitting themselves into their best pattern of life. This study is focused on the development of a hybrid reasoning engine called KARE (knowledge acquisition and ...

With the rapid development of computer and monitoring technologies in recent years, more and more online monitoring equipment of hydropower units have been installed and applied in hydropower plants, and so began the long-term accumulation of data. ...

Ontology classification is an essential reasoning task for ontology based systems. Tableau and resolution are two dominant types of reasoning procedures for ontology reasoning. Complex ontologies are often built on more expressive description logics and ...

The Context Aggregation and REasoning (CARE) middleware aims at supporting context-aware adaptation of internet services in a mobile computing environment. Context awareness requires the acquisition, representation and processing of information that ...

Because of development of information technology and acceleration of enterprise e-business, the importance of electronic commerce system has been growing rapidly. Electronic commerce system must provide convenient interface, easy and fast searching ...

This paper proposes a novel scheme to virtually restore the colors of ancient murals. Our approach integrates artificial intelligence techniques with digital image processing methods. The knowledge related to the mural colors is first categorized into ...

We present an extension to DL-based taxonomic reasoning by means of inference fusion, i.e. the dynamic combination of inferences from distributed heterogeneous reasoners. Our approach integrates results from a DL-based system with results from a ...