230쪽의 마지막 문단에서
적기 납입 방식의 추론에서 중요한 변형은 명시적 추론이 전혀 수행되지 않는 경우다.
라는 설명이 있는데, 이 부분이 정확히 이해되지 않네요 ㅜㅜ
'적기 납입 방식의 추론’은 추론된 트리플을 저장하지 않고, 질의에 대해 응답할 때 추론이 일어나는 것으로 이해했습니다.
그런데 명시적 추론이 무엇인지 모르겠네요… 단언된 트리플을 의미하는 걸까요?
명시적 추론이 전혀 수행되지 않는다는 게 왜 적기 납입 방식에서 중요한 변형인 건지, 이 부분도 궁금합니다.