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.
Applying Prolog to Semantic Web Ontologies & Rules Moving Toward Description Logic Programs
Download Resources
PDF Accessibility
One or more of the PDF files on this page fall under E202.2 Legacy Exceptions and may not be completely accessible. You may request an accessible version of a PDF using the form on the Contact Us page.
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.