DMCA
FIRE – A DESCRIPTION LOGIC BASED RULE ENGINE FOR OWL ONTOLOGIESWITH SWRL-LIKE RULES (2005)
Cached
Download Links
BibTeX
@MISC{Bhoopalam05fire–,
author = {Kruthi Bhoopalam and Kruthi Bhoopalam},
title = {FIRE – A DESCRIPTION LOGIC BASED RULE ENGINE FOR OWL ONTOLOGIESWITH SWRL-LIKE RULES},
year = {2005}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The present decade has seen significant progress towards realizing the vision of the Semantic Web. This progress has most often been seen in the levels of maturity reached by each layer in the architectural layers representing the Semantic Web vision. The ontology layer reached a substantial level of maturity with the OWL Web Ontology Language (OWL) being recommended by the WorldWide Web Consortium (W3C) as the standard for representing ontologies on the Web. This move has triggered several other standardizations and led to interesting research results that have further strengthened the ontology layer. This has motivated the Semantic Web community to venture further towards the rules layer in the vision. One of the interesting lines of research in this context is to extend OWL with rules both syntactically and semantically and providing a sound, complete and terminating reasoning support for the extension. Our present work corresponds to this line of research. We investigate the problem of providing a description logic (DL) based rule reasoning support for OWL ontologies extended with rules. Guided by the Semantic Web Rule Language (SWRL) extension to OWL, we recognize a rule language called the SWRL-like rule language as a rule-extension to OWL. The SWRL-like rule language has a similar syntax as SWRL but differs in its semantics. We propose the system Fire, a rule reasoning engine for the extension of OWL ontologies with SWRL-like rules. The reasoning procedure proposed for the Fire system follows active domain semantics to ensure termination. The reasoning procedure is conjectured to be sound and complete based on the approach followed in the CARIN system. Contrary to several existing translation-based approaches for reasoning with OWL ontologies combined with rules, our proposal provides direct DL based rule inferencing that is synchronous with the OWL inferencing. This synchronous integration with a DL reasoner offers immediate feedback about rule consequences in the OWL knowledge base (KB). The proposal is supported with a prototype Java implementation iii of the Fire system. The prototype implements the RETE algorithm for pattern matching. Our experiments with the pattern matcher algorithm indicate higher efficiency and speed of the implemented RETE algorithm in matching DL facts with SWRL-like rule patterns, compared to a na¨ıve approach to pattern-matching. The implemented prototype is sound based on the sound and complete reasoning of the DL reasoner RACER. Termination is ensured by the active domain semantics. The prototype does not guarantee completeness of reasoning due to the unavailability of an important OWL reasoning service from any of the existing DL reasoners.
Keyphrases
owl ontology fire system swrl-like rule language active domain semantics ontology layer reasoning procedure algorithm indicate similar syntax owl inferencing substantial level research result direct dl semantic web description logic present work owl web ontology language semantic web community carin system important owl interesting line swrl-like rule rule language implemented prototype significant progress towards complete reasoning architectural layer worldwide web consortium translation-based approach synchronous integration rule consequence semantic web vision dl reasoner present decade pattern matching semantic web rule language dl fact implemented rete algorithm owl knowledge base several standardization system fire dl reasoner racer na ve approach prototype java implementation iii swrl-like rule pattern rete algorithm dl reasoner offer
