Web Ontology Language

Web Ontology Web Ontology LanguageLanguage

OWLOWL

RDF emlRDF emlékeztetőékeztető

Nagyon egyszerNagyon egyszerű ontológialeíró nyelvű ontológialeíró nyelv Erőforrások közötti kapcsolatrendszer Erőforrások közötti kapcsolatrendszer

leírásáraleírására Jelentés a kapcsolatrendszerből ered Jelentés a kapcsolatrendszerből ered

(szemantika)(szemantika)

RDF kiterjesztése - RDFSRDF kiterjesztése - RDFS

Bizonyos erőforrások jelentése rögzítveBizonyos erőforrások jelentése rögzítve

Eddig:Eddig: Ezután:Ezután:

Még mindig Még mindig elelég egyszerű ontológianyelvég egyszerű ontológianyelv Fogalom- és szerephierarchia építhetőFogalom- és szerephierarchia építhető

pql frtxyz

pql frtalosztálya

Komplex nyelvi elemekKomplex nyelvi elemek

Leíró logikákkal több minden kifejezhetőLeíró logikákkal több minden kifejezhető Egy DL nyelvhez többféle szintaxisEgy DL nyelvhez többféle szintaxis Hangsúly a jelentésen, nem a szintaxisonHangsúly a jelentésen, nem a szintaxison OWL nyelv tekinthető egy konkrét OWL nyelv tekinthető egy konkrét

szintaxisánakszintaxisának

Miért pont ilyen lett a világháló Miért pont ilyen lett a világháló ontológia nyelve?ontológia nyelve?

Ugyanaz motiválta, mint az RDF-etUgyanaz motiválta, mint az RDF-et– XML alapúXML alapú– Weben kényelmesen elhelyezhetőWeben kényelmesen elhelyezhető– Jelenlegi webes keresők támogatják az XML Jelenlegi webes keresők támogatják az XML

dokumentumok feldolgozásátdokumentumok feldolgozását– Adatcsere formátum alkalmazások közöttAdatcsere formátum alkalmazások között

DL háttér biztosítja a következtetéstDL háttér biztosítja a következtetést

Mi az OWL?Mi az OWL?

Egy OWL dokumentum egy érvényes RDF Egy OWL dokumentum egy érvényes RDF leírásleírás

OWL bevezet egy erőforrás halmazt és OWL bevezet egy erőforrás halmazt és rögzíti a jelentésétrögzíti a jelentését

Ugyanúgy, mint az RDFSUgyanúgy, mint az RDFS

<?xml version=<?xml version=“1.0” encoding=“ISO-8859-1”?>“1.0” encoding=“ISO-8859-1”?><rdf:RDF xml:base=<rdf:RDF xml:base=http://ww.cs.bme.hu/vima9000#http://ww.cs.bme.hu/vima9000# xmlns:rdf= xmlns:rdf=

http://www.w3.org/1999/02/22-rdf-syntax-ns#http://www.w3.org/1999/02/22-rdf-syntax-ns# xmlns:rdfs= xmlns:rdfs=http://www.w3.org/2000/01/rdf-schema#http://www.w3.org/2000/01/rdf-schema# xmlns:owl= xmlns:owl=http://www.w3.org/2002/07/owl#http://www.w3.org/2002/07/owl#>>

<owl:Class rdf:ID=“Ember” /><owl:Class rdf:ID=“Ember” /><owl:Class rdf:ID=“<owl:Class rdf:ID=“NőNő”>”>

<rdfs:subClassOf rdf:resource=“#<rdfs:subClassOf rdf:resource=“#EmberEmber”/>”/></owl:Class></owl:Class>

<owl:ObjectProperty rdf:ID=“<owl:ObjectProperty rdf:ID=“gyerekegyereke”>”><rdfs:domain rdf:resource=“#<rdfs:domain rdf:resource=“#EmberEmber”/>”/><rdfs:range rdf:resource=“#<rdfs:range rdf:resource=“#EmberEmber”/>”/>

</owl:ObjectProperty></owl:ObjectProperty>

<owl:Class rdf:ID=“<owl:Class rdf:ID=“LányosApaLányosApa”>”><owl:intersectionOf rdf:parseType=“Collection”><owl:intersectionOf rdf:parseType=“Collection”>

