Az OWL Web Ontológia Nyelv –
Szemantika és absztrakt szintaxis
4. fejezet: Leképezés RDF gráfokra

Szerkesztők:: Peter F. Patel-Schneider, Bell Labs Research, Lucent Technologies
Ian Horrocks, Department of Computer Science, University of Manchester

Kérjük, kövesse figyelemmel a dokumentum eredeti angol nyelvű változatára vonatkozó hibajegyzéket, mert ez normatív korrekciókat is tartalmazhat.

A dokumentumról további fordítások is rendelkezésre állnak.

Tartalomjegyzék

4. Leképezés RDF gráfokra (Normatív)

A dokumentumnak ez a fejezete a 2. fejezetben tárgyalt OWL DL és OWL Lite absztrakt szintaxis OWL adatcsere-szintaxisra történő leképezését tartalmazza. Ez utóbbi szintaxis azonos az RDF/XML szintaxissal [RDF Szintaxis]. A leképezés (és a fordítottja) adja meg a normatív viszonyt az absztrakt szintaxis és az adatcsere-szintaxis között. Az 5. fejezet és az A. függelék A.1 pontja kimutatja, hogy ez a leképezés megőrzi az OWL DL ontológiák jelentését. A 4.2 szekció az OWL nyelv DL és Lite dialektusait olyan RDF gráfok formájában definiálja, amelyeket absztrakt szintaxisú ontológiák leképezése útján nyerünk.

Amint azt az [OWL Referencia] dokumentum specifikálja, az OWL adatcsere-szintaxisa azonos az RDF/XML szintaxissal [RDF Szintaxis]. Egy OWL ontológia jelentését az RDF/XML-ben kizárólag abból az RDF gráfból [RDF Fogalmak] határozzuk meg, amelyet az RDF/XML dokumentum RDF típusú szintaktikus elemzése eredményez. Így tehát, az egyik mód egy absztrakt szintaxissal ábrázolt OWL ontológiának adatcsere-szintaxisra történő lefordítására az lehet, hogy minden direktívájára megadunk egy olyan transzformációt mely a neki megfelelő tripletek kollekcióját produkálja. Minthogy az OWL Lite konstrukciói csupán speciális esetei a teljes absztrakt szintaxis konstrukcióinak, ezért a transzformációkat csak a konstrukciók OWL DL változataira adjuk meg.

Az OWL DL szemantikáját egy absztrakt szintaxison, valamint egy olyan konkrét szintaxison keresztül definiáljuk, mely RDF gráfok egy részhalmazából áll. Ezért szükséges a specifikus absztrakt szintaxisú ontológiákat specifikus RDF/XML dokumentumokhoz, illetve az ezeknek megfelelő gráfokhoz kötnünk. Ez a fejezet egy "több-a-többhöz" jellegű relációt definiál az absztrakt szintaxisú ontológiák és az RDF gráfok között. Ezt nemdeterminisztikus leképezési szabályok halmazával valósítja meg. Így tehát, annak érdekében, hogy a szemantikát egy meghatározott RDF gráfra lehessen alkalmazni, meg kell találni azt az absztrakt szintaxisú ontológiát, mely a leképezési szabályok alapján megfelel ennek a gráfnak, majd a szemantikát erre az absztrakt ontológiára kell alkalmazni. A leképezést úgy terveztük meg, hogy az RDF gráfok bármelyike, amelyik megfelel egy adott absztrakt ontológiának, azzal a jelentése is azonos legyen, és ugyanez érvényes megfordítva is. Sőt, mivel ez az eljárás nem alkalmazható az olyan RDF gráfokra, amelyek számára nincs megfelelő absztrakt szintaxisforma, a leképezési szabályok implicit módon definiálnak egy olyan gráfhalmazt, mely RDF/XML szintaxissal ábrázolja az OWL DL-t.

