欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OWL
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 OWL Thanks, Wikipedia. |
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
分享您的观点