Phân tích tư tưởng của nhân dân qua đoạn thơ: Những người vợ nhớ chồng… Những cuộc đời đã hóa sông núi ta trong Đất nước của Nguyễn Khoa Điềm
3383
1
0
9 trang
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¬.
Nội dung trích xuất từ tài liệu:
WORL: A nonmonotonic rule language for the semantic web
