An Efficient Tableau Prover Using Global Caching for the Description Logic ALC
Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2009-0102
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 2009
Authors
Publisher
IOS Press