F 로직

F-logic

F-로직(frame logic, frame logic)은 지식 표현과 온톨로지 언어다.F-로직은 개념적 모델링의 장점을 객체 지향적이고 프레임 기반 언어와 결합하고 선언적이고 압축적이며 단순한 구문뿐만 아니라 논리 기반 언어의 잘 정의된 의미론도 제공한다.

특징으로는, 무엇보다도, 객체 정체성, 복잡한 객체, 상속, 다형성, 질의 방법, 캡슐화를 포함한다.F 로직은 고전적인 관계적 미적분학이 관계적 데이터베이스 프로그래밍을 의미하는 것과 같은 객체 지향적 프로그래밍과 동일한 관계에 있다.

개요

F-로직은 스토니브룩 대학의 마이클 키퍼와 만하임 대학의 게오르크 라우젠에 의해 개발되었다.F-logic은 원래 연역적 데이터베이스를 위해 개발되었지만, 현재는 의미론적 기술, 특히 의미론적 웹에 가장 많이 사용된다.F 로직은 온톨로지의 공식어 중 하나로 여겨지지만, DL 기반 OWL과 마찬가지로 서술 논리(DL)가 더 인기 있고 받아들여지고 있다.

NeOn 프로젝트에서 F-logic을 위한 개발 환경이 개발되었으며, 정보 통합, 질문 답변, 의미 검색 등의 다양한 어플리케이션에서도 활용되고 있다.프로토제 온톨로지 편집기 버전 4에 앞서 F-Logic은 온톨로지 2종 중 하나로 지원된다.

월드 와이드 웹 컨소시엄에 의해 표준화 된 규칙 교환 형식 기본 논리 방언(REF BLD)의 프레임 구문은 F-로직 기반이지만, LIF BLD는 F-로직의 비-단조적 추론 특징을 포함하지 않는다.[1]

논리 기반 온톨로지 형식주의와 대조적으로 F-로직의 의미론은 일반적으로 DL의 오픈 월드 가정과는 반대로 폐쇄된 세계 가정이다.또한, F-logic은 일반적으로 해석할 수 없는 반면,[citation needed] OWL DL이 기초하고 있는 SHOIN 기술 논리는 해석할 수 없다.그러나 설명 로직으로 가능한 것보다 F 로직으로 표현되는 문장을 더 많이 표현할 수 있다.

F-logic에 대한 가장 포괄적인 설명은 1995년에 발표되었다.[2]1989년의 예비 논문은[3][4] ACM SGIMOD로부터 1999년 시험 시간 상을 받았다.[5] 1992년의 후속 논문은[6] ACM SGIMOD로부터 2002 시험 시간 상을 받았다.[5]

F 로직 구문

등급 및 개인은 다음과 같이 F 로직으로 정의할 수 있다.

남자:사람.여자:사람. 브래드:남자.안젤리나:여자.

이것은 "남녀는 사람이다"와 "브래드는 남자다" 그리고 "안젤리나는 여자다"라고 말한다.

계급 및 개인에 대한 진술은 다음과 같이 할 수 있다.

사람[하손=] 사람브래드[hasSon->{maddox,pax}.기혼의

이것은 '사람의 아들은 남자다', '매독스와 팍스는 브래드의 아들이다', '브래드와 안젤리나는 결혼했다'를 정의한다.

또한 다음과 같은 방법으로 F 로직으로 공리를 나타낼 수 있다.

남자(X) <- 사람(X)이지 여자(X)가 아니다.X:person[hasFather-]Y] <- Y:man[hasSon -> X.

이는 "X가 사람이면 남자지만 여자는 아니다"와 "X가 Y의 아들이면 X는 사람이고 Y는 X의 아버지"를 의미한다.

플로라-2 시스템은 F 로직의 구문에 여러 가지 변화를 도입하여 단순한 이론적 논리와는 달리 지식 표현과 추론 시스템에 더욱 적합하게 되었다.특히, 변수에 ? 표시가 붙게 되었고, 기능적 특성과 다중값 특성의 구분이 떨어져 카디널리티 제약조건과 더불어 다른 중요한 변화들로 대체되었다.예를 들어, 위의 문장 쌍은 Flora-2에서 다음과 같이 보인다.

남자(?X) <- 사람(?X) \ and \naf woman(?X). ?X:사람[has Father->?Y] <- ?Y:man[hasSon -> ?X]

여기\naf는 기본 부정("naf"는 근거가 충분한 의미론에 기초한 부정을 의미한다);플로라-2는 고전적 논리상 부정에 가까운 이른바 명시적 부정을 지지하기도 한다.[7]

F 로직 기반 언어

참조

  1. ^ M. Krötzsch (October 2010). Description Logic Rules. IOS Press. p. 10. ISBN 978-1-61499-342-1.
  2. ^ M. Kifer, G. Lausen, J. Wu(1995)."객체 지향 언어와 프레임 기반 언어의 논리적 기반", ACM 42(4), 1995년 7월, 741–843, doi:10.1145/210332.210335 CiteSeerx: 10.1.115.3586
  3. ^ M. Kifer와 G. Lausen(1989년)."F-logic: 객체, 상속 및 체계에 대한 추론을 위한 고차 언어", ACM SGIMOD Record 18(2), 1989년 6월, 134–146. doi:10.1145/66926.66939 CiteSeerx: 10.1.1.1017.1401
  4. ^ M. Kifer와 G. Lausen(1997년)."F-로직: 대상, 상속, 그리고 계획에 대한 추론을 위한 고차원의 언어" 1997년 재발행되었다.CiteSeerx: 10.1.1.48.7149
  5. ^ a b "SIGMOD Test of Time Award". sigmod.org. Retrieved 2019-03-19.
  6. ^ M. Kifer, W. Kim, Y. Sagiv(1992)."객체 지향 데이터베이스 쿼리", ACM SGIMOD Record 21(2), 1992년 6월, 393–402. doi:10.11445/1484.130342 CiteSeerx: 10.1.50.9598
  7. ^ Alferes, José Júlio; Pereira, Luís Moniz; Przymusinski, Teodor C. (April 1998). "'Classical' negation in nonmonotonic reasoning and logic programming". Journal of Automated Reasoning. 20 (1–2): 107–142. doi:10.1023/A:1005900924623.