include RBox
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 5/5
- Thời gian dự kiến
- Hơn một tuần
- Mức phù hợp với người mới
- 25/100
Hướng nghiên cứu
Issue không nêu tên tệp, bài kiểm thử hay entry point nào. Hãy bắt đầu bằng cách truy vết cách relation-graph hiện thực hóa các quan hệ tồn tại của OWL hiện nay và so sánh phép đóng rdfs:subPropertyOf được yêu cầu với issue ubergraph liên quan; được xem là hoàn tất khi hành vi suy luận RBox dự kiến được định nghĩa và được bao phủ bởi các bài kiểm thử.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Can we include the transitive closure of rdfs:subPropertyOf?
there is also an argument for treating domain/range as edges too and including inferred rbox axioms like this
See also:
- Ngôn ngữ chính
- Scala
- Star
- 24
- Fork
- 4
- Merge trung bình
- 4 phút
- Pull request đã merge (30 ngày)
- 1
Chuẩn bị môi trường
Dự án này không cung cấp dev container, Dockerfile hay hướng dẫn đóng góp, nên bạn cần tự thiết lập môi trường: hãy bắt đầu từ README và xem hướng dẫn đóng góp lần đầu của chúng tôi để biết các bước chung.
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của INCATools/relation-graph
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
INCATools/relation-graph#270 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
INCATools/relation-graph#155 · 5 bình luận · 1 reaction ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
INCATools/relation-graph#152 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
INCATools/relation-graph#130 · 4 bình luận ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
INCATools/relation-graph#114 ·
Tất cả issue của INCATools/relation-graph
Issue tương tự
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 62/100
propensive/soundness#2351 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Traffic event delivered/rejected counters appear swapped in TrafficStateController.updateWithReceiptĐang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100
digital-asset/canton#705 ·
Maintainer thường phản hồi trong vòng 2 ngày
-
easy first-contributor first-contributors good first issue help wanted scala up-for-grabs
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 88/100
fork-commit-merge/fork-commit-merge#8457 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
good first issue
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 78/100
promovolve/promovolve#358 ·
Maintainer thường phản hồi trong vòng 1 ngày