Challenge@RuleML2015 Developing Situation-Aware Applications for Disaster Management with a Distributed Rule-Based Platform

•

1 like•470 views

In order to enhance interoperability and productivity in the develop-ment of situation-aware applications for disaster management, proper mecha-nisms and guidelines are required. They must address the lack of semantics in modelling emergency situations. In addition, the ever-changing and unpredicta-ble nature of disaster scenarios present challenges for information processing and collaboration. This paper proposes a framework that combines the follow-ing elements: (i) a foundational ontology for temporal conceptualization; (ii) well-founded specifications of structural and behavioral models; (iii) a CEP en-gine based on a distributed rule-based platform for situation management; (iv) a model-driven approach. We illustrate the operation of the framework with a scenario for monitoring tuberculosis epidemy.

Science

17/06/2015 1
Developing Situation-Aware Applications for Disaster
Management with a Distributed Rule-Based Platform
João Moreira1, Luís Ferreira Pires1, Marten van Sinderen1, Patrícia Dockhorn Costa2
1 Services, Cyber-security and Safety group (SCS), University of Twente, Netherlands.
{j.luizrebelomoreira,l.ferreirapires,m.j.vansinderen}@utwente.nl
2 Federal University of Espírito Santo (UFES), Brazil. pdcosta@inf.ufes.br
The 9th International Web Rule Symposium (RuleML)
August 2-5, 2015
Freie Universität Berlin, Berlin, Germany

Motivation
Challenges:
Develop SA applications, considering:
 How to characterize situations and response actions
 How to manage and collaborate the detected situations among
SA applications
 How to handle situations not specified at design-time
17/06/2015 2
Situation-aware (SA) applications try to detect situations and react
to them, being particularly useful to support disaster management
 Meteorological forecasting
 Victims’ dead reckoning
 Power plants operation
 Traffic control
 (etc)

Our solution: Framework
17/06/2015 3
Unforeseen
Situation Handler
Application A
Context Model
(OntoUML)
Specification Implementation
(Design-time)
(Runtime)
Situation Model
(SML)
Action Model
(BPMN)
Context
Model
(Java)
Business
Process Model
(BPM Suite)
Situation
Types
Situation
RulesLHS
RHS
Methodology
(MDE)
Situation Service
(SiNoS broker)
working memory A
rule
set A
rule
engine A
Application B
working memory B
rule
set B
rule
engine B
Application C
shared
WM
Application D
Application E
Application F
CEP engine
(SCENE/Drools)
+ +
Conceptual: Foundational Ontology (UFO)

Slándáil | Empowering Emergency Services through Social Media Slándáil is a European project that is investigating the use of digital media in times of natural disaster and is equipping disaster management personnel with software services for harnessing social media for better disaster response. We are in four countries, namely: Ireland, Northern Ireland (UK), Germany, and Italy. The aim is for the project to help increase the security of citizens and groups living in areas affected by natural disasters through increasing the effectiveness and response time of disaster management teams. http://slandail.eu/ info@slandail.eu https://www.facebook.com/slandail https://twitter.com/slandailfp7 Slándáil is a three-year project, funded by the European Union Seventh Framework Programme under grant agreement No. 607691 (“Slandail”)

Emergency Response & Crisis Management for Resilience

I-Pix Technologies

In a world filled with uncertainties, empowering resilience through effective Emergency Response & Crisis Management is crucial. Explore the vital role these strategies play in preparing for and mitigating crises. Learn about key approaches, teamwork, and preparedness that enable communities and organizations to navigate challenging situations with confidence. Discover the tools and knowledge that foster a culture of resilience, ensuring you're ready to respond effectively when it matters most. Strengthen your ability to face adversity and emerge stronger. Join us in the journey towards a more resilient future.

Crisis Management Enhanced by Advanced Software

I-Pix Technologies

Helping Crisis Responders Find the Informative Needle in the Tweet Haystack

COMRADES project

