ชั้นเรียนบทบาทและประชาชน

สามองค์ประกอบของหลักการอภิปรัชญา (คล้ายกับ RDFS):


  • บุคคล / วัตถุ
    • องค์ประกอบคอนกรีตในโลกจำลอง
  • ชั้นเรียน / แนวคิด
    • ชุดของวัตถุ
  • บทบาท / คุณสมบัติ
    • แอสโซซิบุคคลทั้งสอง


ชั้นเรียน

คำนิยาม
ไวยากรณ์เต่า
:Professor rdf:type owl:Class .
ไวยากรณ์แมนเชสเตอร์
Class: Professor
นกฮูก: สิ่งที่กำหนดไว้ล่วงหน้า, นกฮูก: ไม่มีอะไร


บุคคล

ไวยากรณ์แมนเชสเตอร์
Individual: Einstein  Types: Professor

ไวยากรณ์เต่า
:Einstein rdf:type :Professor.



บทบาทบทคัดย่อ (เต่า)

abstrakte Rollen werden Klassen definiert โกหก

:belongsTo rdf:type owl:ObjectProperty.  
ไวยากรณ์เต่า

โดเมน und ช่วง Rollen abstrakte

:belongsTo rdf:type owl:ObjectProperty;                 rdfs:domain :Person;                 rdfs:range :Organisation.  
ไวยากรณ์เต่า


บทบาทบทคัดย่อ (แมนเชสเตอร์)

บทบาทบทคัดย่อมีการกำหนดเช่นชั้นเรียน

 ObjectProperty: belongsTo  
ไวยากรณ์แมนเชสเตอร์

โดเมนและช่วงของบทบาทนามธรรม

 Objectproperty: belongsTo  Domain: Person  Range:  Organisation 
ไวยากรณ์แมนเชสเตอร์


บทบาทคอนกรีต

บทบาทคอนกรีตมีชนิดของข้อมูลที่อยู่ในช่วง

DatatypeProperty: firstName 
ไวยากรณ์แมนเชสเตอร์

โดเมนและช่วงของบทบาทคอนกรีต

DatatypeProperty: firstName Domain: Person Range: string 
ไวยากรณ์แมนเชสเตอร์


บทบาทคอนกรีต

บทบาทคอนกรีตมีชนิดของข้อมูลที่อยู่ในช่วง

 :firstName rdf:type owl:DatatypeProperty.  
ไวยากรณ์เต่า

โดเมนและช่วงของบทบาทคอนกรีต

 :firstName rdf:type owl:DatatypeProperty;         rdfs:domain :Person;         rdfs:range  xsd:String.  
ไวยากรณ์เต่า


บุคคลและบทบาท

:Einstein           rdf:type             :Professor ;                    :belongsTo           :Princeton,                                         :Bern;                    :firstName           "Albert"^^xsd:string .
ไวยากรณ์เต่า


Rolles มักจะไม่ทำงาน



บุคคลและบทบาท

Individual: Einstein Types: Person Facts: belongsTo Princeton, belongsTo Bern,  firstName Albert
ไวยากรณ์แมนเชสเตอร์


โรลเลอร์มักจะไม่ทำงาน



ตัวอย่างการสร้างแบบจำลอง

งานการสร้างแบบจำลอง
มีบุคคลที่เป็นเพศชายและเพศหญิง คนที่มีชื่อ


ตัวอย่างการสร้างแบบจำลอง

งานการสร้างแบบจำลอง

มีบุคคลที่เป็นเพศชายและเพศหญิง คนที่มีชื่อ

:MalePerson    rdfs:subClassOf  :Person.:FemalePerson  rdfs:subClassOf  :Person.:hasName       rdf:type         owl:DatatypeProperty;               rdfs:domain      :Person;               rdfs:range       xsd:string.
โซลูชัน (ไวยากรณ์เต่า)


ตัวอย่างการสร้างแบบจำลอง

