RDF Graph Entailment

Question

Tôi chỉ đọc về khái niệm entailment cho RDF (Khung mô tả tài nguyên) .Có ai cho tôi biết một ví dụ về entailment cho hai đồ thị RDF và giải thích chúng một chút.

Cảm ơn

Answer 1

Giả sử bạn có những điều sau đây:

ex:book1 rdf:type ex:Publication . 
ex:book2 rdf:type ex:Article . 

Vì vậy, một truy vấn SPARQL như CHỌN s? {S rdf: loại ví dụ: Publication} sẽ trở lại chỉ ví dụ: Book1

Nếu bạn thêm thực tế (hoặc biểu đồ trong tập dữ liệu của bạn với thực tế) nêu rõ:

ex:Article rdfs:subClassOf ex:Publication 

Nếu động cơ SPARQL của bạn xử lý entailments, cần suy luận rằng một ví dụ: Điều cũng là một ví dụ:? Publication

nên CHỌN s {s rdf: loại ví dụ: Publication} sẽ trả lại cả hai ví dụ: Book1 vÀ ví dụ: book2

PS: để biết thêm thông tin, ví dụ xuất phát từ http://www.w3.org/TR/2009/WD-sparql11-entailment-20091022/

Answer 2

có một câu trả lời về RDFS entailment, đó là quan trọng, và một phần có giá trị trong ngày-to-ngày làm việc với RDF, nhưng RDFS entailment không giống như entfment RDF. RDF entailment là một mối quan hệ giữa toàn bộ đồ thị RDF, và đưa ra một cách để nói "Nếu đồ thị RDF x giữ, thì biểu đồ RDF y." Các simple entailment section các tài liệu RDF Semantics mô tả entailment cơ bản:

Tiếp theo thuật ngữ thông thường, tôi thỏa mãn E nếu I (E) = true, và một tập S của đồ thị RDF (đơn giản) đòi hỏi một đồ thị E nếu mỗi giải thích mà đáp ứng mọi thành viên của S cũng thỏa mãn E. Trong các phần sau, các khái niệm này sẽ được điều chỉnh theo các lớp giải thích khác, nhưng trong suốt phần này, phải được hiểu là nghĩa vụ đơn giản.

này giả định một sự hiểu biết của giải thích của đồ thị E, ký hiệu là I (E). Bản giải thích ánh xạ từng thuộc tính thành một tập hợp các cặp. Ví dụ, một giải thích nên lập bản đồ tài sản rdfs:subClassOf với tập hợp các cặp {[x, y]: x là một lớp con của y}. Để giải thích thỏa mãn đồ thị, thì tập hợp các cặp giải thích ánh xạ một thuộc tính phải chứa ít nhất các cặp đó thực sự được quan sát trong biểu đồ. Ví dụ: nếu biểu đồ chứa

a likes b. 
b likes c. 

thì một diễn giải thỏa mãn biểu đồ nếu và chỉ khi tôi (thích) chứa các cặp [a, b] và [b, c]. Biểu đồ G1 đòi hỏi phải có biểu đồ G2 nếu và chỉ khi mỗi cách diễn giải thỏa mãn G1 cũng thỏa mãn G2. Nếu không có các nút trống trong biểu đồ, điều này khá đơn giản.

Phần liên kết từ tài liệu RDF Semantics liệt kê một số kết quả đơn giản này:

• Mỗi biểu đồ đòi hỏi đồ thị rỗng.
• Mọi biểu đồ yêu cầu từng biểu đồ con của nó.

Mọi thứ trở nên phức tạp hơn khi có các nút trống trong biểu đồ RDF, vì các nút trống được hiểu là các biến tồn tại. Ví dụ, hãy xem xét đồ thị chỉ với một cú triple (nơi _:z là một nút trống):

a likes _:z 

Kể từ _:z là một biến hiện sinh, điều này có nghĩa là một sự giải thích thỏa mãn đồ thị nếu và chỉ nếu có tồn tại một riêng lẻ x sao cho cách diễn giải của thích chứa một cặp [a, x]. Nếu biểu đồ có các nút trống, thì thay thế các nút trống đó bằng các cụm từ thực tế sẽ tạo ra một thể hiện của biểu đồ đó. Ví dụ,

a likes b 

là một thể hiện của đồ thị

a likes _:z 

Các tài liệu liên quan cũng đề cập đến mối quan hệ entailment rằng

• Mỗi thể hiện của một đồ thị đòi hỏi đồ thị

Điều này rất dễ thấy: nếu diễn giải thỏa mãn a likes b, sau đó giải thích của thích phải chứa [a, b], do đó chắc chắn là một x (cụ thể là b) như vậy mà nó chứa [a, x], vì vậy nó cũng đáp ứng a likes _:z.

Đây chỉ là một vài ví dụ đơn giản về việc vẽ đồ thị RDF. Tôi không biết rằng loại entailment này thực sự được sử dụng nhiều trong công việc hàng ngày với RDF. Phổ biến hơn là RDFS-entailment (được mô tả trong câu trả lời khác), OWL entailment và lý luận dựa trên quy tắc.