A tripleteknek az itt alkalmazott szintaxisa ugyanaz, mint amit az RDF szemantikájánál használunk, azzal a különbséggel, hogy itt minősített nevek (prefixes azonosítók) is engedélyezettek. Ahogyan azt az [RDF Szemantika] részletesen leírja, az ilyen szintaxist úgy alakíthatjuk át szabványossá, hogy a minősített neveket URI hivatkozásokká terjesztjük ki a szabványos RDF módon, vagyis úgy, hogy a névtér nevét összeillesztjük a lokális névvel a szabványos OWL névtér felhasználásával.

4.1. Fordítás RDF gráfokra

A Transzformálás tripletekre c. táblázat tartalmazza azokat a transzformációs szabályokat, amelyek az absztrakt szintaxist OWL adatcsere-szintaxisra képezik le. Néhány esetben, nevezetesen a DifferentIndividuals konstrukciónál, több különböző transzformációs szabályt adtunk meg. Ilyen esetekben bármelyik szabály alkalmazható, s ez egy nemdeterminisztikus fordítást eredményez. Néhány más esetben, nevezetesen az osztály- és tulajdonságaxiómáknál, vannak olyan tripletek, amelyek vagy generálhatók, vagy nem. Ezeket opciókként kezeljük, és [opt] jelzéssel látjuk el. Néhány esetben két triplet közül kell valamelyiket generálni. Ezt a vagylagosságot úgy jelöljük, hogy a tripletek közé OR operátort írunk. Ezek a nemdeterminisztikus leképezések azt segítik elő, hogy több RDF gráfot generálhassunk.

A táblázat bal oszlopa az absztrakt szintaxis elemeit mutatja (S); a középső oszlop adja meg a transzformációt a megfelelő tripletekre (T(S)); míg a jobb szélső oszlop az M(T(S)) transzformáció fő csomópontjának azonosítóját tünteti fel az olyan szintaktikai konstrukcióknál, amelyek direktívák elemeiként jelennek meg. Az ismétlődő komponenseket három ponttal jelöljük (pl. description₁ … description_n), mert ez lehetővé teszi a transzformációk egyszerűbb specifikálását n minden olyan értékére, amelyet a szintaxis megenged. Az absztrakt szintaxis opcionális részei, amelyeket szögletes zárójelek között adunk meg, a transzformációban is opcionálisak, tehát ott is így zárójelezzük őket. Itt is, mint mindenütt, bármelyik beépített OWL adattípus, beépített OWL osztály, beépített OWL annotációtulajdonság és beépített OWL ontológiatulajdonság axiómájában, illetve fordításában az első rdf:type triplet opcionális.

A táblázat egyes transzformációi teljes direktívákra, mások pedig direktívák komponenseire vonatkoznak. De vannak olyan transzformációk is, amelyek szekvenciákat fordítanak le, bár a szekvenciák saját jogon nem elemei az absztrakt szintaxisnak. Az ilyen transzformációkat csak azért alkalmazzuk, hogy néhány transzformációt tömörebbé és könnyebben olvashatóvá tegyünk.

Sok direktíva esetében a transzformációs szabályok meghívják a direktíva komponenseit lefordító, más transzformációs szabályokat. Amikor egy ilyen komponens transzformációját egy triplet (akár opcionális triplet) alanyaként, állítmányaként vagy tárgyaként használjuk, akkor a komponens transzformációja a produkció részévé válik (de produkciónként csak egyszer). A meghívásnál a meghívott transzformáció "fő csomópontját" nevezzük meg a tripletben.

Az üres csomópontok (bnodes) azonosítóit úgy kell tekintetnünk, hogy ezek minden egyes transzformációra lokálisak, vagyis egy transzformációs szabály minden egyes meghívásánál más-más azonosítót kell használnunk. A névtelen ontológiák egy üres csomópontot, a névvel rendelkezők pedig a saját nevüket kapják fő csomópontként; a táblázatban ezekre a csomópontokra mindkét esetben az O szimbólummal hivatkozunk.

