ALC tableau algorithm, ALC knowledge base KB, DL axioms, OWL axioms, Semantic Web

4 questions on ALC tableau algorithm, ALC knowledge base KB, DL axioms, OWL axioms. All the questions are in the PDF document. I need all of them solved with full working out. It can be done on computer e.g., word etc or it can be hand written and scanned and then sent to me, either way is good. I need this done ASAP, latest Wednesday 3 August 2005 11.30 am ## Deliverables Rent A Coder requirements notice: As originally posted, this bid request does not have complete details. Should a dispute arise and this project go into arbitration "as is", the contract's vagueness might cause it to be interpreted against you, even though you were acting in good-faith. So for your protection, if you are interested in this project, please work-out and document the requirements onsite. 1) all 4 questions fully answered with all working out. 2) Deliverables must be in ready-to-run condition, as follows (depending on the nature of the deliverables): a) For web sites or other server-side deliverables intended to only ever exist in one place in the Buyer's environment--Deliverables must be installed by the Seller in ready-to-run condition in the Buyer's environment. b) For all others including desktop software or software the buyer intends to distribute: A software installation package that will install the software in ready-to-run condition on the platform(s) specified in this bid request. 3) All deliverables will be considered "work made for hire" under U.S. Copyright law. Buyer will receive exclusive and complete copyrights to all work purchased. (No GPL, GNU, 3rd party components, etc. unless all copyright ramifications are explained AND AGREED TO by the buyer on the site per the coder's Seller Legal Agreement). ## Platform MS word or handwritten.