<owl:Class rdf:about:”#<owl:Class rdf:about:”#EmberEmber”/>”/><owl:Class><owl:Class>

<owl:complementOf rdf:resource=“#<owl:complementOf rdf:resource=“#NőNő”/>”/></owl:Class></owl:Class><owl:Restriction><owl:Restriction>

<owl:onProperty rdf:resource=“#<owl:onProperty rdf:resource=“#gyerekegyereke” />” /><owl:allValuesFrom rdf:resource=“#<owl:allValuesFrom rdf:resource=“#NőNő” />” />

</owl:Restriction></owl:Restriction></owl:interectionOf></owl:interectionOf>

</owl:Class></owl:Class></rdf:RDF></rdf:RDF>

OWL rOWL résznyelveiésznyelvei

OWL FullOWL Full– Minden RDF konstrukció használhatóMinden RDF konstrukció használható– Nem ágyazható semmilyen DL nyelvbeNem ágyazható semmilyen DL nyelvbe– Probléma: magasabbrendű kijelentésekProbléma: magasabbrendű kijelentések

OWL DLOWL DL– Közvetlenül fordítható DL-re -> SHOIN(D)Közvetlenül fordítható DL-re -> SHOIN(D)– Erőforrásoknak meghatározott típusa van:Erőforrásoknak meghatározott típusa van:

Egyed, konkrét érték, osztály, konkrét osztály, Egyed, konkrét érték, osztály, konkrét osztály, absztrakt tulajdonság, konkrét tulajdonságabsztrakt tulajdonság, konkrét tulajdonság

OWL résznyelveiOWL résznyelvei

OWL LiteOWL Lite– Leegyszerűsített OWL DLLeegyszerűsített OWL DL– Megfelel a SHIF(D) nyelvnekMegfelel a SHIF(D) nyelvnek– Átmenet az RDFS és az OWL DL közöttÁtmenet az RDFS és az OWL DL között– Nagyon hatékony következtetésNagyon hatékony következtetés

OWL osztályokOWL osztályok

Elnevezett osztályElnevezett osztály Enumerációs osztályEnumerációs osztály Tulajdonságkorlátozásos osztályTulajdonságkorlátozásos osztály Metszet osztályMetszet osztály Unió osztályUnió osztály Komplementer osztályKomplementer osztály


Elnevezett osztályElnevezett osztály– DL: atomi fogalomDL: atomi fogalom– 2 beépített elnevezett osztály:2 beépített elnevezett osztály:

owl:Thingowl:Thing owl:Nothingowl:Nothing

<owl:Class rdf:ID=<owl:Class rdf:ID=“Ember”/>“Ember”/>


EnumerEnumerációs osztályációs osztály– DL: nominálisok uniójaDL: nominálisok uniója– Nem megengedett OWL Lite-banNem megengedett OWL Lite-ban

<owl:Class><owl:Class><owl:oneof rdf:parseType=“Collection”><owl:oneof rdf:parseType=“Collection”>

<owl:Thing rdf:about=“#<owl:Thing rdf:about=“#HétfőHétfő”/>”/><owl:Thing rdf:about=“#<owl:Thing rdf:about=“#KeddKedd”/>”/>……

</owl:oneof></owl:oneof></owl:Class></owl:Class>


TulajdonsTulajdonságkorlátozásos osztályágkorlátozásos osztály– ÉrtékkorlátozásÉrtékkorlátozás– SzámosságkorlátozásSzámosságkorlátozás

<owl:Restriction><owl:Restriction>

<owl:onProperty rdf:resource=“P”/><owl:onProperty rdf:resource=“P”/>

{korl{korlátozásátozás}}

</owl:Restriction></owl:Restriction>


TulajdonsTulajdonságkorlátozáságkorlátozás: : értékkorlátozásértékkorlátozás– DL: (DL: ( R.C), ( R.C), ( R.C), ( R.C), ( R.{a}) R.{a})


<owl:onProperty rdf:resource=“#gyereke”/><owl:onProperty rdf:resource=“#gyereke”/>

