Search results for "Semantic reasoner"
showing 8 items of 18 documents
A Proposed Knowledge Based Approach for Solving Proteomics Issues
2010
In this paper we present a novel knowledge-based approach that aims at helping scientists to face and resolve a large number of proteomics problem. The system architecture is based on an ontology to model the knowledge base, a reasoner that starting from the user's request and a set of rules builds the workflow of tasks to be done, and an executor that runs the algorithms and software scheduled by the reasoner. The system can interact with the user showing him intermediate results and several options in order to refine the workflow and supporting him to choose among different forks. Thanks to the presence of the knowledge base and the modularity provided by the ontology, the system can be e…
An Ambient Intelligence System for Assisted Living
2017
Nowadays, the population's average age is constantly increasing, and thus the need for specialized home assistance is on the rise. Smart homes especially tailored to meet elderly and disabled people's needs can help them maintaining their autonomy, whilst ensuring their safety and well-being. This paper proposes a complete context-aware system for Ambient Assisted Living (AAL), which infers user's actions and context, analyzing its past and current behavior to detect anomalies and prevent possible emergencies. The proposed system exploits Dynamic Bayesian Networks to merge raw data coming from heterogeneous sensors and infer user's behavior and health conditions. A rule-based reasoner is ab…
A Dynamic Reasoning Architecture for Computer Network Management
2005
This paper focuses on improving network management and monitoring by the adoption of Artificial Intelli- gence techniques. In order to allow automated reasoning on networking concepts, we defined an accurate ontologi- cal model capable of describing as better as possible the networking domain. The thorough representation of the do- main knowledge is used by a Logical Reasoner, which is an expert system capable of performing high-level manage- ment tasks.
The Development of Conditional Reasoning: A Mental Model Account
2002
Abstract Conditional (if-then) reasoning is one of the key components of logical reasoning. Studies examining the way that children and adults make conditional inferences have shown that while there are some clear developmental patterns, there is also a great deal of variation in performance due to factors such as problem content. Such variation is difficult to model without an explicit process model. In the following we propose a variant of mental model theory (Johnson-Laird, 1983) that can explain much of the empirical data. This model suggests that the development of conditional reasoning can be explained, at least partly, by such factors as the capacity of working memory, the range of k…
Rule based reasoning for network management
2006
This paper focuses on improving network management by the adoption of artificial intelligence techniques. We propose a distributed multi-agent architecture for network management, where a logical reasoner acts as a managing entity capable of directing, coordinating, and triggering monitoring and management actions in the proposed architecture. The logical inference system has been devised to enable automated isolation, diagnosis, and to repair network anomalies, thus enhancing the reliability, performance, and security of the network. The measurements of network events are captured by programmable sensors deployed on the network devices and are collected by the network management entity whe…
A Semantic Publish/Subscribe Approach for U-VR Systems Interoperation
2008
As ubiquitous virtual reality (U-VR) systems become more and more popular and several systems coexist all together, sharing events between them in order to improve the user experience and increase their scope and functionality will be mandatory. Since U-VR systems have a dynamic and decoupled nature, and they have their own event model, we propose in this paper a semantic publish/subscribe infrastructure that lies on a description logics reasoner and OWL ontologies for managing heterogeneous event models and performing the matching of events and subscriptions in such U-VR systems.
Working with Multiple Ontologies on the Semantic Web.
2016
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with multiple distinct, but linked, ontologies. OWL provides the owl:imports construct which, roughly, allows Web ontologies to include other Web ontologies, but only by merging all the linked ontologies into a single logical "space". Recent work on multidimensional logics, fusions and other combinations of modal logics, distributed and contextual logics, and the like have tried to find formalisms wherein knowledge bases (and their logic) are kept more distinct but yet affect each other. These formalisms have various …
An Automatic Ontology-Based Approach to Support Logical Representation of Observable and Measurable Data for Healthy Lifestyle Management: Proof-of-C…
2020
Background Lifestyle diseases, because of adverse health behavior, are the foremost cause of death worldwide. An eCoach system may encourage individuals to lead a healthy lifestyle with early health risk prediction, personalized recommendation generation, and goal evaluation. Such an eCoach system needs to collect and transform distributed heterogenous health and wellness data into meaningful information to train an artificially intelligent health risk prediction model. However, it may produce a data compatibility dilemma. Our proposed eHealth ontology can increase interoperability between different heterogeneous networks, provide situation awareness, help in data integration, and discover…