II.2.5. Cú pháp trừu tượng (Abstract Syntax (Normative))
II3.3.3. Các đặc tính về thuộc tính của OWL Lite
Những người phát triển ontology cần phải xem xét ngôn ngữ con nào
thích hợp nhất mà họ cần. Sự lựa chọn giữa OWL Lite và OWL DL phụ thuộc
vào phạm vi mà những người dùng yêu cầu cách xây dựng ngữ nghĩa có tính
biểu diễn hơn được thì với OWL DL là thích hợp. Sự lựa chọn giữa OWL DL
và OWL, Full chủ yếu phụ thuộc vào phạm vi mà những người dùng yêu cầu
các tiện ích siêu mô hình (meta-modeling) của lượt đồ RDF (chẳng hạn định
nghĩa các lớp của các lớp, hoặc gắn các thuộc tính cho các lớp).
OWL Full có thể được xem như là sự mở rộng của RDFE, trong khi đó OWL Lite và OWL DL có thể được xem như là sự mở rộng về sự giới hạn của
RDF. Mỗi tài liệu OWL (Lite, DL, Full) là một tài liệu RDF, và mỗi tài liệu
RDF là một tài liệu OWL Full, nhưng chỉ một vài tài liệu RDF sẽ là một tài liệu của OWL Lite hoặc OWL DL hợp lệ. Do vậy, phải thận trọng khi chúng ta
muốn chuyển một tài liệu RDF sang OWL. Khi tính biểu diễn của OWL DL hoặc OWL Lite được nghĩ rằng thích hợp, một số sự để phòng phải được dùng
đến để bảo đảm chắc chắn tài liệu RDE nguyên gốc tuân theo với những sự ràng buộc bổ sung được áp đặt bởi OWL DL và OWL Lite. Ngoài ra, mỗi URI được sử dụng như một tên lớp thì phải được xác định là owl:Class (và tương tự
cho các thuộc tính), mỗi cá thể (individual) phải được xác định để thuộc về ít
nhất một lớp nào đó, URI được dụng cho các lớp, các thuộc tính và các cá thể phải liên kết lẫn nhau.
II.3.2. Bảng tóm tắc ngôn ngữ OWL
Phần này cung cấp một chỉ mục (index) tới tất cả các đặc tính cho OWL,
Lite, OWL DL, và OWL Full.
Z7
Chú ý: các thuật ngữ in nghiêng là các thuật ngữ trong OWL.. Những tiếp đầu
ngữ rdf: hoặc rdfs: được sử dụng khi các thuật ngữ đã hiện hữu trong RDE hoặc trong lược đồ RDF. Các thuật ngữ khác được giới thiệu bởi OWL.. Do đó thuật
ngữ rđ/š:subPropertyOƒ cho biết răng subPropertyOf đã có trong từ vựng rdfs rồi. Cũng vậy, thuật ngữ C7zss nói rõ hơn như là owi:Cfass là một thuật ngữ
được giới thiệu bởi OWL,
GVHD: PGS.TS. Trương Mỹ Dung Trang 40
Luận văn tốt nghiệp: Nghiên cứu về Omtology Editor và ứng dụng
HI3.2.1. Bảng tóm tắt của OWL Lite
Danh sách xây dựng ngôn ngữ OWL Lite được cho bên dưới.
RDE Schema Features: (In)Equality: «Ổ Class (Thỉng, Nothing) rdfs:subClassO†f rdf:Property rafs:subPropertyOf s rdfs:domain s rdÍš:range - ® Individual se ¿qwivalentClass se eqHivalentProperty' ® S4/16As e djjerentFrom « AliDijfereni « đdistinctMembers
Property Restricions: Restricted Cardinality: © RestricHon s minCardinaliy (only 0
© onProperty or ]})
« al'ValuesFrom e maxCardinaliy (only 0 s someValuesFrom or Í)
s cardinaliry (only Ö or 1)
Class Intersection: Versioning:
« rfersecHonOƒ s versionlinfo © priorVersion se backwardCompatibleWith s ncompatibleWuh s© DeprecatedClass ® DeprecatedProperty Datatypes «. xsd dalaiypes Property Characteristics: se ObJectProperty © DaiatypeProperiy se inverseOƒf s TransitiveProperty © ŠymưmetricProperty s« FuncHionalProperty ® ImerseFunctionalProperiy Header Information: se Onfology ® UHDOTIfS Amnofation Properties: räÄfs-label r(ƒS:Comumment rdfš:seeAlso rdf§-isDefinedBy AnnotaHontProperty OntologyProperty
H.3.2.2. Bảng tóm tắt OWL DL và OWL Full
Danh sách xây dựng ngôn ngữ OWL,DL và OWL, Full được bổ sung
hoặc mở rộng từ OWL, Lite được cho bên dưới.
Class Axioms: Boolean Combinations of Class
Expressions: « oneOƒf, dataRange
«. disjoimiWith _*® WHnionOƒ
s« equivalentClass « complemenitOƒ
(applied to class expressions) « - intfersectionOf « rÄf§:subClassOƒf
(applied to class expressions)
GVHD: PGS.TS. Trương Mỹ Dung Trang 4l
Luận văn tốt nghiệp: Nghiên cứu về Ontology Editor và ứng dụng