<owl:allValuesFrom rdf:resource=“#Sz<owl:allValuesFrom rdf:resource=“#Szőkeőke”/>”/>

<owl:someValuesFrom rdf:resource=“#<owl:someValuesFrom rdf:resource=“#NőNő”/>”/>

<owl:hasValue rdf:resource=“#<owl:hasValue rdf:resource=“#JuditJudit”/>”/>



TulajdonsTulajdonságkorlátozáságkorlátozás: s: számosságkorlátozászámosságkorlátozás– DL:DL: ( (n R), (n R), (n R), (=n R)n R), (=n R)

<owl:Restriction><owl:Restriction><owl:onProperty rdf:resource=“#alkal<owl:onProperty rdf:resource=“#alkalmazottjamazottja”/>”/><owl:<owl:minCardinality minCardinality rdf:rdf:datatypedatatype=“&xsd;nonnegativeInteger”>=“&xsd;nonnegativeInteger”>

33</owl:minCardinality></owl:minCardinality><owl:maxCardinality <owl:maxCardinality rdf:rdf:datatypedatatype=“&xsd;nonnegativeInteger”>=“&xsd;nonnegativeInteger”>

5050</owl:maxCardinality></owl:maxCardinality>



Metszet osztMetszet osztályály

<owl:Class><owl:Class>

<owl:intersectionOf rdf:parsetype=“Collection”><owl:intersectionOf rdf:parsetype=“Collection”>

<owl:Class rdf:resource=“#Magas”/><owl:Class rdf:resource=“#Magas”/>

<owl:Class rdf:resource=“#Barna”/><owl:Class rdf:resource=“#Barna”/>

</owl:intersectionOf></owl:intersectionOf>

</owl:Class></owl:Class>

OWL osztályokOWL osztályok Unió osztályUnió osztály

<owl:Class><owl:Class><owl:unionOf rdf:parseType=“Collection”><owl:unionOf rdf:parseType=“Collection”>

<owl:Class rdf:about=“#N<owl:Class rdf:about=“#Nőő”/>”/><owl:Restriction><owl:Restriction> <owl:onProperty <owl:onProperty

rdf:resource=“#hajszrdf:resource=“#hajszíneíne”/>”/> <owl:hasValue>Barna</owl:hasValue><owl:hasValue>Barna</owl:hasValue></owl:Restriction></owl:Restriction>

</owl:unionOf></owl:unionOf></owl:Class></owl:Class>


Komplementer osztKomplementer osztályály

<owl:Class><owl:Class>

<owl:complementOf><owl:complementOf>

<owl:Class rdf:about=“#Sz<owl:Class rdf:about=“#Szőkeőke”/>”/>

</owl:complementOf></owl:complementOf>


OWL OWL axiaxiómákómák

Fogalomtartalmazási axiómákFogalomtartalmazási axiómák– rrdfsdfs:subClassOf:subClassOf

FogalomazonossFogalomazonossági axiómákági axiómák– owl:equivalentClassowl:equivalentClass

DiszjunkcióDiszjunkció– oowl:wl:disjointWithdisjointWith

FogalomtartalmazFogalomtartalmazási axiómákási axiómák

<owl:Class rdf:about=“#<owl:Class rdf:about=“#HázHáz”>”> <rdfs:subClassOf><rdfs:subClassOf> <owl:Restriction><owl:Restriction>

<owl:onProperty rdf:resource=“#ablaka”/><owl:onProperty rdf:resource=“#ablaka”/> <owl:minCardinality <owl:minCardinality rdf:datatype=“&xsd;nonnegativeInteger>rdf:datatype=“&xsd;nonnegativeInteger> 33 </owl:minCardinality></owl:minCardinality>

</owl:Restriction></owl:Restriction> </rdfs:subClassOf></rdfs:subClassOf></owl:Class></owl:Class>

FogalomazonossFogalomazonossági axiómákági axiómák

<owl:Class rdf:about=“#H<owl:Class rdf:about=“#Hétvégeétvége”>”><owl:equivalentClass><owl:equivalentClass>

<owl:Class><owl:Class> <owl:oneof rdf:parseType=“Collection”><owl:oneof rdf:parseType=“Collection”>

