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.

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

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.