WORL: A nonmonotonic rule language for the semantic web

We develop a new Web ontology rule language, called WORL, which combines a variant of OWL 2 RL with eDatalog¬. We allow additional features like negation, the minimal number restriction and unary external checkable predicates to occur at the left-hand side of concept inclusion axioms. Some restrictions are adopted to guarantee a translation into eDatalog¬.

Không thể tạo bản xem trước, hãy bấm tải xuống
Tải xuống
TÀI LIỆU LIÊN QUAN

WORL: A nonmonotonic rule language for the semantic web
13    74    2

Bài giảng Phát triển phần mềm hướng dịch vụ: Phần 2
65    103    3
TÀI LIỆU XEM NHIỀU

Thiết kế kế hoạch bài học môn Toán theo định hướng phát triển năng lực học sinh
13    41409    2437

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3    25309    252

31 Câu hỏi ôn tập môn Chủ nghĩa xã hội khoa học
25    25062    4310

Tiểu luận: Vai trò của Nguyễn Ái Quốc đối với việc thành lập Đảng Cộng sản Việt Nam
16    20484    2850

Tiểu luận Tình huống xử lý sai phạm trong thanh toán công tác phí lưu động
20    19868    1551

100 câu hỏi trắc nghiệm Triết học Mác-Lênin kèm đáp án
14    19791    2980

Bảng biến đổi Laplace và biến đổi Z
1    19686    625

Đề thi và Đáp án môn Tiếng Việt thực hành - ĐH SPKT TP.HCM
3    16613    332

Ebook Ôn luyện tiếng Anh 9 có đáp án: Phần 2 - Mai Lan Hương, Hà Thanh Uyên
37    16541    2961

Sự so sánh văn bản văn học và tác phẩm văn học
1    15196    139
TÀI LIỆU MỚI ĐĂNG

Đánh giá đáp ứng hóa trị bước 2 phác đồ FOLFIRI – BEVACIZUMAB trên bệnh nhân ung thư đại trực tràng di căn tại Bệnh viện Ung bướu Đà Nẵng
6    16    1    24-11-2024

Dữ liệu cá nhân trong dòng chảy kinh tế số Việt Nam - Kỷ yếu Hội thảo khoa học quốc gia
788    11    1    24-11-2024

Patient-clinician digital health interventions for the hip fracture population: A scoping review
36    17    1    24-11-2024

Đề cương chi tiết học phần Lý luận về nhà nước và pháp luật (phần cụ thể)
22    162    3    24-11-2024

Quan điểm của Hồ Chí Minh về xây dựng chủ nghĩa xã hội trong tác phẩm “Thường thức chính trị” - Giá trị lý luận và thực tiễn
13    19    1    24-11-2024

Nhận thức mới của Đảng về chủ nghĩa xã hội và con đường đi lên chủ nghĩa xã hội ở Việt Nam
10    25    4    24-11-2024

A mixed methods study of using wasta in healthcare services in Palestine: Predictors, consequences and proposed solutions
13    17    1    24-11-2024

Quyền riêng tư đối với dữ liệu cá nhân trên không gian mạng theo pháp luật của Liên minh châu Âu - Một số kinh nghiệm cho Việt Nam
13    18    1    24-11-2024

Ibrutinib versus bendamustine plus rituximab for first-line treatment of 65 or older patients with untreated chronic lymphocytic leukemia without del(17p)/TP53 mutation in China: A lifetime economic research study
11    25    1    24-11-2024

Demand and supply analysis for maternal and child health services at the primary healthcare level in Nigeria
9    22    1    24-11-2024

So sánh kết quả điều trị ung thư lưỡi ở bệnh nhân nhỏ và lớn hơn 40 tuổi
13    20    1    24-11-2024

Does the second opinion directive in Germany reach the patient? A parallel-convergent mixed-methods study
13    17    1    24-11-2024

The effectiveness of a workplace violence prevention strategy based on situational prevention theory for nurses in managing violent situations: A quasi-experimental study
11    14    1    24-11-2024

Hành lang pháp lý quản lý hiệu quả trí tuệ nhân tạo trong nền kinh tế số
11    13    1    24-11-2024

Effects of private health insurance on medical expenditure and health service utilization in South Korea: A quantile regression analysis
10    16    1    24-11-2024

Đặc điểm lâm sàng, cận lâm sàng và thủ tục phẫu thuật u buồng trứng theo phân loại O-RADS tại Bệnh viện Hoàn Mỹ Cửu Long năm 2023-2024
5    17    1    24-11-2024

Ebook PC System programming: Part 2
476    16    1    24-11-2024

Cross‑validation of comorbidity items in two national databases in a sample of patients with end‑stage kidney disease
10    16    1    24-11-2024

Designing an optimal model of blood logistics management with the possibility of return in the three-level blood transfusion network
23    13    1    24-11-2024

Ebook Microinjection methods and applications: Part 1
124    21    1    24-11-2024
TÀI LIỆU HOT

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3    25309    252

Thiết kế kế hoạch bài học môn Toán theo định hướng phát triển năng lực học sinh
13    41409    2437

CẬP  NHẬT KINH TẾ VĨ MÔ VIỆT NAM 6 tháng đầu năm 2020
3    3094    81

Sách trắng Doanh nghiệp Việt Nam năm 2020
580    5439    365

Việt Nam 2035 hướng tới thịnh vượng, sáng tạo, công bằng và dân chủ
584    3648    101

BÀI GIẢNG DỰNG HÌNH SKETCHUP 2020 BIÊN SOẠN : GV.KTS PHAN THỨC
62    7038    1

GIÁO TRÌNH TIẾNG ANH ENG BREAKING
171    6017    724

Quản trị khủng hoảng trong quan hệ công chúng
2    3492    78

Báo cáo thực tập chuyên ngành: Nghiên cứu, thiết kế, mô phỏng robot công nghiệp
51    4779    200

Đề tài “ Cân đối ngân sách nhà nước- thực trạng và hướng hoàn thiện”
53    5090    189
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.