<owl:Thing rdf:about=“#szombat”/><owl:Thing rdf:about=“#szombat”/><owl:Thing <owl:Thing

rdf:about=“#vasrdf:about=“#vasárnapárnap”/>”/> </owl:oneof></owl:oneof></owl:Class></owl:Class>

</owl:equivalentClass></owl:equivalentClass></owl:Class></owl:Class>

DiszjunkciDiszjunkcióó

<owl:Class rdf:about=“#<owl:Class rdf:about=“#FérfiFérfi”>”>

<owl:disjointWith rdf:resource=“#<owl:disjointWith rdf:resource=“#NőNő”/>”/>


OWL szerepekOWL szerepek

Nincsenek szerepkonstruktorokNincsenek szerepkonstruktorok KijelenthetjKijelenthetjük, hogy egy szerep létezikük, hogy egy szerep létezik

<owl:ObjectProperty rdf:ID=“gyereke”/><owl:ObjectProperty rdf:ID=“gyereke”/>

<owl:DatatypeProperty rdf:ID=“m<owl:DatatypeProperty rdf:ID=“méreteérete”/>”/>

SzereSzerepállításokpállítások

RDF séma lehetőségekRDF séma lehetőségek

<owl:ObjectProperty rdf:ID=“apja”><owl:ObjectProperty rdf:ID=“apja”><rdfs:subPropertyOf rdf:resource=“#sz<rdfs:subPropertyOf rdf:resource=“#szülőjeülője”/>”/>


<owl:ObjectProperty rdf:ID=“kedvencItala”><owl:ObjectProperty rdf:ID=“kedvencItala”><rdfs:domain rdf:resource=“#Ember”/><rdfs:domain rdf:resource=“#Ember”/><rdfs:range rdf:resource=“#Ital”/><rdfs:range rdf:resource=“#Ital”/>



SzerepazonossSzerepazonosság, inverz szerepekág, inverz szerepek

<owl:ObjectProperty rdf:about=“#gyereke”><owl:ObjectProperty rdf:about=“#gyereke”>

<owl:equivalentProperty <owl:equivalentProperty rdf:resource=“#rdf:resource=“#kölykekölyke”/>”/>

<owl:inverseOf rdf:resource=“#<owl:inverseOf rdf:resource=“#szülőjeszülője”/>”/>



FunkcionFunkcionális, inverz funkcionális szerepális, inverz funkcionális szerep

<owl:ObjectProperty rdf:ID=“<owl:ObjectProperty rdf:ID=“feleségefelesége”>”>

<rdf:type <rdf:type rdf:resource=“&owl;FunctionalProperty”/>rdf:resource=“&owl;FunctionalProperty”/>

<rdf:type <rdf:type rdf:resource=“&owl;InverseFunctionalProperty”/rdf:resource=“&owl;InverseFunctionalProperty”/>>



TranzitivitTranzitivitás, szimmetriaás, szimmetria

<owl:SymmetricProperty rdf:ID=“<owl:SymmetricProperty rdf:ID=“testvéretestvére”/>”/>

<owl:ObjectProperty rdf:ID=“r<owl:ObjectProperty rdf:ID=“részeésze”>”>

<rdf:type <rdf:type rdf:resource=“#owl;TransitiveProperty/>rdf:resource=“#owl;TransitiveProperty/>


OWL egyedekOWL egyedek

Nincs UNANincs UNA Fontos, hogy egyedekrFontos, hogy egyedekről kijelenthessük, ől kijelenthessük,

hogyhogy– azonosakazonosak– különbözőekkülönbözőek


Egyedek azonosságaEgyedek azonossága

<rdf:Description rdf:about=“#Rudi”><rdf:Description rdf:about=“#Rudi”>

<owl:sameAs rdf:resource=“#Rudolf”/><owl:sameAs rdf:resource=“#Rudolf”/>

</rdf:Description></rdf:Description>


Egyedek kEgyedek különbözőségeülönbözősége

<t:Film rdf:ID=“<t:Film rdf:ID=“Ötödik_ElemÖtödik_Elem”>”>