International Journal of Engineering Research and Applications (IJERA) is an open access online peer reviewed international journal that publishes research and review articles in the fields of Computer Science, Neural Networks, Electrical Engineering, Software Engineering, Information Technology, Mechanical Engineering, Chemical Engineering, Plastic Engineering, Food Technology, Textile Engineering, Nano Technology & science, Power Electronics, Electronics & Communication Engineering, Computational mathematics, Image processing, Civil Engineering, Structural Engineering, Environmental Engineering, VLSI Testing & Low Power VLSI Design etc.

A Holistic Approach to Evaluating Social Media's Successful Implementation in...

Connie White

As emergency management agencies and organizations implement social media and web technology to support crisis information and communication efforts, many question if present strategies are beneficial. This is especially true if social media is being implemented for the first time or has not been experienced in a live disaster. Studies have been conducted providing information on a variety of interactions between Social Media and Emergency Management (SMEM). However, few have taken a formal scientific approach as a means of measurement providing a 'Comprehensive Performance Metric.' Performance metrics need to have consistency while providing room for implementing unique measurement criteria for individualized efforts. We offer a research design using field studies of real world cases, evaluating rural and metropolitan areas. The result produces a set of 'Best Practices' through implementation. By offering a means of measuring success, SMEM can continue to evolve by using a methodologically sound approach using social media.

Sector brochure

Tom Flynn

A STUDY ON LEA AND SEED ALGORITHMS FOR DATA PROTECTION OF SMARTPHONE BASED DI...

IJNSA Journal

The number of disaster occurrences around the world based on the climate changes due to the global warming has been indicating an increase. To prevent and cope with such disaster, a number of researches have been actively conducted to combine the user location service as well as the sensor network technology into the expanded IoT to detect the disaster at early stages. However, due to the appearance of the new technologies, the scope of the security threat to the pre-existing system has been expanding. In this thesis, the D-SASS using the beacon to provide the notification service to the disaster-involved area and the safe service to the users is proposed. The LEA Algorithm is applied to the proposed system to design the beacon protocol collected from the smartphone to safely receive the notification information. In addition, for data protection of a notification system, LEA and SEED algorithms were applied, and a comparative analysis was conducted.

Akram.pptx

ssuser7f63b0

DESIGN OF A SECURE DISASTER NOTIFICATION SYSTEM USING THE SMARTPHONE BASED BE...

csandit

The number of disaster occurrences around the world based on the climate changes due to the global warming has been indicating an increase. To prevent and cope with such disaster, a number of researches have been actively conducted to combine the user location service as well as the sensor network technology into the expanded IoT to detect the disaster at early stages. However, due to the appearance of the new technologies, the scope of the security threat to the pre-existing system has been expanding. In this thesis, the D-SASS using the beacon to provide the notification service to the disaster-involved region and the safe service to the users is proposed. The LEA Algorithm is applied to the proposed system to design the beacon protocol collected from the smartphone to safely receive the notification information as well as to provide the confidentiality during the data transfer between smartphone and notification server.

The Human Factor in ICT for For Disaster Warning and Response

Global Risk Forum GRFDavos

Classifying Crises-Information Relevancy with Semantics

COMRADES project

Implementing a Crisis Alert System for Schools: Enhancing Safety and Response...

simulalert

Digital Volunteers and Emergency Management

Patrice Cloutier

Data analysis to assist the decision making process in crisis situations

Elena Susnea

Unified Emergency Management in the port of Antwerp

FPC Risk

DoRES — A Three-tier Ontology for Modelling Crises in the Digital Age

Gregoire Burel

During emergency crises it is imperative to collect, organise, analyse and share critical information between individuals and humanitarian organisations. Although different models and platforms have been created for helping these particular issues, existing work tend to focus on only one or two of the previous matters. We propose the DoRES ontology for representing information sources, consolidating it into reports and then, representing event situation based on reports. Our approach is guided by the analysis of 1) the structure of a widely used situation awareness platform; 2) stakeholder interviews, and; 3) the structure of existing crisis datasets. Based on this, we extract 102 different competency questions that are then used for specifying and implementing the new three-tiers crisis model. We show that the model can successfully be used for mapping the 102 different competency questions to the classes, properties and relations of the implemented ontology.

