Applying Prolog to Semantic
Web Ontologies & Rules Moving Toward Description Logic Programs
April 2007
K. Samuel, The MITRE Corporation
L. Obrst, The MITRE Corporation
S. Stoutenburg, The MITRE Corporation
K. Fox, The MITRE Corporation
P. Franklin, The MITRE Corporation
A. Johnson, The MITRE Corporation
K. Laskey, The MITRE Corporation
D. Nichols, The MITRE Corporation
S. Lopez, The MITRE Corporation
J. Peterson, The MITRE Corporation
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 RuleML (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.
Additional Search Keywords
N/A
|