<owl:differentFrom <owl:differentFrom rdf:resource=“Ponyvaregrdf:resource=“Ponyvaregényény”/>”/>

</t:Film></t:Film>


Egyedek kEgyedek különbözőségeülönbözősége

<owl:AllDifferent><owl:AllDifferent>

<owl:distinctMembers <owl:distinctMembers rdf:parseType=“Collection”>rdf:parseType=“Collection”>

<t:Film rdf:about=“#<t:Film rdf:about=“#Ötödik_ElemÖtödik_Elem”/>”/>

<t:Film rdf:about=“#<t:Film rdf:about=“#PonyvaregényPonyvaregény”/>”/>

<t:Film rdf:about=“#Kill_Bill”/><t:Film rdf:about=“#Kill_Bill”/>

</owl:distinctMembers></owl:distinctMembers>

</owl:Alldifferent></owl:Alldifferent>

OWL 2 - OWL 2 - újdonságokújdonságok

Szinaktikus édesítőszerekSzinaktikus édesítőszerek Nyelvi kiterjesztés – SROIQ(D)Nyelvi kiterjesztés – SROIQ(D) Kiterjesztett konkrét adattípusokKiterjesztett konkrét adattípusok MetamodellezésMetamodellezés

Szintaktikus édesítőszerekSzintaktikus édesítőszerek

DisjointUnionDisjointUniondiszjunkt unióból előálló osztálydiszjunkt unióból előálló osztály

DisjointClassesDisjointClassesmegadott osztályok dismegadott osztályok diszzjunktakjunktak

NegativeObjectPropertyAssertionNegativeObjectPropertyAssertion-gyereke(a,b)-gyereke(a,b)

NegativeDataPropertyAssertionNegativeDataPropertyAssertion-mérete(a,42)-mérete(a,42)

Nyelvi kiterjesztés: SROIQ(D)Nyelvi kiterjesztés: SROIQ(D)

ÖnkorlátozásÖnkorlátozás R.SelfR.Self

Minősített számosságkorlátozásMinősített számosságkorlátozás n R.C, n R.C, n R.C, =n R.Cn R.C, =n R.C

Reflexív szerepReflexív szerep x R(x,x)x R(x,x)

Irreflexív szerepIrreflexív szerep x -R(x,x)x -R(x,x)

Antiszimmetrikus szerepAntiszimmetrikus szerep x,y R(x,y) x,y R(x,y) -R(y,x) -R(y,x)

Nyelvi kiterjesztés: SROIQ(D)Nyelvi kiterjesztés: SROIQ(D)

Diszjunkt szerepekDiszjunkt szerepek– R(x,y) R(x,y) -S(x,y) -S(x,y)

Komplex szerephierarchiaKomplex szerephierarchia– RR11RR22…R…Rnn R R

KulcsokKulcsok– hasKey(Diák, neptunkódja)hasKey(Diák, neptunkódja)

Minden diákot azonosít a neptun kódja.Minden diákot azonosít a neptun kódja.– hasKey(Verseny, sportága, ideje, helye)hasKey(Verseny, sportága, ideje, helye)

Minden versenyt azonosít a sportág, idő, hely Minden versenyt azonosít a sportág, idő, hely hármas.hármas.

Kiterjesztett konkrét adattípusokKiterjesztett konkrét adattípusok

OWL-ben csak integer és string OWL-ben csak integer és string adattípusok támogatottakadattípusok támogatottak

OWL 2-ben új adattípusok (pl. double, OWL 2-ben új adattípusok (pl. double, float, decimal)float, decimal)

OWL 2-ben lehetőség van felhasználói OWL 2-ben lehetőség van felhasználói adattípusok definiálására, pl:adattípusok definiálására, pl:– {{18-nál nagyobb egészek18-nál nagyobb egészek}}– {18{18-nál kisebb, vagy 32-nél nagyobb egészek-nál kisebb, vagy 32-nél nagyobb egészek}}– {legal{legalább 3 hosszú stringekább 3 hosszú stringek}}

MetamodellezésMetamodellezés

OWL-ben az erőforrásoknak jól OWL-ben az erőforrásoknak jól meghatározott típusa vanmeghatározott típusa van

