Reasoning by Augmenting a Description Logic Reasoner (Phase 1)

摘要

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.