본문으로 건너뛰기

참고문헌

📍 현재 위치: 이 권 전체의 근거를 한곳에 모았습니다.

각 장에서 [1]처럼 등장하는 모든 인라인 표시는 이곳으로 연결됩니다. 참고문헌은 장별로 묶여 있으며, 번호는 각 장마다 독립적입니다 — 각 장의 목록은 [1]부터 다시 시작하므로, 먼저 장 제목을 찾은 다음 번호를 찾으십시오. 인용은 본문에 [k] 형태로 나타나며, 여기서 프래그먼트(fragment)는 장을 가리키고 k는 그 장의 목록 안에서 항목 번호입니다. 각 항목은 저자, 제목, 게재지, 연도를 밝히고, 무엇을 뒷받침하는지 주석을 달며, 대괄호로 묶인 근거 등급 태그로 마무리합니다.

트리플과 그래프: 네트워크로서의 사실​

  1. Cyganiak, R., Wood, D., and Lanthaler, M. RDF 1.1 Concepts and Abstract Syntax. W3C Recommendation, 2014. — RDF 데이터 모델의 원자 단위로서의 트리플. [근거 등급: 표준]
  2. Hogan, A., et al. "Knowledge Graphs." ACM Computing Surveys, 2021. — 트리플, 그래프, 지식 그래프의 기본 개념. [근거 등급: 동료 심사]
  3. Hitzler, P., Krötzsch, M., and Rudolph, S. Foundations of Semantic Web Technologies. CRC Press, 2010. — 그래프 구조 지식과 그 의미론. [근거 등급: 교재]

RDF와 OWL: 웹의 지식 언어​

  1. Cyganiak, R., Wood, D., and Lanthaler, M. RDF 1.1 Concepts and Abstract Syntax. W3C Recommendation, 2014. — RDF 데이터 모델. [근거 등급: 표준]
  2. Hitzler, P., Krötzsch, M., and Rudolph, S. Foundations of Semantic Web Technologies. CRC Press, 2010. — RDF, RDFS, OWL을 함께 다룸. [근거 등급: 교재]
  3. W3C OWL Working Group. OWL 2 Web Ontology Language: Document Overview. 2nd ed., W3C Recommendation, 2012. — OWL 2 언어와 그 구성 요소. [근거 등급: 표준]

TBox와 ABox: 스키마 대 데이터​

  1. Baader, F., et al. (eds.) The Description Logic Handbook. 2nd ed., Cambridge University Press, 2007. — TBox/ABox 구조. [근거 등급: 교재]
  2. Hitzler, P., Krötzsch, M., and Rudolph, S. Foundations of Semantic Web Technologies. CRC Press, 2010. — 시맨틱 웹에서 스키마 대 인스턴스 데이터. [근거 등급: 교재]
  3. Baader, F., Horrocks, I., Lutz, C., and Sattler, U. An Introduction to Description Logic. Cambridge University Press, 2017. — TBox, ABox, 지식베이스 의미론. [근거 등급: 교재]

서술 논리: 개념, 역할, 개체​

  1. Baader, F., Horrocks, I., Lutz, C., and Sattler, U. An Introduction to Description Logic. Cambridge University Press, 2017. — 개념, 역할, 개체, 구성자. [근거 등급: 교재]
  2. Baader, F., et al. (eds.) The Description Logic Handbook. 2nd ed., Cambridge University Press, 2007. — 서술 논리 계열과 그 의미론. [근거 등급: 교재]
  3. Krötzsch, M., Simančík, F., and Horrocks, I. "A Description Logic Primer." arXiv:1201.4089, 2013. — DL 구문론과 의미론에 대한 간결한 입문. [근거 등급: 프리프린트]

EL 계열: 작은 논리, 큰 온톨로지​

  1. Baader, F., Brandt, S., and Lutz, C. "Pushing the EL Envelope." IJCAI, 2005. — EL 및 EL++ 계열과 그 다루기 쉬움(tractability). [근거 등급: 동료 심사]
  2. Baader, F., Horrocks, I., Lutz, C., and Sattler, U. An Introduction to Description Logic. Cambridge University Press, 2017, ch. 6. — 경량 서술 논리. [근거 등급: 교재]
  3. Baader, F., Brandt, S., and Lutz, C. "Pushing the EL Envelope Further." OWLED Workshop, 2008. — EL++의 확장과 그 한계. [근거 등급: 동료 심사]

