Search
Now showing items 1-1 of 1
The extension-based inference algorithm for pD
(Elsevier, 2012-02)
In this work, we present a scalable rule-based reasoning algorithm for the OWL pD* language. This algorithm uses partial materialization and a syntactic ontology transformation (the extension-based knowledge model) to ...