Knowledge Creation Tools for DAML
David L. Martin, Grit Denker, Richard J. Waldinger, Jerry R. Hobbs · 2006
This report summarizes the work done by SRI International for DARPA's DAML research program during the period 2000-2005. This work falls into six categories. Using a first-order logic theorem prover, we verified and refined the axiomatic semantics of DAML+OIL and OWL. We led collaborative efforts to develop foundation ontologies of time and space for the Semantic Web. We led collaborative efforts to develop ontologies and related technologies for describing and reasoning about services on the Semantic Web (this work was focused around the OWL-S and SWSF ontologies), and we investigated techniques for automated discovery and composition of Web services. We developed ontologies and related technologies for describing security policies and trust policies on the Semantic Web. We built tools for developing Semantic Web content. Finally, we developed several application systems illustrating some of these technologies.