OWL 2 프로파일: EL, QL, RL, DL​

  1. Motik, B., et al. OWL 2 Web Ontology Language: Profiles. 2nd ed., W3C Recommendation, 2012. — EL, QL, RL, DL 프로파일. [근거 등급: 표준]
  2. Baader, F., Brandt, S., and Lutz, C. "Pushing the EL Envelope." IJCAI, 2005. — OWL 2 EL의 기반 논리. [근거 등급: 동료 심사]
  3. Calvanese, D., et al. "Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family." Journal of Automated Reasoning, 2007. — OWL 2 QL의 기반 논리. [근거 등급: 동료 심사]

추론의 복잡도: 프로파일이 존재하는 이유​

  1. Tobies, S. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen, 2001. — 표현력 있는 서술 논리의 복잡도 한계. [근거 등급: 학위논문]
  2. Baader, F., Brandt, S., and Lutz, C. "Pushing the EL Envelope." IJCAI, 2005. — EL에서의 PTIME 포섭(subsumption). [근거 등급: 동료 심사]
  3. Baader, F., Horrocks, I., Lutz, C., and Sattler, U. An Introduction to Description Logic. Cambridge University Press, 2017. — 서술 논리 전반의 추론 복잡도. [근거 등급: 교재]

정규화: 정규형으로의 환원​

  1. Baader, F., Brandt, S., and Lutz, C. "Pushing the EL Envelope." IJCAI, 2005. — 정규형과 완비 알고리즘. [근거 등급: 동료 심사]
  2. Baader, F., Horrocks, I., Lutz, C., and Sattler, U. An Introduction to Description Logic. Cambridge University Press, 2017. — 보존적 확장으로서의 정규화. [근거 등급: 교재]
  3. Krötzsch, M. "Efficient Inferencing for OWL EL." JELIA, 2010. — EL을 위한 정규화 및 완비 절차. [근거 등급: 동료 심사]

완비 규칙: CR1–CR4와 바닥 규칙​

  1. Baader, F., Brandt, S., and Lutz, C. "Pushing the EL Envelope." IJCAI, 2005. — 완비 규칙 CR1–CR4, 바닥 규칙, 역할 사슬. [근거 등급: 동료 심사]
  2. Baader, F., Horrocks, I., Lutz, C., and Sattler, U. An Introduction to Description Logic. Cambridge University Press, 2017. — EL을 위한 규칙 기반 분류. [근거 등급: 교재]
  3. Kazakov, Y., Krötzsch, M., and Simančík, F. "The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with EL Ontologies." Journal of Automated Reasoning, 2014. — EL을 위한 최적화된 완비. [근거 등급: 동료 심사]

건전성과 완전성: 규칙이 충분한 이유​

  1. Baader, F., Brandt, S., and Lutz, C. "Pushing the EL Envelope." IJCAI, 2005. — EL 완비 알고리즘의 건전성과 완전성. [근거 등급: 동료 심사]
  2. Baader, F., Horrocks, I., Lutz, C., and Sattler, U. An Introduction to Description Logic. Cambridge University Press, 2017. — 표준 모델(canonical model)과 정당성 증명. [근거 등급: 교재]
  3. Glimm, B., et al. "HermiT: An OWL 2 Reasoner." Journal of Automated Reasoning, 2014. — 이 장에서 오라클로 사용하는 완전한 OWL 2 DL 추론기. [근거 등급: 동료 심사]

귀결 기반 추론: PTIME 분류​

  1. Simančík, F., Kazakov, Y., and Horrocks, I. "Consequence-Based Reasoning beyond Horn Ontologies." IJCAI, 2011. — 귀결 기반 추론 패러다임. [근거 등급: 동료 심사]
  2. Baader, F., Brandt, S., and Lutz, C. "Pushing the EL Envelope." IJCAI, 2005. — 포화를 통한 PTIME 분류. [근거 등급: 동료 심사]
  3. Kazakov, Y., Krötzsch, M., and Simančík, F. "The Incredible ELK." Journal of Automated Reasoning, 2014. — 대규모 EL을 위한 귀결 기반 분류. [근거 등급: 동료 심사]

