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.
Copyright © 2004 W3C® (MIT, ERCIM, Keio), Minden jog fenntartva. Alkalmazandók a W3C felelősségi, védjegyoltalmi, dokumentumhasználati és szoftverlicenc előírásai.
Ez a függelék példákat mutat be azokra a fogalmakra, amelyeket a dokumentum különböző fejezetei tárgyalnak.
A 4. fejezetben megadott transzformációs szabályok ezt az ontológiát:
Ontology(ex:ontology
DatatypeProperty(ex:name)
ObjectProperty(ex:author)
Class(ex:Book)
Class(ex:Person)
Individual(type(ex:Book)
value(ex:author Individual(type(ex:Person) value(ex:name "Fred"^^xsd:string)))))
ilyen tripletekre fordítanák le:
ex:ontology rdf:type owl:Ontology . ex:name rdf:type owl:DatatypeProperty . ex:author rdf:type owl:ObjectProperty . ex:Book rdf:type owl:Class . ex:Person rdf:type owl:Class . _:x rdf:type ex:Book . _:x ex:author _:x1 . _:x1 rdf:type ex:Person . _:x1 ex:name "Fred"^^xsd:string .
Ennek az ontológiának:
Ontology(ex:ontology2
Class(ex:Person)
Class(ex:Student)
ObjectProperty(ex:enrolledIn)
Class(ex:Student complete ex:Person
restriction(ex:enrolledIn allValuesFrom(ex:School) minCardinality(1))))
ez lenne a fordítása:
ex:ontology2 rdf:type owl:Ontology . ex:enrolledIn rdf:type owl:ObjectProperty . ex:Person rdf:type owl:Class . ex:School rdf:type owl:Class . ex:Student rdf:type owl:Class . ex:Student owl:equivalentClass _:x . _:x owl:intersectionOf _:l1 . _:l1 rdf:first ex:Person . _:l1 rdf:rest _:l2 . _:l2 rdf:first _:lr . _:l2 rdf:rest rdf:nil . _:lr owl:intersectionOf _:lr1 . _:lr1 rdf:first _:r1 . _:lr1 rdf:rest _:lr2 . _:lr2 rdf:first _:r2 . _:lr2 rdf:rest rdf:nil . _:r1 rdf:type owl:Restriction . _:r1 owl:onProperty ex:enrolledIn . _:r1 owl:allValuesFrom ex:School . _:r2 rdf:type owl:Restriction . _:r2 owl:onProperty ex:enrolledIn . _:r2 owl:minCardinality "1"^^xsd:nonNegativeInteger .
Az OWL DL támogatja a következményeket, amelyeket elvárunk, feltéve, hogy a szókészletről kimutatható, hogy az univerzum megfelelő részéhez tartozik. Például a:
John friend Susan .
kifejezésnek nem OWL DL-következménye az alábbi:
John rdf:type owl:Thing .
Susan rdf:type owl:Thing .
friend rdf:type owl:ObjectProperty .
A fenti három tripletet meg kellene adni, mielőtt a következő korlátozást le lehetne vezetni:
John rdf:type _:x .
_:x owl:onProperty friend .
_:x owl:minCardinality "1"^^xsd:nonNegativeInteger .
Azonban, ha már megadtuk ezt a többletinformációt, minden természetes következmény levonható, kivéve azokat, amelyek leírásában zárt hurok van. Például az alábbi tripletekbõl:
John rdf:type owl:Thing .
friend rdf:type owl:ObjectProperty .
John rdf:type _:x .
_:x owl:onProperty friend .
_:x owl:maxCardinality "0"^^xsd:nonNegativeInteger .
nem nem következik
John rdf:type _:y .
_:y owl:onProperty friend .
_:y owl:allValuesFrom _:y .
ugyanis, nincsenek érthetőségi feltételek az ilyen hurkolt leírásokhoz. Pontosan az ilyen érthetőségi feltételek hiánya az, ami megakadályozza a paradoxonok kialakulását az OWL DL-ben, miközben azért produkálhatók maradnak a természetes következmények.
Az OWL DL-ben pótolhatjuk a hiányzó lokalizációt bármilyen szétválasztott szintaxisú tudásbázisnál, ha megadjuk a lokalizáló kijelentések egy megfelelő halmazát, mely tartalmazza az összes alábbi formátumú tripletet:
<individual> rdf:type owl:Thing .,
<class> rdf:type owl:Class .
<oproperty> rdf:type owl:ObjectProperty .
<dtproperty> rdf:type owl:DatatypeProperty .
Az összes ilyen kijelentés megadásánának eredményét az OWL DL tudásbázis lokalizációjának nevezzük.
Az OWL Full támogatja a következményeket, amelyekre számítunk, és nincs szüksége arra, hogy tipizáló információkat adjunk meg a szókészlet számára. Például a
John friend Susan .
tripletnek OWL Full-következménye:
John rdf:type _:x .
_:x owl:onProperty friend .
_:x owl:minCardinality "1"^^xsd:nonNegativeInteger .