1 / 4

Existentials & Universals All & Only someValuesFrom & allValuesFrom

This lab exercise explores the concepts of Existentials and Universals in ontology. It includes a standard pattern, closure restrictions, and the use of allValuesFrom and someValuesFrom qualifiers. The exercise also includes creating a new ontology with defined concepts and properties, and classifying it to examine the results. It further discusses the use of allValuesFrom and someValuesFrom qualifiers and provides guidance on repairing a specific concept definition.

mojica
Télécharger la présentation

Existentials & Universals All & Only someValuesFrom & allValuesFrom

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Existentials & UniversalsAll & OnlysomeValuesFrom & allValuesFrom Supplementary lab exercise Alan Rector & colleagues

  2. Closure RestrictionsA standard pattern • aProperty someValuesFrom Class1 andaProperty someValuesFrom Class2 andaProperty someValuesFrom Class3 and…aProperty someValuesFrom Classn andaProperty allValuesFrom (Class1 or Class2 or Class3 or … or Classn) • disjoint (Class1 Class2 Class3 … Classn closurerestriction

  3. Create an new ontology with the following definitions • Primitive Concepts • FamilyChild Girl Boy • Properties • has_children • Defined concepts • All_girl_family  Family & (restrictionhas_childrenallValuesFrom Girl) • No_child_family  Family & not (restriction has_childrensomeValuesFrom Top) • Zero_child_family  Family & (restriction has_childrenmax-cardinality=0 )

  4. Classify it and examine the result • What does this tell you about the use of allValuesFrom (Universal qualification) • Why do we say that most ontologies are based onsomeValuesFrom (Existential qualification) • Repair the definition of “All_girl_family” so that it behaves as expected

More Related