กองข้อมูลที่เชื่อมโยง - นกฮูก

อภิปรัชญา: นกฮูก ส่วนติดต่อผู้ใช้และการประยุกต์ใช้ เชื่อถือ การเข้ารหัสลับ พิสูจน์ ลอจิก Unifying กฎ: RIF แบบสอบถาม: SPARQL RDF-Schema การแลกเปลี่ยนข้อมูล: RDF XML URI Unicode


อภิปรัชญาปรัชญา

  • เอกพจน์อย่างเดียว (ไม่มี "จี")
  • "วิทยาศาสตร์ของการเป็น"
  • พบในอริสโตเติล (โสกราตีส), โทมัสควีนาส, Descartes, คานท์ Hegel, Wittgenstein ไฮเดกเกอร์, ควิน ...


อภิปรัชญาวิทยาศาสตร์คอมพิวเตอร์

กรูเบอร์ (1993): อภิปรัชญาเป็นสเปคอย่างเป็นทางการของแนวความคิดที่ใช้ร่วมกันของโดเมนที่น่าสนใจ
  • interpretable เครื่อง
  • บนพื้นฐานของฉันทามติ
  • อธิบายแนวคิด
  • ที่เกี่ยวข้องกับหัวข้อ (เรื่อง)


อภิปรัชญา-ปฏิบัติความต้องการบางอย่าง

  • การเริ่มต้นของการเรียนโดยบุคคล
  • ลำดับชั้นแนวคิด (taxonomies มรดก): เรียนเงื่อนไขการใช้บริการ
  • ความสัมพันธ์ระหว่างบุคคลไบนารีที่: คุณสมบัติบทบาท
  • คุณสมบัติของความสัมพันธ์ (เช่นช่วงสกรรมกริยา)
  • ชนิดข้อมูล (ตัวเลขเช่น): โดเมนคอนกรีต
  • หมายถึงการแสดงออกของตรรกะ
  • ความหมายที่ชัดเจน!