งานการสร้างแบบจำลอง
มีบุคคลที่เป็นเพศชายและเพศหญิง บุคคลที่มีชื่อ
:MalePerson    rdfs:subClassOf  :Person.:FemalePerson  rdfs:subClassOf  :Person.:hasName       rdf:type         owl:DatatypeProperty;               rdfs:domain      :Person;               rdfs:range       xsd:string.:John          rdf:type         :MalePerson;               :hasName         "John"^^xsd:string.:Jill          rdf:type         :FemalePerson.:hasName       "Jill"^^xsd:string .  
โซลูชัน (ไวยากรณ์เต่า)



ความสัมพันธ์ระหว่างคลาส



นกฮูก: equivalentClass

มันดังต่อไปนี้โดยข้อสรุปหนังสือที่เป็น subclass ของสิ่งพิมพ์

ไวยากรณ์เต่า

Class: Book
 SubClassOf: Publication

Class: Publication
 EquivalentTo: Publications

Class: Publications
ไวยากรณ์แมนเชสเตอร์


rdfs: subClassOf


:Professor           rdf:type          owl:Class;                     rdfs:subClassOf   :FacultyStaff.:FacultyStaff        rdf:type          owl:Class ;                     rdfs:subClassOf   :Person .  

ไวยากรณ์เต่า

Class: Professor SubClassOf: FacultyStaffClass: FacultyStaff SubClassOf: Person  

ไวยากรณ์แมนเชสเตอร์

มันดังต่อไปนี้โดยอนุมานว่าศาสตราจารย์เป็น subclass ของบุคคล



นกฮูก: disjointWith

:Book rdf:type owl:Class; rdfs:subClassOf :Publication. :FacultyStaff rdf:type owl:Class; owl:disjointWith :Publication. :Professor rdf:type owl:Class; rdfs:subClassOf :FacultyStaff. :Publikation rdf:type owl:Class.

ไวยากรณ์เต่า

Class: Professor SubClassOf: FakultaetsmitgliedClass: Buch SubClassOf: PublikationClass: Fakultaetsmitglied DisjointWith: Publikation 

ไวยากรณ์แมนเชสเตอร์

มันดังต่อไปนี้โดยอนุมานว่าศาสตราจารย์และหนังสือนอกจากนี้ยังมีชั้นเรียนเนื่อง



บุคคลและความสัมพันธ์กับชั้นเรียน

:Book                    rdf:type          owl:Class ;                          rdfs:subClassOf   :Publication . :SemanticWebGrundlagen   rdf:type          :Book ;                              :autor            :MarkusKroetzsch,                                           :PascalHitzler,                                            :SebastianRudolph,                                             :YorkSure .
ไวยากรณ์เต่า

มันดังต่อไปนี้โดยการอนุมาน SemanticWebGrundlagen ที่ Publikation



บุคคลและความสัมพันธ์กับชั้นเรียน

Class: Buch   SubClassOf: Publikation Individual: SemanticWebGrundlagen   Types: Buch   Facts: autor PascalHitzler, autor MarkusKroetzsch,        autor SebastianRudolph,               autor YorkSure   
ไวยากรณ์แมนเชสเตอร์

มันดังต่อไปนี้โดยการอนุมาน SemanticWebGrundlagen ที่ Publikation



ความสัมพันธ์บทบาท

คล้ายกับชั้นเรียนสำหรับบทบาทของมี rdfs คือ: subPropertyOf และนกฮูก: equivalentProperty แต่ Rolles ยังสามารถเป็นสิ่งที่ตรงกันข้าม (นกฮูก: inverseOf) ของแต่ละอื่น ๆ :

:examinedBy owl:inverseOf :examinerOf.

ไวยากรณ์เต่า

ObjectProperty: examinedBy   InverseOf: examinerOf

ไวยากรณ์แมนเชสเตอร์



คุณสมบัติบทบาท

  • โดเมน
  • เทือกเขา
  • กริยาคือ r (ข) และ R (B, C) หมายถึง r (A, C)
  • สมมาตรคือ r (A, B) หมายถึง r (ข)
  • ฟังก์ชั่น r (ข) และ R (A, C) หมายถึง b = c
  • การทำงาน r ผกผัน (b) และ r (c, b) หมายถึง c =


ความสัมพันธ์ระหว่างบุคคล

 Individual: Faehnrich   SameAs: ProfessorFaehnrich  
