Modular Implementation of Individual Reasoning in (2007)
Protodl The Extensible, Alex Borgida, Daniel Kudenko
This is the second report in a series on the PROTODL system, which is an *extensible* knowledge representation and reasoning system based on Description Logics (DLs). We have motivated elsewhere...