Difference between revisions of "2021.07.19"

From PKC
Jump to navigation Jump to search
 
Line 10: Line 10:
Added [[:Category:Criteria]]
Added [[:Category:Criteria]]
* If we need to manage the management process, we need a concise language to describe it.
* If we need to manage the management process, we need a concise language to describe it.
Jena is a Java framework for building semantic web and Linked Data applications. [https://jena.apache.org/getting_started/index.html]
== Proving system of software versus proving system of semantic web == 


==Conclusion==
==Conclusion==
[[Category:Daily Document]]
[[Category:Daily Document]]

Latest revision as of 12:06, 19 July 2021

Date 2021-07-19
Person @KevinTung


Context and Goal

To-Do

Progress

Added Category:Criteria

  • If we need to manage the management process, we need a concise language to describe it.

Jena is a Java framework for building semantic web and Linked Data applications. [1]

Proving system of software versus proving system of semantic web

Conclusion