Transzformálás tripletekre
Absztrakt szintaxis (és szekvenciák) - S	Transzformáció - T(S)	Fő csomópont M(T(S))
Ontology(O directive₁ … directive_n)	O rdf:type owl:Ontology . T(directive₁) … T(directive_n)
Ontology(directive₁ … directive_n)	O rdf:type owl:Ontology . T(directive₁) … T(directive_n)
Annotation(ontologyPropertyID URIreference)	ontologyPropertyID rdf:type owl:OntologyProperty . O ontologyPropertyID URIreference . URIreference rdf:type owl:Ontology .
Annotation(annotationPropertyID URIreference)	annotationPropertyID rdf:type owl:AnnotationProperty . annotationPropertyID rdf:type rdf:Property . [opt] O annotationPropertyID URIreference .
Annotation(annotationPropertyID dataLiteral)	annotationPropertyID rdf:type owl:AnnotationProperty . annotationPropertyID rdf:type rdf:Property . [opt] O annotationPropertyID T(dataLiteral) .
Annotation(annotationPropertyID individual)	annotationPropertyID rdf:type owl:AnnotationProperty . annotationPropertyID rdf:type rdf:Property . [opt] O annotationPropertyID T(individual) .
rdfs:Literal		rdfs:Literal
datatypeID	datatypeID rdf:type rdfs:Datatype .	datatypeID
classID	classID rdf:type owl:Class . classID rdf:type rdfs:Class . [opt]	classID
individualID		individualID
datavaluedPropertyID	datavaluedPropertyID rdf:type owl:DatatypeProperty . datavaluedPropertyID rdf:type rdf:Property . [opt]	datavalued- PropertyID
individualvaluedPropertyID	individualvaluedPropertyID rdf:type owl:ObjectProperty . [opt, ha van egy olyan triplet az ontológia fordításában, mely az egyedértékű tulajdonság azonosítóját owl:InverseFunctionalProperty-nek, owl:TransitiveProperty-nek, vagy owl:SymmetricProperty-nek tipizálja]. individualvaluedPropertyID rdf:type rdf:Property . [opt]	individualvalued- PropertyID
dataLiteral	dataLiteral	dataLiteral
Individual(iID annotation₁ … annotation_m type(type₁)… type(type_n) value(pID₁ v₁) … value(pID_k v_k))	iID T(annotation₁) … iID T(annotation_m) iID rdf:type T(type₁) . … iID rdf:type T(type_n) . iID T(pID₁) T(v₁) . … iID T(pID_k) T(v_k) .	iID
Individual(annotation₁ … annotation_m type(type₁)…type(type_n) value(pID₁ v₁) … value(pID_k v_k)) (With at least one type.)	_:x T(annotation₁) … _:x T(annotation_m) _:x rdf:type T(type₁) . … _:x rdf:type T(type_n) . _:x T(pID₁) T(v₁) . … _:x T(pID_k) T(v_k) .	_:x
Individual(annotation₁ … annotation_m value(pID₁ v₁) … value(pID_k v_k))	_:x T(annotation₁) … _:x T(annotation_m) _:x rdf:type owl:Thing . _:x T(pID₁) T(v₁) . … _:x T(pID_k) T(v_k) .	_:x
SameIndividual(iID₁ … iID_n)	iID_i owl:sameAs iID_i+1 . 1≤i<n iID_i owl:sameAs iID_j . [opt] 1≤i≠j≤n
DifferentIndividuals(iID₁ … iID_n)	iID_i owl:differentFrom iID_j . OR iID_j owl:differentFrom iID_i . 1≤i<j≤n iID_j owl:differentFrom iID_i . [opt] 1≤i≠j≤n
DifferentIndividuals(iID₁ … iID_n)	_:x rdf:type owl:AllDifferent . _:x owl:distinctMembers T(SEQ iID₁ … iID_n) .
Class(classID [Deprecated] partial annotation₁ … annotation_m description₁ … description_n)	classID rdf:type owl:Class . classID rdf:type rdfs:Class . [opt] [classID rdf:type owl:DeprecatedClass .] classID T(annotation₁) … classID T(annotation_m) classID rdfs:subClassOf T(description₁) . … classID rdfs:subClassOf T(description_n) .
Class(classID [Deprecated] complete annotation₁ … annotation_m description₁ … description_n)	classID rdf:type owl:Class . classID rdf:type rdfs:Class . [opt] [classID rdf:type owl:DeprecatedClass .] classID T(annotation₁) … classID T(annotation_m) classID owl:intersectionOf T(SEQ description₁…description_n) .
Class(classID [Deprecated] complete annotation₁ … annotation_m description)	classID rdf:type owl:Class . classID rdf:type rdfs:Class . [opt] [classID rdf:type owl:DeprecatedClass .] classID T(annotation₁) … classID T(annotation_m) classID owl:equivalentClass T(description) .
Class(classID [Deprecated] complete annotation₁ … annotation_m unionOf(description₁ … description_n))	classID rdf:type owl:Class . classID rdf:type rdfs:Class . [opt] [classID rdf:type owl:DeprecatedClass .] classID T(annotation₁) … classID T(annotation_m) classID owl:unionOf T(SEQ description₁…description_n) .
Class(classID [Deprecated] complete annotation₁ … annotation_m complementOf(description))	classID rdf:type owl:Class . classID rdf:type rdfs:Class . [opt] [classID rdf:type owl:DeprecatedClass .] classID T(annotation₁) … classID T(annotation_m) classID owl:complementOf T(description) .
EnumeratedClass(classID [Deprecated] annotation₁ … annotation_m iID₁ … iID_n)	classID rdf:type owl:Class . classID rdf:type rdfs:Class . [opt] [classID rdf:type owl:DeprecatedClass .] classID T(annotation₁) … classID T(annotation_m) . classID owl:oneOf T(SEQ iID₁…iID_n) .
DisjointClasses(description₁ … description_n)	T(description_i) owl:disjointWith T(description_j) . OR T(description_j) owl:disjointWith T(description_i) . 1≤i<j≤n T(description_i) owl:disjointWith T(description_j) . [opt] 1≤i≠j≤n
EquivalentClasses(description₁ … description_n)	T(description_i) owl:equivalentClass T(description_j) . minden <i,j>-re G-ben (ahol G az {1,...,n}x{1,...,n} párok halmaza), amelyet, ha irányítatlan gráfként értelmezünk, {1,...,n}-re egy összefüggő gráfot kapunk.
SubClassOf(description₁ description₂)	T(description₁) rdfs:subClassOf T(description₂) .
Datatype(datatypeID [Deprecated] annotation₁ … annotation_m )	datatypeID rdf:type rdfs:Datatype . datatypeID rdf:type rdfs:Class . [opt] [datatypeID rdf:type owl:DeprecatedClass .] datatypeID T(annotation₁) … datatypeID T(annotation_m)
unionOf(description₁ … description_n)	_:x rdf:type owl:Class . _:x rdf:type rdfs:Class . [opt] _:x owl:unionOf T(SEQ description₁…description_n) .	_:x
intersectionOf(description₁ … description_n)	_:x rdf:type owl:Class . _:x rdf:type rdfs:Class . [opt] _:x owl:intersectionOf T(SEQ description₁…description_n) .	_:x
complementOf(description)	_:x rdf:type owl:Class . _:x rdf:type rdfs:Class . [opt] _:x owl:complementOf T(description) .	_:x
oneOf(iID₁ … iID_n)	_:x rdf:type owl:Class . _:x rdf:type rdfs:Class . [opt] _:x owl:oneOf T(SEQ iID₁…iID_n) .	_:x
oneOf(v₁ … v_n)	_:x rdf:type owl:DataRange . _:x rdf:type rdfs:Class . [opt] _:x owl:oneOf T(SEQ v₁ … v_n) .	_:x
restriction(ID component₁ … component_n) (With at least two components)	_:x rdf:type owl:Class . _:x rdf:type rdfs:Class . [opt] _:x owl:intersectionOf T(SEQ(restriction(ID component₁) … restriction(ID component_n))) .	_:x
restriction(ID allValuesFrom(range))	_:x rdf:type owl:Restriction . _:x rdf:type owl:Class . [opt] _:x rdf:type rdfs:Class . [opt] _:x owl:onProperty T(ID) . _:x owl:allValuesFrom T(range) .	_:x
restriction(ID someValuesFrom(required))	_:x rdf:type owl:Restriction . _:x rdf:type owl:Class . [opt] _:x rdf:type rdfs:Class . [opt] _:x owl:onProperty T(ID) . _:x owl:someValuesFrom T(required) .	_:x
restriction(ID value(value))	_:x rdf:type owl:Restriction . _:x rdf:type owl:Class . [opt] _:x rdf:type rdfs:Class . [opt] _:x owl:onProperty T(ID) . _:x owl:hasValue T(value) .	_:x
restriction(ID minCardinality(min))	_:x rdf:type owl:Restriction . _:x rdf:type owl:Class . [opt] _:x rdf:type rdfs:Class . [opt] _:x owl:onProperty T(ID) . _:x owl:minCardinality "min"^^xsd:nonNegativeInteger .	_:x
restriction(ID maxCardinality(max))	_:x rdf:type owl:Restriction . _:x rdf:type owl:Class . [opt] _:x rdf:type rdfs:Class . [opt] _:x owl:onProperty T(ID) . _:x owl:maxCardinality "max"^^xsd:nonNegativeInteger .	_:x
restriction(ID cardinality(card))	_:x rdf:type owl:Restriction . _:x rdf:type owl:Class . [opt] _:x rdf:type rdfs:Class . [opt] _:x owl:onProperty T(ID) . _:x owl:cardinality "card"^^xsd:nonNegativeInteger .	_:x
DatatypeProperty(ID [Deprecated] annotation₁ … annotation_m super(super₁)… super(super_n) domain(domain₁)… domain(domain_k) range(range₁)… range(range_h) [Functional])	ID rdf:type owl:DatatypeProperty . ID rdf:type rdf:Property . [opt] [ID rdf:type owl:DeprecatedProperty .] ID T(annotation₁) … ID T(annotation_m) ID rdfs:subPropertyOf T(super₁) . … ID rdfs:subPropertyOf T(super_n) . ID rdfs:domain T(domain₁) . … ID rdfs:domain T(domain_k) . ID rdfs:range T(range₁) . … ID rdfs:range T(range_h) . [ID rdf:type owl:FunctionalProperty . ]
ObjectProperty(ID [Deprecated] annotation₁ … annotation_m super(super₁)… super(super_n) domain(domain₁)… domain(domain_k) range(range₁)… range(range_h) [inverseOf(inverse)] [Functional \| InverseFunctional \| Transitive]) [Symmetric]	ID rdf:type owl:ObjectProperty . [opt if one of the last three triples is included] ID rdf:type rdf:Property . [opt] [ID rdf:type owl:DeprecatedProperty .] ID T(annotation₁) … ID T(annotation_m) ID rdfs:subPropertyOf T(super₁) . … ID rdfs:subPropertyOf T(super_n) . ID rdfs:domain T(domain₁) . … ID rdfs:domain T(domain_k) . ID rdfs:range T(range₁) . … ID rdfs:range T(range_h) . [ID owl:inverseOf T(inverse) .] [ID rdf:type owl:FunctionalProperty . ] [ID rdf:type owl:InverseFunctionalProperty . ] [ID rdf:type owl:TransitiveProperty . ] [ID rdf:type owl:SymmetricProperty . ]
AnnotationProperty(ID annotation₁ … annotation_m)	ID rdf:type owl:AnnotationProperty . ID rdf:type rdf:Property . [opt] ID T(annotation₁) … ID T(annotation_m)
OntologyProperty(ID annotation₁ … annotation_m)	ID rdf:type owl:OntologyProperty . ID rdf:type rdf:Property . [opt] ID T(annotation₁) … ID T(annotation_m)
EquivalentProperties(dvpID₁ … dvpID_n)	T(dvpID_i) owl:equivalentProperty T(dvpID_i+1) . 1≤i<n
SubPropertyOf(dvpID₁ dvpID₂)	T(dvpID₁) rdfs:subPropertyOf T(dvpID₂) .
EquivalentProperties(ivpID₁ … ivpID_n)	T(ivpID_i) owl:equivalentProperty T(ivpID_i+1) . 1≤i<n
SubPropertyOf(ivpID₁ ivpID₂)	T(ivpID₁) rdfs:subPropertyOf T(ivpID₂) .
annotation(annotationPropertyID URIreference)	annotationPropertyID URIreference . annotationPropertyID rdf:type owl:AnnotationProperty . annotationPropertyID rdf:type rdf:Property . [opt]
annotation(annotationPropertyID dataLiteral)	annotationPropertyID T(dataLiteral) . annotationPropertyID rdf:type owl:AnnotationProperty . annotationPropertyID rdf:type rdf:Property . [opt]
annotation(annotationPropertyID individual)	annotationPropertyID T(individual) . annotationPropertyID rdf:type owl:AnnotationProperty . annotationPropertyID rdf:type rdf:Property . [opt]
SEQ		rdf:nil
SEQ item₁…item_n	_:l₁ rdf:type rdf:List . [opt] _:l₁ rdf:first T(item₁) . _:l₁ rdf:rest _:l₂ . … _:ln rdf:type rdf:List . [opt] _:ln rdf:first T(item_n) . _:ln rdf:rest rdf:nil .	_:l₁

