Trang 1
9/30/2011 Các hạn chế của RDFS RDFS còn khá yếu trong khả năng mô tả chi Ngôn ngữ biểểu diễễn titiếếtt Range và domain không thể được cục bộ Ontology OWL hóa
Ví dụ thuộc tính hasChild của Person và Elephant Không thực hiện được ràng buộc trên tính tồồn tạại vàà lựựcc lượượngg
Bất cứ thực thể nào của lớp người chỉ có một và chỉ một mẹ - (cũng là người) và có đúng 2 người là cha mẹ 2 Các hạn chế của RDFS Cần ngôn ngữ mới Không định nghĩa được tính Mở rộng các chuẩn Web hiện tại
TTruyềền ứứng
XML RDF RDFSXML, RDF, RDFS
Đối xứng Dễ hiểu, dễ dùng
Nghịch đảo
Dựa trên ngôn ngữ biểu diễn tri thức phổ VD: part of , hasPart – isPartOf, touches biến HHỗỗ trtrợợ suysuy didiễễnn chchưưaa ththựựcc ssựự hoànhoàn hhảảoo Hình thHình thứứcc Khả năng diễn đạt Tự động hỗ trợ suy diễn 3 4 goupee.com fb.com/groups/goupee 1
Trang 2
9/30/2011 Sự phát triển các ngôn ngữ Ontology OWL Xây dựng trên RDF/XML BBa phiêhiên bbảản
Lite
DL
Full 5 6 OWL-DL Logic mô tả Dựa trên Logic mô tả Mô hình đối tượng phân lớp các khái niệm CôCông cụ hì h thhình thứức bibiểểu didiễễn ngữữ nghhĩĩa kháikhái niiệệm ((concept) tt): tậập cáác cá thá thểể
Luật vai trò (role): quan hệ nhị phân giữa các
Giả định cá thể Các thuật toán suy diễn concept và role: Tbox
thuthu đượđược kc kếết lut luậận trong thn trong thờời gian hi gian hữữu hu hạạnn cá thá thểể: AbAbox Được hỗ trợ bởi nhiều hệ thống Suy diễn 7 8 goupee.com fb.com/groups/goupee 2
Trang 3
9/30/2011 OWL Lớp Khai báo ontology Lớp con của owl: Thing ĐịĐịnhh nghhĩĩa bbởởii: owl Cll:Class <rdf:RDF xmlns:owl =http://www.w3.org/2002/07/owl#" xmlns:rdf ="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
<owl:Class rdf:ID="Vehicle"/> xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd ="http://www.w3.org/2001/XMLSchema#"> Ontology metadata Lớp tương đương: owl:equivalentClass <owl:Class rdf:ID="Car"> <l iV i <owl:priorVersion <owl:equivalentClass rdf:resource="#Automobile"/> rdf:resource="http://www.mydomain.org/uni-ns-old"/> </owl:Class> <owl:imports rdf:resource="http://www.mydomain.org/persons"/> 9 10 Lớp thừa kế Lớp tách rời owl:subClassOf owl:disjointWith <owl:Class rdf:about="#2-Wheel-Drive"> <owl:Class rdf:ID="2-Wheel-Drive"> <owl:disjointWith <rdfs:subClassOf rdf:resource="#Car"/> rdf:resource="#4-Wheel-Drive"/> </owl:Class> </owl:Class/owl:Class> 11 12 goupee.com fb.com/groups/goupee 3
Trang 4
9/30/2011 Thuộc tính Thể hiện Thuộc tính dữ liệu <rdf:Description rdf:ID="949353"> kikiểểu ddữữ liliệệu XSDXSD <rdf:type rdf:resourcerdf:type rdf:resource="#academicStaffMember#academicStaffMember /"/>
</rdf:Description> <owl:DatatypeProperty rdf:ID="age"> Tương đương <rdfs:domain rdf:resource="#Person"/> <rdfs:range rdf:resource="http://www.w3.org/2001/ <academicStaffMember rdf:ID="949353"/> XMLSchema#nonNegativeInteger"/> </owl:DatatypeProperty> <academicStaffMember rdf:ID="949352"> ThThuộộc títí hnh đốđốii ttượng <uni:age rdf:datatype="&xsd;integer"> <owl:ObjectProperty rdf:ID="isTaughtBy"> 39 <rdfs:domain rdf:resource="#course"/> <rdfs:range rdf:resource="#academicStaffMember"/> </uni:age> <rdfs:subPropertyOf rdf:resource="#involves"/> </academicStaffMember> </owl:ObjectProperty> 13 14 OWL Khái niệm gốc Khái niệm nguyên thủy owl:Thing owll:NNothithing Khái niệm định nghĩa 15 16 goupee.com fb.com/groups/goupee 4
Trang 5
9/30/2011 Lớp Lớp được định nghĩa ex:Human rdf:type owl:Class Một người sẽ có cha mẹ là người : owl:Class rdfs:subClassOf Human(x) ⇒ (parent(x, y) ⇒ Human(y)) rdfs:Class Human : all parent Human 17 18 allValuesFrom <owl:Class rdf:about="#firstYearCourse"> <rdfs:subClassOf> <owl:Restriction> hạn chế : định nghĩa một lớp classe vô danh <owl:onProperty rdf:resource="#isTaughtBy"/> <owl:allValuesFrom rdf:resource="#Professor"/> </owl:Restriction> owl:Class Human </rdfs:subClassOf> rdfs:subClassOf </owl:Class> owl:Restriction <owl:Class rdf:about="#mathCourse"> owl:onProperty parent <rdfs:subClassOf> <owl:Restriction> owl:allValuesFrom Human <owl:onProperty rdf:resource="#isTaughtBy"/> <owl:hasValue rdf:resource="#949352"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> 19 goupee.com fb.com/groups/goupee 5
Trang 6
9/30/2011 someValuesFrom Lớp định nghĩa Human : some parent Woman <owl:Class rdf:about="#academicStaffMember"> <rdfs:subClassOfrdfs:subClassOf> owl:Class Human <owl:Restriction> rdfs:subClassOf <owl:onProperty rdf:resource="#teaches"/> <owl:someValuesFrom owl:Restriction rdf:resource="#undergraduateCourse"/> owl:onProperty parent </owl:Restriction/owl:Restriction> owl:someValuesFrom Woman </rdfs:subClassOf> </owl:Class> 21 22 Lực lượng Lực lượng Ấn định số thể hiện liên quan đến một thuộc tính owl:cardinality 2 <owl:Class rdf:aboutowl:Class rdf:about="#department#department"> <rdfs:subClassOf> owl:maxCardinality 2 <owl:Restriction> owl:minCardinality 2 <owl:onProperty rdf:resource="#hasMember"/> <owl:minCardinality OWL lite: 0 – 1 rdf:datatype="&xsd;nonNegativeInteger"> 10 </owl:minCardinality> </owl:Restriction></owl:Restriction> </rdfs:subClassOf> </owl:Class> A department must have at least ten members 23 24 goupee.com fb.com/groups/goupee 6
Trang 7
9/30/2011 Các thuộc tính của thuộc tính A department must have at least ten and owl:TransitiveProperty at most thirty membersat most thirty members
““gradde ththan” “i”, “is t lltaller ththan””, “i“is ancesttor of”f” Every course to be taught by at least owl:SymmetricProperty someone
“has same grade as” hoặc “is sibling of” A Ph.D. student must have exactly two owl:FunctionalProperty supervisorssupervisors
địđịnh nghnh nghĩĩa thua thuộộc tính có nhic tính có nhiềều nhu nhấất mt mộột giá trt giá trịị
“age”, “height”, hoặc “directSupervisor” 26 Thuộc tính phân biệt Giao owl:InverseFunctionalProperty owl:Class Woman
địđịnhh nghhĩĩa ththuộộc tí htính màà 22 chhủủ ththểể khákhác nhhau owll:iinttersectitionOfOf không thể nhận giá trị như nhau owl:Class Human owl:Class Female
“isTheSocialSecurityNumberFor”
X ex:motherOf Z Human ∧ Female ⇔ Woman
Y ex:motherOf Z
⇒ X = Y 27 28 goupee.com fb.com/groups/goupee 7
Trang 8
9/30/2011 Thuộc tính con Thuộc tính tương đương ex:mother rdfs:subPropertyOf p1 owl:equivalentProperty p2 ex:parentex:parent X p1 Y ⇔ X p2 Y rdfs:domain rdfs:range Quan tâm khi import ontology 29 30 Thuộc tính đảo OWL DL – Full: Thuộc tính liệt kê p1 owl:inverseOf p2 owl:Class SouthCity XX p1 Y1 Y ⇔ YY p22 XX owll:oneOfOf ex:HCM hasParent owl:inverseOf ex:Nha Trang hasChild ex:Vung Tau ex:Bien Hoa John hasParent Jim ⇔ Jim hasChild John 31 32 goupee.com fb.com/groups/goupee 8
Trang 9
9/30/2011 Lớp tách rời <owl:Class rdf:ID="weekdays"> owl:Class Man <owl:oneOf rdf:parseType="Collection"> owl:disjjointWith <owl:Thing rdf:about="#Monday"/> <owl:Thing rdf:about="#Tuesday"/> Woman <owl:Thing rdf:about="#Wednesday"/> <owl:Thing rdf:about="#Thursday"/> Courses and staff members are disjoint <owl:Thing rdf:about="#Friday"/> <owl:Class rdf:about="#course"> <owl:Thing rdf:about="#Saturday"/> <rdfs:subClassOf> <owl:Thing rdf:about="#Sunday"/><owl:Thing rdf:about="#Sunday"/> </owl:oneOf> <owl:Class> </owl:Class> < owl:disjointWith rdf:resource="#staffMember"/> </owl:Class> </rdfs:subClassOf> </owl:Class> 34 Classes and subclasses of the printer ontology Hãy diễn tả bằng owl: allll maththematitics courses are ttaught bht by David Billington only (no other lecturer may be involved). the mathematics courses are exactly the courses taught by David Billington.courses taught by David Billington. goupee.com fb.com/groups/goupee 9
Hiển thị 9 trang đầu. Tải tài liệu để xem đầy đủ.
Bình luận (0)
Chưa có bình luận nào. Hãy là người đầu tiên!