ISCRAM Overview

global

A3 - Análise de ameaças - Threat analysis in goal oriented security requireme...

Spark Security

Goal and threat modelling are important activities of security requirements engineering: goals express why a system is needed, while threats motivate the need for security. Unfortunately, existing approaches mostly consider goals and threats separately, and thus neglect the mutual influence between them. In this paper, we address this deficiency by proposing an approach that extends goal modelling with threat modelling and analysis.

2014 may iaem bulletin jifx

Mary Jo Flynn, MS, CEM

A Framework to Identify Best Practices: Social Media and Web 2.0 Technologies...

Connie White

Social media is used in a variety of domains, including emergency management. However, the question of which technologies are most appropriate for a given emergency remains open. We present a framework of dimensions of emergencies that can assist in selecting appropriate social media for an emergency situation. Social media is not a panacea but can be used effectively given the proper functions available from the particular services provided by each of the Web 2.0 technologies available. The main objective of this paper is to identify the best practices for social media to leverage its ability given the complexities that coincide with events. This is a conceptual paper based on the results of preliminary studies involving group interactions with emergency professionals with various backgrounds. In addition, emergency management students who are professionals in the field followed by another interview soliciting information from information systems scientist were surveyed. We found that each situation called forth various dimensions where only sub phases of the stated dimension may be used given the task type derived from the event characteristics. This lays a foundation upon which a more formal approach can be taken to help tame the social media mania into a manageable set of ‘best practices’ from which emergencies can be managed more effectively given Web 2.0 technologies and social collaborative online tools.

The application of the ‘New Sciences’ to Risk and Project ManagementDr David Hancock

Aggregates in Recursion: Issues and Solutions

RuleML

A software agent controlling 2 robot arms in co-operating concurrent tasks

RuleML

TeleoR is a major extension of Nilsson’s Teleo-Reactive (TR) rule based robotic agent programming language. Programs comprise sequences of guarded action rules grouped into parameterised procedures. The guards are deductive queries to a set of rapidly changing percept and other dynamic facts in the agent’s Belief Store. The actions are either tuples of primitive actions for external robotic resources, to be executed in parallel, or a single call to a TeleoR procedure, which can be a recursive call. The guards form a sub-goal tree routed at the guard of the first rule. When partially instantiated by the arguments of some call, this guard is the goal of the call. TeleoR extends TR in being typed and higher order, with extra forms of rules that allow finer control over sub-goal achieving task behaviour. Its Belief Store inference language is a higher order logic+function rule language, QuLog. QuLog also has action rules and primitive actions for updating the Belief Store and sending messages. The action of a TeleoR rule may be a combination of the action of a TR rule and a sequence of QuLog actions. TeleoR’s most important extension of TR is the concept of task atomic procedures, some arguments of which belong to a special but application specific resource type. This allows the high level programming of multitasking agents using multiple robotic resources. When two or more tasks need to use overlapping resources their use is alternated between task atomic calls in each task, in such a way that there is no interference, deadlock or task starvation. This multi-task programming is illustrated by giving the essentials of a program for an agent controlling two robotic arms in multiple block tower assembly tasks. It has been used to control both a Python interactive graphical simulation and a Baxter robot building real block towers, in each case with help or hindrance from a human. The arms move in parallel whenever it can be done without risk of clashing.

Similar to Challenge@RuleML2015 Developing Situation-Aware Applications for Disaster Management with a Distributed Rule-Based Platform

Unified emergency management paper

FPC Risk

Research Needs in Crisis Management - a European Perspective

Global Risk Forum GRFDavos

O3496103

IJERA Editor

A Holistic Approach to Evaluating Social Media's Successful Implementation in...

Connie White

Sector brochure

Tom Flynn

A STUDY ON LEA AND SEED ALGORITHMS FOR DATA PROTECTION OF SMARTPHONE BASED DI...

IJNSA Journal

