Ontologien in OWL
Ontologien in OWL
Ontologien in OWL
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Sprachkonstrukte kt <strong>in</strong> <strong>OWL</strong><br />
• Konstruktoren zur Beschreibung komplexer Konzepte und Rollen aus e<strong>in</strong>fachen<br />
Konzepten und Rollen<br />
• Konzeptkonstruktoren (Descriptions)<br />
1<br />
2<br />
• Rollenkonstruktoren<br />
• Axiome zum Ausdruck von Fakten über Konzepte, Rollen und Individuen<br />
3<br />
4<br />
5<br />
• Über Konzepte<br />
o<br />
o<br />
C ist Unterklasse von <br />
C und D s<strong>in</strong>d äquivalent<br />
o C und D haben ke<strong>in</strong>e geme<strong>in</strong>samen Elemente<br />
• Über Rollen<br />
o<br />
R hat Doma<strong>in</strong> und Range<br />
o R ist e<strong>in</strong>e Funktion, ist transitiv<br />
• Über Individuen<br />
o<br />
a it ist e<strong>in</strong> C, a ist verschieden von b<br />
Jun-12<br />
I. Boersch<br />
44