'''OWL''' is an Acronym for '''Web Ontology Language''', a Markup_language for Publishing and sharing data using ontologies on the Internet. OWL is a Vocabulary_extension of RDF (the Resource_Description_Framework) and is derived from the DAML+OIL Web Ontology Language. Together with RDF and other components, these tools make up the Semantic_web project. OWL currently has three flavors: '''OWL Lite''', '''OWL DL''', and '''OWL Full'''. These flavors incorporate different Features, and in general it is easier to reason about OWL Lite than OWL DL and OWL DL than OWL Full. OWL Lite and OWL DL are constructed in such a way that every statement can be decided in finite time, OWL Full can contain endless 'loops'. OWL DL is based on the Description_logic $\backslash mathcal\{SHOIN\}\; (D)$. Its subset OWL Lite is based on the less expressive logic $\backslash mathcal\{SHIF\}\; (D)$. == About the acronym == Some may claim that the correct acronym for ''Web Ontology Language'' should be ''WOL'' instead of ''OWL''. Others believe that the order was chosen in honor of the character Owl from Winnie_the_Pooh, who wrote his name WOL instead of OWL. In truth, OWL was proposed as acronym that would be easily pronounced, yield good logos, suggest wisdom and honor Bill Martin's ''One World Language'' KR project from the 1970s. And, quoting Guus Schreiber: “Why not be inconsistent in at least one aspect of a language which is all about consistency” == See also == * RDF * FOAF + DOAC * Semantic_Web * Meta-Object Facility (MOF) a different standard for the Unified Modeling Language (UML) of the Object Management Group (OMG) == External links == * OWL Web Ontology Language Overview * OWL Web Ontology Language Guide * OWL Web Ontology Language Reference * What is ontology? * RacerPro the commercial OWL RDF Reasoner * KAON2 Inference engine for OWL-DL and DL-safe rules * OWL Book Book that describes OWL syntax Category:W3C_standards Category:XML-based_programming_languages Category:XML-based_standards Category:Declarative_programming_languages Category:Knowledge_representation Category:Ontology_(computer_science) {{compu-lang-stub}} De:Web_Ontology_Language Es:OWL Fr:Web_Ontology_Language Ja:OWL Fi:OWL Zh:OWL Category:Semantic_web