Catálogo de publicaciones - libros

Multiple business factors have emerged to accelerate the necessity of event-driven functionality and make it part of the main-stream computing, instead of a niche technology. Consequently, there is now focus on using high-level software constructs to build these applications. This paper presents a vision for such high-level features and architecture. This paper explains why “event-driven applications” becomes an emerging area, explains the basic terminology of EDA, explains the relationship to business rules, and sets some directions for the future of this discipline.

The Semantic Web has reached a level of maturity that allows RDF and OWL to be adopted by commercial software vendors. Products that incorporate these standards are being used to help provide solutions to the increasingly complex IT challenges that many industries face. Standardization efforts for the Semantic Web have progressed to the point where efforts are starting in the integration of ontologies and rules. This paper showcases the implementation of a Semantic Web rulebase in Oracle Database 10g, and provides examples of its use within drug discovery and development. A more detailed paper is currently being prepared with Dr. Said Tabet of the RuleML initiative where a more detailed design and specification is provided explaining the

In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages. In particular, we argue that there is a very important class of rule-based languages, with over thirty years of history and experience, which cannot be layered on top of OWL and must be included in the Semantic Web architecture alongside with the stack of OWL-based languages. The class of languages we are after includes rules in the Logic Programming style, which support default negation. We briefly survey the logical foundations of these languages and then discuss an interoperability framework in which such languages can co-exist with OWL and its extensions.

In the same way as the “static” Semantic Web deals with data model and language heterogeneity and semantics that lead to RDF and OWL, there is language heterogeneity and the need for a semantical account concerning Web dynamics. Thus, generic rule markup has to bridge these discrepancies, i.e., allow for of component languages, retaining their distinguished semantics and making them accessible e.g. for reasoning about rules.

In this paper we analyze the basic concepts for a general language for evolution and reactivity in the Semantic Web. We propose an ontology based on the paradigm of Event-Condition-Action (ECA) rules including an XML markup. In this framework, different languages for events (including languages for composite events), conditions (queries and tests) and actions (including complex actions) can be composed to define high-level rules for describing behavior in the Semantic Web.

This paper contains a proposal of an abstract syntax and a model theoretic semantics for NafNegDatalog, sublanguage of RuleML [9]. The model-theoretic semantics use the partial logic ([7], [10]) to provide an interpretation and a satisfaction relation, and provide a formal meaning for RuleML knowledge bases written in the abstract syntax.

Enforcing rich policies in open environments will increasingly require the ability to dynamically identify external sources of information necessary to enforce different policies (e.g. finding an appropriate source of location information to enforce a location-sensitive access control policy). In this paper, we introduce a semantic web framework and a meta-control model for dynamically interleaving policy reasoning and external service discovery and access. Within this framework, external sources of information are wrapped as web services with rich semantic profiles allowing for the dynamic discovery and comparison of relevant sources of information. Each entity (e.g. user, sensor, application, or organization) relies on one or more responsible for enforcing relevant privacy and security policies in response to incoming requests. These agents implement meta-control strategies to dynamically interleave semantic web reasoning and service discovery and access. The paper also presents preliminary empirical results. This research has been conducted in the context of Campus, a pervasive computing environment aimed at enhancing everyday campus life at Carnegie Mellon University.

Monitoring systems commonly use data dependencies and are very often required to have real-time, or near real-time, capabilities. Resolution of dependencies using a reactive rule engine is an evident choice, since it provides inherent real-time characteristics.

We introduce the novel approach taken by Active Dependency Integration (ADI) technology in using reactive rules for dependency resolution, i.e., for the purpose of calculating an updated value using the value elements on which it depends. The salient property of this approach is that it demonstrates autonomic behavior. The set of reactive rules used for dependency resolution does not depend on the model for which it provides dependency resolution. The same rules handle every dependency model and support dynamic models, where elements may be added or deleted, without having to change any code or rule definitions, or stop the monitoring for manual system reconfiguration and redeployment. The rules are implemented in AMIT, an event-driven rule engine.

This paper follows the research direction that has received a growing interest recently, namely application of knowledge discovery methods to complex data representations. Among others, there have been methods proposed for learning in expressive, hybrid languages, combining relational component with terminological (description logics) component. In this paper we present a novel approach to frequent pattern discovery over the knowledge base represented in such a language, the combination of the basic subset of description logics with DL-safe rules, that can be seen as a subset of Semantic Web Rule Language. Frequent patterns in our approach are represented as conjunctive DL-safe queries over the hybrid knowledge base. We present also an illustrative example of our method based on the financial dataset.

This paper presents the design and implementation of the rule engine ruleCore and the ECA rule markup language rCML. In particular, an extensive set of event operators are shown in the rCML rule markup language.

We show the first detailed realistic e-business application scenario that uses and exploits capabilities of the SweetRules V2.1 toolset for e-contracting using the SweetDeal approach. SweetRules is a uniquely powerful integrated set of tools for semantic web rules and ontologies. SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate and execute contacts with substantial automation and modularity. The scenario that we implement is of electronic procurement of computers, with request-response iterated B2B supply-chain management communications using RuleML as content of the contracting discovery/negotiation messages. In particular, the capabilities newly exploited include: SweetJess or SweetXSB to do inferencing in addition to the option of SweetCR inferencing, SweetOnto to incorporate/merge-in OWL-DLP ontologies, and effectors to launch real-world actions. We identify desirable additional aspects of query and message management to incorporate into RuleML and give the design of experimental extensions to the RuleML schema/model, motivated by those, that include specifically: fact queries and answers to them. We present first scenario of using SCLP RuleML for rebates and financing options, in particular exploiting the courteous prioritized conflict handling feature. We give a new SweetDeal architecture for the business messaging aspect of contracting, in particular exploiting the situated feature to exchange rulesets, that obviates the need to write new (non-rule-based) agents as in the previous SweetDeal V1 prototype. We finally analyze how the above techniques, and SweetDeal, RuleML and SweetRules overall, can combine powerfully with other e-business technologies such as RosettaNet and ebXML.