Abstract
Abstract : This is the final report on the DARPA IPTO project Reasoning by Augmenting a Description Logic Reasoner (Phase I) contract HR0011-05-C-0094, providing information on the objectives or the program and how these objectives were addressed. The Reasoning by Augmenting a Description Logic Reasoner Project (Phase I) was designed to provide languages and tools for reasoning about information expressed in expressive Description Logics or ontology languages similar to the W3C OWL DL Web Ontology Language. The results or the project were designs or new Description Logics and new reasoning methods and optimizations for these Description Logics as well as the PaCT++ Description Logic reasoner.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
