Knowledge Creation Tools for DAML

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 2006
Accession Number
ADA449078

Entities

People

  • David L. Martin
  • Grit Denker
  • Jerry Hobbs
  • Richard Waldinger

Organizations

  • SRI International

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Air Force Research Laboratories
  • Application Software
  • Birds
  • Classification
  • Information Operations
  • Information Systems
  • Military Research
  • New York
  • Ontologies
  • Security
  • Semantics
  • Social Sciences
  • Standards
  • Web Service

Fields of Study

  • Computer science

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Geospatial Intelligence and Artificial Intelligence Analytics
  • Technical Research and Report Writing.

Technology Areas

  • Space