Cunoaște Intuit, prelegere, descriere ontologie limbi

OWL (Web Ontologie Limba, în scrisorile acronimul schimbat în mod deliberat locuri pentru a obține cuvântul englezesc „bufnita“) - limbaj de reprezentare a ontologiilor pe Web. De fapt, acest dicționar, extinderea set de termeni definiți prin rdfs. OWL -ontologii pot conține descrieri ale claselor, proprietăților și instanțele lor. Crearea OWL - un răspuns la necesitatea de a oferi cunoștințe pe Web într-un singur format. Punct de vedere istoric, predecesorul bufniței a fost limba DAML + OIL, se combină 2 Inițiativa: Proiectul DAML (DARPA Agent Markup Language) și ulei de proiect (Ontologie inferenta Layer). Cel mai vechi proiect care reprezintă ontologii pe Web a fost SHOE (Simlpe HTML Ontologie extensii). Filiala de descriere ontologie limbi pentru Web sunt prezentate în Fig. 6.4. Nivelul superior: OIL, DAML + ULEI și OWL continuă să evolueze, dar cel mai popular este OWL.

Fig. 6.4. Ramura principală a limbii descriere ontologie pentru Web

Limba OWL are 3 dialect (subseturi de termeni).

• OWL Lite - este cea mai puțin puterea expresivă a tuturor, dar poate fi suficient pentru sarcini simple. Acest OWL dialect echivalent cu o logică descriptivă (partea solubilă a logicii predicatelor de ordinul întâi). OWL Lite are o caracteristică importantă - este rezolvabilă (de exemplu, problema consecințelor retragerii acuzațiilor prezentate în această limbă este computable). Este rezolvabil (și relativ scăzută complexitate de calcul) este principalul motiv pentru utilizarea OWL Lite pentru a crea numeroase ontologie practice (în medicină, bioinformatica, etc.).
• OWL DL - are o putere expresivă mai mare decât OWL Lite. ekvivalenen dar, de asemenea, unele (mai expresivă) logică descriptivă. Pentru majoritatea problemelor întâlnite în proiectarea de ontologii, expresie a acestui dialect este de ajuns. OWL DL are, de asemenea, proprietatea solvabilitatii. Cu toate acestea, complexitatea de calcul a acesteia este mai mare decât OWL Lite. Decidabilitate realizate în restricții speciale în sintaxa limbii; Astfel, în clasa DL OWL este interzis de a fi o copie.
• OWL Full - dialectul cel mai distinctiv. Echivalent cu RDF. Când se utilizează OWL completa este nici o garanție de concluzii calculabilitate.

Fiecare dintre aceste dialecte (cu excepția OWL Lite) este o extensie a celei precedente. Ca urmare, orice ontologie OWL Lite este o ontologie OWL DL, precum și orice ontologie OWL DL este o bufniță ontologie completa.

Structura OWL-ontologiei

Orice ontologie are un antet și un corp. Antetul conține informații despre ontologia în sine (note versiune), un ontologii importate. Ca urmare a ontologiei corpului antet care conține descrieri de clase, proprietăți, și copii.

Elemente de bază OWL

În OWL, a introdus un nou termen - clasa (bufnita: Class). Nevoia de acest lucru se datorează faptului că nu toate clasele de dialecte OWL DL și OWL Lite sunt rdfs-clase (în acest caz, bufniță: Clasa este o subclasă de rdfs: Clasa). În dialectul bufniței completa aceste restricții sunt prezente, și bufniță: Clasa este de fapt sinonim cu rdfs: Clasa.

Pentru organizarea claselor într-o ierarhie folosind proprietatea rdfs: subClassOf.

Un loc aparte este ocupat de două clase complementare - bufniță: Thing și bufniță: Nimic. Prima dintre acestea este superclasa din orice clasă de OWL. al doilea - o subclasă a oricărei clase de OWL. OWL instanță din orice clasă face parte din extinderea bufnița de clasă: Thing. Extinderea bufnița de clasă: Nimic nu este vidă.

OWL este clasa poate fi descrisă în șase moduri:

1. identificator de clasă (URI);
2. enumerând toate instanțele clasei;
3. restricție privind valoarea proprietății;
4. intersecția de 2 sau mai multe definiții de clasă;
5. combinând 2 sau mai multe definiții de clasă;
6. complement (negație logică) definiția clasei.

Numai prima metodă determină o clasă numită OWL. Toate restul de a defini o clasă anonimă prin limitarea extensional sale. Metoda 2 enumeră explicit instanțe ale unei clase, o metodă de limitare a extinderii 3 numai la acele cazuri în care satisfac această proprietate. Metodele 4-6 sunt utilizate operații set-teoretic (uniune, intersecție și complement) asupra claselor respective extensionale pentru a determina extinderea noii clase.

Descrieri ale unei clase sunt blocuri de construcție pentru definiții de clasă prin axiome.

axiomă simplă, care definește o clasă pe nume:

Tot ceea ce postulează axioma, - existența unei clase numite umane.

Într-un alt proiect definit 3 OWL, care combinate, pot fi defini clase axiome mai complexe:

• rdfs: subClassOf sugerează că extinderea unei clase (subclasă) este complet inclus în prelungirea celeilalte (superclasa);
• bufniță: equivalentClass sugerează că extensionale două clase coincid;
• bufniță: disjointWith spune că două clase de extensie nu se intersectează. Uneori se spune că, în acest fel, a determinat clase disjuncte.

Pentru a determina noile proprietăți ale ambelor copii bufniță: ObjectProperty sau bufniță: DatatypeProperty utilizate proprietăți axiome.

Tot ce postuleaza această axiomă - existența unor proprietăți hasParent. Asociază bufnița de clasă exemplu: Thing unul cu celălalt.

Mai mult, OWL sprijină structura următoare pentru construirea proprietăți axiome:

• Design-rdfs: rdfs: subPropertyOf (sub-proprietate specifică faptul că proprietatea), rdfs: domeniu (domeniu determină proprietățile) și rdfs: interval (determină intervalul de proprietăți)
• Relația dintre proprietăți: bufniță: equivalentProperty (determină proprietatea echivalent) și buha: inverseOf (determină proprietatea inversă).
• Limitări ale cardinalității la nivel mondial: bufniță: FunctionalProperty (determină proprietatea lipsită de ambiguitate - una proprietăți de domeniu de cartografiere în gama) și bufniță: (. Proprietate funcțională care determină Invers că o proprietate inversă la această proprietate, este lipsit de ambiguitate) InverseFunctionalProperty.
• Caracteristici de proprietate Logical: bufniță: SymmetricProperty (determină ca proprietate simetrică) și owl: TransitiveProperty (determină proprietatea tranzitivă).