What is OWLP?

• OWLP is a parser and (not very good) reasoner for OWL DL.
• OWLP takes OWL written in RDF/XML and attempts to turn it into OWL abstract syntax.
• OWLP then reads that abstract syntax and turns it into modal logic formulae, which are then passed to a modal reasoner. < /li>
• OWLP is written in CAML and SML/NJ.

How does OWLP do its parsing?

1. Start with a World Wide Web RDF/XML document (or a file)
2. Parse the document into the XQuery 1.0 and XPath 2.0 Data Model.
   • using an as-yet-unreleased version of Galax
3. Turn the data model into an RDF graph
   • Bugs in some obscure cases and incorrect serialization of RDF XML literals.
4. Analyze the RDF graph and try to turn it into an OWL DL ontology or collection of axioms and facts
   • Handle OWL imports directives here.
   • There is also code to print the result in the OWL abstract syntax.
5. Optionally check to see if the result is in OWL Lite.

How does OWLP do its reasoning?

1. Start with a file containing a OWL abstract syntax ontologies, axioms, and facts.
2. Parses the file into an internal form
   • including checking context sensitive aspects of OWL DL
3. Translate internal form into modal formulae as required to do consistency and entailment processing.
   • This modal language cannot handle all OWL abstract syntax, so this process may not succeed.
4. Hand these modal formulae over to an experimental partial version of the DLP description logic prover.
   • This version is an incomplete reasoner.
   • This version has bugs.

Analysis of Results

• OWLP does a very good job on parsing and checking OWL written in RDF/XML.
  • The only divergences between OWLP and the test suite are where there is disagreement between the test suite and .
• OWLP does a poor job on reasoning with OWL DL.
  • Expected because of deficiencies of version of DLP used.