Ez a leképezés nem injektív, mivel több olyan különböző ontológiát, amelyik nem pontosan a fentebb kikötött szókészletet használja, egyenlő RDF gráfokra transzformálhat. Ez azonban csak olyan konstrukciók esetében fordulhat lő, amelyeknek azonos a jelentése (pl. ahol több kisebb DisjointClasses axiómának ugyanaz a hatása, mint egyetlen nagyobbnak). Tehát szükség esetén lehetne definiálni akár egy kanonikus inverz transzformációt is ezekre a gráfokra.

4.2. OWL DL és OWL Lite ontológiák definiálása RDF gráf formában

Amikor OWL Lite és DL ontológiákat tervezünk közvetlenül RDF gráf formában, óvatosan el kell kerülnünk bizonyos szókészletek használatát OWL osztályok, tulajdonságok vagy egyedek specifikálására. Ha ezt nem tennénk, akkor a beépített definíciók, vagy szókészletek használata (az RDF vagy az OWL specifikációból) kiterjesztené az információt az OWL ontológiában. Az RDF szókészletekből csak néhány tartozik ebbe a kategóriába, ugyanis több RDF szókészlethez (mint pl. az rdf:subject), az RDF specifikációk vagy nem társítanak jelentést, vagy csak csekély jelentést társítanak, és ezért a használatuk nem jelent problémát mindaddig, amíg az konzisztens a specifikált jelentéssel.

