欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OWL
来自开放百科 - 灰狐
The OWL Web Ontology Language is designed for use by applications that need to process the content of information instead of just presenting information to humans. OWL facilitates greater machine interpretability of Web content than that supported by XML, RDF, and RDF Schema (RDF-S) by providing additional vocabulary along with a formal semantics. OWL has three increasingly-expressive sublanguages: OWL Lite, OWL DL, and OWL Full.
- http://www.w3.org/TR/owl-parsing
- http://www.w3.org/TR/owl-guide/
- http://www.w3.org/TR/owl-features/
- http://www.w3.org/TR/owl-ref/
- http://www.w3.org/TR/owl-semantics/
- http://www.w3.org/TR/owl-test/
- http://www.w3.org/TR/webont-req
- http://www.w3.org/TR/owl-xmlsyntax/
- http://www.w3.org/TR/owl-parsing
- Implementations of OWL Technology - http://www.w3.org/2001/sw/WebOnt/impls
分享您的观点