RuleML 1.0: The Overarching Specification of Web Rules
نویسندگان
چکیده
RuleML is a family of languages, whose modular system of XML schemas permits high-precision Web rule interchange. The family’s top-level distinction is deliberation rules vs. reaction rules. Deliberation rules include modal and derivation rules, which themselves include facts, queries (incl. integrity constraints), and Horn rules (incl. Datalog). Reaction rules include Complex Event Processing (CEP), Knowledge Representation (KR), and Event-Condition-Action (ECA) rules, as well as Production (CA) rules. RuleML rules can combine all parts of both derivation and reaction rules. This allows uniform XML serialization across all kinds of rules. After its use in SWRL and SWSL, RuleML has provided strong input to W3C RIF on several levels. This includes the use of ‘striped’ XML as well as the structuring of rule classes into sublanguages with partial mappings between, e.g., Datalog RuleML and RIFCore, Hornlog RuleML and RIF-BLD, as well as Production RuleML and RIF-PRD. We discuss the rationale and key features of RuleML 1.0 as the overarching specification of Web rules that encompasses RIF RuleML as a subfamily, and takes into account corresponding OASIS, OMG (e.g., PRR, SBVR), and ISO (e.g., Common Logic) specifications.
منابع مشابه
Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules
Directed labeled graphs (DLGs) provide a good starting point for visual data & knowledge representation but cannot straightforwardly represent non-binary relationships, nested structures, and relation descriptions. These advanced features require encoded constructs with auxiliary nodes and relationships, which also need to be kept separate from straightforward constructs. Therefore, various ext...
متن کاملReaction RuleML 1.0: Standardized Semantic Reaction Rules
1 RuleML is a family of XML languages whose modular system of schemas permits high-precision (Web) rule interchange. The family’s top-level distinction is deliberation rules vs. reaction rules. In this paper we address the Reaction RuleML subfamily of RuleML and survey related work. Reaction RuleML is a standardized rule markup/serialization language and semantic interchange format for reaction...
متن کاملReducing the Overconfidence of Base Classifiers when Combining Their Decisions
RuleML is a family of XML languages whose modular system of schemas permits high-precision (Web) rule interchange. The family’s top-level distinction is deliberation rules vs. reaction rules. In this paper we address the Reaction RuleML subfamily of RuleML and survey related work. Reaction RuleML is a standardized rule markup/serialization language and semantic interchange format for reaction r...
متن کاملRepresenting, Querying, and Visualizing Health-Insurance Knowledge in a Cost-Sharing Estimator
Cost-Sharing Estimator (CostShEs) 1.0 is a prototype for health-insurance knowledge representation, querying, and visualization. CostShEs 1.0 allows client-side consultation about the cost of a healthcare service for a client with/without insurance. The input to this prototype system is a form-based inquiry by a client about the cost of a service. Based on the client’s entered membership number...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کامل