Rule Languages

2016 ◽  
pp. 73-86
Author(s):  
G. Q. Zhang
Keyword(s):  
Rule Languages

A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×

2020 ◽  
Vol 176 (3-4) ◽  
pp. 349-384
Author(s):  
Domenico Cantone ◽  
Marianna Nicolosi-Asmundo ◽  
Daniele Francesco Santamaria
Keyword(s):  
Description Logic ◽  
Description Logics ◽  
Theoretic Approach ◽  
The Novel ◽  
Data Types ◽  
Left Hand ◽  
Rule Languages ◽  
Tableau System ◽  
High Scalability ◽  
Better Than

In this paper we consider the most common TBox and ABox reasoning services for the description logic 𝒟ℒ〈4LQSR,x〉(D) ( 𝒟 ℒ D 4,× , for short) and prove their decidability via a reduction to the satisfiability problem for the set-theoretic fragment 4LQSR. 𝒟 ℒ D 4,× is a very expressive description logic. It combines the high scalability and efficiency of rule languages such as the SemanticWeb Rule Language (SWRL) with the expressivity of description logics. In fact, among other features, it supports Boolean operations on concepts and roles, role constructs such as the product of concepts and role chains on the left-hand side of inclusion axioms, role properties such as transitivity, symmetry, reflexivity, and irreflexivity, and data types. We further provide a KE-tableau-based procedure that allows one to reason on the main TBox and ABox reasoning tasks for the description logic 𝒟 ℒ D 4,× . Our algorithm is based on a variant of the KE-tableau system for sets of universally quantified clauses, where the KE-elimination rule is generalized in such a way as to incorporate the γ-rule. The novel system, called KEγ-tableau, turns out to be an improvement of the system introduced in [1] and of standard first-order KE-tableaux [2]. Suitable benchmark test sets executed on C++ implementations of the three mentioned systems show that in several cases the performances of the KEγ-tableau-based reasoner are up to about 400% better than the ones of the other two systems.

Mapping Policies to Web Rules

2011 ◽  
pp. 2175-2205
Author(s):  
Nima Kaviani ◽  
Dragan Gaševic ◽  
Marek Hatala
Keyword(s):  
The Other ◽  
Markup Language ◽  
Business Rules ◽  
Policy Language ◽  
Policy Languages ◽  
Autonomous Computing ◽  
Knowing That ◽  
Other Hand ◽  
Rule Languages ◽  
Internal Code

Web rule languages have recently emerged to enable different parties with different business rules and policy languages to exchange their rules and policies. Describing the concepts of a domain through using vocabularies is another feature supported by Web rule languages. Combination of these two properties makes web rule languages appropriate mediums to make a hybrid representation of both context and rules of a policy-aware system. On the other hand, policies in the domain of autonomous computing are enablers to dynamically regulate the behaviour of a system without any need to interfere with the internal code of the system. Knowing that policies are also defined through rules and facts, Web rules and policy languages come to a point of agreement, where policies can be defined through using web rules. This chapter focuses on analyzing some of the most known policy languages (especially, KAoS policy language) and describes the mappings from the concepts for KAoS policy language to those of REWERSE Rule Markup Language (R2ML), one of the two proposals to Web rule languages.

Semantic Web Rule Languages for Geospatial Ontologies

2011 ◽  
pp. 648-669
Author(s):  
Philip D. Smart ◽  
Alia I. Abdelmoty ◽  
Baher A. El-Geresy ◽  
Christopher B. Jones
Keyword(s):  
Semantic Web ◽  
Description Logic ◽  
Continuous Process ◽  
Geographical Information ◽  
Ontology Language ◽  
Rule Languages ◽  
Sample Application ◽  
Representation Language ◽  
Representational Approach ◽  
Geospatial Ontologies

Geospatial ontologies have a key role to play in the development of the geospatial-Semantic Web, with regard to facilitating the search for geographical information and resources. They normally hold large volumes of geographic information and undergo a continuous process of revision and update. Limitations of the OWL ontology representation language for supporting geospatial domains are discussed and an integrated rule and ontology language is recognized as needed to support the representation and reasoning requirements in this domain. A survey of the current approaches to integrating ontologies and rules is presented and a new framework is proposed that is based on and extends Description Logic Programs. A hybrid representational approach is adopted where the logical component of the framework is used to represent geographical concepts and spatial rules and an external computational geometry processor is used for storing and manipulating the associated geometric data. A sample application is used to demonstrate the proposed language and engine and how they address the identified challenges.

Logics for the Semantic Web

2011 ◽  
pp. 24-43
Author(s):  
J. Bruijn
Keyword(s):  
Semantic Web ◽  
Logic Programming ◽  
Description Logic ◽  
Description Logics ◽  
Order Logic ◽  
First Order Logic ◽  
Horn Logic ◽  
First Order ◽  
Logical Language ◽  
Rule Languages

This chapter introduces a number of formal logical languages which form the backbone of the Semantic Web. They are used for the representation of both ontologies and rules. The basis for all languages presented in this chapter is the classical first-order logic. Description logics is a family of languages which represent subsets of first-order logic. Expressive description logic languages form the basis for popular ontology languages on the Semantic Web. Logic programming is based on a subset of first-order logic, namely Horn logic, but uses a slightly different semantics and can be extended with non-monotonic negation. Many Semantic Web reasoners are based on logic programming principles and rule languages for the Semantic Web based on logic programming are an ongoing discussion. Frame Logic allows object-oriented style (frame-based) modeling in a logical language. RuleML is an XML-based syntax consisting of different sublanguages for the exchange of specifications in different logical languages over the Web.

A Logic Programming Perspective on Rules

2010 ◽  
pp. 195-213
Author(s):  
Leon Sterling ◽  
Kuldar Taveter
Keyword(s):  
Logic Programming ◽  
Logic Program ◽  
Modelling And Simulation ◽  
Rule Based ◽  
Hybrid Computing ◽  
Rule Languages ◽  
The Web

Logic programming emerged from the realization that expressing knowledge in an appropriate clausal form in logic was akin to programming. The basic construct of a logic program can be viewed as a rule. This chapter will review rules from a logic programming perspective with an eye to developments within modern rule languages. It mentions rule interpreters, hybrid computing, interaction with the Web, and agents. An extended example is given concerning rule-based modelling and simulation of traffic at airports.

Semantic Web Rule Languages for Geospatial Ontologies

2010 ◽  
pp. 149-169
Author(s):  
Philip D. Smart ◽  
Alia Abdelmoty ◽  
Baher A. El-Geresy
Keyword(s):  
Semantic Web ◽  
Description Logic ◽  
Continuous Process ◽  
Geographical Information ◽  
Ontology Language ◽  
Rule Languages ◽  
Sample Application ◽  
Representation Language ◽  
Representational Approach ◽  
Geospatial Ontologies

Geospatial ontologies have a key role to play in the development of the geospatial-Semantic Web, with regard to facilitating the search for geographical information and resources. They normally hold large volumes of geographic information and undergo a continuous process of revision and update. Limitations of the OWL ontology representation language for supporting geospatial domains are discussed and an integrated rule and ontology language is recognized as needed to support the representation and reasoning requirements in this domain. A survey of the current approaches to integrating ontologies and rules is presented and a new framework is proposed that is based on and extends Description Logic Programs. A hybrid representational approach is adopted where the logical component of the framework is used to represent geographical concepts and spatial rules and an external computational geometry processor is used for storing and manipulating the associated geometric data. A sample application is used to demonstrate the proposed language and engine and how they address the identified challenges.

Sign in / Sign up

Export Citation Format

Share Document