OWL 2-ben egy erőforrás lehet egyszer OWL 2-ben egy erőforrás lehet egyszer egyed, egyszer osztályegyed, egyszer osztály– Sas: sasok halmazaSas: sasok halmaza– Sas: egyed, mely egy fajt azonosítSas: egyed, mely egy fajt azonosít

Konkrét egyedek és osztályok, valamint Konkrét egyedek és osztályok, valamint tulajdonságok továbbra is csak egy tulajdonságok továbbra is csak egy szerepben fordulhatnak előszerepben fordulhatnak elő

PéldaPélda

Adottak az Adottak az EmberEmber és és RobotRobot fogalmak, fogalmak, mmelyek elyek részerészeii a a LényekLények fogalomnak. fogalomnak. AAz z EmberEmber fogalmonfogalmon belül létezik egy belül létezik egy KimekKimek nevûnevû részfogalom részfogalom. . Definiáltak továbbá a Definiáltak továbbá a következő szerepek: következő szerepek: gyűlöligyűlöli, felettese , felettese ésés ismeri.ismeri. Tudjuk, hogy ember nem lehet Tudjuk, hogy ember nem lehet robot felettese, valamint egy robot nem robot felettese, valamint egy robot nem gyűlöl senkit. Azt is tudjuk, hogy mindenki gyűlöl senkit. Azt is tudjuk, hogy mindenki ismeri a feletteseit és viszont, továbbá ismeri a feletteseit és viszont, továbbá mindenki ismeri azt, akit gyűlöl. mindenki ismeri azt, akit gyűlöl. ZsarnoknakZsarnoknak nevezünk egy nevezünk egy eembert, ha ő mbert, ha ő kkimek, legalább két nemimek, legalább két nem kimek-ember kimek-ember gyűlöli őt, valamint van robot felettese.gyűlöli őt, valamint van robot felettese.

Adottak az Adottak az EmberEmber és és Robot Robot fogalmak,fogalmak, mmelyek elyek részerészeii a a LényekLények fogalomnak. fogalomnak. AAz z EmberEmber fogalmonfogalmon belül létezik egy belül létezik egy KimekKimek nevûnevû részfogalom részfogalom..

<owl:Class rdf:about="#L<owl:Class rdf:about="#Léény"/>ny"/><owl:Class rdf:about="#Robot"><owl:Class rdf:about="#Robot">

<rdfs:subClassOf rdf:resource="#L<rdfs:subClassOf rdf:resource="#Léény"/>ny"/></owl:Class></owl:Class><owl:Class rdf:about="#Ember"><owl:Class rdf:about="#Ember">

<rdfs:subClassOf rdf:resource="#L<rdfs:subClassOf rdf:resource="#Léény"/>ny"/></owl:Class></owl:Class><owl:Class rdf:about="#Kimek"><owl:Class rdf:about="#Kimek">

<rdfs:subClassOf rdf:resource="#Ember"/><rdfs:subClassOf rdf:resource="#Ember"/></owl:Class></owl:Class>

Definiáltak továbbá a következő szerepek: Definiáltak továbbá a következő szerepek: gyűlöligyűlöli, felettese , felettese ésés ismeri. ismeri.

<owl:ObjectProperty rdf:about=“#gy<owl:ObjectProperty rdf:about=“#gyűűllööli”/>li”/>

<owl:ObjectProperty rdf:about=“#felettese”/><owl:ObjectProperty rdf:about=“#felettese”/>

<owl:ObjectProperty rdf:about=“#ismeri”/><owl:ObjectProperty rdf:about=“#ismeri”/>

Tudjuk, hogy ember nem lehet robot Tudjuk, hogy ember nem lehet robot felettesefelettese,…,…

<owl:Description rdf:about="#Ember"><owl:Description rdf:about="#Ember"> <owl:disjointWith><owl:disjointWith> <owl:Restriction><owl:Restriction> <owl:onProperty><owl:onProperty>

<owl:ObjectProperty><owl:ObjectProperty> <owl:inverseOf <owl:inverseOf

rdf:resource="#felettese"/>rdf:resource="#felettese"/> </owl:ObjectProperty></owl:ObjectProperty></owl:onProperty></owl:onProperty>

