Inference Engine

Presently, computers are changing from isolated devices into entry points to a worldwide network of information exchange and business transactions called the World Wide Web (WWW). However, the success of the WWW has made it increasingly difficult to find, access, present and maintain the information required by a wide variety of users. In response to this problem, many new research initiatives and commercial enterprises have been set up to enrich the available information with machine-processable semantics. This Semantic Web will provide intelligent access to distributed information, enabling software products (agents) to mediate between user needs and the information sources available. As a response to the challenge of providing high quality healthcare services with reasonable costs while the elderly population and the associated chronic disease increase, this paper provides a conceptual model (Semantic health model) of using the Semantic Web to locate required information regardin...

The exponentially increasing cyber threats with the expansion of web applications have become the biggest security concern for e-business and information sharing communities. Current survey shows that application layer is more prone to web attacks. Recent survey carried out by Nation Vulnerability Database shows that, on average 15 new vulnerabilities are released per day, thus proved that existing application security mechanisms are ineffective to provide complete security solution. We have proposed an intelligent intrusion detection system (IDS) base on ontology that specifying the different categories of attacks, different encoding schemes used by the hacker, location of attack, system component affected by attack, specification of protocols used and policies/rules for mitigating these attacks. The proposed ontology base system can be refined and expanded over time. The system semantically analyzes the specific field of payload and headers where attack is possible. Inference ability of the system provide the capability for detecting the zero day and complex web application attacks that easily eludes packet level inspection. Proposed system is time efficient by analyzing the specified field of protocol, would be able to provide significant search space reduction as well as low false positive rate. For describing the semantic concepts, Protégé tool is used. OWL-DL used for describing logical class with restrictions. For consistency and inference purpose, Pallet tool is used as inference engine and rules are specified by using Jena API which also provide the reasoning ability.

Design and prototyping of real time / concurrent systems needs formal approaches in order to permit verification and validation at each step. Methods based on formal logic have been suggested but they often works only on a specific domain and are generally reserved to specialized users. In an attempt to overcome these two restrictions, we propose in this paper a method based on the rewriting logic. Theoretical backgrounds are not a prerequisite for the users. The method supports modularity and abstraction and follows the great principles of an object oriented approach. Different tools are available: a graphical editor for the specification of the structure and the behavior of the objects, an inference engine for rule validation, a generator of prototypes.

Presently, computers are changing from isolated devices into entry points to a worldwide network of information exchange and business transactions called the World Wide Web (WWW). However, the success of the WWW has made it increasingly difficult to find, access, present and maintain the information required by a wide variety of users. In response to this problem, many new research initiatives and commercial enterprises have been set up to enrich the available information with machine-processable semantics. This Semantic Web will provide intelligent access to distributed information, enabling software products (agents) to mediate between user needs and the information sources available. As a response to the challenge of providing high quality healthcare services with reasonable costs while the elderly population and the associated chronic disease increase, this paper provides a conceptual model (Semantic health model) of using the Semantic Web to locate required information regardin...

We created an inference engine and query language for expressing temporal patterns in data. The patterns are represented by using temporally-ordered sets of data objects. Patterns are elaborated by reference to new objects inferred from original data, and by interlocking temporal and other relationships among sets of these objects. We found the tools well-suited to define scenarios of events that are evidence of inappropriate use of prescription drugs, using Medicaid administrative data that describe medical events. The tools' usefulness in research might be considerably more general.

This paper deals with some conceptual and practical problems that become apparent when trying to make use of up-to-date ontological and semantic techniques within a concrete industrial context. More precisely, it describes the compromises adopted in the European SEMbySEM project in order to deal with specific industrial problems-like checking rail transport of hazardous materials-by preserving a general compatibility with the W3C (World Wide Web Committee) suggestions.