The Arkeotek project aims at building knowledge bases in the domain of the archaeology of techniques. These knowledge bases are made up of documents structured in data and interpretation rules, the latter being understood as inference operations performed to generate conclusions or interpretative hypotheses. Such structured documents are obtained through the logicist analysis, a 30-year old term given to an ensemble of research aiming at clarifying the mechanisms and foundations of the reasoning which organize our scientific constructs (GARDIN 2003). Nowadays, only logicism proposes anefficient methodology for extracting the reasoning contained in our scientific publications and therefore for building corpora of inference rules. In this paper, we focus on the tools and resources designed for querying such corpora: a domain ontology associated with a terminology, a semantic annotation tool as well a query tool. The originality of our approach is to support the corpus and domain knowledge evolution. The ultimate goal is to give the archaeologist the possibility to consult archaeological interpretations on specific subjects, as well as the foundations of these interpretationsincluding data bases.