420 likes | 431 Views
Άσκηση 3 Επέκταση οντολογίας χρησιμοποιώντας DAML+OIL. Κρητικός Κυριάκος (ΥΔ) Στρατάκης Μίλτος (ΜΕΤ). Οντολογία που χρησιμοποιήσαμε στην προηγούμενη άσκηση. Οικοσύστημα επικεντρωμένο στην πανίδα (ζώα) Κατηγοριοποίηση ζώων με βάση την ομαδοποίηση που χρησιμοποιείται στη ζωολογία
E N D
Άσκηση 3Επέκταση οντολογίαςχρησιμοποιώντας DAML+OIL Κρητικός Κυριάκος (ΥΔ) Στρατάκης Μίλτος (ΜΕΤ) HY566 Semantic Web
Οντολογία που χρησιμοποιήσαμε στην προηγούμενη άσκηση • Οικοσύστημα επικεντρωμένο στην πανίδα (ζώα) • Κατηγοριοποίηση ζώων με βάση την ομαδοποίηση που χρησιμοποιείται στη ζωολογία • Πρόσθετες πληροφορίες για: • Την τοποθεσία και το κλίμα διαβίωσης • Τα μέρη του σώματος • Τον τρόπο γονιμοποίησης HY566 Semantic Web
RDF Schema της Οντολογίας • Ταξινόμηση σε βάθος αντί για εξειδικευμένη απόδοση ιδιοτήτων • Βασικές κλάσεις: • Body_Part (Μέρος σώματος) • Climate (Κλίμα) • Location (Τοποθεσία) • Organism (Οργανισμός) • insemination (Γονιμοποίηση) HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της κλάσηςBody_Part Head talon Body_Part limb leg Main_Body tail HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της κλάσηςClimate Cold Dry Climate Warm Wet HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της κλάσηςLocation Desert Forest Steppe Land Valley Location Water Lake River Sea HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της κλάσηςinsemination amphigony monogony insemination by_aspresion parthenogenesis pollination HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της κλάσηςOrganism σε βάθος 3 mycetous Animal multicellular Animals_and_Plants Plant Organism unicellular lonesome protist HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της κλάσηςAnimal σε βάθος 2 herbivore carnivore omnivore Animal_by_eat_prefs oviparous Animal_by_reproduction_type viviparous Animal Animal_by_sex_type hermaphrodite Animal_by_vertebra_existance sex-separated invertebrate vertebrate HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της κλάσηςherbivore σε βάθος 1 turtle proboscius lagomorph perissodactylous herbivore artiodactylous rodent land_worm snail HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της κλάσηςcarnivore σε βάθος 1 chiropterus crocodilian fish rustacea carnivore amphibian cetacean kefalopodous turtle HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της κλάσηςomnivore σε βάθος 1 primate omnivore hen turtle HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της κλάσηςoviparous σε βάθος 1 amphibian fish fowl oviparous land_warm metazoan mollusk rustacea HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της κλάσηςviviparous σε βάθος 1 viviparous mammal HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της κλάσηςhermaphrodite σε βάθος 1 land_worm hermaphrodite snail sponge HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της κλάσηςsex-separated σε βάθος 1 amphibian carcinoid male female fish sex-separated fowl insects mammal reptile sponge HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της κλάσηςinvertebrate σε βάθος 1 metazoan mollusk invertebrate rustacea worms HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της υποκλάσηςmetazoan της κλάσης invertebrate metazoan sponge HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της υποκλάσης mollusk της κλάσης invertebrate amphineyrous snail gasteropodous octopus mollusk kefalopodous squid pelekypodous mussel scafopodous HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της υποκλάσηςrustacea της κλάσης invertebrate lobster carcinoid insects bee rustacea million-legged millipede spider-like spider HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της υποκλάσηςworms της κλάσης invertebrate ring-worms land_worm worms platythelminth echinococcus nemathelminth HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της κλάσηςvertebrate σε βάθος 1 amphibian fish vertebrate fowl mammal reptile HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της υποκλάσηςamphibian της κλάσης vertebrate legless amphibian tail-less frog tailed salamander HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της υποκλάσηςfish της κλάσης vertebrate dogfish fatfish shark fish jawless bassfish osteal salmon HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της υποκλάσηςfowl της κλάσης vertebrate hen fowl cock HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της υποκλάσηςmammal της κλάσης vertebrate hare bat rabbit cow camel chiropterus lagomorph artiodactylous pig whale cetacean mammal dolphin perissodaktylous horse proboscius primate rodent beaver donkey elephant mouse ape man HY566 Semantic Web
: rdfs:subClassOf Σχηματικό διάγραμμα της υποκλάσηςreptile της κλάσης vertebrate crocodile crocodilian alligator snake viper squamous reptile lizard scrofula turtle HY566 Semantic Web
Properties των κλάσεων (1/2) HY566 Semantic Web
Properties των κλάσεων (2/2) HY566 Semantic Web
Τί δεν μπόρεσε να εκφράσει η οντολογία του RDFSchema • Local scope of properties • e.g. ‘Animal eats organism’ but ‘camel eats plant’ • Cardinality restrictions • e.g. octopus has exactly 8 legs • Special characteristics of properties • e.g. ‘has_enemy’ and ‘eats’ are inverse properties • Boolean combination of classes • e.g. Animal = oviparous union viviparous • Equivalence • e.g. ‘herbivore’ equals ‘Animal eats plant’ HY566 Semantic Web
Λύση:Επέκταση οντολογίας με χρήση DAML+OIL Επιτυχημένη δήλωση και έκφραση για: • Disjoints • Unions • Special Properties • Properties with local scope • Cardinality restrictions • Equivalency HY566 Semantic Web
Disjoint κλάσειςτης οντολογίας που εκφράστηκαν με DAML+OIL (1/3) • Head, limb, Main_Body • leg, tail, talon, wing • Cold, Dry, Warm, Wet • Land, Water • Desert, Forrest, Steppe, Valley • Lake, River, Sea • multicellular, unicellular • lonesome, protist HY566 Semantic Web
Disjoint κλάσειςτης οντολογίας που εκφράστηκαν με DAML+OIL (2/3) • Animals_and_Plants, mycetous • Animal, plants • vertebrate, invertebrate • oviparous, viviparous • male, female • metazoan, mollusk, rustacea, worms • amphineyrous, gasteropodous, kefalopodous, pelekypodous, scafopodous • carcinoid, insects, million-legged, spider-like HY566 Semantic Web
Disjoint κλάσειςτης οντολογίας που εκφράστηκαν με DAML+OIL (3/3) • nemathelminth, platythelminth, ring-worms • amphibian, fish, fowl, mammal, reptile • legless, tail-less, tailed • fatfish, jawless, osteal • artiodactylous, cetacean, chiropterous, lagomorph, perissodactylous, primate, proboscius, rodent • crocodilian, scrofula, squamous HY566 Semantic Web
Κλάσεις ως union κλάσεων εκφρασμένες με DAML+OIL (1/3) • Body_Part = (Head U limb U Main_Body) • limb = (leg U tail U talon Uwing) • Climate = (Cold U Dry U Warm U Wet) • Location = (Land U Water) • Land = (Desert U Forrest U Steppe U Valley) • Water = (Lake U River U Sea) • organism = (multicellular U unicellular) • unicellular = (lonesome U protist) HY566 Semantic Web
Κλάσεις ως union κλάσεων εκφρασμένες με DAML+OIL (2/3) • multicellular = (Animals_and_Plants U mycetous) • Animals_and_Plants = (Animal U plants) • Animal = (vertebrate U invertebrate) • Animal_by_reproduction_type = (oviparous U viviparous) • sex-separated = (male U female) • invertebrate = (metazoan U mollusk U rustacea U worms) • mollusk = (amphineyrous U gasteropodous U kefalopodous U pelekypodous U scafopodous) • rustacea = (carcinoid U insects U million-legged U spider-like) HY566 Semantic Web
Κλάσεις ως union κλάσεων εκφρασμένες με DAML+OIL (3/3) • worms = (nemathelminth U platythelminth U ring-worms) • vertebrate = (amphibian U fish U fowl U mammal U reptile) • amphibian = (legless U tail-less U tailed) • fish = (fatfish U jawless U osteal) • mammal = (artiodactylous U cetacean U chiropterous U lagomorph U perissodactylous U primate U proboscius U rodent) • reptile = (crocodilian U scrofula U squamous) HY566 Semantic Web
Special properties της οντολογίας εκφρασμένες με DAML+OIL • Inverse properties • eats has_enemy • Symmetric property: matches_with • Το domain και το range της matches_with property αναφέρονται στην ίδια κλάση • age, height, weight, latitude, longitude, max-age • Οι τιμές των ranges τωνπαραπάνω properties είναι unique για κάθε instance των κλάσεων που έχουν τις properties αυτές HY566 Semantic Web
Local scope of properties εκφρασμένες σε DAML+OIL • H max_age property παίρνει συγκεκριμένη τιμή για Animal κλάσεις και υποκλάσεις • π.χ. για την κλάση landworm, η max_age property παίρνει μόνο την τιμή 1 • Πληροφορίες οι οποίες συμπεριλαμβάνονταν σε instance επίπεδο, τώρα εμπεριέχονται στο σχήμα οπότε και δεν χρειάζεται να τις επαναλαμβάνουμε σε κάθε instance. Π.χ. για την κλάση landworm • Η max_age property παίρνει μόνο την τιμή 1 • Το range της has_enemy property είναι (cock U hen U man U mouse U turtle) • Το range της lives_in property είναι μια subClassOf Land • To range της has_climate property είναι η κλάση Wet • To range της produced_method property είναι η κλάση monogony HY566 Semantic Web
Cardinality restrictions εκφρασμένες με DAML+OIL Ενδεικτικά restrictions που χρησιμοποιήθηκαν: • A man has exactly 2 legs, 2 talons, 1 head and 1 Main_Body • An octopus has exactly 8 legs and 1 head • Height and weight properties have cardinality 1 • Latitude and longitude properties have cardinality 1 HY566 Semantic Web
Equivalencies εκφρασμένες με DAML+OIL Ενδεικτικά equivalencies που χρησιμοποιήθηκαν: • Amphibian sameClassAs Animal lives_in (Water U Land) • Herbivore sameClassAs Animal eats Plant • Omnivore sameClassAs Animal eats (Plant U Animal) • Sex-separated sameClassAs Animal produced_method amphigony HY566 Semantic Web
Special case: matches_with property • Στην κλάση Animal, βάλαμε restriction πάνω στο domain και range της property αυτής • domain(matches_with): (male Animal) • range(matches_with): (female Animal) • Μετέπειτα, για κάθε leaf υποκλάση της κλάσης Animal, βάλαμε συγκεκριμένα restrictions με βάση την υποκλάση αυτή. Π.χ. για την leaf κλάση turtle: • domain(matches_with): (male turtle) • range(matches_with): (female turtle) HY566 Semantic Web