Definíció: A nem engedélyezett szókészlet az RDF-ből: rdf:type, rdf:Property, rdf:nil, rdf:List, rdf:first, rdf:rest, rdfs:domain, rdfs:range, rdfs:Resource, rdfs:Datatype, rdfs:Class, rdfs:subClassOf, rdfs:subPropertyOf, rdfs:member, rdfs:Container és rdfs:ContainerMembershipProperty. A nem engedélyezett szókészlet az OWL-ból: owl:AllDifferent, owl:allValuesFrom, owl:AnnotationProperty, owl:cardinality, owl:Class, owl:complementOf, owl:DataRange, owl:DatatypeProperty, owl:DeprecatedClass, owl:DeprecatedProperty, owl:differentFrom, owl:disjointWith, owl:distinctMembers, owl:equivalentClass, owl:equivalentProperty, owl:FunctionalProperty, owl:hasValue, owl:intersectionOf, owl:InverseFunctionalProperty, owl:inverseOf, owl:maxCardinality, owl:minCardinality, owl:ObjectProperty, owl:oneOf, owl:onProperty, owl:Ontology, owl:OntologyProperty, owl:Restriction, owl:sameAs, owl:someValuesFrom, owl:SymmetricProperty, owl:TransitiveProperty, és owl:unionOf. A nem engedélyezett szókészletet annak a két halmaznak az uniója adja, amelyek a nem engedélyezett szókészlet az RDF-ből és a nem engedélyezett szókészlet az OWL-ból című fenti felsorolásban szerepelnek.