ไวยากรณ์แมนเชสเตอร์
 :Faehnrich rdf:Type :Professor;            owl:sameAs :ProfessorFaehnrich.  
ไวยากรณ์เต่า

มันดังต่อไปนี้โดยอนุมานว่า ProfessorFaehnrich เป็นศาสตราจารย์

ความไม่เสมอภาคของบุคคลที่ระบุโดยนกฮูก: differentFrom


ความสัมพันธ์ระหว่างบุคคล

DifferentIndividuals: YorkSure, PascalHitzler, RudiStuder
ไวยากรณ์แมนเชสเตอร์
[ rdf:type owl:AllDifferent ;    owl:distinctMembers ( :PascalHitzler                          :RudiStuder                          :YorkSure                        )  ] .
ไวยากรณ์เต่า


งานความขัดแย้ง?

Class: OrganisationClass: Office  SubClassOf: wgs84:SpatialThingObjectProperty: hasOffice Domain: Organisation Range: Office#imported axioms to longitude and latitudeObjectProperty wgs84:lat Domain: wgs84:SpatialThingObjectProperty wgs84:long Domain: wgs84: SpatialThingIndividual: CompanyXY Types: Organisation Facts: hasOffice OfficeXY,        wgs84:lat "41.8292928"^^xsd:double,        wgs84:long "17.8282"^^xsd:double      
ไวยากรณ์แมนเชสเตอร์


enumerations / nominals

Class: MoonOfMars  EquivalentTo: {Phobos, Deimos} 

ไวยากรณ์แมนเชสเตอร์

:MoonsOfMars rdf:type owl:Class; owl:equivalentClass [ rdf:type owl:Class ; owl:oneOf ( :Phobos :Deimos ) ] .
ไวยากรณ์เต่า

รัฐนี้ว่าดาวอังคารมีเพียงสองคนนี้ดวงจันทร์


ก่อสร้างชั้นตรรกะ

  • ตรรกะและ (ร่วม): นกฮูก: intersectionOf
  • หรือตรรกะ (หย่า): นกฮูก: unionOf
  • ตรรกะไม่ (ปฏิเสธ): นกฮูก: complementOf
  • ใช้ในการสร้างการเรียนที่ซับซ้อนจากชั้นเรียนง่าย


การตัด

Class: MoonOfMars   EquivalentTo: Moon and ObjectNearMars 
ไวยากรณ์แมนเชสเตอร์
:MoonOfMars  owl:equivalentClass[ rdf:type            owl:Class ; owl:intersectionOf  (:Moon :ObjectNearMars) ].
ไวยากรณ์เต่า
มันดังต่อไปเช่นโดยการอนุมานว่าดวงจันทร์ทั้งหมดของดาวอังคารเป็นวัตถุอยู่ใกล้ดาวอังคาร


สหภาพ

Class: Boat   SubClassOf: SailBoat or MotorBoat
ไวยากรณ์แมนเชสเตอร์
:Boat  rdfs:subClassOf [  rdf:type            owl:Class ;  owl:UnionOf  ( :SailBoat :MotorBoat ) ] . 
ไวยากรณ์เต่า


สหภาพเนื่อง

อาจารย์สามารถเป็นได้ทั้งใช้งานหรือเกษียณ แต่ไม่ใช่ทั้งสองอย่างในเวลาเดียวกัน
<owl:Class rdf:about="#Professor">
 <rdfs:subClassOf>
  <owl:unionOf rdf:parseType="Collection">
   <owl:Class rdf:about="#Active"/>
   <owl:Class rdf:about="#Retired"/>
  </owl:unionOf>
 </rdfs:subClassOf>
</owl:Class>

ไวยากรณ์ RDF / XML
Class: Professor   DisjointUnionOf: Active, Retired 

ไวยากรณ์แมนเชสเตอร์
:Professor  rdfs:subClassOf
[
rdf:type            owl:Class ;
owl:DisjoinUnionOf  ( :Active :Retired )
] .
ไวยากรณ์เต่า


ส่วนประกอบ

