资 源 简 介
This project, deslog, is dedicated to explore effective ways of reasoning semantic web ontologies.
The goal is to explore novel reasoning methods for semantic web.
Description logic and tableau-based reasoning is the primary methodology.
Deslog is implemented with Java 6+.