클래스(지식 표현)
Class (knowledge representation)지식 표현에서 클래스는 개인 또는 [1]객체의 집합입니다.클래스는 OWL과 같은 일부 온톨로지 언어에서 호출되는 것을 사용하여 확장(멤버 지정) 또는 인텐션(조건 지정)으로 정의할 수 있습니다.유형-토큰의 구별에 따르면, 온톨로지는 실제 세계 객체인 개인, 이벤트, 유형 또는 클래스로 구분됩니다.클래스 표현식 또는 정의는 개인이 클래스의 구성원이 되기 위해 충족해야 하는 속성을 제공합니다.속성을 충족하는 개인을 인스턴스라고 합니다.
관계들
인스턴스화
인스턴스화 관계는 개체와 클래스 간의 관계입니다.우리는 물체 O, 예를 들어 독수리 해리가 클래스의 예라고 말한다.독수리 해리는 우리가 독수리에게 귀속시킬 수 있는 모든 특성을 가지고 있습니다. 예를 들어, 그의 부모는 독수리였고, 그는 새고, 그는 고기를 먹는 사람 등입니다.그것은 특별한 종류의 관계이다.클래스, 클래스 어설션에 기초한 로직 패밀리인 Description Logics의 주의 개념 어설션
서브스크립션
클래스는 서로 보충할 수 있습니다.우리는 보통 이렇게 말한다.A그리고.B클래스, 그리고 모든 것A인스턴스도B인스턴스 B는 A를 포함하거나 A는 B의 서브클래스입니다.예를 들어 OWL 언어에서는 subclassof라고 [2]부릅니다.
레퍼런스
- ^ Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (2002). Description Logics: Foundations for Class-based Knowledge Representation. Logic in Computer Science. CiteSeerX 10.1.1.177.2787.
- ^ a b "owl2 syntax".