Akram.pptx

ssuser7f63b0

DESIGN OF A SECURE DISASTER NOTIFICATION SYSTEM USING THE SMARTPHONE BASED BE...

csandit

The number of disaster occurrences around the world based on the climate changes due to the global warming has been indicating an increase. To prevent and cope with such disaster, a number of researches have been actively conducted to combine the user location service as well as the sensor network technology into the expanded IoT to detect the disaster at early stages. However, due to the appearance of the new technologies, the scope of the security threat to the pre-existing system has been expanding. In this thesis, the D-SASS using the beacon to provide the notification service to the disaster-involved region and the safe service to the users is proposed. The LEA Algorithm is applied to the proposed system to design the beacon protocol collected from the smartphone to safely receive the notification information as well as to provide the confidentiality during the data transfer between smartphone and notification server.

The Human Factor in ICT for For Disaster Warning and Response

Global Risk Forum GRFDavos

Classifying Crises-Information Relevancy with Semantics

COMRADES project

Implementing a Crisis Alert System for Schools: Enhancing Safety and Response...

simulalert

Digital Volunteers and Emergency Management

Patrice Cloutier

Data analysis to assist the decision making process in crisis situations

Elena Susnea

Unified Emergency Management in the port of Antwerp

FPC Risk

DoRES — A Three-tier Ontology for Modelling Crises in the Digital Age

Gregoire Burel

ISCRAM Overview

global

A3 - Análise de ameaças - Threat analysis in goal oriented security requireme...

Spark Security

2014 may iaem bulletin jifx

Mary Jo Flynn, MS, CEM

A Framework to Identify Best Practices: Social Media and Web 2.0 Technologies...

Connie White

The application of the ‘New Sciences’ to Risk and Project ManagementDr David Hancock

Similar to Challenge@RuleML2015 Developing Situation-Aware Applications for Disaster Management with a Distributed Rule-Based Platform (20)

Unified emergency management paper

Research Needs in Crisis Management - a European Perspective

O3496103

A Holistic Approach to Evaluating Social Media's Successful Implementation in...

Sector brochure

A STUDY ON LEA AND SEED ALGORITHMS FOR DATA PROTECTION OF SMARTPHONE BASED DI...

Akram.pptx

DESIGN OF A SECURE DISASTER NOTIFICATION SYSTEM USING THE SMARTPHONE BASED BE...

The Human Factor in ICT for For Disaster Warning and Response

Classifying Crises-Information Relevancy with Semantics

Implementing a Crisis Alert System for Schools: Enhancing Safety and Response...

Digital Volunteers and Emergency Management

Data analysis to assist the decision making process in crisis situations

Unified Emergency Management in the port of Antwerp

DoRES — A Three-tier Ontology for Modelling Crises in the Digital Age

ISCRAM Overview

A3 - Análise de ameaças - Threat analysis in goal oriented security requireme...

2014 may iaem bulletin jifx

A Framework to Identify Best Practices: Social Media and Web 2.0 Technologies...

The application of the ‘New Sciences’ to Risk and Project Management

More from RuleML

Aggregates in Recursion: Issues and Solutions

RuleML

A software agent controlling 2 robot arms in co-operating concurrent tasks

RuleML

Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Ob...

RuleML

The Decision Management (DM) Community Challenge of March 2016 consisted of creating decision models from ten English Port Clearance Rules inspired by the International Ship and Port Facility Security Code. Based on an analysis of the moderately controlled English rules and current online solutions, we formalized the rules in PositionalSlotted, Object-Applicative (PSOA) RuleML. This resulted in: (1) a reordering, subgrouping, and explanation of the original rules on the specialized decision-model expressiveness level of (deontically contextualized) near-Datalog, non-recursive, near-deterministic, ground-queried, and non-subpredicating rules; (2) an object-relational PSOA RuleML rulebase which was complemented by facts to form a knowledge base queried in PSOATransRun for decision-making. Thus, the DM and logical formalizations get connected, which leads to generalized decision models with Hornlog, recursive, non-deterministic, non-ground-queried, and subpredicating rules.