<owl:Class rdf:ID="FacultyStaff"> <rdfs:subClassOf>  <owl:complementOf rdf:resource="#Publication"/> </rdfs:subClassOf></owl:Class><!-- semantically equivalent statement: --><owl:Class rdf:ID="FacultyStaff"> <owl:disjointWith rdf:resource="#Publication"/></owl:Class> 
ไวยากรณ์ RDF / XML
Class: FacultyStaff   SubClassOf: not Publication 
ไวยากรณ์แมนเชสเตอร์
:FacultyStaff rdf:type owl:Class ; rdfs:subClassOf [  rdf:type owl:Class ;  owl:complementOf :Publication ].
ไวยากรณ์เต่า


ตัวอย่างการสร้างแบบจำลอง

การสร้างแบบจำลองงาน: ทุกคนมีทั้งชายหรือหญิง

:Male       rdfs:subClassOf  :Person .:Female     rdfs:subClassOf  :Person ;            owl:disjointWith  :Male .:Person     owl:equivalentClass[ rdf:type owl:Class ; owl:unionOf (:Male, :Female )]. 
โซลูชัน (ไวยากรณ์เต่า)
Class: Male    SubClassOf: Person Class: Female   SubClassOf: Person   DisjointWith: Male Class: Person   EquivalentTo: Male or Female  
โซลูชัน (ไวยากรณ์แมนเชสเตอร์)


ข้อ จำกัด บทบาท (allValues​​From)

จะใช้ในการกำหนดระดับชั้นที่ซับซ้อนตามบทบาท

<owl:Class rdf:ID="Exam">     <rdfs:subClassOf>         <owl:Restriction>             <owl:onProperty rdf:resource="#examiner"/>             <owl:allValuesFrom rdf:resource="#Professor"/>         </owl:Restriction>     </rdfs:subClassOf> </owl:Class> 

ไวยากรณ์แมนเชสเตอร์


