Web Links [Tag : Inference]
Proof Markup Language is used to build OWL documents representing both proofs and proof provenance information.
Category:
Random Site Quote:
Proof Markup Language (PML) Primer
KSL Working Draft 28 November 2005
Maryland Baltimore County)
Copyright ©2005 Stanford University Knowledge Systems,
Artificial Intelligence Laboratory .
This document provides a brief introduction to the
waiting for hand_moderation
Date Added: Jul 6, 2009 Hits: Rating: 0.00 Votes: 0
Member Reviews
Visitor Ratings
Google PR