Event-Condition-Action Rule Languages for the Semantic Web

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.

Download Full-text

Logics for the Semantic Web

Semantic Web Services ◽

10.4018/978-1-59904-045-5.ch002 ◽

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.

Download Full-text

Semantic Web Rule Languages for Geospatial Ontologies

Handbook of Research on Emerging Rule-Based Languages and Technologies ◽

10.4018/978-1-60566-402-6.ch007 ◽

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.

Download Full-text

The Role of Mereotopology and SWRL Rules to Represent Joint Topology Information for Design Collaboration

Volume 3: 28th Computers and Information in Engineering Conference, Parts A and B ◽

10.1115/detc2008-49192 ◽

2008 ◽

Author(s):

Kyoung-Yun Kim ◽

Hyungjeong Yang

Keyword(s):

Semantic Web ◽

Physical Structure ◽

Engineering Properties ◽

Design Environment ◽

Joint Design ◽

Design Collaboration ◽

Rule Languages ◽

Topology Information ◽

Conversion Rules

This paper discusses the role of mereotopology and SWRL (Semantic Web Rule Language) to represent joint topology. Within the physical structure of engineered products, joints are inevitable because of the limitations of component geometries and the required engineering properties. While joints themselves may have similar geometrical configurations, the physical implications of the selected joining processes vary significantly. Mereotopology provides a formal region-based theory for parts and associated concepts. The mereotopologically defined joints topologies are implemented in SWRL (Semantic Web Rule Languages) to overcome the lack of universality of semantic definitions. The paper also presents the conversion rules to translate the mereotopological joint definitions to SWRL rules. These rules can be reasoned for software agents to understand the different joint topologies. This contribution is illustrated by using a real fixture assembly. Also, the remaining challenges to realize a semantic assembly joint design environment are discussed in this paper.

Download Full-text

Rule Markup Languages and Semantic Web Rule Languages

Handbook of Research on Emerging Rule-Based Languages and Technologies ◽

10.4018/978-1-60566-402-6.ch001 ◽

2010 ◽

pp. 1-24 ◽

Cited By ~ 7

Author(s):

Adrian Paschke ◽

Harold Boley

Keyword(s):

Semantic Web ◽

Markup Language ◽

Abstract Syntax ◽

Narrow Sense ◽

Design Issues ◽

Markup Languages ◽

Common Basis ◽

Rule Languages ◽

The Web

Rule markup languages will be the vehicle for using rules on the Web and in other distributed systems. They allow publishing, deploying, executing and communicating rules in a network. They may also play the role of a lingua franca for exchanging rules between different systems and tools. In a narrow sense, a rule markup language is a concrete (XML-based) rule syntax for the Web. In a broader sense, it should have an abstract syntax as a common basis for defining various concrete languages addressing different consumers. The main purposes of a rule markup language are to permit the publication, interchange and reuse of rules. This chapter introduces important requirements and design issues for general Web rule languages to fulfill these tasks. Characteristics of several important general standardization or standards-proposing efforts for (XML-based) rule markup languages including W3C RIF, RuleML, R2ML, SWRL as well as (human-readable) Semantic Web rule languages such as TRIPLE, N3, Jena, and Prova are discussed with respect to these identified issues.

Download Full-text

Rule Languages for the Semantic Web

Advances in Intelligent Systems and Computing - Emerging Technologies in Data Mining and Information Security ◽

10.1007/978-981-13-1951-8_73 ◽

2018 ◽

pp. 825-834 ◽

Cited By ~ 2

Author(s):

Sonia Mehla ◽

Sarika Jain

Keyword(s):

Semantic Web ◽

Rule Languages

Download Full-text

Sharing Ontologies and Rules Using Model Transformations

Handbook of Research on Emerging Rule-Based Languages and Technologies ◽

10.4018/978-1-60566-402-6.ch020 ◽

2010 ◽

pp. 471-492 ◽

Cited By ~ 1

Author(s):

Milan Milanovic ◽

Dragan Djuric ◽

Dragan Gasevic ◽

Vladan Devedzic

Keyword(s):

Semantic Web ◽

Ad Hoc ◽

General Rule ◽

Model Transformations ◽

Ontology Development ◽

Model Driven ◽

Development Platform ◽

Rule Languages ◽

Concrete Syntax ◽

Mapping Techniques

Web Ontology Language (OWL), Semantic Web Rule Language (SWRL) and Model-Driven Engineering (MDE) are technologies being developed in parallel, but by different communities. They have common points and issues and can be brought closer together. Many authors have so far stressed this problem and have proposed several solutions. The result of these efforts is the recent OMG’s initiative for defining an ontology development platform. However, the problem of transformation between Semantic Web ontology and rule languages and MDE-based languages has been solved using rather partial and ad hoc solutions, most often by XSLT. In this paper, we relations between the Semantic Web languages and MDE-compliant languages as separate technical spaces. In order to achieve a synergy between these technical spaces, we present ontology and rule languages in terms of MDE standards, recognize relations between the OWL and SWRL langauges and MDE-based ontology languages, and propose mapping techniques. In order to illustrate the approach, we use an MDE-defined architecture that includes the ontology and rule metamodels and ontology UML Profile. We also show how MDE techniques, such as model transformations, can be used to enable sharing rules and ontologies by using REWERSE Rule Markup Language (R2ML), a proposal for a general rule language. The main benefit of this approach is that it keeps the focus on the language concepts (i.e., languages’ abstract syntax - metamodels) rather than on technical issues caused by different concrete syntax. Yet, we also provide transformations that bridge between both languages’ concrete (XML) and abstract (MOF) syntax.

Download Full-text