2008•Unpublished venueRequires access

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

Deborah L. McGuinness

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.

About this research paper

What this paper is about

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Key concepts: Markup language, Computer science, World Wide Web, Semantic Web, RuleML, Proof of concept, Semantic Web Rule Language, Social Semantic Web