<owl:someValuesFrom <owl:someValuesFrom rdf:resource="#Robot"/>rdf:resource="#Robot"/> </owl:Restriction></owl:Restriction>

</owl:disjointWith></owl:disjointWith></owl:Description></owl:Description>

……valamint egy robot nem gyűlöl senkit. valamint egy robot nem gyűlöl senkit.

<owl:Description rdf:about=“#Robot”><owl:Description rdf:about=“#Robot”>

<rdfs:subClassOf><rdfs:subClassOf>


<owl:onProperty rdf:resource=“#gy<owl:onProperty rdf:resource=“#gyűűllööli”/>li”/>

<owl:allValuesFrom <owl:allValuesFrom rdf:resource=“owl:Nothing”/> rdf:resource=“owl:Nothing”/> </owl:Restriction></owl:Restriction>

</rdfs:subClassOf></rdfs:subClassOf>

</owl:Description></owl:Description>

Azt is tudjuk, hogy mindenki ismeri a Azt is tudjuk, hogy mindenki ismeri a feletteseit és viszont, továbbá mindenki feletteseit és viszont, továbbá mindenki ismeri azt, akit gyűlöl.ismeri azt, akit gyűlöl.

<owl:ObjectProperty rdf:about="#felettese"><owl:ObjectProperty rdf:about="#felettese"><owl:inverseOf rdf:resource="#beosztottja"/><owl:inverseOf rdf:resource="#beosztottja"/><rdfs:subPropertyOf rdf:resource="#ismeri"/><rdfs:subPropertyOf rdf:resource="#ismeri"/>


<owl:ObjectProperty rdf:about="#beosztottja"><owl:ObjectProperty rdf:about="#beosztottja"><rdfs:subPropertyOf rdf:resource="#ismeri"/><rdfs:subPropertyOf rdf:resource="#ismeri"/>


<owl:ObjectProperty rdf:about="#gy<owl:ObjectProperty rdf:about="#gyűűllööli">li"><rdfs:subPropertyOf rdf:resource="#ismeri"/><rdfs:subPropertyOf rdf:resource="#ismeri"/>


ZsarnoknakZsarnoknak nevezünk egy nevezünk egy eembert, ha ő mbert, ha ő kkimek, imek, legalább két nemlegalább két nem kimek-ember gyűlöli őt, kimek-ember gyűlöli őt, valamint van robot felettese.valamint van robot felettese.

<owl:Class rdf:about="#Zsarnok"><owl:Class rdf:about="#Zsarnok"> <rdfs:subClassOf rdf:resource="#Ember"/><rdfs:subClassOf rdf:resource="#Ember"/> <rdfs:subClassOf rdf:resource="#Kimek"/><rdfs:subClassOf rdf:resource="#Kimek"/> <rdfs:subClassOf><owl:Restriction><rdfs:subClassOf><owl:Restriction> <owl:onProperty rdf:resource="#felettese"/><owl:onProperty rdf:resource="#felettese"/> <owl:someValuesFrom rdf:resource="#Robot"/><owl:someValuesFrom rdf:resource="#Robot"/> </owl:Restriction></rdfs:subClassOf></owl:Restriction></rdfs:subClassOf> <rdfs:subClassOf><owl:Restriction><rdfs:subClassOf><owl:Restriction> <owl:onProperty><owl:ObjectProperty><owl:onProperty><owl:ObjectProperty> <owl:inverseOf rdf:resource="#gy<owl:inverseOf rdf:resource="#gyűűllööli"/>li"/> </owl:ObjectProperty></owl:onProperty></owl:ObjectProperty></owl:onProperty> <owl:onClass><owl:Class><owl:onClass><owl:Class> <owl:complementOf rdf:resource="#Kimek"/><owl:complementOf rdf:resource="#Kimek"/> </owl:Class></owl:onClass></owl:Class></owl:onClass> <owl:minQualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger"><owl:minQualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">

22</owl:minQualifiedCardinality></owl:minQualifiedCardinality>

</owl:Restriction></rdfs:subClassOf></owl:Restriction></rdfs:subClassOf></owl:Class></owl:Class>

Documents

Web Ontology Language