Abstract

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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call