RuleML 2015: When Processes Rule Events

RuleML

Big data, with its four main characteristics (Volume, Velocity, Variety, and Veracity) pose challenges to the gathering, management, analytics, and visualization of events. These very same four characteristics, however, also hold a great promise in unlocking the story behind data. In this talk, we focus on the observation that event creation is guided by processes. For example, GPS information, emitted by buses in an urban setting follow the bus scheduled route. Also, RTLS information about the whereabouts of patients and nurses in a hospital is guided by the predefined schedule of work. With this observation at hand, we thoroughly seek a method for mining, not the data, but rather the rules that guide data creation and show how, by knowing such rules, big data tasks become more efficient and more effective. In particular, we demonstrate how, by knowing the rules that govern event creation, we can detect complex events sooner and make use of historical data to predict future behaviors.

RuleML 2015: Ontology Reasoning using Rules in an eHealth Context

RuleML

Traditionally, nurse call systems in hospitals are rather simple: patients have a button next to their bed to call a nurse. Which specific nurse is called cannot be controlled, as there is no extra information available. This is different for solutions based on semantic knowledge: if the state of care givers (busy or free), their current position, and for example their skills are known, a system can always choose the best suitable nurse for a call. In this paper we describe such a semantic nurse call system implemented using the EYE reasoner and Notation3 rules. The system is able to perform OWL-RL reasoning. Additionally, we use rules to implement complex decision trees. We compare our solution to an implementation using OWL-DL, the Pellet reasoner, and SPARQL queries. We show that our purely rule-based approach gives promising results. Further improvements will lead to a mature product which will significantly change the organization of modern hospitals.

RuleML 2015: Semantics of Notation3 Logic: A Solution for Implicit Quantifica...

RuleML

Since the development of Notation3 Logic, several years have passed in which the theory has been refined and used in practice by different reasoning engines such as cwm, FuXi or EYE. Nevertheless, a clear model-theoretic definition of its semantics is still missing. This leaves room for individual interpretations and renders it difficult to make clear statements about its relation to other logics such as DL or FOL or even about such basic concepts as correctness. In this paper we address one of the main open challenges: the formalization of implicit quantification. We point out how the interpretation of implicit quantifiers differs in two of the above mentioned reasoning engines and how the specification, proposed in the W3C team submission, could be formalized. Our formalization is then put into context by integrating it into a model-theoretic definition of the whole language. We finish our contribution by arguing why universal quantification should be handled differently than currently prescribed.

Rule Generalization Strategies in Incremental Learning of Disjunctive Concepts

RuleML

Symbolic Machine Learning systems and applications, especially when applied to real-world domains, must face the problem of concepts that cannot be captured by a single definition, but require several alternate definitions, each of which covers part of the full concept extension. This problem is particularly relevant for incremental systems, where progressive covering approaches are not applicable, and the learning and refinement of the various definitions is interleaved during the learning phase. In these systems, not only the learned model depends on the order in which the examples are provided, but it also depends on the choice of the specific definition to be refined. This paper proposes different strategies for determining the order in which the alternate definitions of a concept should be considered in a generalization step, and evaluates their performance on a real-world domain dataset.

RuleML 2015 Constraint Handling Rules - What Else?

RuleML

Constraint Handling Rules (CHR) is both a versatile theoretical formalism based on logic and an efficient practical high-level programming language based on rules and constraints. Procedural knowledge is often expressed by if-then rules, events and actions are related by reaction rules, change is expressed by update rules. Algorithms are often specified using inference rules, rewrite rules, transition rules, sequents, proof rules, or logical axioms. All these kinds of rules can be directly written in CHR. The clean logical semantics of CHR facilitates non-trivial program analysis and transformation. About a dozen implementations of CHR exist in Prolog, Haskell, Java, Javascript and C. Some of them allow to apply millions of rules per second. CHR is also available as WebCHR for online experimentation with more than 40 example programs. More than 200 academic and industrial projects worldwide use CHR, and about 2000 research papers reference it.

