Viết ontology trong cú pháp DL?

Question

Tôi vừa phát hiện ra OWL và Protege. Khi đọc qua trang tham chiếu this (mà tôi trích dẫn bên dưới), tôi tự hỏi liệu có thể không sử dụng cú pháp OWL trừu tượng hay không và viết bằng cú pháp DL. Nền của tôi là logic, vì vậy nó có vẻ như nó sẽ được vui hơn ngay cả khi tôi sẽ phải dịch các ontology sau (mặc dù tôi chắc chắn phải có các ứng dụng để làm điều này - bên cạnh, don't reasoners use DL?).

Nếu có thể, tôi nên sử dụng cấu hình cài đặt nào trong Protege (hoặc phần mềm khác trong đề xuất của bạn) để thực hiện việc này? Tôi nghi ngờ điều đó là không thể, nhưng tôi muốn chắc chắn, vì tôi thấy không có lý do chính đáng nào khác ngoài sự lúng túng của những biểu tượng đặc biệt.

CHỈNH SỬA: Nếu KHÔNG, ngôn ngữ DL được sử dụng chính xác như thế nào?

OWL DL là Shoin mô tả logic với sự ủng hộ của các giá trị dữ liệu, kiểu dữ liệu và datatype tài sản, ví dụ, Shoin (D), nhưng kể từ khi OWL được dựa trên RDF (S), thuật ngữ hơi khác . ... Để mô tả về bản thể luận hoặc kiến ​​thức của OWL cơ sở, cú pháp DL có thể được sử dụng. Có một cú pháp giống như LISP "trừu tượng" được định nghĩa dễ viết hơn trong bộ ký tự ASCII.

Dưới đây là một very brief working example of the two syntax styles cho cùng một dữ liệu.

Answer 1

không phải lý do sử dụng DL?

Không nhất thiết. Họ sử dụng tất cả các loại logic, một số trong số đó là DL, một số thì không.

Nếu có thể, tôi nên sử dụng cấu hình cài đặt nào trong Protege (hoặc phần mềm khác của đề xuất) để thực hiện việc này?

Tôi chắc chắn không có plugin nào cho Protégé. Nhưng nếu bạn thực sự muốn một số thú vị, hãy sử dụng một trình soạn thảo văn bản và viết ontology của bạn bằng tay. Có nhiều cú pháp bạn có thể sử dụng: functional syntax, OWL/XML syntax, các RDF/XML syntax đều là quy chuẩn. Ngoài ra, bạn có thể sử dụng Manchester syntax, Turtle, N-Triples, JSON-LD, đó sẽ là các đề xuất trong tương lai để viết RDF (và do đó là OWL). Hoặc kỳ lạ hơn RDF/JSON, HDT. Hoặc một lần nữa, nhiều cú pháp "mạnh mẽ" hơn như Notation3, TriG, TriX, NQuads. Rất nhiều niềm vui!

Trong mọi trường hợp, nếu bạn muốn viết bằng cú pháp DL, bạn sẽ cần sử dụng các ký tự Unicode đặc biệt hoặc các lệnh đặc biệt như trong LaTeX chẳng hạn. Và trình phân tích cú pháp liên quan đến nó sẽ phải đọc các ký tự hoặc lệnh đó. Không lý tưởng nếu bạn đang lập trình. Nhưng bạn luôn có thể sử dụng cú pháp DL trong các bài viết của bạn.

BTW, Ngôn ngữ bản thể luận web chuẩn hiện tại là OWL 2. Biến thể DL của nó (viz., OWL 2 DL) dựa trên the even more irresistible SROIQ.