Applying Prolog to Semantic Web Ontologies and Rules Moving Toward Description Logic Programs

Abstract

We are developing SWORIER (Semantic Web Ontologies and Rules for Interoperability with Efficient Reasoning), which is a system that uses Logic Programming to reason about ontologies and rules in order to answer queries. The system expects a human developer to create ontologies in the formalisms of OWL-DL (Web Ontology Language for Description Logic) along with rules in SWRL (the Semantic Web Rule Language) or Rule ML (the Rule Markup Language). Then, at compile time, this information is translated into Prolog code using XSLTs (Extensible Stylesheet Language Transformations). In addition, a Prolog program called General Rules, which is meant to capture the semantics of OWL's primitives, is appended to the XSLT output to form a complete Prolog program. We then use knowledge compilation techniques to create an efficient version of the program. At run time, the system can answer queries and assimilate dynamic changes by reasoning over the given information.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 2007
Accession Number
AD1125977

Entities

People

  • Alexander D. Johnson
  • Daniel M. Nichols
  • John C. Peterson
  • K. Fox
  • K. Laskey
  • K. Samuel
  • L. Obrst
  • P. Franklin
  • S. Lopez
  • S. Stoutenburg

Organizations

  • MITRE Corporation

Tags

DTIC Thesaurus Topics

  • Addressing
  • Colorado
  • Commerce
  • Computer Languages
  • Computer Programming
  • Contracts
  • Corporations
  • Electronic Commerce
  • Identification
  • Internet
  • Interoperability
  • Language
  • Linguistics
  • Markup Languages
  • Models
  • Ontologies
  • Prototypes
  • Reasoning
  • Rule Based Systems
  • Semantics
  • World Wide Web

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Database Systems and Applications