Development of Semantic Web - Markup Languages, Web Services, Rules, Explanation, Querying, Proof and Reasoning

Abstract

Stanford University did research, development and promotion of Semantic Web markup languages including the co-submission to the World-Wide Web Consortium (WC3) of the Web Ontology Language (OWL) recommendation. This work was performed under the Defense Advanced Research Projects Agency (DARPA) Agent Markup Language (DAML) program Stanford also helped develop the Semantic Web Services (OWL-S), the Web Ontology Query Language (OWL-QL) and Semantic Web Rule Language (SWRL) W3C submissions. This report contains the evolution of these markup languages as well as a discussion of semantic query languages, proof and explanation. The report also contains an explanation of how DAML-ONT (ontology) and DAML+OIL (Ontology Inference Language) was converted to First-Order-Logic for reasoning.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 2008
Accession Number
ADA485111

Entities

People

  • Deborah L. McGuinness

Organizations

  • Stanford University

Tags

Communities of Interest

  • Autonomy
  • Biomedical
  • Cyber
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Birds
  • Commerce
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Databases
  • Geography
  • Information Science
  • Information Systems
  • Language
  • Markup Languages
  • Ontologies
  • Reasoning
  • World Wide Web

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Geospatial Intelligence and Artificial Intelligence Analytics

Technology Areas

  • AI & ML
  • AI & ML - Information Retrieval
  • AI & ML - Machine Translation