RuleML2015 The Herbrand Manifesto - Thinking Inside the Box

RuleML

The traditional semantics for First Order Logic (sometimes called Tarskian semantics) is based on the notion of interpretations of constants. Herbrand semantics is an alternative semantics based directly on truth assignments for ground sentences rather than interpretations of constants. Herbrand semantics is simpler and more intuitive than Tarskian semantics; and, consequently, it is easier to teach and learn. Moreover, it is more expressive. For example, while it is not possible to finitely axiomatize integer arithmetic with Tarskian semantics, this can be done easily with Herbrand Semantics. The downside is a loss of some common logical properties, such as compactness and completeness. However, there is no loss of inferential power. Anything that can be proved according to Tarskian semantics can also be proved according to Herbrand semantics. In this presentation, we define Herbrand semantics; we look at the implications for research on logic and rules systems and automated reasoning; and and we assess the potential for popularizing logic.

RuleML2015 PSOA RuleML: Integrated Object-Relational Data and Rules

RuleML

Industry@RuleML2015: Norwegian State of Estate A Reporting Service for the St...

RuleML

A Service for Improving the Assignments of Common Agriculture Policy Funds to...

RuleML

Datalog+-Track Introduction & Reasoning on UML Class Diagrams via Datalog+-

RuleML

UML class diagrams (UCDs) are a widely adopted formalism for modeling the intensional structure of a software system. Although UCDs are typically guiding the implementation of a system, it is common in practice that developers need to recover the class diagram from an implemented system. This process is known as reverse engineering. A fundamental property of reverse engineered (or simply re-engineered) UCDs is consistency, showing that the system is realizable in practice. In this work, we investigate the consistency of re-engineered UCDs, and we show is pspace-complete. The upper bound is obtained by exploiting algorithmic techniques developed for conjunctive query answering under guarded Datalog+/-, that is, a key member of the Datalog+/- family of KR languages, while the lower bound is obtained by simulating the behavior of a polynomial space Turing machine.

RuleML2015: Binary Frontier-guarded ASP with Function Symbols

RuleML

It has been acknowledged that emerging Web applications require features that are not available in standard rule languages like Datalog or Answer Set Programming (ASP), e.g., they are not powerful enough to deal with anonymous values (objects that are not explicitly mentioned in the data but whose existence is implied by the background knowledge). In this paper, we introduce a new rule language based on ASP extended with function symbols, which can be used to reason about anonymous values. In particular, we define binary frontier-guarded programs (BFG programs) that allow for disjunction, function symbols, and negation under the stable model semantics. In order to ensure decidability, BFG programs are syntactically restricted by allowing at most binary predicates and by requiring rules to be frontier-guarded. BFG programs are expressive enough to simulate ontologies expressed in popular Description Logics (DLs), capture their recent non-monotonic extensions, and can simulate conjunctive query answering over many standard DLs. We provide an elegant automata-based algorithm to reason in BFG programs, which yields a 3ExpTime upper bound for reasoning tasks like deciding consistency or cautious entailment. Due to existing results, these problems are known to be 2ExpTime-hard.

RuleML2015: API4KP Metamodel: A Meta-API for Heterogeneous Knowledge Platforms

RuleML

API4KP (API for Knowledge Platforms) is a standard development effort that targets the basic administration services as well as the retrieval, modification and processing of expressions in machine-readable languages, including but not limited to knowledge representation and reasoning (KRR) languages, within heterogeneous (multi-language, multi-nature) knowledge platforms. KRR languages of concern in this paper include but are not limited to RDF(S), OWL, RuleML and Common Logic, and the knowledge platforms may support one or several of these. Additional languages are integrated using mappings into KRR languages. A general notion of structure for knowledge sources is developed using monads. The presented API4KP metamodel, in the form of an OWL ontology, provides the foundation of an abstract syntax for communications about knowledge sources and environments, including a classification of knowledge source by mutability, structure, and an abstraction hierarchy as well as the use of performatives (inform, query, ...), languages, logics, dialects, formats and lineage. Finally, the metamodel provides a classification of operations on knowledge sources and environments which may be used for requests (message-passing).

