Translating owl and semantic web rules into prolog: Moving toward description logic programs

  • Authors:

  • Ken Samuel;Leo Obrst;Suzette Stoutenberg;Karen Fox;Paul Franklin;Adrian Johnson;Ken Laskey;Deborah Nichols;Steve Lopez;Jason Peterson

  • Affiliations:

  • The mitre corporation, 7525 colshire drive, mclean, va 22102-7508 (e-mail: samuel@mitre.org, lobrst@mitre.org, klaskey@mitre.org, dlnichols@mitre.org);The mitre corporation, 7525 colshire drive, mclean, va 22102-7508 (e-mail: samuel@mitre.org, lobrst@mitre.org, klaskey@mitre.org, dlnichols@mitre.org);The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: suzette@mitre.org, kfox@mitre.org, pfranklin@mitre.org, abjohnson@mitre.org, slopez@mitre.org, jasonp@mitre. ...;The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: suzette@mitre.org, kfox@mitre.org, pfranklin@mitre.org, abjohnson@mitre.org, slopez@mitre.org, jasonp@mitre. ...;The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: suzette@mitre.org, kfox@mitre.org, pfranklin@mitre.org, abjohnson@mitre.org, slopez@mitre.org, jasonp@mitre. ...;The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: suzette@mitre.org, kfox@mitre.org, pfranklin@mitre.org, abjohnson@mitre.org, slopez@mitre.org, jasonp@mitre. ...;The mitre corporation, 7525 colshire drive, mclean, va 22102-7508 (e-mail: samuel@mitre.org, lobrst@mitre.org, klaskey@mitre.org, dlnichols@mitre.org);The mitre corporation, 7525 colshire drive, mclean, va 22102-7508 (e-mail: samuel@mitre.org, lobrst@mitre.org, klaskey@mitre.org, dlnichols@mitre.org);The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: suzette@mitre.org, kfox@mitre.org, pfranklin@mitre.org, abjohnson@mitre.org, slopez@mitre.org, jasonp@mitre. ...;The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: suzette@mitre.org, kfox@mitre.org, pfranklin@mitre.org, abjohnson@mitre.org, slopez@mitre.org, jasonp@mitre. ...

  • Venue:
  • Theory and Practice of Logic Programming
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We are researching the interaction between the rule and the ontology layers of the Semantic Web, by comparing two options: 1) using OWL and its rule extension SWRL to develop an integrated ontology/rule language, and 2) layering rules on top of an ontology with RuleML and OWL. Toward this end, we are developing the SWORIER system, which enables efficient automated reasoning on ontologies and rules, by translating all of them into Prolog and adding a set of general rules that properly capture the semantics of OWL. We have also enabled the user to make dynamic changes on the fly, at run time. This work addresses several of the concerns expressed in previous work, such as negation, complementary classes, disjunctive heads, and cardinality, and it discusses alternative approaches for dealing with inconsistencies in the knowledge base. In addition, for efficiency, we implemented techniques called extensionalization, avoiding reanalysis, and code minimization.