9145 search results - page 98 / 1829 » Description Logic Systems |
111
click to vote
DLOG
2006
15 years 6 months ago
2006
The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the l...