Reasoning by Augmenting a Description Logic Reasoner (Phase 1)

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 28, 2006
Accession Number
ADA447340

Entities

People

  • Peter F. Patel-schneider

Tags

Communities of Interest

  • Autonomy
  • C4I

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Inference Engines
  • Information Processing
  • Information Science
  • Information Systems
  • Language
  • Models
  • Ontologies
  • Optimization
  • Standards
  • Xml

Readers

  • Aerospace Engineering
  • Geospatial Intelligence and Artificial Intelligence Analytics
  • Mathematical Modeling and Probability Theory.