데이터로그: 규칙, T_P 연산자, 최소 고정점​

  1. Abiteboul, S., Hull, R., and Vianu, V. Foundations of Databases. Addison-Wesley, 1995. — 데이터로그, 즉시 귀결 연산자, 최소 고정점. [근거 등급: 교재]
  2. Ceri, S., Gottlob, G., and Tanca, L. Logic Programming and Databases. Springer, 1990. — 데이터로그 의미론과 평가. [근거 등급: 교재]
  3. Ceri, S., Gottlob, G., and Tanca, L. "What You Always Wanted to Know About Datalog (And Never Dared to Ask)." IEEE Transactions on Knowledge and Data Engineering, 1989. — 데이터로그에 대한 튜토리얼. [근거 등급: 동료 심사]

존재 규칙과 체이스​

  1. Calì, A., Gottlob, G., and Lukasiewicz, T. "A General Datalog-Based Framework for Tractable Query Answering over Ontologies." Journal of Web Semantics, 2012. — 존재 규칙(Datalog±)과 체이스. [근거 등급: 동료 심사]
  2. Fagin, R., Kolaitis, P. G., Miller, R. J., and Popa, L. "Data Exchange: Semantics and Query Answering." Theoretical Computer Science, 2005. — 체이스와 그 변형들. [근거 등급: 동료 심사]
  3. Cuenca Grau, B., et al. "Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies." Journal of Artificial Intelligence Research, 2013. — 체이스 종료 조건. [근거 등급: 동료 심사]

확실한 답: 준동형사상으로서의 질의 응답​

  1. Fagin, R., Kolaitis, P. G., Miller, R. J., and Popa, L. "Data Exchange: Semantics and Query Answering." Theoretical Computer Science, 2005. — 확실한 답과 보편 모델. [근거 등급: 동료 심사]
  2. Abiteboul, S., Hull, R., and Vianu, V. Foundations of Databases. Addison-Wesley, 1995. — 논리곱 질의(conjunctive query)와 준동형사상. [근거 등급: 교재]
  3. Calì, A., Gottlob, G., and Lukasiewicz, T. "A General Datalog-Based Framework for Tractable Query Answering over Ontologies." Journal of Web Semantics, 2012. — 존재 규칙에 대한 확실한 답. [근거 등급: 동료 심사]

EL 추론기: ELK와 CEL​

  1. Baader, F., Lutz, C., and Suntisrivaraporn, B. "CEL — A Polynomial-Time Reasoner for Life Science Ontologies." IJCAR, 2006. — CEL 추론기. [근거 등급: 동료 심사]
  2. Kazakov, Y., Krötzsch, M., and Simančík, F. "The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with EL Ontologies." Journal of Automated Reasoning, 2014. — ELK 추론기. [근거 등급: 동료 심사]
  3. Glimm, B., et al. "HermiT: An OWL 2 Reasoner." Journal of Automated Reasoning, 2014. — 상위 집합 오라클로 사용하는 완전한 OWL 2 DL 추론기. [근거 등급: 동료 심사]

데이터로그와 DL 엔진: RDFox, HermiT, Konclude​

  1. Motik, B., Nenov, Y., Piro, R., Horrocks, I., and Olteanu, D. "Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems." AAAI, 2014. — RDFox 엔진. [근거 등급: 동료 심사]
  2. Glimm, B., et al. "HermiT: An OWL 2 Reasoner." Journal of Automated Reasoning, 2014. — HermiT 타블로 추론기. [근거 등급: 동료 심사]
  3. Steigmiller, A., Liebig, T., and Glimm, B. "Konclude: System Description." Journal of Web Semantics, 2014. — Konclude 추론기. [근거 등급: 동료 심사]

