Key points are not available for this paper at this time.
구체적 도메인은 개념을 정의할 때 구체적 객체(예: 숫자)와 이러한 객체에 대한 미리 정의된 술어(예: 수치 비교) 참조를 가능하게 하기 위해 서술 논리(DL)에서 도입되었습니다. 이 맥락에서 주요 연구 목표는 특정 DL에 통합될 때 결정 가능성이나 실행 가능성을 보존하도록 구체적 도메인에 대한 제한을 찾는 것이었습니다. 본 논문에서는 구체적 도메인으로 확장된 1차 및 서술 논리의 추상적 표현력을 조사하며, 구체적 도메인이 없는 1차 논리와 비교하여 이러한 논리를 사용하여 표현할 수 있는 1차 해석의 어떤 클래스인지 분석합니다. 우리는 자연적 조건에서 구체적 도메인 D에 기반하여, D와 함께 1차 논리(FOL) 또는 잘 알려진 DL ALC의 확장이 FOL과 중요한 형식적 특성(예: 콤팩트성과 뢰벤하임-스콜렘 속성)을 공유한다는 점을 보여줍니다. 그럼에도 불구하고, 그들의 추상적 표현력이 FOL의 것에 포함될 필요는 없지만, 어떤 경우에는 포함됩니다. 더 정확하게 말하자면, 우리는 한편으로는 보조 술어를 도입할 수 있다면 단항 구체적 도메인이 FOL 내의 추상적 표현력을 남긴다는 것을 보여주고, 다른 한편으로는 추상적 표현력을 FOL 이상으로 밀어내는 구체적 도메인의 클래스를 제시합니다. 이러한 조사 결과의 부산물로, 우리는 본 논문에서 고려한 구체적 도메인을 가진 몇 가지 논리에 대한 (반)결정 가능성 결과를 얻습니다.
Baader et al. (Mon,)는 이 질문을 연구했습니다.