This paper presents a minimalistic reasoning algorithm to solve imprecise instance retrieval in fuzzy ontologies with application to querying Building Information Models (BIMs)—a knowledge representation formalism used in the construction industry. Our proposal is based on a novel lossless reduction of fuzzy to crisp reasoning tasks, which can be processed by any Description Logics reasoner. We implemented the minimalistic reasoning algorithm and performed an empirical evaluation of its performance in several tasks: interoperation with classical reasoners (Hermit and TrOWL), initialization time (comparing TrOWL and a SPARQL engine), and use of different data structures (hash tables, databases, and programming interfaces). We show that our software can efficiently solve very expressive queries not available nowadays in regular or semantic BIMs tools.

本文提出了一种用于解决模糊本体中不精确实例检索的简约推理算法，并将其应用于查询建筑信息模型（BIM），这是一种用于建筑行业的知识表示形式。我们的建议基于一种新颖的将模糊推理任务简化为清晰的无损减少方法，该描述任务可以由任何Description Logics推理机处理。我们实施了简约推理算法，并在以下几个任务中对其性能进行了实证评估：与经典推理程序（Hermit和TrOWL）的互操作，初始化时间（比较TrOWL和​​SPARQL引擎）以及使用不同的数据结构（哈希表，数据库）和编程接口）。