นกฮูกในทั่วไป

    • นกฮูกตัวย่อสำหรับอภิปรัชญาเว็บภาษาเด่นชัดได้ง่ายกว่า WOL
    • ครอบครัวของภาษาสำหรับการเขียนจีส์
    • ตั้งแต่ปี 2004 นกฮูก 2.0 ตั้งแต่ 2,009
    • ส่วนความหมายของ FOL
    • W3C เอกสารมีรายละเอียดที่ไม่สามารถได้รับการแก้ไขทั้งหมดที่นี่


    RDF Schema เป็นภาษาที่อภิปรัชญา?

    • เหมาะสำหรับจีส์ที่เรียบง่าย
    • ข้อดีข้อสรุปอัตโนมัติที่มีประสิทธิภาพค่อนข้าง
    • แต่ไม่เหมาะสมสำหรับการสร้างแบบจำลองที่ซับซ้อน แต่
    • การใช้ภาษาที่มีประสิทธิภาพมากขึ้นเช่น
      • นกฮูก
      • F-Logic
      • ...


    หัวของเอกสารนกฮูก

    กำหนด namespaces ในราก
    @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>. @prefix xsd: <http://www.w3.org/2001/XMLSchema#>. @prefix owl: <http://www.w3.org/2002/07/owl#>. @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
    ไวยากรณ์เต่า


    หัวของเอกสารนกฮูก

    ข้อมูลทั่วไป

    :bookstoreOntology rdf:type owl:Ontology; rdfs:comment "Bookstore Ontology"; owl:versionInfo "1.2"; owl:imports "http://library.org/books".
    ไวยากรณ์เต่า


    หัวของเอกสารนกฮูก

    สืบเชื้อสายมาจาก RDFS สำหรับเวอร์ชัน
    rdfs: แสดงความคิดเห็น นกฮูก: VERSIONINFO
    rdfs: ฉลาก นกฮูก: priorVersion
    rdfs: seeAlso นกฮูก: backwardCompatibleWith
    rdfs: isDefinedBy นกฮูก: incompatibleWith
    นกฮูก: DeprecatedClass
    นกฮูก: DeprecatedProperty
    นอกจากนี้ยังมีนกฮูก: การนำเข้า


    เอกสารนกฮูก

    • ประกอบด้วยชุดของสัจพจน์
    • ความจริงจะแสดงเป็นชุดของอเนกประสงค์ RDF
    • ใช้ RDF / XML เป็นไวยากรณ์มาตรฐาน
    • มีรูปแบบอื่น ๆ ที่มักจะได้ง่ายต่อการอ่านและประมวลผลเป็น
    • ตัวอย่างง่ายๆ http://my-ontology.org อภิปรัชญาที่มีสองชั้นเรียนและนักศึกษาและบุคคลระหว่างซึ่งเป็นความสัมพันธ์ประเภทรองของ


    เอกสารนกฮูก

    • ไวยากรณ์สำหรับหลายนกฮูกตามกรณีที่ใช้:
      • RDF / XML: Standard ไวยากรณ์ / การแลกเปลี่ยนข้อมูล
      • นกฮูก / XML: ง่ายขึ้นสำหรับเครื่องมือ XML
      • เต่า: ง่ายต่อการอ่านและเขียนอเนกประสงค์ RDF
      • MOS: ง่ายต่อการอ่านและเขียนจีส์ DL
      • ฟังก์ชั่น: ง่ายต่อการดูโครงสร้างอย่างเป็นทางการ
    • การให้ RDF / XML "หน้าที่" กับสิ่งพิมพ์ของจีส์ชนิดอื่น ๆ ทางเลือก
    • ไฟล์นกฮูกประกอบด้วย:
      • ส่วนหัวมีข้อมูลทั่วไป
      • ส่วนที่เหลือกับอภิปรัชญาที่เกิดขึ้นจริง


    นกฮูกไวยากรณ์เต่า

    @prefix : <http://my-ontology.org/>. @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>. @prefix owl : <http://www.w3.org/2002/07/owl#>. @prefix rdf : <http://www.w3.org/1999/02/22-rdf-syntax-ns#>. @base <http://my-ontology.org/>. <http://my-ontology.org/> rdf:type owl:Ontology. :Person rdf:type owl:Class. :Student rdf:type owl:Class ; rdfs:subClassOf :Person .
    • ชดไวยากรณ์ที่ดีที่สุด RDF
    • กระชับและง่ายต่อการอ่าน
    • ไม่ได้ถูกออกแบบมาโดยเฉพาะสำหรับนกฮูกการแสดงออกที่ซับซ้อนทำไม่ได้
    • การสนับสนุนเครื่องมือที่ดีมาก


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

    Prefix: rdfs = <http://www.w3.org/2000/01/rdf-schema#>
    Prefix: owl = <http://www.w3.org/2002/07/owl#>
    Prefix: rdf = <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
    Ontology: <http://my-ontology.org/>
    Class: Person
    SubClassOf: owl:Thing
    Class: Student
    SubClassOf: Person
    
    
    • ง่ายมากที่จะอ่านและเขียน
    • ยุ่งยากในการเขียนบางชนิดของสัจพจน์
    • ลอจิกรายละเอียด: นักศึกษา⊆คน
    • ไวยากรณ์การทำงาน
    • ใช้สำหรับ OBO (จีส์ชีวการแพทย์เปิด)


    Syntax-RDF/XML นกฮูก

    <?xml version="1.0"?> <!DOCTYPE rdf:RDF [ <!ENTITY owl "http://www.w3.org/2002/07/owl#" > <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" > <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" > ]> <rdf:RDF xmlns="http://my-ontology.org/" xml:base="http://my-ontology.org/" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="Person"> <rdfs:subClassOf rdf:resource="owl;Thing"/> </owl:Class> <owl:Class rdf:about="Student"> <rdfs:subClassOf rdf:resource="Person"/> </owl:Class> </rdf:RDF>
    • การสนับสนุนเครื่องมือที่ดีที่สุด
    • verbose มากและยากที่จะอ่าน


    Syntax-OWL/XML นกฮูก

    สำหรับไวยากรณ์เสร็จสมบูรณ์แล้วจะเห็น คำแนะนำของ W3C .

    • การออกแบบเฉพาะสำหรับนกฮูกจึงง่ายมากขึ้นแล้ว RDF / XML
    • ยังคง verbose มาก
    <?xml version="1.0"?> <!DOCTYPE Ontology [ <!ENTITY owl "http://www.w3.org/2002/07/owl#" > [...] ]> <Ontology [...] URI="http://my-ontology.org/"> <SubClassOf> <Class URI="my-ontology;Person"/> <Class URI="owl;Thing"/> </SubClassOf> <SubClassOf> <Class URI="my-ontology;Student"/> <Class URI="my-ontology;Person"/> </SubClassOf> </Ontology>


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

    สามองค์ประกอบของหลักการอภิปรัชญา (คล้ายกับ 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 .
    
    ไวยากรณ์เต่า


    นกฮูกนกฮูก 1 และ 2 และประวัติศาสตร์

    • นกฮูกกลายเป็นคำแนะนำ W3C ในปี 2004 นกฮูก 2 ในปี 2009
    • นกฮูก 2 แต่ขยายอย่างเข้ากันได้ย้อนหลังของนกฮูก
    • ย่อยภาษาที่แตกต่างกันสายพันธุ์นกฮูกนกฮูก vs 2 โปรไฟล์
    • ประโยคน้ำตาล (แล้วเป็นไปได้ แต่ตอนนี้ง่ายต่อการด่วน)
      • เคล็ดสหภาพของชั้นเรียน
    • expressivity ใหม่
      • กุญแจ
      • สถานที่ให้บริการเครือข่าย
      • ประเภทข้อมูลที่ร่ำรวยช่วงข้อมูล
      • ข้อ จำกัด cardinality ที่มีคุณสมบัติเหมาะสม
      • อสมมาตรสะท้อนและคุณสมบัติเนื่อง
      • ความสามารถในการเพิ่มคำอธิบายประกอบ


    นกฮูก 2 เต็ม

    • ใช้งานไม่ จำกัด ของนกฮูกและองค์ประกอบภาษา RDF (ต้อง RDFS ที่ถูกต้อง)
    • ยากประเภทที่มีอยู่ไม่ใช่การแยก (ชั้นเรียนบทบาทบุคคล) ดังนี้:
      • นกฮูก: สิ่งเดียวกับ rdfs: ทรัพยากร
      • นกฮูก: ชั้นเดียว rdfs: คลาส
      • นกฮูก: รอง DatatypeProperty ของนกฮูก: ObjectProperty
      • นกฮูก: ObjectProperty เดียวกันที่ RDF: Property


    นกฮูก 2 ดูรายละเอียด

    • โปรไฟล์สามนกฮูกนกฮูกเพิ่มเข้ามาใน 2.0: นกฮูก QL, EL และ RL
    • หลักการออกแบบสำหรับประวัติ:
    • ระบุสูงสุดนกฮูก 2 sublanguages​​ ที่ยังคง implementable ในเวลาพหุนาม
    • ในการปฏิเสธไม่อนุญาตทั่วไปและความร้าวฉานเพราะที่มีความซับซ้อนและเหตุผลเป็นสิ่งจำเป็นไม่ค่อย


    QL นกฮูก

    • QL ภาษาของแบบสอบถาม =
    • อยู่บนพื้นฐานของครอบครัว DL-Lite ของ logics คำอธิบาย
    • ออกแบบมาสำหรับการตอบแบบสอบถามใช้ SQL เขียนใหม่ด้านบนของฐานข้อมูลเชิงสัมพันธ์
    • subclasses สามารถเป็นชื่อชั้นหรือ existentials ด้วยฟิลเลอร์ จำกัด
    • superclasses สามารถเป็นชื่อชั้น, existentials หรือสันธานกับสารตัวเติม superclass (recursive) หรือ negations ด้วยฟิลเลอร์รอง

    อนุญาตให้

    \[\text{Fish} \sqsubseteq \text{Animal}\]

    \[\exists \text{hasHouse}.\top \sqsubseteq \text{Landlord}\]

    หวงห้าม

    \[\exists \text{hasHouse}.\text{Villa} \sqsubseteq \text{RichLandlord}\]

    \[\text{Student} \sqsubseteq \text{Poor} \sqcap \exists \text{hasBike}.\top \sqcap \neg \text{Pupil}\]




    รายละเอียดเกี่ยวกับนกฮูก QL (1)

    หวงห้าม


    ความเท่าเทียมกัน \[ \text{RichPerson} = \text{FamousPerson} \]

    disjunctions \[ \text{Book} = \text{Ebook} \sqcup \text{PrintedBook} \]

    universals \[ \forall \text{killed}.\text{Human} = \text{Murderer} \]

    ตนเอง \[\text{loves}.\text{Self} = \text{NarcisticPerson} \]

    cardinalities \[ \geq 5 \text{wonFight}.\top = \text{SuccessfulBoxer} \]



    รายละเอียดเกี่ยวกับนกฮูก QL (2)

    หวงห้าม

    กุญแจ

    Class: Person
    HasKey: hasSSN
    
    สถานที่ให้บริการเครือข่าย
    ObjectProperty: hasGrandparent
    SubPropertyChain: hasParent o hasParent
    
    คุณสมบัติ transitive
    ObjectProperty: hasAncestor
    Characteristics: Transitive
    
    nominals
    EquivalentClasses(
    :MyBirthdayGuests
    ObjectOneOf(:Bill :John :Mary) )
    
    คุณสมบัติการทำงาน
    ObjectProperty: hasHusband
    Characteristics: Functional
    


    EL นกฮูก

    • บนพื้นฐานของตรรกะคำอธิบาย \ (\ mathcal {EL} \) + + \ (\ mathcal {E} \) ย่อมาจากคุณสมบัติการดำรงอยู่เต็ม
    • มุ่งเน้นไปที่ expressivity terminlogical ใช้สำหรับ ontology ที่มีน้ำหนักเบา
    • ให้ดำรงอยู่ แต่ไม่เป็นสากล, rdfs เฉพาะช่วง (ชนิดพิเศษ universals) ได้รับอนุญาตมีข้อ จำกัด
    • สถานที่ให้บริการโดเมนลำดับชั้นเรียน / ทรัพย์สินทางแยกชั้นเรียนเคล็ดคุณสมบัติ / โซ่ทรัพย์สินด้วยตนเอง, nominals (เรียนเดี่ยว) และคีย์การสนับสนุนอย่างเต็มที่
    • ไม่มีคุณสมบัติผกผันหรือสมมาตร disjunctions หรือ negations

    ตัวอย่าง

    \[\exists \text{has.Sorrow} \sqsubseteq \exists \text{has}.\text{Liqueur}\]

    \[\top \sqsubseteq \exists \text{hasParent}.\text{Person}\]

    \[\text{German} \sqsubseteq \exists \text{knows}.\text{{angela}}\]

    \[\text{hasParent} \circ \text{hasParent} \sqsubseteq \text{hasGrandparent}\]



    RL นกฮูก

    • RL = ภาษากฎ
    • สัจพจน์รองตามกฎเหมือนผลกระทบกับหัว (superclass) และร่างกาย (รอง)
    • \ (\ text {DaysWithRain} \ ข้อความ sqsubseteq \ {DaysWithWetStreet} \)



    อ่านเพิ่มเติม





    Creator: soeren (TIB)

    Contributors:
    -


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


    This deck was created using SlideWiki.