MEGJEGYZ蒘: az owl:distinctMembers egy speci醠is szintaktikai konstrukci? egy olyan 醠l韙m醤y, amelyet k閚yelmi okokb髄 vettek fel a nyelvbe, 閟 amelynek alanya mindig egy owl:AllDifferent egyed.

6. Adatt韕usok

Ebben a dokumentumban t鯾b helyen tal醠kozhattunk azzal a fogalommal, hogy adat閞t閗-tartom醤y, amikor adat閞t閗ek egy bizonyos halmaz醫 kellett specifik醠nunk. Az OWL az adat閞t閗tartom醤y-specifik醕i髃 h醨om t韕us醫 tartalmazza:

• Az RDF adatt韕us specifik醕i髏.
• Az RDFS liter醠ok oszt醠y醫 (rdfs:Literal)
• A felsorol醩 adatt韕ust az owl:oneOf konstrukci felhaszn醠醩醰al.

Az adatt韕usok minim醠is eszk鰖t醡ogat醩醫 a 6.3. szekci螯/a> t醨gyalja.

6.1 RDF adatt韕usok

Az OWL az RDF adattipiz醠醩i s閙醞醫 alkalmazza, mely tartalmaz egy mechanizmust az XML S閙a adatt韕usaira t鰎t閚 hivatkoz醩hoz [XML S閙a adatt韕usok]. Ezek r閟zletesebb le韗醩醫 megtal醠ja az olvas az RDF dokumentumokban, pl. az [RDF Fogalmak] dokumentum醔an. Az olvas t醞閗oztat醩醨a itt most csak az RDF adatt韕usok szinopszis醫 adjuk meg.

Az adat閞t閗ek az rdfs:Literal RDF S閙a oszt醠y egyedei. A liter醠ok lehetnek egyszer鹐k (adatt韕us n閘k黮iek), vagy tipiz醠tak. Az adatt韕usok az rdfs:Datatype oszt醠y egyedei. Az RDF/XML-ben egy liter醠 t韕us醫 egy rdf:datatype attrib鷗ummal specifik醠juk, amelynek az 閞t閗e aj醤latos, hogy az al醔biak valamelyike legyen:

• Egy kanonikus URI hivatkoz醩 egy XML S閙a adatt韕usra, a k鰒etkez form醔an:

         http://www.w3.org/2001/XMLSchema#NAME
      

  ahol "NAME" egy egyszer? be閜韙ett XML S閙a adatt韕us neve, ahogy azt az [XML S閙a Adatt韕usok] 3. szekci骿a defini醠ja, az al醔b specifik醠t kik鰐閟ekkel.
• Az rdf:XMLLiteral adatt韕us URI hivatkoz醩a. Ezt az adatt韕ust haszn醠juk, ha XML tartalmat akarunk be閜韙eni egy RDF/OWL dokumentumba. Ennek az adatt韕usnak az URI hivatkoz醩a:

      http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral
    

  Err鮨 az adatt韕usr髄 tov醔bi r閟zletek tal醠hat髃 az [RDF Fogalmak] dokumentum醔an.

Az [RDF Szemantika] dokumentum 5. fejezete az al醔bi be閜韙ett XML S閙a adatt韕usok haszn醠at醫 aj醤lja:

• Az xsd:string elemi adatt韕ust, plusz az xsd:string-b鮨 sz醨maztatott k鰒etkez adatt韕usokat: xsd:normalizedString, xsd:token, xsd:language, xsd:NMTOKEN, xsd:Name 閟 xsd:NCName.
• Az xsd:boolean elemi adatt韕ust.
• Az elemi numerikus adatt韕usokat, mint xsd:decimal, xsd:float 閟 xsd:double, valamint az xsd:decimal adatt韕usb髄 deriv醠t 鰏szes adatt韕ust (xsd:integer, xsd:positiveInteger. xsd:nonPositiveInteger, xsd:negativeInteger, xsd:nonNegativeInteger, xsd:long, xsd:int, xsd:short, xsd:byte, xsd:unsignedLong, xsd:unsignedInt, xsd:unsignedShort, xsd:unsignedByte).
• Az id鮲el kapcsolatos elemi adatt韕usokat: xsd:dateTime, xsd:time, xsd:date, xsd:gYearMonth, xsd:gYear, xsd:gMonthDay, xsd:gDay 閟 xsd:gMonth.
• Az egy閎 elemi adatt韕usokat: xsd:hexBinary, xsd:base64Binary 閟 xsd:anyURI.

MEGJEGYZ蒘: nem illeg醠is ugyan, de nem is aj醤latos, hogy az alkalmaz醩ok saj醫 adatt韕usokat defini醠janak az rdfs:Datatype egyedek閚t. Az ilyen adatt韕usokat "ismeretlennek" min鮯韙i a nyelv, 閟 hasonl m骴on kezeli 鮧et, mint a "nem t醡ogatott" adatt韕usokat (L醩d a r閟zleteket a 6.3. szekci骲an arr髄, hogy az OWL szoftvereszk鰖einek hogyan kell kezelni黭 ezeket az eseteket.)

Amikor adatt韕usokat haszn醠unk, ne felejts黭 el, hogy az RDF/XML elv醨ja, hogy egy adatt韕us-tulajdons醙 閞t閗閚ek haszn醠at醤醠 az adat閞t閗re mindig megadjuk az adatt韕ust, m間 akkor is, ha m醨 defini醠tuk ennek az adatt韕us-tulajdons醙nak az 閞t閗tartom醤y醫. P閘da lehet erre a timeStamp tulajdons醙, amelyet kor醔ban m醨 haszn醠tunk a M閞閟 (Measurement) p閘d醤醠. (Figyelj黭 meg, hogy egyszer a tulajdons醙 閞t閗tartom醤yak閚t (rdf:range) deklar醠juk a "dateTime" adatt韕ust, majd az 閞t閗ad醩n醠 adatt韕usk閚t (rdf:datatype) 鷍b髄 megadjuk):

<owl:DatatypeProperty rdf:about="#timeStamp">
  <rdfs:domain rdf:resource="#Measurement"/>
  <rdf:range rdf:resource="&xsd;dateTime"/>
</owl:DatatypeProperty>

<Measurement>
  <timeStamp rdf:datatype="&xsd;dateTime">2003-01-24T09:00:08+01:00</timeStamp>  
</Measurement>

6.2 Felsorol醩 adatt韕us az owl:oneOf haszn醠at醰al

Az RDF adatt韕usok mellett az OWL tartalmaz egy tov醔bi konstrukci髏 is adat閞t閗-tartom醤yok defini醠醩醨a, nevezetesen a "felsorol醩" adatt韕ust. Ezt az adatt韕us form醫umot az owl:oneOf konstrukci髒al deklar醠juk, amelyet egy閎k閚t felsorol醩oszt醠yok le韗醩醨a is haszn醠unk. Felsorol醩-adatt韕us eset閚 az owl:oneOf alanya egy owl:DataRange oszt醠y 黵es gr醘csom髉ont, a t醨gya pedig liter醠ok list醞a. Sajnos, itt nem haszn醠hatjuk az rdf:parseType="Collection" idi髆醫 a liter醠ok list醞醤ak megad醩醨a, mivel az RDF elv醨ja, hogy egy kollekci RDF csom髉onti elemek list醞a legyen. Ez閞t az adat閞t閗ek list醞醫 az elemi listakonstrukci髃 (az rdf:first, az rdf:rest 閟 az rdf:nil) seg韙s間関el specifik醠juk.

MEGJEGYZ蒘: Felsorol醩 adatt韕usokat az OWL Lite-ban nem haszn醠hatunk.

Az al醔bi p閘da a tennisGameScore (teniszj醫szma-eredm閚y) tulajdons醙 adat閞t閗-tartom醤y醫 eg閟z sz醡ok list醞醰al {0, 15, 30, 40} specifik醠ja:

<owl:DatatypeProperty rdf:ID="tennisGameScore">
  <rdfs:range>
    <owl:DataRange>
      <owl:oneOf>
        <rdf:List>
           <rdf:first rdf:datatype="&xsd;integer">0</rdf:first>
           <rdf:rest>
             <rdf:List>
               <rdf:first rdf:datatype="&xsd;integer">15</rdf:first>
               <rdf:rest>
                 <rdf:List>
                   <rdf:first rdf:datatype="&xsd;integer">30</rdf:first>
                   <rdf:rest>
                     <rdf:List>
                       <rdf:first rdf:datatype="&xsd;integer">40</rdf:first>
                       <rdf:rest rdf:resource="&rdf;nil" />
                     </rdf:List>
                   </rdf:rest>
                 </rdf:List>
              </rdf:rest>
            </rdf:List>
          </rdf:rest>
        </rdf:List>
      </owl:oneOf>
    </owl:DataRange>
  </rdfs:range>
</owl:DatatypeProperty>

6.3 Adatt韕us-k鰒etkeztet閟ek t醡ogat醩a

Az OWL-t t醡ogat szoftvereszk鰖鰇 k黮鰊b鰖鮡k lehetnek att髄 f黦g鮡n, hogy mik閚t t醡ogatj醟 az adatt韕us-k鰒etkeztet閟 fogalm醫. A szoftvereszk鰖鰇nek ezt az opci髏 legal醔b az xsd:string 閟 az xsd:integer XML S閙a adatt韕usok vonatkoz醩醔an t醡ogatniuk kell. Az OWL Full eszk鰖鰇nek ezen fel黮 t醡ogatniuk kell az rdf:XMLLiteral adatt韕ust is. A nem t醡ogatott adatt韕usok eset閚 a lexikailag azonos liter醠okat egyenl鮧nek kell tekinteni, m韌 a lexikailag k黮鰊b鰖 liter醠okr髄 azt kell felt閠elezni, hogy vagy egyenl鮧, vagy nem. Az "ismeretlen" adatt韕usokat ugyan鷊y kell kezelni, mint a "nem t醡ogatott" adatt韕usokat.

7. Annot醕i? ontol骻ia-header, import醠醩 閟 verzi?inform醕i螯/a>

7.1 Annot醕i髃

Az OWL Full semmilyen form醔an nem korl醫ozza az annot醕i髃at (fontos megjegyz閟eket) egy ontol骻i醔an. Az OWL DL lehet鮲 teszi az annot醕i髃at oszt醠yokkal, tulajdons醙okkal, egyedekkel, 閟 ontol骻ia-headerekkel kapcsolatban, de csak az al醔bi felt閠elekkel:

• Az objektumtulajdons醙ok, adatt韕us-tulajdons醙ok, annot醕i髏ulajdons醙ok 閟 ontol骻iatulajdons醙ok k鰈cs鰊鰏en diszjunkt halmazokat kell hogy alkossanak. 蚲y teh醫, az OWL DL-ben, pl. a dc:creator nem lehet egyidej鹟eg adatt韕us-tulajdons醙 閟 annot醕i髏ulajdons醙 is.
• Az annot醕i髏ulajdons醙oknak kell hogy legyen egy explicit tipiz醠 tripletje az al醔bi form醫umban:

      AnnotationPropertyID rdf:type owl:AnnotationProperty .
    

