We are interested in enabling DAML+OIL-marked documents to be used in applications which require higher reasoning capabilities. We have experimented with DAML+OIL in assignment 1, in there we developed ontologies and documents that establish facts, and we realize that there is a need for higher reasoning capabilities. For example, if you have an ontology for shopping and documents with facts about customers, you might want to establish "rules" to handle discount to customers depending on their history. You can do this in a straight forward maner using a general reasoner, but these general reasoners are not capable of dealing with (and taking advantage of) rich mark up languages like DAML+OIL.
In this project we'll review tools with capabilities to map rich markup languages (e.g., DAML) into a form suitable for knowledge-based processing and related tools like translators of general rules into semantic rules.
We welcome your suggestions.