A semantic approach to reachability matrix computation

The Cyber Security is a crucial aspect of networks management. The Reachability Matrix computation is one of the main challenge in this field. This paper presents an intelligent solution in order to address the Reachability Matrix computational proble

Modular norm models: practical representation and analysis of contractual rights and obligations

Compliance analysis requires legal counsel but is generally unavailable in many software projects. Analysis of legal text using logic-based models can help developers understand requirements for the development and use of software-intensive systems throughout its lifecycle. We outline a practical modeling process for norms in legally binding agreements that include contractual rights and obligations. A computational norm model analyzes available rights and required duties based on the satisfiability of situations, a state of affairs, in a given scenario. Our method enables modular norm model extraction, representation, and reasoning. For norm extraction, using the theory of frame semantics, we construct two foundational norm templates for linguistic guidance. These templates correspond to Hohfeld’s concepts of claim-right and its jural correlative, duty. Each template instantiation results in a norm model, encapsulated in a modular unit which we call a super-situation that corresponds to an atomic fragment of law. For hierarchical modularity, super-situations contain a primary norm that participates in relationships with other norm models. Norm compliance values are logically derived from its related situations and propagated to the norm’s containing super-situation, which in turn participates in other super-situations. This modularity allows on-demand incremental modeling and reasoning using simpler model primitives than previous approaches. While we demonstrate the usefulness of our norm models through empirical studies with contractual statements in open source software and privacy domains, its grounding in theories of law and linguistics allows wide applicability

An ontology-based approach supporting holistic structural design with the consideration of safety, environmental impact and cost

Early stage decision-making for structural design critically influences the overall cost and environmental performance of buildings and infrastructure. However, the current approach often fails to consider the multi-perspectives of structural design, such as safety, environmental issues and cost in a comprehensive way. This paper presents a holistic approach based on knowledge processing (ontology) to facilitate a smarter decision-making process for early design stage by informing designers of the environmental impact and cost along with safety considerations. The approach can give a reasoning based quantitative understanding of how the design alternatives using different concrete materials can affect the ultimate overall performance. Embodied CO2 and cost are both considered along with safety criteria as indicative multi-perspectives to demonstrate the novelty of the approach. A case study of a concrete structural frame is used to explain how the proposed method can be used by structural designers when taking multi performance criteria into account. The major contribution of the paper lies on the creation of a holistic knowledge base which links through different knowledge across sectors to enable the structural engineer to come up with much more comprehensive decisions instead of individual single objective targeted delivery

Innovative Business Model for Smart Healthcare Insurance

Information revolution and technology growth have made a considerable contribution to restraining the cost expansion and empowering the customer. They disrupted most business models in different industries. The customer-centric business model has pervaded the different sectors. Smart healthcare has made an enormous shift in patient life and raised their expectations of healthcare services quality. Healthcare insurance is an essential business in the healthcare sector; patients expect a new business model to meet their needs and enhance their wellness. This research develops a holistic smart healthcare architecture based on the recent development of information and communications technology. Then develops a disruptive healthcare insurance business model that adapts to this architecture and classifies the patient according to their technology needs. Finally, and implementing a prototype of a system that matches and suits the healthcare recipient condition to the proper healthcare insurance policy by applying Web Ontology Language (OWL) and rule-based reasoning model using SWRL using Protég

Authorization schema for electronic health-care records: for Uganda

This thesis discusses how to design an authorization schema focused on ensuring each patient's data privacy within a hospital information system

Expert System for Nutrition Care Process of Older Adults

This paper presents an expert system for a nutrition care process tailored for the specific needs of elders. Dietary knowledge is defined by nutritionists and encoded as Nutrition Care Process Ontology, and then used as underlining base and standardized model for the nutrition care planning. An inference engine is developed on top of the ontology, providing semantic reasoning infrastructure and mechanisms for evaluating the rules defined for assessing short and long term elders’ self-feeding behaviours, to identify unhealthy dietary patterns and detect the early instauration of malnutrition. Our expert system provides personalized intervention plans covering nutrition education, diet prescription and food ordering adapted to the older adult’s specific nutritional needs, health conditions and food preferences. In-lab evaluation results are presented proving the usefulness and quality of the expert system as well as the computational efficiency, coupling and cohesion of the defined ontology

Temporal Representation and Reasoning in OWL 2

The representation of temporal information has been in the center of intensive research activities over the years in the areas of knowledge representation, databases and more recently, the Semantic Web. The proposed approach extends the existing framework of representing temporal information in ontologies by allowing for representation of concepts evolving in time (referred to as “dynamic” information) and of their properties in terms of qualitative descriptions in addition to quantitative ones (i.e., dates, time instants and intervals). For this purpose, we advocate the use of natural language expressions, such as “before” or “after”, for temporal entities whose exact durations or starting and ending points in time are unknown. Reasoning over all types of temporal information (such as the above) is also an important research problem. The current work addresses all these issues as follows: The representation of dynamic concepts is achieved using the “4D-fluents” or, alternatively, the “N-ary relations” mechanism. Both mechanisms are thoroughly explored and are expanded for representing qualitative and quantitative temporal information in OWL. In turn, temporal information is expressed using either intervals or time instants. Qualitative temporal information representation in particular, is realized using sets of SWRL rules and OWL axioms leading to a sound, complete and tractable reasoning procedure based on path consistency applied on the existing relation sets. Building upon existing Semantic Web standards (OWL), tools and member submissions (SWRL), as well as integrating temporal reasoning support into the proposed representation, are important design features of our approach