DL 구문으로 온톨로지 작성하기?

Question

방금 ​​OWL과 Protege를 발견했습니다. this 참조 페이지 (아래에서 인용 함)를 통해 읽을 때 이 아닌지은 추상 OWL 구문을 사용하며 DL 구문으로 작성하는 것이 가능한지 궁금합니다. 내 배경은 논리적입니다. 나중에 온톨로지를 번역해야 할지라도 더 재미있을 것 같습니다. (물론이 작업을 수행 할 응용 프로그램이 있어야합니다 .- 게다가, don't reasoners use DL?).

가능한 경우 Protege (또는 제안 된 다른 소프트웨어)에서 어떤 설정을 사용해야합니까? 나는 그것이 가능하지 않다고 생각하지만, 나는 특별한 기호의 어색함 이외에 이것에 대한 좋은 이유가 없기 때문에 확신하고 싶다.

편집 : 불가능할 경우 DL 언어는 얼마나 사용됩니까?

OWL DL은 데이터 값, 데이터 타입 및 데이터 타입 속성, 즉 서원 (D)의 지원을 설명 로직 서원이지만, OWL은 RDF (S)에 기초하기 때문에, 용어는 약간 다르다 . ... OWL 온톨로지 또는 지식 베이스에 대한 설명은 DL 구문을 사용할 수 있습니다. ASCII 문자 집합으로 작성하는 것이 더 쉬운 "추상"LISP와 유사한 구문 이 정의되어 있습니다.

여기서 동일한 데이터에 대한 very brief working example of the two syntax styles이다.

Answer 1

DL을 사용하지 않는 이유는 무엇입니까?

반드시 그렇지는 않습니다. 그들은 모든 종류의 논리를 사용하는데, 일부는 DL이고 일부는 DL이 아닙니다.

가능하다면 Protege (또는 제안 된 다른 소프트웨어)에서 어떤 설정을 사용해야합니까?

필자에게는 Protégé와 같은 플러그인이 없다고 확신합니다. 그러나 실제로 재미를 원한다면 텍스트 편집기를 사용하고 손으로 온톨로지를 작성하십시오. 사용할 수있는 구문은 많습니다. functional syntax, OWL/XML syntax, RDF/XML syntax은 모두 규범입니다. 또한 Manchester syntax, Turtle, N-Triples, JSON-LD을 사용할 수 있습니다. 이는 향후 RDF (및 따라서 OWL) 작성을위한 권장 사항입니다. 또는 더 이국적인 RDF/JSON, HDT. 또는 Notation3, TriG, TriX, NQuads과 같은 "강력한"구문이 있습니다. 즐거움 많이!

어떤 경우라도 DL 구문으로 작성하려면 특수 유니 코드 문자 또는 LaTeX와 같은 특수 명령을 사용해야합니다. 그리고 그것을 다루는 파서는 그 문자 나 명령을 읽어야합니다. 프로그래밍하는 경우 이상적이지 않습니다. 그러나 당신은 항상 당신의 글에서 DL 구문을 사용할 수 있습니다.

현재, 표준 웹 온톨로지 언어는 OWL 2입니다. DL 변형 (즉, OWL 2 DL)은 the even more irresistible SROIQ을 기반으로합니다.