Definíció: A csak osztályokat tartalmazó szókészlet: rdf:Statement, rdf:Seq, rdf:Bag és rdf:Alt. A csak adattípusokat tartalmazó szókészlet: a beépített OWL adattípusok. A csak tulajdonságokat tartalmazó szókészlet: rdf:subject, rdf:predicate, rdf:object, és az összes containertagság-tulajdonság, azaz rdf:_1, rdf:_2, …

Definíció: OWL DL ontológiák, axiómák és tények valamely absztrakt szintaxisban megadott O kollekciója akkor szétválasztott szókészletű, ha

az O-ban szereplő ontológiák, összevéve, minden URI hivatkozást csak egyféle típusú azonosítóként használnak: vagy osztályazonosítóként, vagy adattípus-azonosítóként, vagy egyedazononosítóként, vagy egyedértékű tulajdonság azonosítójaként, vagy adatértékű tulajdonság azonosítójaként, vagy annotációtulajdonság azonosítójaként, vagy ontológiatulajdonság azonosítójaként, vagy egy ontológia azonosítójaként;
az O-ban szereplő ontológiák, összevéve, típussal látnak el minden egyedazonosítót;
az O-ban szereplő ontológiák (kivéve amikor annotációk értékeként jelennek meg), osztályazonosítóként kizárólag a csak osztályokat tartalmazó szókészlet kifejezéseit használják; továbbá adattípusként kizárólag a csak adattípusokat tartalmazó szókészlet kifejezéseit; adatérték-tartományként csak az rdfs:Literal kifejezést; adatértékű tulajdonságok, egyedértékű tulajdonságok és annotációtulajdonságok azonosítójaként kizárólag a csak tulajdonságokat tartalmazó szókészlet kifejezéseit; osztályazonosítóként csak a beépített osztályok neveit; adattípus-azonosítóként csak a beépített adattípusokat; annotációtulajdonságok azonosítójaként csak a beépített annotációtulajdonságokat; ontológiatulajdonságok azonosítójaként pedig csak a beépített ontológiatulajdonságokat használják; és egyetlenegyet sem használnak a nem engedélyezett szókészlet kifejezéseiből.