RuleML2015: Rule-Based Exploration of Structured Data in the Browser

RuleML

We present Dexter, a browser-based, domain-independent structured-data explorer for users. Dexter enables users to explore data from multiple local and Web-accessible heterogeneous data sources such as files, Web pages, APIs and databases in the form of tables. Dexter’s users can also compute tables from existing ones as well as validate the tables (base or computed) through declarative rules. Dexter enables users to perform ad hoc queries over their tables with higher expressivity than that is supported by the underlying data sources. Dexter evaluates a user’s query on the client side while evaluating sub-queries on remote sources whenever possible. Dexter also allows users to visualize and share tables, and export (e.g., in JSON, plain XML, and RuleML) tables along with their computation rules. Dexter has been tested for a variety of data sets from domains such as government and apparel manufacturing. Dexter is available online at http://dexter.stanford.edu.

RuleML2015: Ontology-Based Multidimensional Contexts with Applications to Qua...

RuleML

Data quality assessment and data cleaning are context dependent activities. Starting from this observation, in previous work a context model for the assessment of the quality of a database was proposed. A context takes the form of a possibly virtual database or a data integration system into which the database under assessment is mapped, for additional analysis, processing, and quality data extraction. In this work, we extend contexts with dimensions, and by doing so, multidimensional data quality assessment becomes possible. At the core of multidimensional contexts we find ontologies written as Datalog ± programs with provably good properties in terms of query answering. We use this language to represent dimension hierarchies, dimensional constraints, dimensional rules, and specifying quality data. Query answering relies on and triggers dimensional navigation, and becomes an important tool for the extraction of quality data.

RuleML2015: Compact representation of conditional probability for rule-based...

RuleML

Context-aware systems gained huge popularity in recent years due to rapid evolution of personal mobile devices. Equipped with variety of sensors, such devices are sources of a lot of valuable information that allows the system to act in an intelligent way. However, the certainty and presence of this information may depend on many factors like measurement accuracy or sensor availability. Such a dynamic nature of information may cause the system not to work properly or not to work at all. To allow for robustness of the context-aware system an uncertainty handling mechanism should be provided with it. Several approaches were developed to solve uncertainty in context knowledge bases, including probabilistic reasoning, fuzzy logic, or certainty factors. In this paper, we present a representation method that combines strengths of rules based on the attributive logic and Bayesian networks. Such a combination allows efficiently encode conditional probability distribution of random variables into a reasoning structure called XTT2. This provides a method for building hybrid context-aware systems that allows for robust inference in uncertain knowledge bases.

RuleML2015: Learning Characteristic Rules in Geographic Information Systems

RuleML

We provide a general framework for learning characterization rules of a set of objects in Geographic Information Systems (GIS) relying on the definition of distance quantified paths. Such expressions specify how to navigate between the different layers of the GIS starting from the target set of objects to characterize. We have defined a generality relation between quantified paths and proved that it is monotonous with respect to the notion of coverage, thus allowing to develop an interactive and effective algorithm to explore the search space of possible rules. We describe GISMiner, an interactive system that we have developed based on our framework. Finally, we present our experimental results from a real GIS about mineral exploration.

RuleML2015: Using Substitutive Itemset Mining Framework for Finding Synonymou...

RuleML

Over the last two decades frequent itemset and association rule mining has attracted huge attention from the scientific community which resulted in numerous publications, models, algorithms, and optimizations of basic frameworks. In this paper we introduce an extension of the frequent itemset framework, called substitutive itemsets. Substitutive itemsets allow to discover equivalences between items, i.e., they represent pairs of items that can be used interchangeably in many contexts. In the paper we present basic notions pertaining to substitutive itemsets, describe the implementation of the proposed method available as a RapidMiner plugin, and illustrate the use of the framework for mining substitutive object properties in the Linked Data.

More from RuleML (20)