本文介绍了Gavel工具，支持异构FOWL本体开发，扩展了OWL本体并使用FOL注解。研究评估了OWL在IT任务中的表现，提出了有界模型语义概念，以解决有限模型推理任务。此外，介绍了OONP框架，通过神经网络进行文档的语义分析，支持多种监督训练方式。