Příklad OWL s grafem RDF

Ukažme si použití slovníku OWL na příkladové ontologii (inspirované OWL Pizzas): "Pizza má jako základ PizzaBase; Pizza je disjunktní s PizzaBase; NonVegetarianPizza je právě Pizza, která není VegetarianPizza; isIngredientOf je tranzitivní vlastnost; isIngredientOf je inverzní k hasIngredient". Příklad vyjádřený v syntaxi deskripční logiky je uveden níže:

owl pizza

Týž příklad vyjádřený pomocí OWL Abstract Syntax formuluje tutéž informaci zápisem podobným LISP a navíc používá URI k identifikaci všech tříd a vlastností:

      Namespace(p = <http://example.com/pizzas.owl#>)
      Ontology( <http://example.com/pizzas.owl#>
        Class(p:Pizza partial
          restriction(p:hasBase someValuesFrom(p:PizzaBase)))
        DisjointClasses(p:Pizza p:PizzaBase)
        Class(p:NonVegetarianPizza complete
          intersectionOf(p:Pizza complementOf(p:VegetarianPizza)))
        ObjectProperty(p:isIngredientOf Transitive
          inverseOf(p:hasIngredient))
      )

Při vložení příkladové ontologie OWL do RDF je třeba každý výrok převést na trojice - viz obrázek níže. Například omezení ∃R.C je tvořeno anonymním zdrojem typu owl:Restriction. Tento anonymní zdroj (prázdný uzel) je subjektem dvou vlastností owl:onProperty a owl:someValuesFrom, které propojují relaci omezení (vlastnost) a koncept (třídu). Anonymní zdroj je pak použit pro propojení s omezovanou třídou (v našem případě pomocí rdfs:subClassOf). Příklad vyjádřený trojicemi a serializovaný v N3 je uveden níže:

pizza owl rdf graph

Ontologie Pizza v OWL vyjádřená pomocí trojic RDF

      @prefix :     <http://example.com/pizzas.owl#> .
      @prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
      @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
      @prefix owl:  <http://www.w3.org/2002/07/owl#> .
      
      :Pizza rdfs:subClassOf
              [ a owl:Restriction ;
                owl:onProperty :hasBase ;
                owl:someValuesFrom :PizzaBase ] ;
             owl:disjointWith :PizzaBase .
      
      :NonVegetarianPizza  owl:equivalentClass
              [  owl:intersectionOf
                  (  [owl:complementOf :VegetarianPizza]
                     :Pizza  )  ] .
      
      :isIngredientOf
            a owl:TransitiveProperty , owl:ObjectProperty ;
            owl:inverseOf :hasIngredient .

OWL DL využívá všechny vlastnosti SHOIN(D). Přehled možných popisů, datových oborů, vlastností, individuí a datových hodnot je uveden v tabulce na předchozí stránce. Popis sémantiky pomocí DL byl uveden v jedné z předchozích částí. Doménou individuí v modelu je ΔI; doména datových hodnot ΔID byla přidána pro specifikaci sémantiky datových oborů.

Ontologie je tvořena omezeními na model. Axiomy, které lze použít k omezení modelu, jsou shrnuty v tabulce na předchozí stránce.

Kromě standardních vlastností deskripční logiky jsou přidány také takzvané anotační vlastnosti. Vedle anotačních vlastností RDFS (jako jsou rdfs:comment a rdfs:label) existují vlastnosti umožňující uvést například informace o verzi nebo kompatibilitu či nekompatibilitu mezi ontologiemi. Existuje také konstrukt owl:imports, který umožňuje vyjádřit, že ontologie importuje jinou ontologii.