추론 벤치마크: LUBM, OWL2Bench, ORE​

  1. Guo, Y., Pan, Z., and Heflin, J. "LUBM: A Benchmark for OWL Knowledge Base Systems." Journal of Web Semantics, 2005. — 리하이 대학교 벤치마크(Lehigh University Benchmark). [근거 등급: 동료 심사]
  2. Singh, G., et al. "OWL2Bench: A Benchmark for OWL 2 Reasoners." ISWC, 2020. — 프로파일을 고려한 추론 벤치마크. [근거 등급: 동료 심사]
  3. Parsia, B., et al. "The OWL Reasoner Evaluation (ORE) 2015 Competition Report." Journal of Automated Reasoning, 2017. — ORE 추론기 경연. [근거 등급: 동료 심사]

유래 반환: 사실은 어디서 오는가​

  1. Green, T. J., Karvounarakis, G., and Tannen, V. "Provenance Semirings." PODS, 2007. — 유래를 위한 반환 틀(semiring framework). [근거 등급: 동료 심사]
  2. Karvounarakis, G., and Green, T. J. "Semiring-Annotated Data: Queries and Provenance." SIGMOD Record, 2012. — 반환으로 주석 처리된 질의 평가. [근거 등급: 동료 심사]
  3. Cheney, J., Chiticariu, L., and Tan, W.-C. "Provenance in Databases: Why, How, and Where." Foundations and Trends in Databases, 2009. — 데이터베이스 유래에 대한 개관. [근거 등급: 동료 심사]

주석 논리: 구간, 격자, 신뢰도​

  1. Straccia, U. Foundations of Fuzzy Logic and Semantic Web Languages. CRC Press, 2013. — 퍼지 서술 논리와 등급이 매겨진 진리값. [근거 등급: 교재]
  2. Hájek, P. Metamathematics of Fuzzy Logic. Kluwer, 1998. — T-노름과 [0,1] 진리값 격자. [근거 등급: 교재]
  3. Kifer, M., and Subrahmanian, V. S. "Theory of Generalized Annotated Logic Programming and Its Applications." Journal of Logic Programming, 1992. — 주석 논리 프로그램. [근거 등급: 동료 심사]

시간 추론: 앨런 대수와 PyReason​

  1. Allen, J. F., and Hayes, P. J. "A Common-Sense Theory of Time." IJCAI, 1985. — 구간 계산법. [근거 등급: 동료 심사]
  2. Allen, J. F. "Maintaining Knowledge about Temporal Intervals." Communications of the ACM, 1983. — 구간 대수와 그 13가지 관계. [근거 등급: 동료 심사]
  3. Aditya, D., et al. "PyReason: Software for Open World Temporal Logic." AAAI Spring Symposium Series, 2023. — 실제 적용된 주석 시간 논리. [근거 등급: 동료 심사]

개방 세계와 비일관성: 기권과 복구​

  1. Reiter, R. "On Closed World Data Bases." In Logic and Data Bases, Plenum Press, 1978. — 폐쇄 세계 가정(closed-world assumption). [근거 등급: 동료 심사]
  2. Lembo, D., et al. "Inconsistency-Tolerant Semantics for Description Logics." RR, 2010. — 비일관적인 온톨로지에 대한 질의 응답. [근거 등급: 동료 심사]
  3. Bienvenu, M., and Bourgaux, C. "Inconsistency-Tolerant Querying of Description Logic Knowledge Bases." Reasoning Web, 2016. — 복구와 비일관성 허용 추론. [근거 등급: 동료 심사]

솔직한 평결: 기호가 보장하는 것​

  1. Baader, F., Horrocks, I., Lutz, C., and Sattler, U. An Introduction to Description Logic. Cambridge University Press, 2017. — 서술 논리 추론이 보장하는 것. [근거 등급: 교재]
  2. Baader, F., Brandt, S., and Lutz, C. "Pushing the EL Envelope." IJCAI, 2005. — EL에 대한 건전성, 완전성, 다루기 쉬움. [근거 등급: 동료 심사]
  3. Garcez, A. d'Avila, and Lamb, L. C. "Neurosymbolic AI: The 3rd Wave." Artificial Intelligence Review, 2023. — 기호적 보장에 신경망적 견고함이 필요한 이유. [근거 등급: 동료 심사]