Definíció: Egy RDF gráf akkor tekinthető RDF gráf formátumú OWL DL ontológiának, ha az egyenlő (egy kis pihenésként lásd alább) egy olyan gráffal, amelyet a fenti, Transzformálás tripletekre c. táblázatban megadott transzformációk alapján állítunk elő olyan absztrakt szintaxisú OWL DL ontológiák, axiómák és tények valamely O kollekciójáról, amely szétválasztott szókészletre épül. Abból a célból, hogy megállapíthassuk, hogy egy RDF gráf valóban egy OWL ontológia RDF gráf formában: a kardinalitáskorlátozásoknál explicite megengedett az olyan konstrukciók használata, mint "1"^^xsd:integer, mindaddig, amíg az így kódolt adatérték egy nemnegatív egész szám.

Definíció: Egy RDF gráf akkor tekinthető RDF gráf formátumú OWL Lite ontológiának, ha az megfelel a fenti feltételeknek azzal a különbséggel, hogy O ebben az esetben absztrakt szintaxisú OWL Lite ontológiák, axiómák és tények kollekcióját jelenti.

Az OWL Web Ontológia Nyelv – Szemantika és absztrakt szintaxis 4. fejezet: Leképezés RDF gráfokra

Tartalomjegyzék

4. Leképezés RDF gráfokra (Normatív)

4.1. Fordítás RDF gráfokra

4.2. OWL DL és OWL Lite ontológiák definiálása RDF gráf formában

Az OWL Web Ontológia Nyelv –
Szemantika és absztrakt szintaxis
4. fejezet: Leképezés RDF gráfokra