• Az annot醕i髏ulajdons醙okat nem szabad tulajdons醙axi髆醟ban haszn醠ni. Az OWL DL-ben 韌y az annot醕i髏ulajdons醙ok sz醡醨a nem defini醠hatunk altulajdons醙okat, 閞v閚yess間i k鰎t 閟 閞t閗tartom醤yt.
• Az annot醕i髏ulajdons醙 t醨gya adat-liter醠, URI hivatkoz醩 vagy egyed kell hogy legyen.

Az OWL-ban 鰐 annot醕i髏ulajdons醙 van el鮮e defini醠va, nevezetesen:

• owl:versionInfo (verzi?inform醕i?
• rdfs:label (c韒ke)
• rdfs:comment (komment醨)
• rdfs:seeAlso ("L醩d ~t is")
• rdfs:isDefinedBy ("defini醠ta:")

蚼e egy p閘da egy annot醕i髏ulajdons醙 leg醠is haszn醠at醨a OWL DL-ben:

<owl:AnnotationProperty rdf:about="&dc;creator"/>

<owl:Class rdf:about="#MusicalWork">
  <rdfs:label>Musical work</rdfs:label>
  <dc:creator>N.N.</dc:creator>
</owl:Class>

A p閘da felt閠elezi, hogy a &dc; illetve a dc: prefix a Dublin Core URI-ra, illetve n関t閞re mutat. 蚲y a Dublin Core tulajdons醙ok annot醕i髏ulajdons醙k閚t t鰎t閚 haszn醠ata OWL DL-ben egy explicit tipiz醠 tripletet ig閚yel. Ez biztos韙ja, hogy az OWL DL k鰒etkeztet鮣閜ek szemantikailag korrekt m骴on haszn醠j醟 az annot醕i髃at (a r閟zleteket l醩d az OWL Szemantika 閟 absztrakt szintaxis [OWL Sz&ASz] dokumentumban).

Ha m醨 egyszer a dc:creator-t annot醕i髏ulajdons醙k閚t deklar醠tuk, az OWL DL m醨 nem engedi ezt tulajdons醙axi髆醟ban korl醫ozni – pl. az 閞t閗tartom醤ya tekintet閎en – l醩d al醔b:

<-- Ez p閘d醬l illeg醠is OWL DL eset閚 -->

<owl:AnnotationProperty rdf:about="&dc;creator">
  <rdfs:range rdf:resource="&xsd;string"/>
</owl:AnnotationProperty>

Jegyezz黭 meg azonban, hogy annot醕i髏ulajdons醙-deklar醕i髃ban az adat閞t閗ek liter醠 t韕us醫 az閞t szabad specifik醠nunk:

<Opera rdf:about="#Tosca">
  <dc:creator rdf:datatype="&xsd;string">Giacomo Puccini</dc:creator>
</Opera>

7.2 Az ontol骻ia-header

Egy dokumentum, mely egy ontol骻i醫 韗 le, 醠tal醔an tartalmaz inform醕i髏 mag醰al az ontol骻i醰al kapcsolatban is. Az ontol骻ia egy adatforr醩, s 韌y az le韗hat olyan tulajdons醙okkal, amelyeket az OWL n関ter閎鮨, vagy m醩 n関terekb鮨 vesz黱k. P醠d醬l:

<owl:Ontology rdf:about="">
  <owl:versionInfo> ... </owl:versionInfo>
  <rdfs:comment>...</rdfs:comment>
  <owl:imports rdf:resource="..."/>
</owl:Ontology>

Az ilyen inform醕i骲lokkot ontol骻ia-headernek nevezz黭, 閟 醠tal醔an az RDF/XML dokumentumok elej閞e tessz黭. Az al醔bi sor:

  <owl:Ontology rdf:about="">

kijelenti, hogy ez a blokk a jelenlegi ontol骻i醫 韗ja le. Pontosabban: azt mondja, hogy a jelenlegi dokumentum b醶is URI-ja az owl:Ontology oszt醠y egyik egyed閠 azonos韙ja. Aj醤latos, hogy a b醶is URI-t a dokumentum legelej閚 tal醠hat <rdf:RDF> elem xml:base attrib鷗uma seg韙s間関el explicit m骴on defini醠juk.

Egy ontol骻ia-header pl. 韌y n閦ne ki:

<owl:Ontology rdf:about="">
  <owl:versionInfo>v 1.17 2003/02/26 12:56:51 mdean</owl:versionInfo>
  <rdfs:comment>An example ontology</rdfs:comment>
  <owl:imports rdf:resource="http://www.example.org/foo"/>
</owl:Ontology>

A k鰒etkez szekci髃 le韗j醟 azokat a k黮鰊b鰖 deklar醕i髃at, amelyeket tipikusan a headeren bel黮 haszn醠unk.

MEGJEGYZ蒘: Az owl:imports ontol骻ia import醠 konstrukci髏 閟 az owl:priorVersion, owl:backwardCompatibleWith, owl:incompatibleWith ontol骻ia-verzi髃ezel konstrukci髃at az OWL sz髃閟zlete defini醠ja az owl:OntologyProperty oszt醠y egyedeik閚t. Az owl:OntologyProperty oszt醠y egyedeinek 閞v閚yess間i k鰎e 閟 閞t閗tartom醤ya egyar醤t az owl:Ontology oszt醠y kell hogy legyen. Szabad m醩 ontol骻iatulajdons醙okat is defini醠ni az owl:OntologyProperty egyedei mell? Az OWL DL-ben az ontol骻iatulajdons醙okra ugyanazok a megk鰐閟ek 閞v閚yesek, mint a 7.1 szekci骲an ismertetett annot醕i髏ulajdons醙okra.

7.3 Ontol骻i醟 import醠醩a

Az owl:imports kijelent閟 egy m醩ik ontol骻i醨a hivatkozik, mely olyan defin韈i髃at tartalmaz, amelyek jelent閟tartalma az import醠 ontol骻ia jelent閟tartalm醤ak r閟z閠 k閜ezi. Minden ilyen hivatkoz醩 egy URI-b髄 醠l, mely azt specifik醠ja, hogy honnan import醠juk az ontol骻i醫. Szintaktikailag az owl:imports egy tulajdons醙, amelynek az 閞v閚yess間i k鰎e 閟 az 閞t閗tartom醤ya egyar醤t az owl:Ontology oszt醠y.

Az owl:imports 醠l韙醩ok tranzit韛ak, azaz, ha az A ontol骻ia import醠ja B-t, 閟 B import醠ja C-t, akkor A import醠ja B-t 閟 C-t is.

Az, hogy egy OWL szoftvereszk鰖nek be kell-e t鰈tenie az import醠t ontol骻i醫 a befogad ontol骻i醔a, vagy sem, az mindig az eszk鰖 rendeltet閟閠鮨 f黦g. Ha az eszk鰖 egy teljes k鰒etkeztet rendszer (mely teljes konzisztencia-ellen鮮z閟t is tartalmaz), akkor be kell t鰈tenie az import醠t ontol骻i醟at. Egy閎 eszk鰖鰇, mint p閘d醬l az egyszer szerkeszt programok 閟 a nem teljes k鰒etkeztet rendszerek d鰊thetnek 鷊y is, hogy az import醠t ontol骻i醟b髄 csak n閔醤yat t鰈tenek be, vagy ak醨 egyetlenegyet sem.

Hab醨 az owl:imports deklar醕i髃 閟 a n関t閞deklar醕i髃 redund醤snak t鹡hetnek, ezek val骿醔an k黮鰊b鰖 c閘okra szolg醠nak. A n関t閞deklar醕i髃 egyszer鹐n csak r鰒id韙閟eket kre醠nak, amelyekkel adatforr醩-azonos韙髃ra lehet hivatkozni. Ezek implicite nem 閜韙ik be az ontol骻i醔a annak a dokumentumnak a jelent閟tartalm醫, amelyet a hivatkozott adaforr醩-azonos韙 (URI) megc韒ez. Az owl:imports viszont nem produk醠 olyan r鰒id韙閟eket, amelyekkel az import醠t dokumentum azonos韙骾ra lehetne hivatkozni. Ez閞t bevett szok醩, hogy mindig megadjuk az import醠t ontol骻i醟nak megfelel n関t閞deklar醕i髃at is.

MEGJEGYZ蒘: az owl:imports az owl:OntologyProperty egyede.

7.4 Verzi?inform醕i髃

7.4.1 owl:versionInfo

Az owl:versionInfo 醠l韙m醤yhoz tartoz t醨gy 醠tal醔an egy karakterl醤c, mely inform醕i髃at tartalmaz a jelenlegi ontol骻ia-verzi髍髄 (ezek lehetnek p閘d醬l RCS/CVS kulcsszavak). Egy ilyen 醠l韙醩 semmit nem tesz hozz az ontol骻ia jelent閟tartalm醜oz azon fel黮, amit az RDF(S) model theory (az RDF S閙a form醠is, modell-elm閘eti szemantik醞a) defini醠.

Az owl:versionInfo tulajdons醙ot tipikusan arra haszn醠juk, hogy ontol骻i醟r髄 k鰖鰈j黱k vele verzi?inform醕i髃at, de alkalmazhatjuk b醨milyen m醩 OWL konstrukci髃 eset閎en is. P閘d醬l egy OWL oszt醠yhoz is csatolhatn醤k egy owl:versionInfo deklar醕i髏.

MEGJEGYZ蒘: Az owl:versionInfo az owl:AnnotationProperty oszt醠y egyede.

7.4.2 owl:priorVersion

Az owl:priorVersion kijelent閟 egy olyan URI hivatkoz醩t tartalmaz, mely egy m醩ik ontol骻i醨a mutat. Ez azt mondja ki a hivatkozott ontol骻i醨髄, hogy az a jelen ontol骻ia el鮶 verzi骿a. Ennek a kijelent閟nek a modell-elm閘eti szemantik醔an nincs egy閎 jelent閟e, mint amit az RDF(S) model theory hozz醨endel. A szoftver azonban j髄 haszn醠hatja ezt az inform醕i髏 az ontol骻i醟 verzi髃 szerinti szervez閟閔ez.

Az owl:priorVersion egy be閜韙ett OWL tulajdons醙, amelynek 閞v閚yess間i k鰎e 閟 閞t閗tartom醤ya egyar醤t az owl:Ontology oszt醠y.

MEGJEGYZ蒘: az owl:priorVersion az owl:OntologyProperty oszt醠y egyede.

7.4.3 owl:backwardCompatibleWith

Az owl:backwardCompatibleWith kijelent閟 egy olyan URI hivatkoz醩t tartalmaz, mely egy m醩ik ontol骻i醨a mutat. Ez azt 醠l韙ja a hivatkozott ontol骻i醨髄, hogy a jelen ontol骻ia el鮶 verzi骿a, 閟 hogy a jelen ontol骻ia verzi visszamen鮨egesen kompatibilis ezzel az el鮠j関el. A visszamen鮨eges kompatibilit醩 f鮨eg azt jelzi, hogy az el鮶 verzi骲an haszn醠t 鰏szes azonos韙髇ak ugyanaz az interpret醕i骿a az 鷍 verzi骲an is. Egy ilyen kijelent閟 teh醫 fontos jelz閟 lehet azok sz醡醨a, akik az el鮶 verzi髏 haszn醠t醟, hiszen ebb鮨 l醫hatj醟, hogy biztons醙osan 醫醠lhatnak az 鷍 verzi髍a, el間 csak megv醠toztatniuk a n関t閞deklar醕i髃at, valamint az owl:imports deklar醕i髏 oly m骴on, hogy ezek az 鷍 verzi URL-j閠 haszn醠j醟.

Ha az owl:backwardCompatibleWith nincs deklar醠va k閠 verzi sz醡醨a, akkor a kompatibilit醩t nem szabad felt閠elezn黱k.

Az owl:backwardCompatibleWith kijelent閟nek a modell-elm閘eti szemantik醔an nincs egy閎 jelent閟e, mint amit az RDF(S) model theory hozz醨endel.

Az owl:backwardCompatibleWith egy be閜韙ett OWL tulajdons醙, amelynek 閞v閚yess間i k鰎e 閟 閞t閗tartom醤ya egyar醤t az owl:Ontology oszt醠y.

MEGJEGYZ蒘: az owl:backwardCompatibleWith az owl:OntologyProperty oszt醠y egyede.

7.4.4 owl:incompatibleWith

Az owl:incompatibleWith kijelent閟 egy m醩ik ontol骻i醨a hivatkozik, 閟 azt mondja r髄a, hogy az a jelen ontol骻ia el鮶 verzi骿a, 閟 hogy a jelen verzi visszamen鮨egesen nem kompatibilis az el鮠j関el. Ez els鮯orban azoknak az ontol骻iaszerz鮧nek lehet fontos inform醕i? akik biztosak akarnak lenni abban, hogy nem 醠lhatnak 醫 az 鷍 ontol骻ia verzi haszn醠at醨a annak ellen鮮z閟e n閘k黮, hogy sz黭s間es-e v醠toztatniuk a saj醫 ontol骻i醞ukon, vagy sem.

Az owl:incompatibleWith kijelent閟nek a modell-elm閘eti szemantik醔an nincs egy閎 jelent閟e, mint amit az RDF(S) model theory hozz醨endel.

Az owl:incompatibleWith egy be閜韙ett OWL tulajdons醙, amelynek 閞v閚yess間i k鰎e 閟 閞t閗tartom醤ya egyar醤t az owl:Ontology oszt醠y.

MEGJEGYZ蒘: az owl:incompatibleWith az owl:OntologyProperty oszt醠y egyede.

7.4.5 owl:DeprecatedClass and owl:DeprecatedProperty

Az elavultat醩 (deprecation) egy 醠tal醤osan haszn醠t fogalom a verzi髃ezel szoftverek ter黮et閚 annak jelz閟閞e, hogy egy bizonyos, elavult nyelvi elemet csak a visszamen鮨eges kompatibilit醩 miatt tartunk meg, 閟 hogy ez az elem feltehet鮡n kimarad a nyelv k閟鮞bi verzi骾b髄 (l醩d pl. a Java programoz醩i nyelvn閘). Ezzel a k閠 nyelvi konstrukci髒al egy azonos韙髍髄 azt 醠l韙hatjuk, hogy owl:DeprecatedClass t韕us? vagy owl:DeprecatedProperty t韕us? ahol az owl:DeprecatedClass az rdfs:Class aloszt醠ya, az owl:DeprecatedProperty pedig az rdf:Property aloszt醠ya. Azzal, hogy elavultnak nyilv醤韙unk egy kifejez閟t, azt akarjuk jelezni, hogy az ontol骻iafejleszt鮧 ne haszn醠j醟 az 鷍abb dokumentumaikban, ha ezek a dokumentumok f黦genek a jelen ontol骻i醫髄 (閟 annak k閟鮞bi verzi骾t髄). Ez az opci lehet鮲 teszi, hogy az ontol骻i醟 fenntarthass醟 a visszamen鮨eges kompatibilit醩t, de az閞t fokozatosan lecser閘hess閗 az elavult sz髃閟zletet (韌y az elavultat醩nak csak a visszamen鮨eges kompatibilit醩 fenntart醩醰al egy黷t van 閞telme). Ennek eredm閚yek閚t k鰊nyebb a r間i adatokat 閟 alkalmaz醩okat 醫醠l韙ani az 鷍abb ontol骻ia verzi髍a. Az elavults醙ot deklar醠 kijelent閟eknek a modell-elm閘eti szemantik醔an nincs t鯾b jelent閟黭, mint amit az RDF(S) model theory hozz醞uk rendel. Az ontol骻iafejleszt rendszerek azonban felhaszn醠hatj醟 ezeket arra, hogy felh韛j醟 a felhaszn醠髃 figyelm閠 a sz黭s間es ellen鮮z閟ekre.

Egy elavultat醩i p閘da:

<owl:Ontology rdf:about="">
  <rdfs:comment>J醨m Ontologia, v. 1.1</rdfs:comment>
  <owl:backwardCompatibleWith
          rdf:resource="http://www.example.org/J醨m?1.0"/>   
  <owl:priorVersion rdf:resource="http://www.example.org/j醨m?1.0"/>
</owl:Ontology>

<owl:DeprecatedClass rdf:ID="Aut?>
  <rdfs:comment>Modernebb a Szem閘yg閜kocsi kifejez閟</rdfs:comment>
  <owl:equivalentClass rdf:resource="#Szem閘yg閜kocsi"/>
  <!-- Megjegyz閟: az equivalentClass csak annyit jelent, hogy 
       ugyanaz a kiterjed閟e, teh醫 NEM k鰒etkezik bel鮨e, hogy
       a Szem閘yg閜kocsi szint閚 elavult kifejez閟 volna -->        
</owl:DeprecatedClass>

<owl:Class rdf:ID="Szem閘yg閜kocsi" />

<owl:DeprecatedProperty rdf:ID="sof鮮je">
  <rdfs:comment>inverse property drives is now preferred</rdfs:comment>
  <owl:inverseOf rdf:resource="#~g閜kocsitVezet" />
</owl:DeprecatedProperty>

<owl:ObjectProperty rdf:ID="~g閜kocsitVezet" />

Ebben a p閘d醔an J醨m ontol骻ia 1.1 verzi骿醫 visszamen鮨egesen kompatibilisnak deklar醠tuk az 1.0 verzi骿醰al. Ugyanakkor elavultnak min鮯韙ett黭 a r間i verzi骲an szerepl Automobil oszt醠yt, amelyet az 鷍 verzi骲an (azonos oszt醠ykiterjed閟sel) m醨 a Szem閘yg閜kocsi oszt醠y helyettes韙. Ugyancsak elavultt min鮯韙i a p閘da a "sof鮮je" tulajdons醙ot, 閟 helyette a "~g閜kocsitVezet" tulajdons醙 ford韙ottj醫 vezeti be, ami ugyan az XML k骴ban nem szerepel, de valami ilyesmi lehet, mint "g閜kocsiVezet鮦e". [A magyar ford韙醩ban a tilde (~) karakter el鮮eutal醩 a tulajdons醙hoz tartoz t醨gyra. (Pl. egy ilyen triplet: "J醤os ~g閜kocsitVezet BMW" 韌y olvasand蝥 J醤os BMW g閜kocsit vezet. A ford韙ott tulajdons醙gal a triplet: "BMW g閜kocsiVezet鮦e J醤os") – a ford.]

8. OWL Full, OWL DL 閟 OWL Lite

A bevezet閟ben r鰒iden m醨 t醨gyaltuk az OWL h醨om alnyelv閠. Ez a fejezet informat韛 m骴on specifik醠ja a nyelv ezen h醨om "alfaj醤ak" k黮鰊bs間eit. A k黮鰊bs間ek form醠is kimutat醩醫 az OWL Szemantika 閟 absztrakt szintaxis dokumentum [OWL Sz&ASz] tartalmazza.

8.1 OWL Full

Az OWL Full val骿醔an nem egy alnyelv. Az OWL Full tartalmazza az 鰏szes OWL nyelvi konstrukci髏, tov醔b lehet鮲 teszi az RDF konstrukci髃 szabad 閟 korl醫lan haszn醠at醫. Az OWL Full-ban az owl:Class nev er鮢orr醩 enyen閞t閗 az rdfs:Class er鮢orr醩sal. Ez nem 韌y van az OWL DL 閟 OWL Lite alnyelvben, ahol az owl:Class az rdfs:Class-nak egy megfelel aloszt醠ya (ami azt jelenti, hogy az OWL DL 閟 OWL Lite eset閎en nem minden RDF oszt醠y egyben OWL oszt醠y is). Az OWL Full lehet鮲 teszi tov醔b? hogy oszt醠yokat egyedk閚t is kezelhess黱k. P閘d醬l: az OWL Full-ban teljesen leg醠is, hogy van egy "Fokker-100" azonos韙髇k, mely egyszer 鷊y m鹝鰀ik, mint egy oszt醠yn関 (ilyenkor pl. a vil醙ban rep黮 konkr閠 Fokker-100 g閜ek halmaz醫 jelenti), m醩kor meg 鷊y, mint egy egyednek a neve (ilyenkor pl. a Rep黮鮣閜T韕usok oszt醠y醤ak egyik egyed閠 azonos韙ja).

Az OWL Full-ban az 鰏szes adat閞t閗et egyszersmind egyednek is tekintj黭. Az OWL Full-ban az egyedek univerzuma az 鰏szes er鮢orr醩b髄 (resource) 醠l. (Az owl:Thing egyen閞t閗 az rdfs:Resource-szal). Ez azt jelenti, hogy az objektumtulajdons醙ok 閟 az adatt韕us-tulajdons醙ok itt nem alkotnak diszjunkt halmazokat. Az OWL Full-ban az owl:ObjectProperty egyen閞t閗 az rdf:Property-vel. Ennek k鰒etkezm閚ye az, hogy az adatt韕us-tulajdons醙ok t閚ylegesen az objektumtulajdons醙ok aloszt醠y醫 k閜ezik. Ennek nem mond ellent az a t閚y sem, hogy az owl:ObjectProperty 閟 az owl:DatatypeProperty az rdf:Property aloszt醠yai.

Az OWL Full tipikusan azok sz醡醨a hasznos, akik kombin醠ni szeretn閗 az OWL Full kifejez鮧閜ess間閠 az RDF flexibilit醩醰al 閟 metamodellez k閜ess間eivel. Az OWL Full lehet鮯間einek a kihaszn醠醩a azonban azt is jelenti, hogy bizonyos m閞t閗ig elvesz韙j黭 azokat a garanci醟at (l醩d al醔b) amelyeket az OWL DL 閟 az OWL Lite tud ny鷍tani a k鰒etkeztet rendszerek sz醡醨a.

MEGJEGYZ蒘: Az RDF dokumentumok 醠tal醔an OWL Full szint dokumentumoknak tekinthet鮧, hacsak nem specifikusan OWL DL-nek vagy OWL Lite-nak tervezt閗 鮧et.

MEGJEGYZ蒘: 蚲y az OWL Full-ban az owl:Thing egyen閞t閗 az rdfs:Resource-szal, az owl:Class az rdfs:Class-szal, az owl:ObjectProperty pedig az rdf:Property-vel.

8.2 OWL DL

Az OWL DL az OWL alnyelve, mely bizonyos korl醫okat vezet be az OWL nyelvi konstrukci骾nak hszn醠at醨a. Ezek a korl醫ok r鰒iden a k鰒etkez鮧:

• Az OWL DL p醨onk閚t diszjunkt halmazoknak tekinti az oszt醠yokat, az adatt韕usokat, az adatt韕us-tulajdons醙okat, az objektumtulajdons醙okat, az annot醕i髏ulajdons醙okat, az ontol骻iatulajdons醙okat (import醠 閟 verzi髃ezel elemeket), az egyedeket, az adat閞t閗eket 閟 a be閜韙ett sz髃閟zletet. Ez azt jelenti p閘d醬l, hogy egy oszt醠y nem lehet egyidej鹟eg egyed is.
• Az, hogy az OWL DL-ben az objektumtulajdons醙ok 閟 az adatt韕us-tulajdons醙ok halmaza diszjunkt, azzal a k鰒etkezm閚nyel j醨, hogy az al醔bi n間y tulajdons醙jellemz酊
  • az inverse of,
  • az inverse functional,
  • a symmetric, 閟
  • a transitive
  sohasem specifik醠hat adatt韕us-tulajdons醙okra.
• Az OWL DL kik鰐i, hogy sem lok醠is, sem glob醠is kardinalit醩korl醫oz醩 nem alkalmazhata tranzit韛 tulajdons醙okra, ilyenek ford韙ottj醨a vagy b醨melyik szupertulajdons醙醨a.
• Annot醕i髃 csak bizonyos k鰎黮m閚yek k鰖鰐t haszn醠hat髃 (l醩d a 7.1 szekci骲an).
• Az RDF(S) sz髃閟zlet nagyobbik r閟ze nem haszn醠hat az OWL DL-ben. (A r閟zleteket l醩d az OWL Szemantika 閟 absztrakt szintaxis dokumentumban [OWL Sz&ASz]).
• Az axi髆醟nak szintaktikailag pontosaknak kell lenni黭 (pl. nem lehetnek benn黭 felesleges vagy hi醤yz szintagm醟), tov醔b fa-strukt鷕醔a kell szervez鮠ni黭.

  Az ut骲bi kik鰐閟 azt is jelenti, hogy minden oszt醠y 閟 tulajdons醙, amelyre hivatkozunk, kifejezetten csak OWL oszt醠y, illetve tulajdons醙 lehet. P閘d醬l: ha az ontol骻ia az al醔bi komponenst tartalmazza:

    <owl:Class rdf:ID="C1">
      <rdfs:subClassOf rdf:resource="#C2" />
    </owl:Class> 

  akkor az ontol骻i醤ak (vagy egy 醠tala import醠t m醩ik ontol骻i醤ak) tartalmaznia kell egy owl:Class tripletet a C2 sz醡醨a.

• Az egyedek egyenl鮯間閞鮨 閟 k黮鰊b鰖鮯間閞鮨 sz髄 axi髆醟 (t閚yek) csak neves韙ett (azaz n関vel rendelkez? egyedekkel kapcsolatban defini醠hat髃.

Ezek az OWL DL korl醫ok v閘etlenszer鹐knek t鹡hetnek, de m間sem azok. A felsorolt korl醫oz醩ok a le韗 logikai k鰒etkeztet rendszerek ter黮et閚 v間zett fejleszt閟eken alapulnak, amelyek az閞t ig閚ylik ezeket a korl醫oz醩okat, hogy megfelel k鰒etkeztet閟i t醡ogat醩sal l醫hass醟 el az ontol骻ia 閜韙鮧et 閟 felhaszn醠髃at. Konkr閠abban: az OWL DL korl醫oz醩ok lehet鮲 teszik, hogy az OWL Full lehet legnagyobb r閟zhalmaz醫 kihaszn醠hassuk, de 鷊y, hogy az閞t ennek logikai feldolgoz醩醨a (a kutat醩ok mai 醠l醩a szerint) egy eld鰊thet k鰒etkeztet elj醨醩t lehessen kidolgozni.

MEGJEGYZ蒘: Az E. f黦gel閗 gyakorlati ir醤ymutat醩t ad arra n閦ve, hogy mik閚t lehet OWL DL ontol骻i醟at k閟z韙eni RDF-ben.

8.3 OWL Lite

Az OWL Lite is tartja mag醫 azokhoz a megk鰐閟ekhez, amelyeket az OWL DL fogalmaz meg az OWL nyelvi konstrukci髃 haszn醠at醰al lkapcsolatban. Ezen t鷏men鮡n, az OWL Lite tiltja az al醔bi konstrukci髃 haszn醠at醫 is:

• owl:oneOf
• owl:unionOf
• owl:complementOf
• owl:hasValue
• owl:disjointWith
• owl:DataRange

Az OWL Lite elv醨ja tov醔b? hogy:

• az owl:equivalentClass tripletek alanya oszt醠yn関, a t醨gya pedig oszt醠yn関 vagy korl醫oz醩 legyen;
• az rdfs:subClassOf tripletek alanya szint閚 oszt醠yn関, a t醨gya pedig oszt醠yn関 vagy korl醫oz醩 legyen;
• az owl:intersectionOf konstrukci髏 csak egyn閘 t鯾b elemet tartalmaz list醟ra alkalmazzuk, ahol a lista-elemek oszt醠ynevek vagy korl醫oz醩ok;

  MEGJEGYZ蒘: Ez egy iskolap閘da arra, hogy hogyan haszn醠juk OWL Lite-ban az owl:intersectionOf konstrukci髏:

          <owl:Class rdf:ID="Woman">
            <owl:intersectionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#Female"/>
              <owl:Class rdf:about="#Human"/>
            </owl:intersectionOf>
          </owl:Class/>
        

• az owl:allValuesFrom 閟 az owl:someValuesFrom tripletek t醨gya oszt醠yn関 vagy adatt韕usn関 legyen;
• az rdf:type triplet t醨gya oszt醠yn関 vagy korl醫oz醩 legyen;
• az rdfs:domain triplet t醨gya oszt醠yn関 legyen; valamint, hogy
• az rdfs:range triplet t醨gya oszt醠yn関 vagy adatt韕usn関 legyen.

Az OWL Lite limit醠t kifejez鮧閜ess間e m鰃鰐t az a gondolat h鷝骴ik meg, hogy legyen egy olyan minim醠is, de hasznos r閟zhalmaza az OWL nyelvnek, amelyet az eszk鰖fejleszt鮧 m間 viszonylag egyszer鹐n t醡ogatni k閜esek. Az OWL Lite nyelvi konstrukci骾 tartalmazz醟 az alapvet elemeket aloszt醠yhierarchi醟 閜韙閟閔ez is (aloszt醠ydefin韈i髃 閟 tulajdons醙korl醫oz醩ok form醞醔an). Emellett az OWL Lite lehet鮲 teszi, hogy a tulajdons醙okat opcion醠iss vagy k鰐elez鮲 tegy黭. Az OWL Lite-ot a korl醫ai az OWL DL-n閘 alacsonyabb komplexit醩i oszt醠yba sorolj醟. Ez pozit韛 hat醩sal lehet az OWL Lite k鰒etkeztet鮣閜ek hat閗onys醙醨a is.

Azok az OWL implement醕i髃, amelyek csak az OWL Lite sz髃閟zlet閠 t醡ogatj醟, de egy閎k閚t laz韙anak az OWL DL k鰐鰐ts間ein, nem tarthatnak ig閚yt a teljes sz醡韙hat髎醙ra a konzisztencia biztos韙醩a 閟 a komplexit醩 kezelhet鮯間e tekintet閎en. Mindenesetre, az ilyen implement醕i髃 hasznosak lehetnek abban, hogy lehet鮲 teszik az OWL rendszerek egy黷tm鹝鰀閟閠 az RDFS modellekkel, adatb醶isokkal, jel鰈 eszk鰖鰇kel 閟 m醩, nem k鰒etkeztet c閘 eszk鰖鰇kel. A Web Ontol骻ia Munkacsoport nem adott nevet az ilyen implement醕i髃 potenci醠isan hasznos r閟zhalmaz醤ak.

A. f黦gel閗: A nyelvi elemek indexe

MEGJEGYZ蒘: Ez a f黦gel閗 csak az OWL-specifikus konstrukci髃at tartalmazza. Az RDF/RDFS konstrukci髃 tekintet閎en l醩d az RDF dokument醕i髏, k黮鰊鰏en az RDF S閙a dokumentumot [RDF Sz髃閟zlet].

B. F黦gel閗: Az OWL RDF S閙醞a

Az olvas az 1.7 szekci骲an tal醠ja meg annak le韗醩醫, hogy milyen c閘okat szolg醠 ez a f黦gel閗. A f黦gel閗 RDF/XML v醠tozata megtal醠hat a W3C weblapj醤: http://www.w3.org/2002/07/owl

<?xml version="1.0"?>
<!DOCTYPE rdf:RDF [
     <!ENTITY rdf  "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
     <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
     <!ENTITY xsd  "http://www.w3.org/2001/XMLSchema#" >
     <!ENTITY owl  "http://www.w3.org/2002/07/owl#" >
   ]>

<rdf:RDF
  xmlns     ="&owl;"
  xmlns:owl ="&owl;"
  xml:base  ="http://www.w3.org/2002/07/owl"
  xmlns:rdf ="&rdf;"
  xmlns:rdfs="&rdfs;"
>

<Ontology rdf:about="">
  <imports rdf:resource="http://www.w3.org/2000/01/rdf-schema"/>
  <rdfs:isDefinedBy rdf:resource="http://www.w3.org/TR/2004/REC-owl-semantics-20040210/" />
  <rdfs:isDefinedBy rdf:resource="http://www.w3.org/TR/2004/REC-owl-test-20040210/" />
  <rdfs:isDefinedBy rdf:resource="http://www.w3.org/TR/2004/REC-owl-features-20040210/" />
  <rdfs:comment>This file specifies in RDF Schema format the
    built-in classes and properties that together form the basis of
    the RDF/XML syntax of OWL Full, OWL DL and OWL Lite.
    We do not expect people to import this file
    explicitly into their ontology. People that do import this file
    should expect their ontology to be an OWL Full ontology. 
  </rdfs:comment>
  <versionInfo>10 February 2004</versionInfo>
</Ontology>

<rdfs:Class rdf:ID="Class">
  <rdfs:label>Class</rdfs:label>
  <rdfs:subClassOf rdf:resource="&rdfs;Class"/>
</rdfs:Class>

<Class rdf:ID="Thing">
  <rdfs:label>Thing</rdfs:label>
  <unionOf rdf:parseType="Collection">
    <Class rdf:about="#Nothing"/>
    <Class>
      <complementOf rdf:resource="#Nothing"/>
    </Class>
  </unionOf>
</Class>

<Class rdf:ID="Nothing">
  <rdfs:label>Nothing</rdfs:label>
  <complementOf rdf:resource="#Thing"/>
</Class>

<rdf:Property rdf:ID="equivalentClass">
  <rdfs:label>equivalentClass</rdfs:label>
  <rdfs:subPropertyOf rdf:resource="&rdfs;subClassOf"/>
  <rdfs:domain rdf:resource="#Class"/>
  <rdfs:range rdf:resource="#Class"/>
</rdf:Property>

<rdf:Property rdf:ID="disjointWith">
  <rdfs:label>disjointWith</rdfs:label>
  <rdfs:domain rdf:resource="#Class"/>
  <rdfs:range rdf:resource="#Class"/>
</rdf:Property>

<rdf:Property rdf:ID="equivalentProperty">
  <rdfs:label>equivalentProperty</rdfs:label>
  <rdfs:subPropertyOf rdf:resource="&rdfs;subPropertyOf"/>
</rdf:Property>

<rdf:Property rdf:ID="sameAs"> 
  <rdfs:label>sameAs</rdfs:label>
  <rdfs:domain rdf:resource="#Thing"/>
  <rdfs:range rdf:resource="#Thing"/>
</rdf:Property>

<rdf:Property rdf:ID="differentFrom">
  <rdfs:label>differentFrom</rdfs:label>
  <rdfs:domain rdf:resource="#Thing"/>
  <rdfs:range rdf:resource="#Thing"/>
</rdf:Property>

<rdfs:Class rdf:ID="AllDifferent">
  <rdfs:label>AllDifferent</rdfs:label>
</rdfs:Class>

<rdf:Property rdf:ID="distinctMembers">
  <rdfs:label>distinctMembers</rdfs:label>
  <rdfs:domain rdf:resource="#AllDifferent"/>
  <rdfs:range rdf:resource="&rdf;List"/>
</rdf:Property>
  
<rdf:Property rdf:ID="unionOf">
  <rdfs:label>unionOf</rdfs:label>
  <rdfs:domain rdf:resource="#Class"/>
  <rdfs:range rdf:resource="&rdf;List"/>
</rdf:Property>

<rdf:Property rdf:ID="intersectionOf">
  <rdfs:label>intersectionOf</rdfs:label>
  <rdfs:domain rdf:resource="#Class"/>
  <rdfs:range rdf:resource="&rdf;List"/>
</rdf:Property>

<rdf:Property rdf:ID="complementOf">
  <rdfs:label>complementOf</rdfs:label>
  <rdfs:domain rdf:resource="#Class"/>
  <rdfs:range rdf:resource="#Class"/>
</rdf:Property>

<rdf:Property rdf:ID="oneOf">
  <rdfs:label>oneOf</rdfs:label>
  <rdfs:domain rdf:resource="&rdfs;Class"/>
  <rdfs:range rdf:resource="&rdf;List"/>
</rdf:Property>

<rdfs:Class rdf:ID="Restriction">
  <rdfs:label>Restriction</rdfs:label>
  <rdfs:subClassOf rdf:resource="#Class"/>
</rdfs:Class>

<rdf:Property rdf:ID="onProperty">
  <rdfs:label>onProperty</rdfs:label>
  <rdfs:domain rdf:resource="#Restriction"/>
  <rdfs:range rdf:resource="&rdf;Property"/>
</rdf:Property>

<rdf:Property rdf:ID="allValuesFrom">
  <rdfs:label>allValuesFrom</rdfs:label>
  <rdfs:domain rdf:resource="#Restriction"/>
  <rdfs:range rdf:resource="&rdfs;Class"/>
</rdf:Property>

<rdf:Property rdf:ID="hasValue">
  <rdfs:label>hasValue</rdfs:label>
  <rdfs:domain rdf:resource="#Restriction"/>
</rdf:Property>

<rdf:Property rdf:ID="someValuesFrom">
  <rdfs:label>someValuesFrom</rdfs:label>
  <rdfs:domain rdf:resource="#Restriction"/>
  <rdfs:range rdf:resource="&rdfs;Class"/>
</rdf:Property>

<rdf:Property rdf:ID="minCardinality">
  <rdfs:label>minCardinality</rdfs:label>
  <rdfs:domain rdf:resource="#Restriction"/>
  <rdfs:range rdf:resource="&xsd;nonNegativeInteger"/>
</rdf:Property>

<rdf:Property rdf:ID="maxCardinality">
  <rdfs:label>maxCardinality</rdfs:label>
  <rdfs:domain rdf:resource="#Restriction"/>
  <rdfs:range rdf:resource="&xsd;nonNegativeInteger"/>
</rdf:Property>

<rdf:Property rdf:ID="cardinality">
  <rdfs:label>cardinality</rdfs:label>
  <rdfs:domain rdf:resource="#Restriction"/>
  <rdfs:range rdf:resource="&xsd;nonNegativeInteger"/>
</rdf:Property>

<rdfs:Class rdf:ID="ObjectProperty">
  <rdfs:label>ObjectProperty</rdfs:label>
  <rdfs:subClassOf rdf:resource="&rdf;Property"/>
</rdfs:Class>

<rdfs:Class rdf:ID="DatatypeProperty">
  <rdfs:label>DatatypeProperty</rdfs:label>
  <rdfs:subClassOf rdf:resource="&rdf;Property"/>
</rdfs:Class>

<rdf:Property rdf:ID="inverseOf">
  <rdfs:label>inverseOf</rdfs:label>
  <rdfs:domain rdf:resource="#ObjectProperty"/>
  <rdfs:range rdf:resource="#ObjectProperty"/>
</rdf:Property>

<rdfs:Class rdf:ID="TransitiveProperty">
  <rdfs:label>TransitiveProperty</rdfs:label>
  <rdfs:subClassOf rdf:resource="#ObjectProperty"/>
</rdfs:Class>

<rdfs:Class rdf:ID="SymmetricProperty">
  <rdfs:label>SymmetricProperty</rdfs:label>
  <rdfs:subClassOf rdf:resource="#ObjectProperty"/>
</rdfs:Class>

<rdfs:Class rdf:ID="FunctionalProperty">
  <rdfs:label>FunctionalProperty</rdfs:label>
  <rdfs:subClassOf rdf:resource="&rdf;Property"/>
</rdfs:Class>

<rdfs:Class rdf:ID="InverseFunctionalProperty">
  <rdfs:label>InverseFunctionalProperty</rdfs:label>
  <rdfs:subClassOf rdf:resource="&owl;ObjectProperty"/>
</rdfs:Class>

<rdfs:Class rdf:ID="AnnotationProperty">
  <rdfs:subClassOf rdf:resource="&rdf;Property"/>
</rdfs:Class>

<AnnotationProperty rdf:about="&rdfs;label"/>
<AnnotationProperty rdf:about="&rdfs;comment"/>
<AnnotationProperty rdf:about="&rdfs;seeAlso"/>
<AnnotationProperty rdf:about="&rdfs;isDefinedBy"/>

<rdfs:Class rdf:ID="Ontology">
  <rdfs:label>Ontology</rdfs:label>
</rdfs:Class>

<rdfs:Class rdf:ID="OntologyProperty">
  <rdfs:subClassOf rdf:resource="&rdf;Property"/>
</rdfs:Class>

<rdf:Property rdf:ID="imports">
  <rdfs:label>imports</rdfs:label>
  <rdf:type rdf:resource="#OntologyProperty"/>
  <rdfs:domain rdf:resource="#Ontology"/>
  <rdfs:range rdf:resource="#Ontology"/>
</rdf:Property>

<rdf:Property rdf:ID="versionInfo">
  <rdfs:label>versionInfo</rdfs:label>
  <rdf:type rdf:resource="#AnnotationProperty"/>
</rdf:Property>

<rdf:Property rdf:ID="priorVersion">
  <rdfs:label>priorVersion</rdfs:label>
  <rdf:type rdf:resource="#OntologyProperty"/>
  <rdfs:domain rdf:resource="#Ontology"/>
  <rdfs:range rdf:resource="#Ontology"/>
</rdf:Property>

<rdf:Property rdf:ID="backwardCompatibleWith">
  <rdfs:label>backwardCompatibleWitesh</rdfs:label>
  <rdf:type rdf:resource="#OntologyProperty"/>
  <rdfs:domain rdf:resource="#Ontology"/>
  <rdfs:range rdf:resource="#Ontology"/>
</rdf:Property>

<rdf:Property rdf:ID="incompatibleWith">
  <rdfs:label>incompatibleWith</rdfs:label>
  <rdf:type rdf:resource="#OntologyProperty"/>
  <rdfs:domain rdf:resource="#Ontology"/>
  <rdfs:range rdf:resource="#Ontology"/>
</rdf:Property>

<rdfs:Class rdf:ID="DeprecatedClass">
  <rdfs:label>DeprecatedClass</rdfs:label>
  <rdfs:subClassOf rdf:resource="&rdfs;Class"/>
</rdfs:Class>

<rdfs:Class rdf:ID="DeprecatedProperty">
  <rdfs:label>DeprecatedProperty</rdfs:label>
  <rdfs:subClassOf rdf:resource="&rdf;Property"/>
</rdfs:Class>

<rdfs:Class rdf:ID="DataRange">
  <rdfs:label>DataRange</rdfs:label>
</rdfs:Class>

</rdf:RDF>

C. f黦gel閗: OWL gyorsreferencia

Oszt醠yok az OWL sz髃閟zlet閎en:

Tulajdons醙ok az OWL sz髃閟zlet閎en (a t醔l醶at tartalmazza a tulajdons醙ok 閞v閚yess間i k鰎閠 (domain) 閟 閞t閗tartom醤y醫 (range) is):

D. f黦gel閗: V醠toz醩ok a DAML+OIL-hoz k閜est

Ez a f黦gel閗 鰏szefoglalja azokat a v醠toztat醩okat, amelyek a [DAML+OIL]-r髄 az OWL-ra t鰎t閚 醫alakul醩 sor醤 keletkeztek.

1. A szemantika jelent鮯en megv醠tozott. A h醨om alnyelvet illet鮡n a DAML+OIL szemantik醞a az OWL DL szemantik醞醜oz 醠l legk鰖elebb.
2. A n関t閞 http://www.w3.org/2002/07/owl-ra v醠tozott.
3. Az RDF Core Working Group 醠tal az RDF 閟 RDF S閙a ter黮et閚 bevezetett k黮鰊f閘e korszer鹲韙閟ek 醫v閠elre ker黮tek; p閘d醬l:
   • ciklikus aloszt醠yokat nem enged meg az OWL nyelv
   • t鯾b rdfs:domain vagy rdfs:range tulajdons醙 megad醩醫 鷊y kezeli az OWL mint metszetet
   • RDF szemantika [RDF Szemantika] haszn醠ata
   • adatt韕usok
     • Az RDF 閟 az OWL a http://www.w3.org/2001/XMLSchema XML S閙a n関teret haszn醠ja a http://www.w3.org/2000/10/XMLSchema helyett
     • Az OWL nem t醡ogatja adatt韕usok haszn醠at醫 t韕us 閞telemben. P閘d醬l:

       <size>
         <xsd:integer rdf:value="10"/>
       </size>

       Ehelyett az OWL-ban ezt haszn醠juk:

       <size
       rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">10</size>

   • a daml:List konstrukci? amelyet z醨t kollekci髃 醔r醶ol醩醨a haszn醠t a DAML+OIL, nagym閞t閗ben 醫ker黮t az RDF-be
     • az rdf:parseType="daml:collection" konstrukci髏 felv醠tja az rdf:parseType="Collection" konstrukci螯/li>
     • a daml:List, daml:first, daml:rest, 閟 daml:nil hely閎e az rdf:List, rdf:first, rdf:rest 閟 rdf:nil l閜.
     • a daml:item konstrukci髏 nem t醡ogatja az OWL. Mivel tipikusan ezt haszn醠t醟 tipiz醠t list醟 醔r醶ol醩醨a, az al醔biakban bemutatunk egy p閘d醫 arr髄, hogy mik閚t kre醠hatunk egy ilyen list醫 daml:item haszn醠ata n閘k黮:

               <rdfs:Class rdf:ID="OperaList">
                 <rdfs:subClassOf rdf:resource="&rdf;List"/>
                 <rdfs:subClassOf>
                   <owl:Restriction>
                     <owl:onProperty rdf:resource="&rdf;first"/>
                     <owl:allValuesFrom rdf:resource="#Opera"/>
                   </owl:Restriction>
                 </rdfs:subClassOf>
                 <rdfs:subClassOf>
                   <owl:Restriction>
                     <owl:onProperty rdf:resource="&rdf;rest"/>
                     <owl:allValuesFrom rdf:resource="#OperaList"/>
                   </owl:Restriction>
                 </rdfs:subClassOf>
               </rdfs:Class>
               

       Ebben a p閘d醔an egy list醫 defini醠tunk, amelynek az elemei oper醟. Ezt k閠 korl醫oz醩 seg韙s間関el val髎韙ottuk meg: az egyik az rdf:first 閞t閗re vonatkozik (mely a lista-elem t韕us醫 醔r醶olja), a m醩ik pedig az rdf:rest 閞t閗re (mely a defini醠t lista nev閠 adja meg).
4. A min鮯韙ett korl醫oz醩okat elt醰ol韙ott醟 a nyelvb鮨, aminek eredm閚yek閚t kimaradtak az al醔bi tulajdons醙ok:
   • daml:cardinalityQ
   • daml:hasClassQ
   • daml:maxCardinalityQ
   • daml:minCardinalityQ
5. T鯾b tulajdons醙 閟 oszt醠y 鷍 nevet kapott, ahogy a t醔l醶at mutatja:

   DAML+OIL	OWL
   daml:differentIndividualFrom	owl:differentFrom
   daml:equivalentTo	owl:sameAs
   daml:sameClassAs	owl:equivalentClass
   daml:samePropertyAs	owl:equivalentProperty
   daml:hasClass	owl:someValuesFrom
   daml:toClass	owl:allValuesFrom
   daml:UnambiguousProperty	owl:InverseFunctionalProperty
   daml:UniqueProperty	owl:FunctionalProperty

6. Az owl:SymmetricProperty beleker黮t a nyelvbe.
7. Ugyancsak felvett閗 a nyelvbe az owl:AnnotationProperty, az owl:OntologyProperty 閟 az owl:DataRange konstrukci髃at.
8. Az OWL Full-ban egy owl:DatatypeProperty lehet owl:InverseFunctionalProperty is.
9. Az RDF 閟 az RDF S閙a oszt醠yokra, illetve tulajdons醙okra vonatkoz szinonim醟at elt醰ol韙ott醟 a nyelvb鮨. 蚲y kimaradtak az al醔bi kifejez閟ek:
   • daml:comment
   • daml:domain
   • daml:label
   • daml:isDefinedBy
   • daml:Literal
   • daml:Property
   • daml:range
   • daml:seeAlso
   • daml:subClassOf
   • daml:subPropertyOf
   • daml:type
   • daml:value
10. A daml:disjointUnionOf konstrukci髏 t鰎鰈t閗 a nyelvb鮨, hiszen ez megval髎韙hat az owl:unionOf vagy rdfs:subClassOf 閟 az owl:disjointWith kombin醕i骿醰al.
11. A daml:equivalentTo kifejez閟 az owl:sameAs nevet kapta, 閟 egyben megsz鹡t az owl:equivalentClass 閟 az owl:equivalentProperty szupertulajdons醙a lenni.
12. A verzi髃ezel閟 t醡ogat醩醨a az al醔bi tulajdons醙okat 閟 oszt醠yokat vett閗 fel a nyelvbe:
    • owl:backwardCompatibleWith
    • owl:DeprecatedClass
    • owl:DeprecatedProperty
    • owl:incompatibleWith
    • owl:priorVersion
13. Az "egyedi nevek felt閠elez閟閚ek" t醡ogat醩醨a be閜韙ett閗 a nyelvbe az owl:AllDifferent 閟 az owl:distinctMembers kifejez閟eket.

E. f黦gel閗: "謐鰈szab醠y" az OWL DL ontol骻i醟hoz

Az OWL Szemantika 閟 absztrakt szintaxis dokumentum [OWL Sz&ASz] adja meg az OWL ontol骻i醟 pontos le韗醩醫 absztrakt szintaxis, illetve RDF tripletekre t鰎t閚 lek閜ez閟 form醞醔an.

Az al醔bi szab醠yok azon felt閠elek inform醠is le韗醩醫 adj醟, amelyek teljes黮閟e eset閚 egy RDF gr醘 DL szint ontol骻i醤ak min鮯韙het? Ezzel nem sz醤d閗unk helyettes韙eni azt a form醠is le韗醩t, amelyet az Sz&ASz dokumentum ad, hanem csak 醠tal醤os fog骴z髏 k韛醤unk adni. Nem c閘unk ezzel azt sem elmondani, hogy mik閚t lehet a tripletes 醔r醶ol醩t az absztrakt szintaxishoz k鰖elebb 醠l alakra hozni. Puszt醤 csak azt k韛醤juk mindezzel sugallni, hogy ha az olvas betartja az itt megadott szab醠yokat, akkor nagy val髎z韓鹲間gel OWL DL szint ontol骻i醟at fog produk醠ni.

Ne keveredj黱k bele a be閜韙ett sz髃閟zletekbe

A be閜韙ett tulajdons醙okat 閟 oszt醠yokat ne akarjuk 鷍radefini醠ni. Ez 醠tal醔an teljes黮, ha az OWL, az RDF 閟 az RDFS n関t閞ben szerepl dolgokat nem szerepeltetj黭 tripletek alanyak閚t.

Adjunk explicit t韕usdeklar醕i髏

Mindennek kell, hogy legyen egy t韕usa¹. Ha b醨milyen x URI hivatkoz醩t haszn醠unk ott, ahol egy oszt醠ynak kell szerepelnie, a gr醘nak kell tartalmaznia egy ilyen tripletet:

x rdf:type owl:Class

Hasonl髃閜pen, ha egy p tulajdons醙ot haszn醠unk ott, ahol a nyelv egy objektumtulajdons醙ot v醨 el, akkor lennie kell egy ilyen tripletnek is:²

p rdf:type owl:ObjectProperty

Vagy, ha egy q tulajdons醙ot haszn醠unk ott, ahol egy adatt韕us-tulajdons醙ot v醨 a nyelv, akkor szerepelnie kell egy ilyen tripletnek is:

q rdf:type owl:DatatypeProperty

Ha egy o tulajdons醙ot haszn醠unk ott, ahol egy ontol骻iatulajdons醙nak kell szerepelnie, akkor o-nak egy ilyen be閜韙ett tulajdons醙nak kell lennie, mint owl:imports, owl:priorVersion, owl:backwardCompatibleWith, vagy owl:incompatibleWith), vagy pedig meg kell adni egy ilyen tripletet:

o rdf:type owl:OntologyProperty

Ha egy olyan a tulajdons醙ot haszn醠unk ott, ahol egy annot醕i髏ulajdons醙ot v醨 a nyelv, akkor a-nak egy be閜韙ett annot醕i髏ulajdons醙nak (owl:versionInfo, rdfs:label, rdfs:comment, vagy rdfs:seeAlso vagy rdfs:isDefinedBy) kell lennie, vagy pedig defini醠nunk egy ilyen tripletet az a tulajdons醙ra:

a rdf:type owl:AnnotationProperty

Minden egyed sz醡醨a, amelyik megjelenik az ontol骻i醔an legal醔b egy t韕ust specifik醠ni kell, azaz, egy i egyed sz醡醨a meg kell adni egy ilyen tripletet:

i rdf:type c

ahol c egy owl:Class vagy egy owl:Restriction.

V醠asszuk sz閠 a neveket

Az oszt醠yoknak, az objektum-, adatt韕us-, ontol骻ia- 閟 annot醕i髏ulajdons醙oknak, valamint az egyedek URI hivatkoz醩ainak diszjunkt halmazokat kell alkotniuk. Az al醔bi m骴on teh醫 nem adhatunk meg t韕usokat:

x rdf:type owl:Class
x rdf:type owl:ObjectProperty

蓅 k黮鰊鰏en: nem haszn醠hatunk oszt醠yokat egyed szerepben, ahogyan pl. az al醔bi p閘da teszi:

x rdf:type owl:Class
y rdf:type owl:Class
x rdf:type y

Ez ugyanis nem leg醠is az OWL DL-ben. Az 醠tal醤os szab醠y itt az, hogy ha van a gr醘ban egy x csom髉ont egy ilyen tripletben:

x rdf:type owl:Class

akkor x nem jelenhet meg alanyk閚t egy m醩ik olyan tripletben, amelynek 醠l韙m醤ya rdf:type.³

Korl醫oz醩ok

Ha egy x csom髉ont t韕usa korl醫oz醩 (x rdf:type owl:Restriction), akkor az x csom髉onttal kapcsolatban az al醔bi helyzetnek kell fenn醠lnia:

• Ez egy 黵es csom髉ont (azaz: n関telen).
• Ez nem alanya egyetlen m醩ik olyan tripletnek sem, amelynek 醠l韙m醤ya az rdf:type³.
• Ez pontosan egy olyan tripletnek az alanya, amelynek az 醠l韙m醤ya owl:onProperty, m間pedig 鷊y, hogy a tripletnek a t醨gya vagy owl:ObjectProperty vagy owl:DatatypeProperty t韕us?
• Ez pontosan egy dolognak az alanya az al醔biak k鰖黮:
  • Egy olyan tripletnek, amelynek 醠l韙m醤ya owl:someValuesFrom. Ebben az esetben, az owl:onProperty triplet t醨gyak閚t szerepl tulajdons醙nak ezzel adekv醫nak kell lennie. Ez azt jelenti, hogy ha a triplet t醨gya egy adatt韕us, akkor a tulajdons醙nak owl:DatatypeProperty t韕us鷑ak kell lennie; ha pedig a t醨gy egy oszt醠yle韗醩, akkor a tulajdons醙nak owl:ObjectProperty t韕us鷑ak kell lennie. Ez a tipiz醠 inform醕i sohasem maradhat el (a fentebb eml韙ett megk鰐閟 miatt).
  • Egy olyan tripletnek, amelynek 醠l韙m醤ya owl:allValuesFrom. Itt ugyanazok a megk鰐閟ek 閞v閚yesek, mint az owl:someValuesFrom eset閎en.
  • Egy olyan tripletnek, amelynek 醠l韙m醤ya owl:hasValue. Ha az owl:onProperty tripletben megadott tulajdons醙 t韕usa owl:ObjectProperty, akkor ennek a tripletnek a t醨gya egy egyed kell hogy legyen. Ha pedig az owl:onProperty tripletben megadott tulajdons醙 t韕usa owl:DatatypeProperty, akkor a triplet黱k t醨gy醤ak egy liter醠nak kell lennie.
  • Egy olyan tripletnek, amelynek 醠l韙m醤ya owl:minCardinality. E triplet t醨gy醤ak egy adat-liter醠nak kell lennie, mely egy nemnegat韛 eg閟z sz醡ot 醔r醶ol.
  • Egy olyan tripletnek, amelynek 醠l韙m醤ya owl:maxCardinality. A megk鰐閟 itt is ugyanaz, mint az owl:minCardinality eset閎en.
  • Egy olyan tripletnek, amelynek 醠l韙m醤ya owl:cardinality. A megk鰐閟 itt is ugyanaz, mint az owl:minCardinality eset閎en.
• Minden egy閎 x alany tripletnek az 醠l韙m醤ya csak owl:equivalentClass vagy owl:disjointWith lehet.

Oszt醠yaxi髆醟

Minden olyan tripletnek, amelynek 醠l韙m醤ya rdfs:subClassOf, owl:equivalentClass, vagy owl:disjointWith, az alanya 閟 t醨gya egyar醤t egy owl:Class vagy egy owl:Restriction kell hogy legyen. Pl., ha van egy

x rdfs:subClassOf y

triplet黱k, akkor a gr醘nak a k鰒etkez鮧et is tartalmaznia kell: egy

x rdf:type owl:Class

vagy egy

x rdf:type owl:Restriction

tripletet; valamint egy

y rdf:type owl:Class

vagy egy

y rdf:type owl:Restriction

tripletet.

Tulajdons醙axi髆醟

Minden olyan tripletnek, amelynek az 醠l韙m醤ya rdfs:subPropertyOf vagy owl:equivalentProperty, az alanya 閟 a t醨gya ugyanolyan t韕us? m間pedig az owl:ObjectProperty vagy az owl:DatatypeProperty valamelyike kell hogy legyen; azaz, ha van egy ilyen triplet黱k:

p owl:equivalentProperty q

akkor a gr醘nak tartalmaznia kell vagy egy:

p rdf:type owl:ObjectProperty
q rdf:type owl:ObjectProperty

triplet p醨t, vagy pedig egy

p rdf:type owl:DatatypeProperty
q rdf:type owl:DatatypeProperty

triplet p醨t.

Azoknak a tripleteknek, amelyeknek az 醠l韙m醤ya rdfs:domain, alanyk閚t egy owl:ObjectProperty, vagy egy owl:DatatypeProperty t韕us tulajdons醙ot, t醨gyk閚t pedig egy owl:Class vagy owl:Restriction t韕ust kell tartalmazniuk.

Azoknak a tripleteknek, amelyeknek az 醠l韙m醤ya rdfs:range, alanyk閚t vagy egy owl:ObjectProperty, vagy egy owl:DatatypeProperty t韕us tulajdons醙ot kell tartalmazniuk. Az el鮞bi esetben a triplet t醨gya egy owl:Class vagy egy owl:Restriction t韕us lehet, az ut骲bi esetben pedig egy XML S閙a adatt韕us, egy rdfs:Literal, vagy egy owl:oneOf elem, mely egy owl:DataRange t韕us adattartom醤yt defini醠.

Egy owl:inverseOf tripletnek mind az alanya, mind pedig a t醨gya owl:ObjectProperty t韕us kell hogy legyen.

T閚yaxi髆醟 (egyedekre vonatkoz 醠l韙醩ok)

Minden owl:sameAs vagy owl:differentFrom 醠l韙m醤yt tartalmaz triplet alany醤ak egyednek kell lennie.

Jegyezz黭 meg, hogy k閠 oszt醠ynak egy owl:sameAs tulajdons醙gal t鰎t閚 鰏szekapcsol醩a nagym閞t閗ben k黮鰊b鰖ik att髄 az esett鮨, amikor az owl:equivalentClass tulajdons醙gal kapcsoljuk 鰏sze 鮧et. Az el鮞bi azt mondja, hogy a k閠 objektum t閚ylegesen ugyanaz (ami p閘da arra az esetre, amikor az oszt醠yokat egyedeknek tekintj黭, s ez az ontol骻i醤kat ki is szor韙ja az OWL DL-b鮨). Az ut骲bi pedig azt jelenti ki, hogy csup醤 a k閠 oszt醠y kiterjed閟e (az egyedeik halmaza) az, ami egyenl?

Hasonl髃閜pen, az oszt醠yok owl:differentFrom rel醕i髒al t鰎t閚 鰏szekapcsol醩a nem ugyanaz, mintha az owl:disjointWith rel醕i髒al kapcsoltuk volna 鰏sze 鮧et (ami szint閚 egy p閘da az OWL Full szint konstrukci髍a). K閠 oszt醠y lehet k閠 k黮鰊b鰖 objektum, de a kiterjed閟黭 m間is k鰖鰏 lehet.

Ha egy x csom髉ont t韕usa owl:AllDifferent, akkor OWL DL eset閚 a k鰒etkez helyzetnek kell fenn醠lnia:

• Ez egy 黵es csom髉ont (azaz: n関telen).
• Ez egy olyan triplet alanya, amelynek 醠l韙m醤ya owl:distinctMembers, a t醨gya pedig egy szintaktikailag pontos (well-formed) rdf:List, amelynek listaelemei mind egyedek.
• Ez nem alanya (vagy t醨gya) semmilyen m醩 tripletnek.

Boole-algebrai oszt醠ykifejez閟ek

A Boole-algebrai oper醫orokat (蒘, VAGY, NEM) az OWL-ban, rendre, az owl:intersectionOf, az owl:unionOf 閟 az owl:complementOf konstrukci髃 helyettes韙ik.

Egy owl:complementOf triplet alanya egy owl:Class, a t醨gya pedig egy m醩ik owl:Class vagy egy owl:Restriction kell hogy legyen.

Egy owl:unionOf vagy egy owl:intersectionOf triplet alanya egy owl:Class, a t醨gya pedig egy (szintaktikailag pontos) rdf:List kell hogy legyen; ez ut骲bi listaelemeinek pedig vagy owl:Class vagy owl:Restriction t韕us鷄knak kell lenni黭, ahol a lista elemeit vagy explicit m骴on, a kiterjesztett rdf:List seg韙s間関el, vagy pedig, ha RDF-XML-t haszn醠unk, akkor az rdf:parseType="Collection" attrib鷗um seg韙s間関el 醔r醶oljuk.

<owl:Class>
 <owl:intersectionOf rdf:parseType="Collection">
  <owl:Class rdf:about="x"/>
  <owl:Class rdf:about="y"/>
 </owl:intersectionOf>
</owl:Class>

Ha egy owl:Class egy 黵es csom髉ont (vagyis, az oszt醠y n関telen), akkor az csak egyetlen olyan triplet alanya lehet, amelynek 醠l韙m醤ya owl:intersectionOf, owl:unionOf vagy owl:complementOf. Ha az oszt醠y neves韙ett, akkor tetsz鮨eges sz醡 ilyen triplet enged閘yezett a sz醡醨a.

Felsorol醩ok

Minden olyan tripletnek az alanya, amelynek az 醠l韙m醤ya owl:oneOf, az vagy egy owl:Class, vagy egy owl:DataRange t韕us objektum kell hogy legyen. Az el鮞bi esetben a triplet t醨gy醤ak egy olyan (szintaktikailag pontos) rdf:List felsorol醩nak kell lennie, amelynek minden eleme egy egyed. Az ut骲bi esetben pedig egy olyan (szintaktikailag ugyancsak pontos) rdf:List felsorol醩nak, amelynek minden eleme egy adat-liter醠. Itt is, mint a Boole-algebrai oper醫orokn醠, az rdf:List helyett az rdf:parseType="Collection" is haszn醠hat?

Ontol骻ia- 閟 annot醕i髏ulajdons醙ok

Minden olyan triplet eset閚, amelyben az 醠l韙m醤y egy ontol骻iatulajdons醙, az alanynak 閟 a t醨gynak egyar醤t ontol骻i醤ak kell lennie (vagyis, egy olyan x csom髉ontnak, amelyre l閠ezik egy ilyen triplet):

x rdf:type owl:Ontology

Minden olyan triplet eset閚, ahol az 醠l韙m醤y egy annot醕i髏ulajdons醙, az alanynak egy neves韙ett, azaz nem 黵es csom髉onttal reprezent醠t oszt醠ynak, egy tulajdons醙nak, egy egyednek, vagy egy ontol骻i醤ak kell lennie. Az ilyen, annot醕i髎 醠l韙m醤nyal rendelkez triplet t醨gya pedig csak egy egyed, egy adat-liter醠, vagy egy tetsz鮨eges URI hivatkoz醩 lehet.

Olyan 醠l韙m醤yok kiv閠el関el, amelyek az OWL, az RDF vagy az RDFS sz髃閟zletb鮨 val髃, csak az annot醕i髎 醠l韙m醤yoknak kell olyan tripletekben megjelenni黭, amelyek alanya egy oszt醠y vagy egy tulajdons醙.

Maguknak az annot醕i? 閟 ontol骻iatulajdons醙oknak is tipiz醠tnak kell lenni黭, 閟 nem jelenhetnek meg tripletek alanyak閚t vagy t醨gyak閚t m醩k閚t, mint olyan triplet alanyak閚t, amelynek az 醠l韙m醤ya rdf:type vagy egy annot醕i髏ulajdons醙.

Ker黮j黭 a strukt鷕醟 t鯾bsz鰎鰏 kihaszn醠醩醫

Az OWL Sz&ASz le韗醩a ugyanis ezt 醠tal醔an nem engedi meg az RDF 醔r醶ol醩ban. Ez gyakorlatilag azt jelenti, hogy az RDF gr醘 egy n関telen csom髉ontja, mely oszt醠yle韗醩t 醔r醶ol, csak egyszer fordulhat el (egy triplet t醨gyak閚t). 蚲y teh醫 az al醔bi haszn醠at ker黮end酊

x1 rdf:type owl:Class
x1 rdfs:subClassOf _:y
x2 rdf:type owl:Class
x2 rdfs:subClassOf _:y
_:y rdf:type owl:Class
_:y owl:complementOf z

Vannak azonban olyan tr黭k鰏 helyzetek, amikor az ilyesmi megengedett. 羖tal醔an azonban a gr醘nak k黮鰊醠l 黵es csom髉ontokat kell haszn醠nia, amikor ugyanannak oszt醠yle韗醩nak t鯾b helyen kell szerepelnie.

Ker黮j黭 az 醨va 黵es csom髉ontokat

A gr醘ban megjelen 黵es csom髉ontok 醠tal醔an vagy n関telen egyedeket 醔r醶olnak, vagy az al醔biak k鰖黮 valamelyiket (de csak egyiket):

• Egy rdfs:subClassOf, egy owl:equivalentClass, egy owl:disjointWith, egy owl:someValuesFrom, egy owl:allValuesFrom vagy egy rdf:type triplet t醨gy醫.
• Egy rdf:type triplet alany醫, owl:AllDifferent 醠l韙m醤nyal.
• Egy rdf:List egyik elem閠.

Az 醨va 黵es csom髉ontok, vagyis az olyan 黵es csom髉ontok, amelyek nem t醨gyai valamilyen tripletnek, 醠tal醔an nem enged閘yezettek (a fentebb le韗t owl:AllDifferent kiv閠el関el).

Alapvet t閚y醠l韙醩ok

Az ontol骻i醟 kijelent閟eket tartalmazhatnak alapvet t閚yekr鮨 (pl. olyan tripletek form醞醔an, amelyek egyedek tulalajdons醙ait defini醠j醟). Az ilyen t閚y醠l韙醩okban haszn醠t tulajdons醙oknak owl:ObjectProperty vagy owl:DatatypeProperty oszt醠y鷄knak kell lenni黭. A t閚y醠l韙醩ok alanya egy egyed kell hogy legyen, mely csakis tipiz醠t lehet. A t閚y醠l韙醩ok t醨gya pedig vagy egy egyedre val hivatkoz醩, (ha a tulajdons醙 owl:ObjectProperty oszt醠y? vagy egy adat-liter醠 (ha a tulajdons醙 owl:DatatypeProperty oszt醠y?.

OWL Lite

Az OWL Lite dokumentumoknak ugyanazokat a szab醠yokat kell k鰒etni黭, mint az OWL DL dokumentumoknak, de n閔醤y tov醔bi korl醫oz醩sal, f鮨eg az enged閘yezett sz髃閟zlet vonatkoz醩醔an. Az OWL Lite dokumentumok nem haszn醠hatj醟 az al醔bi sz髃閟zletet:

• owl:unionOf
• owl:complementOf
• owl:oneOf
• owl:hasValue
• owl:disjointWith

Az owl:equivalentClass t韕us tripletek alanyai vagy t醨gyai nem lehetnek 黵es csom髉ontok.

Az owl:minCardinality, az owl:maxCardinality 閟 az owl:cardinality 醠l韙m醤y tripletek t醨gya csak egy olyan adat-liter醠 lehet, amelynek 閞t閗e 0 vagy 1 (nemnegat韛 eg閟z sz醡).

Az OWL Lite-n醠 az owl:intersectionOf haszn醠at醰al kapcsolatos helyzet egy kicsit bonyolultabb, mint az OWL DL-n閘. Ez az 醠l韙m醤y itt nem haszn醠hat tetsz鮨eges kifejez閟ek alkot醩醨a, de n閘k黮鰖hetetlen ahhoz, hogy komplett oszt醠ydefin韈i髃at tudjunk 醔r醶olni. A fenti (OWL DL t韕us? megk鰐閟ek azt mondj醟 ki, hogy minden olyan triplet alanya, amelynek 醠l韙m醤ya owl:intersectionOf, egy owl:Class kell hogy legyen. Az OWL Lite-n醠 ehhez m間 az a megk鰐閟 is t醨sul, hogy ez az OWL oszt醠y egy n関vel kell hogy rendelkezz閗, teh醫 nem lehet egy 黵es csom髉ont.

Egyebek

觱atosnak kell lenn黱k az owl:Thing haszn醠at醰al. P閘d醬l, ez az OWL-RDF k骴r閟zlet:

<owl:Class rdf:about="#A">
  <rdfs:subClassOf>
    <owl:Thing/>
  </rdfs:subClassOf>
</owl:Class>

nem azt mondja az A oszt醠yr髄, hogy az owl:Thing aloszt醠ya (amit gondoln醤k), hanem t閚ylegesen azt, hogy A az owl:Thing oszt醠y valamilyen n関telen egyed閚ek az aloszt醠ya. Itt teh醫 egy oszt醠yt egyedk閚t kezelt黱k, ami nem leg醠is az OWL DL-ben. A k韛醤t hat醩t, vagyis hogy A-t az owl:Thing aloszt醠yak閚t deklar醠juk, az al醔bi k骴r閟zlettel 閞hetj黭 el:

<owl:Class rdf:about="#A">
  <rdfs:subClassOf>
    <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
  </rdfs:subClassOf>
</owl:Class>

Vigy醶zunk, nehogy 鰏szet関essz黭 az owl:Class 閟 az rdfs:Class oszt醠yt. Az al醔bi pl. nem DL k骴, mivel c sz醡醨a nem deklar醠tunk megfelel t韕ust.

c rdf:type rdfs:Class

L醔jegyzetek az E. f黦gel閗hez

[1] Term閟zetesen, az a k鰒etelm閚y, hogy mindent tipiz醠ni sz黭s間es, nem vonatkozik az OWL, az RDF 閟 az RDFS n関terekben szerepl dolgokra.

[2] Szigor鷄n v関e: ha a tulajdons醙ot 鷊y defini醠tuk, hogy az egy owl:TransitiveProperty, egy owl:SymmetricProperty vagy egy owl:InverseFunctionalProperty, akkor ez nem sz黭s間es.

[3] Ezek azok a kiv閠elek, amelyek el鮢ordulhatnak:

x rdf:type rdfs:Class
x rdf:type owl:Class

p rdf:type rdf:Property
p rdf:type owl:ObjectProperty

vagy pedig az al醔biak:

q rdf:type rdf:Property
q rdf:type owl:DatatypeProperty.

s鮰 (korl醫oz醩sal kapcsolatban) ez is megengedett:

x rdf:type owl:Restriction
x rdf:type rdfs:Class
x rdf:type owl:Class

F. f黦gel閗: V醠toztat醩i napl az Aj醤l醩tervezethez k閜est

1. Hib醩 l醔jegyzet [4] elt醰ol韙醩a az E. f黦gel閗 v間閞鮨.
2. Egy rdfs:label elem hozz醓d醩a az AnnotationProperty 閟 OntologyProperty tulajdons醙t韕usokhoz a B. f黦gel閗ben (l醩d az OWL RDF S閙醞醫), Jacco van Ossenbruggen megjegyz閟e alapj醤.
3. Egy megszakadt szekci骽ivatkoz醩 kijav韙醩a, valamint ugyanitt, a szabv醤yos szekci骽ivatkoz醩i karakterst韑us helyre醠l韙醩a.
4. A k黮s dokumentumhivatkoz醩ok list醞醤ak szabv醤yoss t閠ele.
5. Az rdf:RDF elem k鰒etelm閚yle韗醩醤ak szerkeszt鮥 m骴os韙醩a Minsu Jang

   megjegyz閟e nyom醤.

6. T鯾b szerkeszt鮥 m骴os韙醩 Lacy lektori v閘em閚ye alapj醤.
7. A 7.1 szekci髇醠 egy, az annot醕i髏ulajdons醙ok haszn醠at醰al kapcsolatos magyar醶 sz鰒eg besz鷕醩a az OWL DL korl醫air髄, nyilv醤os megjegyz閟ek alapj醤 (l醩d p閘d醬l Benjamin Nowack hozz醩z髄醩醫). A 7.2 szekci ugyancsak b鮲黮t egy mondattal, jelezv閚, hogy ugyanazok a korl醫oz醩ok 閞v閚yesek az ontol骻iatulajdons醙okra is.
8. T鯾b kisebb szerkeszt鮥 jav韙醩 v間rehajt醩a a sz鰒eg utols 醫olvas醩a ut醤.

A k黮s dokumentumhivatkoz醩ok list醞a

[OWL 羣tekint閟]

Az OWL Web Ontol骻ia Nyelv – 羣tekint閟, W3C Aj醤l醩, 2004. Febru醨 10. Szerkeszt鮧: Deborah L. McGuinness 閟 Frank van Harmelen. A mindenkori legutols (eredeti angol) v醠tozat: http://www.w3.org/TR/owl-features/

[OWL 趖mutat骫

Az OWL Web Ontol骻ia Nyelv – 趖mutat螯/a>, W3C Aj醤l醩, 2004. Febru醨 10. Szerkeszt鮧: Michael K. Smith, Chris Welty, 閟 Deborah L. McGuinness. A mindenkori legutols (eredeti angol) v醠tozat: http://www.w3.org/TR/owl-guide/

[OWL Sz&ASz]

Az OWL Web Ontol骻ia Nyelv – Szemantika 閟 absztrakt szintaxis, W3C Aj醤l醩, 2004. Febru醨 10. Szerkeszt鮧: Peter F. Patel-Schneider, Patrick Hayes, 閟 Ian Horrocks. A mindenkori legutols (eredeti angol) v醠tozat: http://www.w3.org/TR/owl-semantics/ .

[OWL Tesztsorozat]

Az OWL Web Ontol骻ia Nyelv – Tesztsorozat, W3C Aj醤l醩, 2004. Febru醨 10. Szerkeszt鮧: Jeremy J. Carroll 閟 Jos De Roo. A mindenkori legutols (eredeti angol) v醠tozat: http://www.w3.org/TR/owl-test/

[OWL K鰒etelm閚yek]

Az OWL Web Ontol骻ia Nyelv – Alkalmaz醩i esetek 閟 k鰒etelm閚yek, W3C Aj醤l醩, 2004. Febru醨 10. Szerkeszt酊 Jeff Heflin. A mindenkori legutols (eredeti angol) v醠tozat: http://www.w3.org/TR/webont-req/

[RDF Fogalmak]

Az RDF Er鮢orr醩 Le韗 Keretrendszer alapfogalmai 閟 absztrakt szintaxisa, W3C Aj醤l醩, 2004. Febru醨 10. Szerkeszt鮧: Graham Klyne 閟 Jeremy J. Carroll. A mindenkori legutols (eredeti angol) v醠tozat: http://www.w3.org/TR/rdf-concepts/ .

[RDF Szintaxis]

Az RDF/XML Szintaxis Specifik醕i骿a (羣dolgozott kiad醩), W3C Aj醤l醩, 2004. Febru醨 10. Szerkeszt酊 Dave Beckett. A mindenkori legutols (eredeti angol) v醠tozat: //www.w3.org/TR/rdf-syntax-grammar/ .

[RDF Szemantika]

Az RDF Szemantik醞a, W3C Aj醤l醩, 2004. Febru醨 10. Szerkeszt酊 Pat Hayes. A mindenkori legutols (eredeti angol) v醠tozat: http://www.w3.org/TR/rdf-mt/ .

[RDF Sz髃閟zlet]

Az RDF Sz髃閟zlet Le韗 Nyelv 1.0: RDF S閙a, W3C Aj醤l醩, 2004. Febru醨 10. Szerkeszt鮧: Dan Brickley 閟 R. V. Guha. A mindenkori legutols (eredeti angol) v醠tozat: //www.w3.org/TR/rdf-schema/ .

[DAML+OIL]

DAML+OIL (March 2001) Reference Description. Dan Connolly, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein. W3C Note 18 December 2001. Latest version is available at http://www.w3.org/TR/daml+oil-reference.

[XML-SCHEMA2]

XML Schema Part 2: Datatypes - W3C Recommendation, World Wide Web Consortium, 2 May 2001.