:Pruefung             rdfs:subClassOf            [   rdf:type              owl:Restriction ;   owl:onProperty        :examiner ;   owl:allVauesFrom      :Professor </owl:Class> 
ไวยากรณ์เต่า
คือการตรวจสอบทั้งหมดจะต้องมีอาจารย์


ข้อ จำกัด บทบาท (someValues​​From)

<owl:Class rdf:ID="Exam">     <rdfs:subClassOf>         <owl:Restriction>             <owl:onProperty rdf:resource="#examiner"/>             <owl:someValuesFrom rdf:resource="#Person"/>         </owl:Restriction>     </rdfs:subClassOf> </owl:Class> 
ไวยากรณ์ RDF / XML
 Class: Exam   SubClassOf: examiner some Person  
ไวยากรณ์แมนเชสเตอร์
:Pruefung             rdfs:subClassOf            [   rdf:type              owl:Restriction ;   owl:onProperty        :examiner ;   owl:someVauesFrom     :Person ] . 
ไวยากรณ์เต่า
คือการทดสอบแต่ละคนจะต้องมีอย่างน้อยหนึ่งผู้ตรวจสอบ


ข้อ จำกัด บทบาท (cardinalities)

Class: Exam   SubClassOf: examiner max 2

ไวยากรณ์แมนเชสเตอร์


:Exam      rdf:type     owl:Class ;            rdfs:subClassOf [rdf:type owl:Restriction ;                 owl:onProperty :hatPruefer ;         owl:maxCardinality "2"^^xsd:nonNegativeInteger] . 
ไวยากรณ์เต่า

คือการทดสอบแต่ละคนสามารถมีที่มากที่สุดสองตรวจสอบ

คล้ายกับสูงสุด: ต่ำสุดตรง



ตัวอย่างการสร้างแบบจำลอง

การสร้างแบบจำลองงาน: ความต้องการประสิทธิภาพการทำงาน (จากผลิตภัณฑ์ซอฟต์แวร์) เป็นความต้องการซึ่งถูกสร้างขึ้นโดยลูกค้า จะนำไปสู่​​ความต้องการระบบ
Class: PerformanceRequirement    SubClassOf: Requirement                and (createdBy only Customer)                and (leadsTo some SystemRequirement 
โซลูชัน (ไวยากรณ์แมนเชสเตอร์)


ข้อ จำกัด บทบาท (hasVa​​lue)

<owl:Class rdf:ID="ExamAtFaehnrich">     <rdfs:equivalentClass>         <owl:Restriction>           <owl:onProperty rdf:resource="#hatPruefer"/>           <owl:hasValue rdf:datatype="#Faehnrich"/>         </owl:Restriction>     </rdfs:equivalentClass> </owl:Class> 
ไวยากรณ์ RDF / XML
Class: PruefungBeiFaehnrich   EquivalentTo: examiner value Faehnrich 
ไวยากรณ์แมนเชสเตอร์
:Exam           rdfs:equivalentClass        [     rdf:type           owl:Restriction ;     owl:onProperty     :examiner ;     owl:hasValue       :Faehnrich ] . 

ไวยากรณ์เต่า



โดเมนและช่วง

ObjectProperty: belongsTo   Range: Organisation
ไวยากรณ์แมนเชสเตอร์
เทียบเท่ากับต่อไปนี้:
Class: owl:Thing   SubClassOf: belongsTo only Organisation
ไวยากรณ์แมนเชสเตอร์


โดเมนและช่วง

:belongsTo   rdf:type     owl:ObjectProperty ;                   rdfs:range   :Organisation . 
ไวยากรณ์เต่า

เทียบเท่ากับต่อไปนี้:
owl:Thing              rdfs:subClassOf          [     rdf:type            owl:Restriction ;     owl:onProperty      :zugehoerigkeit ;     owl:allValuesFrom   :Organisation ] . 
ไวยากรณ์เต่า


โดเมนและประเภท: ข้อควรระวัง!

<owl:ObjectProperty rdf:ID="belongsTo"> <rdfs:range rdf:resource="#Organisation"/> </owl:ObjectProperty> <Number rdf:ID="Five"> <belongsTo rdf:resource="#Primes"/></Number>       
ไวยากรณ์ RDF / XML
ObjectProperty: belongsTo   Range: OrganisationIndividual: Five Types: Number Facts: belongsTo Primes
ไวยากรณ์แมนเชสเตอร์
:belongsTo    rdf:type         owl:ObjectProperty ;              rdfs:range       :Organisation.:Five         rdf:type         :Number;              :belongsTo       :Primes. 
ไวยากรณ์เต่า

ตอนนี้มันเป็นช่วงเวลาตามที่เป็นองค์กร!


คุณสมบัติบทบาท

<owl:ObjectProperty rdf:ID="hasColleague"> <rdf:type rdf:resource="owl;TransitiveProperty"/> <rdf:type rdf:resource="owl;SymmetricProperty"/></owl:ObjectProperty><owl:ObjectProperty rdf:ID="hasProjectManager"> <rdf:type rdf:resource="owl;FunctionalProperty"/></owl:ObjectProperty> <owl:ObjectProperty rdf:ID=isProjectManagerFor»      <rdf:type rdf:resource="owl;InverseFunctionalProperty"/></owl:ObjectProperty><Person rdf:ID="SoerenAuer"><hasColleague rdf:resource="#SebastianTramp"/><hasColleague rdf:resource="#JensLehmann"/><isProjectManagerFor rdf:resource="#Triplify"/></Person><Projekt rdf:ID=OntoWiki"> <hasProjectManager rdf:resource="#SoerenAuer"/> <hasProjectManager rdf:resource="#AuerSoeren"/></Projekt> 
ไวยากรณ์ RDF / XML


สรุปผลการศึกษาจากตัวอย่าง

  • SebastianTramp SoerenAuer hasColleagues
  • SebastianTramp JensLehmann hasColleagues
  • SoerenAuer นกฮูก: sameAs AuerSoeren


ข้อเท็จจริงเชิงลบ

ไปได้เฉพาะนกฮูกตั้งแต่ 2.0
 Individual: Bill
   Facts: not hasWife Mary
ไวยากรณ์แมนเชสเตอร์


 []  rdf:type               owl:NegativePropertyAssertion ;
     owl:sourceIndividual   :Bill ;
     owl:assertionProperty  :hasWife ;
     owl:targetIndividual   :Mary .
ไวยากรณ์เต่า




Creator: soeren (TIB)

Contributors:
-


Licensed under the Creative Commons
Attribution ShareAlike CC-BY-SA license


This deck was created using SlideWiki.