SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

A semantic web reasoner for rules, equations and constraints
 by Dr. Grit Denker, Daniel Elenius & Dr. Mark-Oliver Stehr.

Abstract

We describe a reasoner for OWL ontologies and SWRL policies used on cognitive radios to control dynamic spectrum access. In addition to rules and ontologies, the reasoner needs to handle user-defined operations (e.g., temporal and geospatial). Furthermore, the reasoner must perform sophisticated constraint simplification because any unresolved constraints can be used by a cognitive radio to plan and reason about its spectrum usage. No existing reasoner supported all these features. However, the term rewriting engine Maude, augmented with narrowing, provides a promising reasoning mechanism. This allows for a behavior similar to that of a logic programming system, while constraint simplification rules as well as operations can easily be defined and processed. Our system and general approach will be useful for other problems that need sophisticated constraint processing in addition to rule-based reasoning, or where new operations need to be added. The implementation is efficient enough to run on resource-constrained embedded systems such as software-defined radios.

BibTEX Entry
@inproceedings{DBLP:conf/rr/EleniusDS08,
  author    = {Daniel Elenius and
               Grit Denker and
               Mark-Oliver Stehr},
  title     = {A Semantic Web Reasoner for Rules, Equations and Constraints},
  booktitle = {RR},
  year      = {2008},
  pages     = {135-149},
  ee        = {http://dx.doi.org/10.1007/978-3-540-88737-9_11},
  crossref  = {DBLP:conf/rr/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/rr/2008,
  editor    = {Diego Calvanese and
               Georg Lausen},
  title     = {Web Reasoning and Rule Systems, Second International Conference,
               RR 2008, Karlsruhe, Germany, October 31-November 1, 2008.
               Proceedings},
  booktitle = {RR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5341},
  year      = {2008},
  isbn      = {978-3-540-88736-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy