scholarly journals PROVA: Rule-Based Java-Scripting for a Bioinformatics Semantic Web

Author(s):  
Alexander Kozlenkov ◽  
Michael Schroeder
Keyword(s):  
Author(s):  
Daniel J. Weitzner ◽  
Jim Hendler ◽  
Tim Berners-Lee ◽  
Dan Connolly

In this chapter, we describe the motivations for, and development of, a rule-based policy management system that can be deployed in the open and distributed milieu of the World Wide Web. We discuss the necessary features of such a system in creating a “Policy Aware” infrastructure for the Web and argue for the necessity of such infrastructure. We then show how the integration of a Semantic Web rules language (N3) with a theorem prover designed for the Web (Cwm) makes it possible to use the Hypertext Transport Protocol (http) to provide a scalable mechanismfor the exchange of rules and, eventually, proofs for access control on the Web. We also discuss which aspects of the Policy Aware Web are enabled by the current mechanism and describe future research needed to make the widespread deployment of rules and proofs on the Web a reality.


2021 ◽  
pp. 188-202
Author(s):  
Guilherme Lima ◽  
Marcelo Machado ◽  
Rosario Uceda-Sosa ◽  
Marcio Moreno

2003 ◽  
Vol 2 (4) ◽  
pp. 323-338 ◽  
Author(s):  
J. Dietrich ◽  
A. Kozlenkov ◽  
M. Schroeder ◽  
G. Wagner
Keyword(s):  

2019 ◽  
Vol 8 (4) ◽  
pp. 2531-2539

The major benefit of working on Ontology Web Language (OWL) is its ability to define semantics such that the information becomes more valuable. To realize the full power of semantics, it is essential to integrate a reasoning engine to it. The software codes that perform inferences are often referred to as reasoning engines or reasoners. The reasoners can be classified into categories: tableau based and rule based reasoners. The rule based reasoners combines the assertions with a set of logical rules to infer new knowledge chunks. The Jena framework offers several ways to integrate rule based reasoners programmatically. The operation is similar to creating a more advanced model from a simpler one. The objective of this paper is to list and classify the reasoners according to OWL 2 profiles thereafter the focus of this study is to develop a model which evaluate the performance of Semantic Web Reasoner based on few parameters.


2012 ◽  
Vol 8 (1) ◽  
pp. 1-16 ◽  
Author(s):  
Jae W. Hwang ◽  
Shmuel Rotenstreich

This paper presents a policy-based coordination model for team collaboration. Team collaboration requires an agreement that utilizes a negotiation protocol to find candidate teams and to decide on a collaboration partner. The decision relies on policies that are rules governing team situations in an organization. Contexts and rules allow reasoning about team situations. The authors describe a policy-based negotiation protocol. It introduces an ontology-based whiteboard component that uses the Semantic Web technologies such as Web Ontology Language (OWL), Semantic Web Rule Language (SWRL), and Semantic Query-enhanced Web Rule Language (SQWRL). The negotiation protocol facilitates whiteboards as a computational foundation for awareness of situations and policies, and it assists with the final decision using a measure based on the combination of rule-based queries and functions.


Author(s):  
Seung-Cheol Yang ◽  
Lalit Patil ◽  
Debasish Dutta

Defining or understanding a product in terms of its functions facilitates a wide variety of tasks such as design synthesis, modeling, and analysis. However, the lack of a semantically correct formal representation of product functions creates a barrier to their effective capture, exchange, and reuse. This paper presents Function Semantics Representation, a rule-based ontological formalism that is consistent with the Semantic Web standards to capture different components of a product function. In particular, the Semantic Web Rule Language is used to overcome limitations in using the basic Web Ontology Language ontology to explicitly capture advanced semantics essential to completely represent product functions. This enables support for an effective reasoning mechanism to develop and validate the product function (or functional model). We present examples that demonstrate consistency checking and the ability to retrieve functionally similar products from a repository.


Author(s):  
Levent V. Orman

A new generation of intermediaries is predicted to flourish in the emerging electronic markets. They rely on new information technologies such as the semantic web, rule-based triggers, and knowledge-based constraint maintenance systems. These technologies do not automate or reduce intermediation, but inspire new types of intermediaries that rely on the technologies and complement them with human organizations. An inter-organizational architecture based on multiple levels of intermediation is described, and arguments are presented for its usefulness in emerging electronic markets.


Author(s):  
Georgios Meditskos ◽  
Nick Bassiliades

This chapter is focused on the basic principles behind the utilization of rules in order to perform reasoning about the Web Ontology Language (OWL), a Description Logic-based language that is the W3C recommendation for creating and sharing ontologies in the Semantic Web. More precisely, we elaborate on the entailment-based OWL reasoning (EBOR) paradigm, which is based on the utilization of RDF/ RDFS and OWL entailment rules that run on a rule engine, applying the formal semantics of the ontology language. To this end, seven EBOR systems are described and compared, analyzing the different approaches. Despite the closed rule environment, which comes in contrast with the open nature of the Semantic Web, and the fact that OWL semantics are partially mapped into rules, the rule-based OWL reasoning paradigm can give great potentials in the Semantic Web, enabling the utilization of rule engines on top of ontology information.


Sign in / Sign up

Export Citation Format

Share Document